P，NP，NPC，NP-hard

P问题：存在多项式复杂度算法的问题；

NP问题：能够在多项式时间验证给定解是否正确的问题；

NP-hard问题：任意一个NP问题均可以多项式时间规约到问题L，则称L为NP-hard问题；

NPC问题：若是一个NP-hard问题L是一个NP问题，则称其为NP彻底问题。

 

P和NP关系：P=NP or P≠NP？尚无定论，但能够肯定的是NP包含P；

NP和NP-hard关系：NP是NP-hard的真子集，由于存在有些NP-hard问题没法在多项式时间判断一个解是否可行；

NPC：是NP和NP-hard的交集。