Karp 21 NPC

历史简介：
计算复杂性理论发展：

• 1971年，史提芬·古克证明了第一个NPC问题——布尔可满足性问题；
• 1972年，理查德·卡普进一步推进，证明了21个不同的NPC问题。《Reducibility Among Combinatorial Problems》"。

1、 SAT问题(SATISFIABILITY)

判断合取范式（有限个简单析取式的合取）是否可满足）

2、 0-1整数规划(0-1 INTEGER PROGRAMMING)

对整形矩阵C和整形向量d，判断是否存在0-1向量x，s.t. Cx=d.

3、 最大团(CLIQUE)

判断图G中是否存在规模为K的团。

4、 (SET PACKING)

判断集合族中是否存在l个两两不交的集合。

5、 最小点覆盖(NODE COVER)

判断是否存在G中规模≤l的点集覆盖G中所有弧(E)