参考《算法设计技巧与分析》--沙特
问题可以分为判定类问题和最优化问题，判定类问题可以转化为最优化问题，所以下面讨论的是判定类的问题。
P类问题是可以在多项式时间 采用确定性算法给出解
NP类问题是可以在多项式时间验证解的正确性的问题
NPhard 问题是：所有NP类问题可规约为该问题，则该问题为NPhard 问题
NPComplete问题要求同上，但要求该问题属于NP问题
NPco问题是补属于NP问题的问题
NPI问题是NP类问题中不包含于P类问题和NPC问题 的问题 （P属于NPI）