转自:
总结
P:能用多项式时间求解的问题 NP:能用多项式时间验证的问题(但不知道能不能用多项式时间求解)。存在不属于NP类的问题,如:是否不存在哈密顿回路,此问题无法多项式时间验证,因为要验证所有解才能确定,而验证所有解不是多项式时间 NPC:若一个NP问题A可以以多项式时间归约(或称约化)为另一个NP问题B,则解决后者就解决了前者。归约后的问题时间复杂度是不比原问题低的(也即原问题不比归约后的难)。令人惊奇的是,所有的NP问题都可以归约为一个NP问题,而且这个NP问题还有多个,组成了一类,称为NPC问题。
NP-Hard:NP-Hard问题是这样一种问题,它满足NPC问题定义的第二条但不一定要满足第一条(就是说,NP-Hard问题要比 NPC问题的范围广)。NP-Hard问题同样难以找到多项式的算法,但它不列入我们的研究范围,因为它不一定是NP问题。即使NPC问题发现了多项式级的算法,NP-Hard问题有可能仍然无法得到多项式级的算法。事实上,由于NP-Hard放宽了限定条件,它将有可能比所有的NPC问题的时间复杂度更高从而更难以解决。