วรรณกรรมรอบ ๆ NP vs EXPTIME

แม้ว่ามันจะไม่ใช่ประเด็นสำคัญ แต่ฉันก็ไม่เห็นวรรณกรรมเกี่ยวกับคำถามนี้ มีความสัมพันธ์กับผลลัพธ์หรือไม่

มันจะไม่ตรงไปตรงมาที่จะพิสูจน์การรวมที่เข้มงวดโดยการปรับทฤษฎีบทเวลาที่ไม่ได้กำหนดไว้โดยการสำรวจเส้นทางที่เป็นไปได้ทั้งหมดของเครื่อง NP?

cc.complexity-theory complexity-classes

— Ludovic Patey
แหล่งที่มา

มันง่ายที่จะพิสูจน์การแยก oracle ระหว่าง NP และ EXP มีทฤษฎีบทลำดับชั้นเวลาที่ไม่สามารถกำหนดค่าได้ซึ่งบอกเราว่า NP มีอยู่ใน NEXP อย่างเคร่งครัด ฉันไม่เห็นว่าจะสามารถปรับใช้กับ NP กับ EXP ได้อย่างไร

— Robin Kothari

@ Robin แน่นอนว่าเป็นคำพยากรณ์อย่างนั้น

N P^{A} \neq P S P A C E^{A}

$NP^A \neq PSPACE^A$ แสดงว่า

N P^{A} \neq E X P^{A}

$NP^A \neq EXP^A$ . แต่ฉันไม่พบคำพยากรณ์อย่างนั้น

N P^{B} = E X P^{B}

$NP^B = EXP^B$ ถ้าไม่มีก็พิสูจน์ได้

N P \neq E X P

$NP \neq EXP$ อาจจะ relativizing

— Ludovic Patey

สวนสัตว์เชิงซ้อน ( qwiki.stanford.edu/index.php/Complexity_Zoo ) พูดว่า: ...

E X P = N P = Z P P

$EXP = NP = ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], .... ดูตัวอย่างสอง oracles ที่บังคับวิกฤตใหญ่ ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )

— Marzio De Biasi

@Vor, @Robin ฉันคิดว่าสิ่งเหล่านี้ควรเป็นคำตอบ

— Suresh Venkat

สวนสัตว์ซับซ้อนพูดว่า:

... มีออราเคิลที่มีอยู่ซึ่งสัมพันธ์กับสิ่งใด $EXP=NP=ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], ....

ดูตัวอย่างสองออราเคิลที่บังคับให้กระทืบใหญ่

บางทีออราเคิลดั้งเดิมที่ใช้โดย Dekhtyar นั้นมีพลังน้อยกว่า (และง่ายกว่า): ในการทำให้สัมพันธ์กันของคลาสที่ซับซ้อนที่กำหนดขึ้นได้และ nondeterministicในProc ฐานรากทางคณิตศาสตร์ของ CS 1977 ... แต่ฉันไม่มีกระดาษของเขา

— Marzio De Biasi
แหล่งที่มา

ขอบคุณ. ชื่อที่แน่นอนของกระดาษ Dekhtyar คือในการ relativization ของคลาสความซับซ้อนที่กำหนดและ nondeterministic

— Ludovic Patey