사이 연루

우리가 증명할 수 있다면 , 그 의미 않습니다 ? $\mathsf{L}=\mathsf{P}$ $\mathsf{NL}=\mathsf{NP}$

나는 그것이 사실이라고 생각했지만 그것을 증명할 수는 없다 (또한 대화를 위해).

cc.complexity-theory complexity-classes nondeterminism

— Thatchaphol
소스

대화를 증명하는 것은 꽤 어려울 것입니다 ...

— domotorp

이 대화는 NL = P가 L = P를 암시하는지 여부에 달려 있습니다. L = NL이 아닌 한 반드시 그런 것은 아닙니다.

— Mohammad Al-Turkistany

P 대 L, NP 대 NL, BPP 대 BPL, ⊕P 대 ⊕L의 관계에 대한 관련 질문을 게시했습니다. 관심이 있으시면 언제든지 살펴보십시오. 감사합니다! cstheory.stackexchange.com/questions/31073/…

— Michael Wehar

아니요. NL이 P에 포함되어 있기 때문에 L = P이고 NL! = NP임을 의미하는 P! = NP 일 수 있습니다.

— 모하마드 알-투르 키스 타니
소스

나는 이것이 어떻게 될 수 있는지 직관을 제공하는 것만으로도 이것을 분명히 주장하는 것이 아니라 아마도 도움이 될 것이라고 생각합니다. 구성 NP = ∃P (즉, 다중 시간 알고리즘을 사용하여 감시자를 확인하는 관점에서의 정의)를 고려하면 P = L 인 경우 대체로 NP = ∃L = NL 을 얻을 수 있다고 추측 할 수 있습니다. 아마도 작업 테이프의 로그 제한이 이것이 왜 그렇지 않은 이유를 나타내는 데 어떻게 도움이 될지에 대한 몇 가지 언급 일 것입니다.

— Niel de Beaudrap