- P类：多项式时间内可解的问题
- NP类：就是时间复杂度特别夸张了，求解不可能了，但是在多项式时间内能够判定正确与否的问题（P类属于NP类）
- NPC类：是P类的一个子集，也就是说NP中的任意个问题都能转化成NPC问题，只要求解了NPC问题，NP就都能求解了。这里的C是完备的意思。
已知P1是npc，要证P2也是NPC：
- P2要是NP问题
- P1能多项式归约成P2
因为P1是NPC，所以NP中的每一个问题都能归约成P1，P1再归约成P2，因此P2也是NPC问题了
什么叫归约？
eg：汉密尔顿问题：是否存在 一个经过所有点的回路
巡回售货员：是否存在访问所有顶点&&总值<=K的圈
这两个问题本质上是可以互相转换的，有边的权都设为1，无边的设为2，再设K=V
因为一直汉密尔顿是NPC问题，所以推导出售货员也是NPC问题