이라고 믿을만한 근거가 있습니까?

이라고 믿거 나 이라고 믿을만한 근거가 있는지 궁금합니다 . $NL=L$ $NL\neq L$

것으로 알려져있다 . 무작위 화 해제에 관한 문헌 은 임을 확신합니다 . 누구나 임을 설득하는 기사 나 아이디어에 대해 알고 있습니까? $NL \subset L^2$ $RL$ $RL=L$ $NL\neq L$

— 클림
소스

먼저, 이라는 회의론을 인용하겠습니다 . 무 방향 그래프 연결은 (Reingold)에 있고 (Immerman-Szelepcsényi)에 있음을 보여 주었 듯이, 대한 신뢰 는 단지 감소한 것으로 생각합니다 . 일부 저명한 연구자들은 결코 강한 믿음을 가지고 있지 않습니다. 예를 들어, 코리스 (Cornell)의 CS 부서 설립자이자 튜링 (Turing) 상 수상자 인 Juris Hartmanis는 다음과 같이 말했습니다. $L \neq NL$ $L$ $NL=coNL$ $L \neq NL$

우리는 NLOGSPACE가 LOGSPACE와 다르지만 다른 복잡성 클래스와 동일한 깊이의 신념을 가지고 있지 않다고 생각합니다. (출처)

나는 그가 70 년대까지 문학에서 비슷한 것을 말한 것을 압니다.

이 일부 에 대한 증거 이 정황이지만,. 공간에 대한 경계 낮은 증명에 일이 있었다 - 연결 (정식 제한 계산 모델 - 완전한 문제). 이 모델은 Savitch 정리 알고리즘을 실행할 수있을만큼 강력하지만 공간 알고리즘 을 제공함 ) 무증상으로 더 잘 수행 할만큼 강력하지는 않습니다. "NNJAG 모델의 st-Connectivity에 대한 단단한 하한 경계"를 참조하십시오. $L=NL$ $s$ $t$ $NL$ $O(\log^2 n)$ . 이 NNJAG 하한은 Savitch의 정리를 이길 수 있고 심지어 를 얻을 수 있다면 분명히 Savitch와는 매우 다른 알고리즘을 생각해 내야한다는 것을 보여줍니다. $NL \subseteq SPACE[o(\log^2 n)]$

그럼에도 불구하고 (명백한 결과는 제외) 에서 발생하는 예상치 못한 공식적인 결과에 대해서는 알지 못합니다 . 다시, 이것은 주로 우리가 과 같은 것을 이미 알고 있기 때문 입니다. $L=NL$ $NL=coNL$

— 라이언 윌리엄스
소스

Ω (\log^{2} n)

$\Omega(\log^2 n)$

O (\log n)

$O(\log n)$

O (\log n)

$O(\log n)$

O (\log n)

$O(\log n)$

p

$p$

p = 1

$p=1$

q

$q$

v

$v$

0, \dots, d

$0,\ldots,d$

q = n^{O (1)}

$q=n^{O(1)}$

p \log n + \log q

$p \log n + \log q$

O (\log n)

$O(\log n)$