ผลกระทบระหว่าง

หากเราสามารถพิสูจน์ได้ว่า แสดงว่าหรือไม่ $\mathsf{L}=\mathsf{P}$ $\mathsf{NL}=\mathsf{NP}$

ฉันคิดว่าเป็นกรณี แต่ฉันไม่สามารถพิสูจน์ได้ (สำหรับการสนทนาด้วย)

cc.complexity-theory complexity-classes nondeterminism

พิสูจน์การสนทนาจะค่อนข้างยาก ...

— domotorp

Converse ทำให้เดือดว่า NL = P มีความหมาย L = P หรือไม่ สิ่งนี้ไม่จำเป็นต้องเป็นจริงเว้นแต่ว่า L = NL

— Mohammad Al-Turkistany

ฉันโพสต์คำถามที่เกี่ยวข้องเกี่ยวกับความสัมพันธ์ระหว่าง P กับ L, NP กับ NL, BPP เทียบกับ BPL, ⊕Pเทียบกับ⊕L หากคุณสนใจโปรดดู ขอบคุณ! cstheory.stackexchange.com/questions/31073/…

— Michael Wehar

ไม่เป็นไปได้ที่ L = P และ P! = NP ซึ่งบอกเป็นนัยว่า NL! = NP เนื่องจาก NL มีอยู่ใน P

— Mohammad Al-Turkistany
แหล่งที่มา

ฉันคิดว่ามันอาจจะมีประโยชน์มากกว่าที่จะเป็นแค่การตอบโต้แบบนี้เพื่อให้สัญชาตญาณว่ามันจะเป็นเช่นไร เมื่อพิจารณาการก่อสร้างNP = ∃P (เช่นคำจำกัดความในแง่ของการตรวจสอบพยานโดยใช้อัลกอริทึม polytime) ฉันสามารถดูว่าใครอาจเดาได้ว่าถ้าP = Lเราสามารถได้รับ NP = ∃L = NLโดยการทดแทน บางทีคำพูดบางอย่างเกี่ยวกับวิธีการ จำกัด ลอการิทึมบนเทปงานจะช่วยระบุว่าทำไมมันไม่เป็นเช่นนั้น

— Niel de Beaudrap