Contoh

Saya butuh daftar bahasa lengkap. Ada dua masalah seperti yang tercantum di Kompleksitas Kebun Binatang , yaitu:$\Sigma_2^p$

• DNF setara minimum. Dengan rumus DNF F dan integer k, adakah rumus DNF yang setara dengan F dengan k atau lebih sedikit kemunculan literal?
• Implan terpendek. Diberikan rumus F dan integer k, adakah konjungsi dari k atau lebih sedikit literal yang menyiratkan F?

Masalah lengkap dasar lainnya :$\Sigma_2^p$

• . Diberikan rumus boolean terukur φ dari bentuk φ = ∃ → u ∀ → $\Sigma_i \text{SAT}$$\varphi$ , apakah φ valid?$\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$$\varphi$

Namun, saya berharap mencari masalah yang menggunakan grafik (misalnya masalah terkait klik).

Marcus Schaefer dan Chris Umans memiliki survei Garey-dan-Johnson-esque yang bagus tentang masalah lengkap dalam hierarki polinomial.

Hasil yang agak baru-baru ini tidak termasuk dalam makalah Schaefer dan Umans adalah 2-CLIQUE COLORING OF GRAPHS SEMPURNA .

$\Sigma_2^p$

Memutuskan keberadaan "strategi stabil evolusioner" dalam permainan bentuk normal. Lihat http://www.cs.duke.edu/~conitzer/ess.pdf .

Penyiapannya adalah permainan simetris 2 pemain. Strategi stabil evolusioner adalah strategi (acak) yang merupakan (a) keseimbangan nash simetris, dan (b) tidak ada "penyimpangan simetris" yang baik: dalam keseimbangan ini, jika satu pemain dapat menyimpang ke beberapa strategi dan mempertahankan utilitas yang sama, maka pemain lain akan melakukan hal yang sangat buruk untuk kemudian menyimpang dari strategi ini.