LogDCFL-complete問題

LogCFLは、コンテキストフリー言語に還元可能なログスペースであるすべての言語のセットです。同様に、LogDCFLは、決定論的なコンテキストフリー言語に還元可能なログスペースであるすべての言語のセットです。いくつかの自然なLogCFL完全な問題については、このウィキペディアの記事を参照してください。他にもLogCFLの完全な問題がいくつかあります。LogDCFLの完全な自然な問題は見つかりませんでした。自然なLogDCFL完全な問題に名前を付けます。

cc.complexity-theory complexity-classes

— シヴァ・キンタリ
ソース

好奇心から、LogDCFLに興味がある理由を尋ねてもいいですか？

— ミカエルカディルハック

私は一般にスペースに制限された計算に興味があり、LogDCFLを理解しようとしています。

— シヴァキンタリ

次の言語は、通常のLogCFLの完全な言語を少し調整したものなので、LogDCFLの完全な言語になります。その証拠は、サドバラの「決定論的コンテキストフリー言語のテープ上の複雑さ」にあります。

LET 及び。以上、次の言語 LogDCFL-完了です。はワード $\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$

w_{0} [（_{1} l_{1} | （_{2} r_{1}] \dots [（_{1} l_{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$

— ミカエル・カディルハック
ソース