LogDCFL 완료 문제

LogCFL 은 컨텍스트가없는 언어로 로그 공간을 축소 할 수있는 모든 언어 세트입니다. 이와 유사하게 LogDCFL은 결정론적인 컨텍스트없는 언어로 로그 스페이스를 축소 할 수있는 모든 언어 세트입니다. 자연스럽게 발생하는 LogCFL 문제에 대해서는이 위키 백과 기사 를 참조하십시오 . 몇 가지 흥미로운 LogCFL-complete 문제가 있습니다. 자연스러운 LogDCFL 완료 문제를 찾을 수 없습니다. 자연스러운 LogDCFL- 완전 문제의 이름을 지정하십시오.

cc.complexity-theory complexity-classes

— 시바 킨 탈리
소스

호기심으로 LogDCFL에 관심이있는 이유를 물어봐도 될까요?

— Michaël Cadilhac

나는 공간 한정 계산에 관심이 있고 LogDCFL을 이해하려고 노력하고 있습니다.

— 시바 킨 탈리

다음 언어는 일반적인 LogCFL 완료 언어를 약간 조정하여 LogDCFL 완료입니다. 그 증거는 Sudborough의 결정 론적 맥락이없는 언어의 테이프 복잡성에 있습니다.

하자 및 . 대한 다음 언어 는 LogDCFL-complete입니다. 은 단어 $\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$ 여기서, 존재하도록 과 또는 모두및 은 괄호로 정확합니다.

승_{0} [(_{1} 엘_{1} | (_{2} {아르 자형}_{1}] \dots [(_{1} 엘_{엔} | (_{2} {아르 자형}_{엔}]

$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$

— 미카엘 카딜 하크
소스