Esempi di

16

Ho bisogno di un elenco di lingue complete. Esistono due di questi problemi elencati nello zoo di complessità , vale a dire: $\Sigma_2^p$

DNF minimo equivalente. Data una formula DNF F e un intero k, esiste una formula DNF equivalente a F con k o meno ricorrenze di valori letterali?
Più breve implicito. Data una formula F e un intero k, esiste una congiunzione di k o meno letterali che implica F?

Un'altra base problema completo: $\Sigma_2^p$

. Data una formula booleana quantificata della forma $\Sigma_i \text{SAT}$ $\varphi$ , èvalido? $\varphi = \exists \vec{u} \forall \vec{v}\, \phi(\vec{u}, \vec{v})$ $\varphi$

Tuttavia, sto cercando un problema che faccia uso di grafici (ad esempio un problema relativo alla cricca).

complexity-classes polynomial-hierarchy

— gdiazc
fonte

10

Dai un'occhiata a questo compendio: ovid.cs.depaul.edu/documents/phcom.pdf

— Huck Bennett,

Questo sembra estremamente utile. Molte grazie!

— gdiazc,

5

@HuckBennett: buon sondaggio! Perché non lo trasformi in una risposta?

— Marzio De Biasi,

16

Marcus Schaefer e Chris Umans hanno una bella indagine su Garey e Johnson su problemi completi nella gerarchia polinomiale.

— Huck Bennett
fonte

8

Un risultato piuttosto recente non incluso nella carta Schaefer e Umans è la COLORAZIONE IN 2 CLIQUE DI UN GRAFICO PERFETTO .

Vedi David Defossez, Complessità dei grafici liberi da bizzarri che colorano la cricca . J. Graph Theory 62, 2 (ottobre 2009), 139-156 e alcuni recenti miglioramenti (2013): Hélio B. Macêdo Filho, Raphael CS Machado, Celina MH de Figueiredo, Complessità gerarchica dei grafici debolmente cordiali a 2 cricche e grafici perfetti con cricche di dimensioni almeno 3 (il problema è ancora $\Sigma_2^p$ -completo per grafici debolmente cordiali e per grafici perfetti con cricche di dimensioni almeno 3).

— Marzio De Biasi
fonte

7

Decidere l'esistenza di una "strategia evolutivamente stabile" in un gioco di forma normale. Vedi http://www.cs.duke.edu/~conitzer/ess.pdf .

L'installazione è un gioco simmetrico per 2 giocatori. Una strategia evolutivamente stabile è una strategia (randomizzata) che è (a) un equilibrio simmetrico di nash, e (b) non ci sono buone "deviazioni simmetriche": in questo equilibrio, se un giocatore può deviare a qualche strategia e mantenere la stessa utilità, quindi l'altro giocatore farebbe di peggio per deviare anche da questa strategia.

— usul
fonte