比如大数的质因数分解。
想知道一个大数是不是素数很难，需要从2开始，一直除到根下n。
但告诉你它能被某个数整除，你去验证，则就几步的事。
这类可以在多项式时间里验证的问题，就叫做NP问题。
显然所有P类问题，都是NP问题，因为是简单可验证的。
但NP类问题，是否都是P类问题？是否存在某些特殊的算法，能将这些问题的难度降低到多项式时间可以解决，就仿佛给答案去验证的程度上去呢？
这就是“P=NP？”了。
在研究的过程中，又诞生出了NPC问题及NP-hard问题。
所谓NPC，就是NP问题可以约化成为的一类问题。
只要解决这样一个问题，就可以附带的解决一大票问题。只要证明了NPC问题有快速算法，就基本证明了P=NP。
【NP-hard就不说了，这是一类包括NPC又大于NPC的问题，定义是超出NP的，所以和这道题没什么关系。】
内容未完，下一页继续阅读