算法的分类:
P问题:算法可以在多项式时间内求解出解,称为p问题,例如排序问题;
NP问题:算法的解可以在多项式时间内证明是否为正确。一般P问题属于NP问题。
NP完全问题(NPC):算法的不能在多项式时间内求解出解。其存在性质,即如果一个NPC问题存在多项式时间的算法,则所有的NP问题都可以在多项式时间内求解,即P=NP成立.因为每一个NPC问题可以在多项式时间内转化成任何一个NP问题。例如哈米尔顿回路/路径问题,货郎担问题都是NPC问题。
三者之间的关系:P和NPC问题为NP问题的一个子集,并且P和NPC互不相交,两者的和为NP。