Приклади повних проблем ?

Мені потрібен список повних мов . У зоопарку складності перераховані дві такі проблеми , а саме:$\Sigma_2^p$

• Мінімальний еквівалент DNF. Враховуючи формулу F DNF і ціле число k, чи існує формула DNF, еквівалентна F з 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$ ?

Однак, я сподіваюся, що я шукаю проблему, яка використовує графіки (наприклад, проблема, пов'язана з клікою).

Маркус Шефер та Кріс Уманс провели гарне опитування повних проблем у ієрархії поліномів.

Досить недавній результат, не включений у папір Шефера та Уманса, - це 2-КЛІКОВЕ КОЛІРУВАННЯ ВДАЛЬНИХ ГРАФІВ .

$\Sigma_2^p$

Вирішення існування "еволюційно стійкої стратегії" в грі в нормальній формі. Див. Http://www.cs.duke.edu/~conitzer/ess.pdf .

Установка - це симетрична гра для двох гравців. Еволюційно стабільна стратегія - це (рандомізована) стратегія, яка є (а) симетричною нашою рівновагою, і (б) відсутні хороші "симетричні відхилення": в цій рівновазі, якщо один гравець може відхилитися від якоїсь стратегії і підтримувати рівну корисність, тоді інший гравець зробить суворо гірше, щоб потім також відхилитися від цієї стратегії.