例完全問題？

完全な言語のリストが必要です。Complexity Zooには、次の2つの問題がリストされています。$\Sigma_2^p$

• 最小等価DNF。DNF式Fと整数kが与えられた場合、リテラルのk回以下の出現でFと同等のDNF式はありますか？
• 最短の暗黙的。式Fと整数kが与えられた場合、Fを意味するリテラルのk以下の連結詞はありますか？

別の基本的な完全な問題：$\Sigma_2^p$

• $\Sigma_i \text{SAT}$。という形式の数量化されたブール式が与えられた場合は有効ですか？$\varphi$$\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$$\varphi$

ただし、グラフを使用する問題（クリーク関連の問題など）を探しています。

マーカス・シェーファーとクリス・ウーマンスは、多項式階層の完全な問題についての素晴らしいガレー・アンド・ジョンソン風の調査をしています。

Schaefer and Umansの論文に含まれていないかなり最近の結果は、2-CLIQUE COLORING OF PERFECT GRAPHSです。

David Defossezの「クリーク色の奇数穴のないグラフの複雑さ」を参照してください。J.グラフ理論62、2（2009年10月）、139-156、および最近のいくつかの改良（2013）：HélioB.MacêdoFilho、Raphael CS Machado、Celina MH de Figueiredo、2クリーク色の弱弦グラフの階層的複雑さそして、少なくとも3つのサイズのクリークを持つ完全なグラフ（問題はまだ、弱い和音のグラフ、および少なくとも3つのサイズのクリークを持つ完全なグラフの場合）。$\Sigma_2^p$

通常形式のゲームで「進化的に安定した戦略」の存在を決定する。http://www.cs.duke.edu/~conitzer/ess.pdfを参照してください。

セットアップは2人用の対称ゲームです。進化的に安定した戦略は、（a）対称ナッシュ均衡である（ランダム化された）戦略であり、（b）良好な「対称偏差」はありません。この均衡では、あるプレイヤーが何らかの戦略から逸脱して同等の効用を維持できる場合、その場合、他のプレイヤーは厳密に悪い結果を出し、この戦略から逸脱します。