NPC问题实例（1）

1.SAT问题(SATISFIABILITY)
[判断合取范式（有限个简单析取式的合取）是否可满足]
判断析取范式（有限个简单合取式的析取）是否为永真式
2. 0-1整数规划(0-1 INTEGERPROGRAMMING)
3. 最小点覆盖(NODE COVER)
4. 集合覆盖 (SET COVERING)
5. 图着色数(CHROMATICNUMBER)
对图G，判断是否存在k染色，使相邻节点颜色相异。
6.0-1背包(KNAPSACK)