的例子

我需要的清单完整的语言。Complexity Zoo中列出了两个这样的问题，即：$\Sigma_2^p$

• 最小等效DNF。给定DNF公式F和整数k，是否存在与F等效的DNF公式，且出现的文字数少于k？
• 最短的含义。给定一个公式F和一个整数k，是否有k个或更少的文字表示F？

另一个基本完整的问题：$\Sigma_2^p$

• 。给定形式为的量化布尔公式，有效吗？$\Sigma_i \text{SAT}$$\varphi$$\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$$\varphi$

但是，我希望寻找一个利用图形的问题（例如，与团有关的问题）。

Marcus Schaefer和Chris Umans 对多项式层次结构中的完整问题进行了很好的Garey-and-Johnson风格的调查。

Schaefer和Umans论文中未包括的一项最新结果是完美图形的2色着色。

$\Sigma_2^p$

确定正常形式游戏中是否存在“进化稳定策略”。参见http://www.cs.duke.edu/~conitzer/ess.pdf。

该设置是2人对称游戏。进化稳定策略是一种（随机）策略，它是（a）对称的纳什均衡，并且（b）没有良好的“对称偏差”：在这种均衡中，如果一个参与者可以偏离某种策略并保持平等的效用，那么其他玩家的行为会变得更糟，然后又偏离该策略。