CoNP-complete sorununun üstel boyut sertifikası var mı?

NP! = CoNP olduğu varsayıldığında, coNP-complete sorunu için polinom boyutu sertifikası yoktur. Peki ya alt boyutsal sertifika? Özellikle coSAT için, bir formülün tatmin edilemez olduğunu kanıtlayan üstel boyut kanıtı var mı? Değilse, olumsuz kanıt nedir? Teşekkürler

cc.complexity-theory proof-complexity

— Xi Wu
kaynak

cstheory.stackexchange.com/questions/22022/…

— Igor Shinkar

Yanıtlar:

Bu ispat karmaşıklığı konusudur, yani problemi için sertifikaların boyutu ( ). $\mathbf{co\text{-}NP}\text{-}complete$ $TAUT$ $= coSAT$

Kısa cevap: açık.

$Frege$ $TAUT$

$\mathbf{coNP} \subseteq NTime(2^{o(n)})$

— Kaveh
kaynak

Teşekkürler. O zaman bu soruna genel inanç nedir? Topluluk sonuç hakkında bazı tahminlerde bulundu sanırım.

— Xi Wu

c o N P ⊈ N T i m e (2^{o (n)})

$\mathbf{coNP} \not \subseteq NTime(2^{o(n)})$

c o N P = N P

$\mathbf{coNP}=\mathbf{NP}$

c o N P ⊈ N T i m e (2^{o (n)})

$\mathbf{coNP} \not \subseteq NTime(2^{o(n)})$

Bunun olası bir sonucu, Ryan William'ın sonucundan olacaktır (çünkü daha sonra CircuitSAT için zaman içinde üstelden daha hızlı çalışan ortak-belirleyici olmayan bir algoritmaya sahip olacaksınız). Gerçekten olumsuz bir kanıt değil, ama yine de ... $NEXP \nsubseteq P/poly$

— Ramprasad
kaynak

Teşekkürler. Cevabınızı coNP-complete problemini göstermenin zorluğunun üstel boyut kanıtı olduğu için yorumlamaya meyilliyim, çünkü o zaman hoş bir ayrımımız var.

— Xi Wu

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.

Licensed under cc by-sa 3.0 with attribution required.