Проблемы со сложностью между P и NP, которые имеют 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. 

Наиболее известные: изоморфизм графов и доминирующее множество на турнирах.

Обобщения естественны.

Другой естественный способ: найти равновесие по Нэшу (скорее всего) - это не NPC, но найти равновесие с некоторым естественным свойством (например, которое максимизирует сумму утилит игрока) - это NPC. Первоначальное доказательство NPC было сделано Гильбоа и Земелем в конце 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}$