NPC问题是在P问题与NP问题上的一个重大进展在20世纪70年代初由Cook S和Levin L完成，他们发现NP中的某些问题的复杂性与整来自个类的复杂性相关联.这些问题中任何一个如果存在多项式时间的算法,那么所有NP问题都是多项式时间可解的。