Проблеми зі складністю між 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}$