NP vs EXPTIME çevresindeki edebiyat

Bu çok önemli bir nokta olmasa bile, bu sorunun etrafında herhangi bir literatür görmüyorum. Görelilik sonuçları var mı?

NP makinesinin olası tüm yollarını araştırarak deterministik olmayan zaman hiyerarşi teoremini uyarlayarak katı içerme olduğunu kanıtlamak oldukça kolay olmaz mıydı?

cc.complexity-theory complexity-classes

— Ludovic Patey
kaynak

NP ve EXP arasında kesin bir ayrım olduğunu kanıtlamak kolaydır. NP'nin NEXP'de kesin olarak bulunduğunu söyleyen deterministik olmayan bir zaman hiyerarşisi teoremi vardır. NP ve EXP'ye nasıl adapte olabileceğini görmüyorum.

— Robin Kothari

@Robin Evet, elbette, böyle bir kehanet

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

$NP^A \neq PSPACE^A$ ima ediyor ki

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

$NP^A \neq EXP^A$ . Ama böyle kehanet bulamadığım için

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

$NP^B = EXP^B$ , o zaman yoksa,

N P \neq E X P

$NP \neq EXP$ bağıl olabilir.

— Ludovic Patey

Karmaşıklık Hayvanat Bahçesi ( qwiki.stanford.edu/index.php/Complexity_Zoo ) diyor ki: ... Buna göre oracles var

E X P = N P = Z P P

$EXP = NP = ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], .... Örneğin bakınız büyük bir çatırtıyı zorlayan iki kehanet ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )

— Marzio De Biasi

@Vor, @Robin, bence bunlar cevap olmalı

— Suresh Venkat

Karmaşıklık Zoo diyor ki:

... göreceli olarak oracles var $EXP=NP=ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], ....

Örneğin bkz . Büyük bir çatırtıyı zorlayan iki kehanet .

Belki Dekhtyar tarafından kullanılan orijinal kehanet olduğunu az güçlü (ve daha basit): deterministik ve deterministik olmayan karmaşıklık sınıfları görecelileştiren günü içinde Proc. CS 1977'nin Matematiksel Temelleri ... ama makalem yok.

— Marzio De Biasi
kaynak

Teşekkür ederim. Dekhtyar makalesinin tam adı deterministik ve belirsiz olmayan karmaşıklık sınıflarının yeniden yaygınlaştırılmasıdır.

— Ludovic Patey