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的交集。