ปัญหาที่สมบูรณ์ของ LogDCFL

LogCFLเป็นชุดของภาษาทั้งหมดที่สามารถลดค่า logspace เป็นภาษาที่ไม่มีบริบท ในทำนองเดียวกัน LogDCFL เป็นชุดของภาษาทั้งหมดที่สามารถลดค่า logspace ให้เป็นภาษาที่ไม่มีบริบทที่กำหนดได้ ดูบทความวิกิพีเดียนี้สำหรับปัญหา LogCFL-natural อย่างสมบูรณ์ มีปัญหาที่น่าสนใจอื่น ๆ อีกมากมายที่สมบูรณ์แบบ LogCFL ฉันไม่พบปัญหา LogDCFL ใด ๆ ที่เป็นธรรมชาติ ตั้งชื่อปัญหาตามธรรมชาติของ LogDCFL

cc.complexity-theory complexity-classes

— พระอิศวร Kintali
แหล่งที่มา

ฉันอยากถามว่าทำไมคุณถึงสนใจ LogDCFL

— Michaël Cadilhac

ฉันสนใจการคำนวณที่มีขอบเขตโดยทั่วไปและพยายามเข้าใจ LogDCFL

— Shiva Kintali

ภาษาต่อไปนี้เป็น tweak เล็กน้อยของปกติที่สมบูรณ์หนึ่งเพื่อให้มันเป็น LogDCFL สมบูรณ์ การพิสูจน์สามารถพบได้ใน Sudborough's On the Complexity Tape ของภาษาปลอดบริบท

$\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$

W_{0} [(_{1} {ล.}_{1} | (_{2} R_{1}] ... [(_{1} {ล.}_{n} | (_{2} R_{n}]

$w_0\left[(_1l_1|(_2r_1\right]\ldots\left[(_1l_n|(_2r_n\right]$

w_{0}, l_{i}, r_{i} \in Σ^{*}

$w_0, l_i, r_i \in \Sigma^*$

w_{1}, \dots, w_{n}

$w_1, \ldots, w_n$

w_{i} = (_{1} l_{i}

$w_i = (_1l_i$

w_{i} = (_{2} r_{i}

$w_i = (_2r_i$

i \geq 1

$i \geq 1$

w_{0} w_{1} \dots w_{n}

$w_0w_1\ldots w_n$

— Michaël Cadilhac
แหล่งที่มา