예를 들면

완전한 언어 목록이 필요합니다 . Complexity Zoo 에는 다음과 같은 두 가지 문제가 있습니다 .$\Sigma_2^p$

• 최소 등가 DNF. DNF 공식 F와 정수 k가 주어지면 리터럴이 k 이하인 F와 동등한 DNF 공식이 있습니까?
• 가장 짧은 관련성. 수식 F와 정수 k가 주어지면 F를 암시하는 리터 이하의 리터럴이 있습니까?

또 다른 기본 완전한 문제 :$\Sigma_2^p$

• . φ = ∃ → u ∀ → v 형식의 정량화 된 부울 공식 φ 가주어짐$\Sigma_i \text{SAT}$$\varphi$ , φ가 유효합니까?$\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$$\varphi$

그러나 그래프를 사용하는 문제 (예 : 파벌 관련 문제)를 찾고 있습니다.

Marcus Schaefer와 Chris Umans는 다항식 계층 구조의 완전한 문제에 대한 멋진 Garey-Johnson-esque 설문 조사 를 받았습니다 .

Schaefer와 Umans 논문에 포함되지 않은 최근 결과는 완벽한 그래프의 2-CLIQUE COLORING 입니다.

David Defossez, Clique -coloring 홀홀 없는 그래프의 복잡성 참조 . J. 그래프 이론 62, 2 (2009 년 10 월), 139-156 및 일부 최근 개선 사항 (2013) : Hélio B. Macêdo Filho, Raphael CS Machado, Celina MH de Figueiredo, 2도 채색 약한 화음 그래프의 계층 적 복잡성 크기가 3 이상인 완벽한 그래프 (문제는 여전히$\Sigma_2^p$약한 화음 그래프 및 크기가 3 이상인 도가있는 완벽한 그래프에 적합합니다.

일반 게임에서 "진화 적으로 안정적인 전략"의 존재를 결정합니다. http://www.cs.duke.edu/~conitzer/ess.pdf를 참조 하십시오 .

이 설정은 2 인칭 게임입니다. 진화 적으로 안정적인 전략은 (a) 대칭적인 내쉬 평형 (symmetric nash equilibrium)과 (b) 좋은 "대칭 편차"가없는 (랜덤 화) 전략입니다. 다른 플레이어는이 전략을 위반하기 위해 엄격히 나빠질 것입니다.