标签：理论
1、P问题
P中包含的是能在多项式时间内解决的问题，此类问题的时间复杂度不超过O()，期中n为问题输入规模，k为常数。
2、NP问题
NP中包含的是能在多项式时间内验证某个解是否正确的问题。
比如：（1）所有的P问题都是NP问题，因为我们总能在多项式时间内验证给定的某个解是否正确。
（2）对于某些不属于P问题的问题，如3-CNF可满足性问题，给出一组变量的赋值序列，我们很容易在多项式时间内验证其布尔表达式的值是否为真。
3、NPC问题
一个问题是 NPC问题必须满足：
（1）这个问题是NP问题；（2）所有NP问题都可以归约成它。
4、NP-Hard问题
NP-Hard问题必须满足3中的（2），不一定满足（1）。
四者的关系可以表示如下图：（这里认为P!=NP）
标签：理论
原文地址：http://blog.csdn.net/scutwjh/article/details/41652411
