의 결과는 무엇입니까 ?

언어에 조언 다항식 양 언어를 결정하지 LOGSPACE 튜링 기계가 존재하는 경우. $L/poly$

자세한 내용은 여기를 참조하십시오 : https://en.wikipedia.org/wiki/L/poly

질문

의 결과는 무엇입니까 ? $P \subseteq L/poly$

— 마이클 위 하르
소스

참고 : L / poly는 또한 다항식 크기 분기 프로그램이있는 언어 클래스로 특성화됩니다.

— Michael Wehar

L = P의 흥미로운 결과가 알려져 있습니까? (a) 사소한 증거가 요구되고 (b) 결과적으로 P가 L이 무조건 가지고있는 그런 속성을 가지고 있다는 것은 아닙니다.

— William Hoza

내 질문에, 나는 사소한 경우에도 사용자가 그들에게 의미있는 결과를 얻을 수 있습니다. 내가 궁금했던 몇 가지 예상 결과는

P \subseteq L / p o l y

$P \subseteq L/poly$ 어쩌면 의미

또는

또는이와 관련된 다른 약한 뭔가. :)

P = L

$P = L$

P / p o l y = L / p o l y

$P/poly = L/poly$

— Michael Wehar

그럴 수 있지!

는 실제로 결과입니다. 증거에 대한 내 대답을 참조하십시오.

P / p o l y = L / p o l y

$P/poly = L/poly$

— William Hoza

@WilliamHoza 또한

의미 한다고 생각합니다.

P = L

$P = L$

은 특정 함수

대해

을합니다. 자세한 내용은 "분리기, 분리기 및 시간 대 공간"을 참조하십시오.

D T I M E (t (n)) \neq N T I M E (t (n))

$DTIME(t(n)) \neq NTIME(t(n))$

t (n)

$t(n)$

— Michael Wehar

한 가지 간단한 결과는 입니다. 증명 : 모든 언어 $\mathbf{P}/\text{poly} = \mathbf{L}/\text{poly}$ $A \in \mathbf{P}/\text{poly}$ , 언어가 다항식 길이 통보 스트링들의 시퀀스 되도록 $B \in \mathbf{P}$ $y_1, y_2, y_3, \dots$ . 가정함으로써, 언어가 다항식 길이 조언 문자열의 시퀀스 등이 $x \in A \iff (x, y_{|x|}) \in B$ $C \in \mathbf{L}$ $z_1, z_2, z_3, \dots$ . 이것은 의미합니다. 대한 권고 문자열은 입니다. $(x, y) \in B \iff (x, y, z_{|(x, y)|}) \in C$ $A \in \mathbf{L}/\text{poly}$ $x$ $(y_{|x|}, z_{|(x, y_{|x|})|})$

(간결한 증거 버전 : $\mathbf{P} \subseteq \mathbf{L}/\text{poly} \implies \mathbf{P}/\text{poly} \subseteq (\mathbf{L}/\text{poly})/\text{poly} = \mathbf{L}/\text{poly}$

— 윌리엄 호자
소스

대박! 대단히 감사합니다. 정말 감사. :)

— Michael Wehar