NP'de olmayan fakat karar verilebilen NP-Zor problemleri

NP-Komple olmayan ve çözülemeyen NP-Zor probleminin kolay anlaşılır bir örneği olup olmadığını merak ediyorum.

Örneğin, durma sorunu NP-Hard'tır, NP-Complete değil, ancak kararlaştırılamaz.

Bunun, bir çözümün polinom zamanında doğrulanamamasının ancak bir problem olduğu anlamına geldiğine inanıyorum. (Lütfen böyle değilse, bu ifadeyi düzeltin).

Nondeterministic sürümü tarafından zaman hiyerarşi teoremi , elimizdeki , \ mathsf {NEXP} nondeterministic üslü zamanlı olarak çözülebilir sorunların sınıftır. Bu nedenle, \ mathsf {NP} -hard ve \ mathsf {NEXP} 'te , ancak \ mathsf {NP}' de olmayan herhangi bir problemi düşünmek yeterlidir . Örneğin, herhangi bir \ mathsf {NEXP} -complete problemini düşünebiliriz .$\mathsf{NP} \subsetneq \mathsf{NEXP}$$\mathsf{NEXP}$$\mathsf{NP}$$\mathsf{NEXP}$$\mathsf{NP}$$\mathsf{NEXP}$

• Öz devreleri tarafından tarif edilen grafik 3-renkliliği - veya grafikler başka NP tam problem - bir "öz devre" girişinde, çok büyük grafikleri göstermek için olan bir biçim olduğu: Bunun yerine bir grafiktir açık temsil örneğin  komşuluk listeleri, Bunun yerine bir fonksiyonu işlem bir devrenin temin $f: \{0,1\}^{n} \times \{0,1\}^n \to \{0,1\}$ bir katsayıları hesaplar olan $2^n \times 2^n$ bitişik matris.

• Kleene yıldızının karesiyle değiştirildiği (bir alt modeli sıfır veya daha fazla değil, tam olarak iki kez tekrarlayarak) ve bu gibi iki normal ifadenin farklı dizi dizilerini temsil edip etmediğini sorduğumuz iki normal ifadenin (- olmayan) denkliği .

İkinci durumda, Kleene yıldızı dahil, dikkate almak için kullandığımız düzenli ifadeleri alırsak, sonuçta ortaya çıkan sorunun : çünkü , bu hala -hard olan ve değil, kabul edilebilir bir .$\mathsf{EXPSPACE}$$\mathsf{NP} \subset \mathsf{NEXP} \subseteq \mathsf{EXPSPACE}$$\mathsf{NP}$$\mathsf{NP}$

Feragatname: Bu cevap, çoğu bilim insanının kesinlikle inandığı bir hipotez olan olduğu varsayımına dayanmaktadır , ancak bunu henüz ispatlamamız gerekmemektedir. Bu, bu sorunların ve dolayısıyla -complete olma ihtimalinin olduğu anlamına gelir .$\mbox{PSPACE} \neq \mbox{NP}$$\mbox{NP}$$\mbox{NP}$

Ben en basit çoğu söyleyebilirim Gerçek Boole formülü miktarı ve Genelleştirilmiş coğrafya , hem -tamamlamak.$\mbox{PSPACE}$

TQBF bir verilen sayısal formül formuna, yani formüller, gerçek olup olmadığı test Boole formülü , yanlış ayarlanması için yanlış verimler için sahte bir açıklama.$\forall x \exists y \forall z . \; [(x \lor y) \land z]$$z$

Genelleştirilmiş Coğrafya, dizelerin bir listesinin (örneğin şehir isimleri) bulunduğu ve Oyuncu 1'in bir isim söyleyerek başladığı ve Oyuncu 2'nin, önceki ismin bittiği harfle başlayan bir isim ile cevap verdiği eğlenceli bir oyundur (bkz. Kelime zinciri ). Ardından birisi sıkışıp kalıncaya kadar Oyuncu 1'in sırası (bu oyun nesnelerin grup / sanatçı, film, şehir, başkent, ünlü matematikçi veya teknenizi yüzen her şeyin bulunduğu bir içki oyunu olarak oynamanız önerilir. tabii ki içmeli). Resmi sorun, "Oyuncu 1'in kazanma stratejisi var mı" sorusu olarak belirtilir .