具有NP完全概括的P和NP之间的复杂性问题

任何人都可以列出满足以下条件的一些知名问题：

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. 

最著名的是：图同构和锦标赛中的支配集。

概括是自然的。

另一个自然的人：找到Nash平衡（可能）不是NPC，但是找到具有某种自然属性（例如，使玩家效用之和最大化）的人是NPC。NPC的原始证明是由Gilboa和Zemel在80年代后期提出的，有关最近的参考信息，请参见例如http://www.cs.duke.edu/~conitzer/nashGEB08.pdf。

格子问题中最短的向量，这是NP难的。Gap版本GapSVP是中间的：

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

$\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}$