參考《算法設計技巧與分析》--沙特
問題可以分為判定類問題和最優化問題,判定類問題可以轉化為最優化問題,所以下面討論的是判定類的問題。
P類問題是可以在多項式時間 采用確定性算法給出解
NP類問題是可以在多項式時間驗證解的正確性的問題
NPhard 問題是:所有NP類問題可規約為該問題,則該問題為NPhard 問題
NPComplete問題要求同上,但要求該問題屬於NP問題
NPco問題是補屬於NP問題的問題
NPI問題是NP類問題中不包含於P類問題和NPC問題 的問題 (P屬於NPI)