Arasında Etkileri

olduğunu ispatlayabilirsek , olduğunu ima eder mi? $\mathsf{L}=\mathsf{P}$ $\mathsf{NL}=\mathsf{NP}$

Durum böyle olduğunu düşündüm, ama bunu kanıtlayamıyorum (ayrıca sohbet için).

cc.complexity-theory complexity-classes nondeterminism

— Thatchaphol
kaynak

Converse the converse oldukça zor olurdu ...

— domotorp

Tersi, NL = P'nin L = P anlamına gelip gelmediğine kaynar. L = NL olmadığı sürece bu mutlaka doğru değildir.

— Mohammad Al-Turkistany

P vs L, NP vs NL, BPP vs BPL, ⊕P vs ⊕L arasındaki ilişkiler hakkında ilgili bir soru yayınladım. Eğer ilgileniyorsanız, lütfen bir göz atmaktan çekinmeyin. Teşekkür ederim! cstheory.stackexchange.com/questions/31073/…

— Michael Wehar

Hayır. L = P ve NL! P'nin içerdiği için NL! = NP olduğunu ima eden P! = NP olabilir.

— Muhammed El-Türkistan
kaynak

Bence bu sezgiye sadece bunun nasıl olabileceğini anlatmaktan ziyade, sadece bu düpedüz iddia etmek yerine yardımcı olacaktır. Yapı göz önüne alındığında NP = ∃P (yani, bir polytime algoritması kullanılarak bir tanık kontrol açısından tanımı), bir tane, eğer tahmin olabilir görebilirsiniz p = L , basitçe elde olabilir NP = ∃L = NL ikamesi ile sunulabilir. Belki de çalışma bandındaki logaritmik sınırlamanın neden böyle olmadığını göstermeye yardımcı olacağına dair bazı açıklamalar.

— Niel de Beaudrap