Problemi con complessità tra P e NP che hanno generalizzazioni NP-complete

Qualcuno può elencare alcuni problemi noti che soddisfano le seguenti condizioni:

1. has a generalization problem that is known to be NP-complete
2. has not been proved to be NP-complete nor has a known polynomial time solution. 

Più famoso: Isomorfismo grafico e Set dominante sui tornei.

Le generalizzazioni sono naturali.

Un altro naturale: trovare un equilibrio di Nash non è (probabilmente) non NPC, ma trovarne uno con qualche proprietà naturale (ad es. Che massimizza la somma delle utilità dei giocatori) è NPC. La prova originale di NPC era di Gilboa e Zemel alla fine degli anni '80 e per un riferimento recente vedi, ad esempio, http://www.cs.duke.edu/~conitzer/nashGEB08.pdf

Il vettore più breve in Lattice Problem, che è NP difficile. La versione Gap GapSVP è intermedia:

http://en.wikipedia.org/wiki/Lattice_problem#Shortest_vector_problem_.28SVP.29

L'equivalenza dei due sistemi di chiusura finiti (famiglie Moore) e J su un insieme finito M . Dove K = { AI ⊆ M } è data dalla serie di sottoinsiemi di M e un insieme X è chiuso se e solo se può essere ottenuta con un incrocio di alcuni insiemi di K . Il sistema di chiusura J = { A i → B i } è dato dall'insieme di implicazioni e un insieme X è chiuso se rispetta tutte le implicazioni di J, cioè per qualsiasi $\mathbb{K}$$J$$M$$\mathbb{K} = \{A_i \subseteq M \}$$M$$X$$\mathbb{K}$$J = \{A_i \rightarrow B_i\}$$X$$J$$A_i\rightarrow B_i \in J$$A_i \subseteq X$$B_i \subseteq X$

$J$$\mathbb{K}$