tam problem örnekleri ?

tam dillerin bir listesine ihtiyacım var . Karmaşık Hayvanat Bahçesi'nde listelenen bu tür iki sorun vardır :$\Sigma_2^p$

• Minimum eşdeğer DNF. Bir DNF formülü F ve tamsayı k verildiğinde, F'ye eşdeğer bir DNF formülü var mı veya k'nin daha az değişmezi mi var?
• En kısa ima. F formülü ve k tamsayısı göz önüne alındığında, k anlamına gelen k veya daha az değişmez değeri olan F birleşimi var mı?

Diğer bir temel problemi:$\Sigma_2^p$

• . Φ = ∃ → u ∀ → v formununnicel bir boole formülü$\Sigma_i \text{SAT}$$\varphi$ , φ geçerli mi?$\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$$\varphi$

Ancak, umarım grafiklerden yararlanan bir problem arıyorum (örneğin, klik ile ilgili bir problem).

Marcus Schaefer ve Chris Umans'ın , polinom hiyerarşisindeki tüm problemlerle ilgili güzel bir Garey ve Johnson esque anketi var .

Schaefer ve Umans gazetesinde yer almayan oldukça yeni bir sonuç, MÜKEMMEL GRAFİKLERİN 2 CLIQUE RENKLENDİRİLMESİ'dir .

Bkz. David Defossez, Klips boyama tek deliksiz grafiklerin karmaşıklığı . J. Graph Theory 62, 2 (Ekim 2009), 139-156 ve bazı yeni gelişmeler (2013): Hélio B. Macêdo Filho, Raphael CS Machado, Celina MH de Figueiredo, 2-klik renklendirme zayıf korda grafiklerinin hiyerarşik karmaşıklığı ve en az 3 büyüklüğüne sahip mükemmel grafikler (sorun hala zayıf kordal grafikler ve en az 3 büyüklüğüne sahip mükemmel grafikler için ).$\Sigma_2^p$

Normal formda bir oyunda "evrimsel kararlı bir stratejinin" varlığına karar vermek. Bkz. Http://www.cs.duke.edu/~conitzer/ess.pdf .

Kurulum 2 kişilik simetrik bir oyundur. Evrimsel olarak istikrarlı bir strateji, (a) simetrik bir nash dengesi olan ve (b) iyi bir "simetrik sapma" bulunmadığı (randomize) bir stratejidir: bu dengede, eğer bir oyuncu bir stratejiye sapabilir ve eşit fayda sağlayabilirse, o zaman diğer oyuncu bu stratejiye sapmak için kesinlikle daha kötüsü yapacaktır.