1.P类问题(polynominal)：存在多项式时间算法的问题。
2.NP类问题(NP:Nondeterministic polynominal)：能在多项式时间内验证得出一个正确解的问题。
3.NP-hard: 对于问题H，所有NP问题都可以reduce到H。
4.NPC问题(NPC:NP complete又叫NP完全问题):经过reduce的问题H不一定是NP问题，，即有一部分NP hard问题是落在NP外的。如果问题H是属于NP的话，那么问题H就是NP-complete问题，NPC是NP和NP-hard的交集。
