浅谈NP、P、NPC、NP-hard问题

首先强烈推荐阅读此篇文章，例子恰如其分，思路清晰明了。http://www.matrix67.com/blog/archives/105 http://blog.csdn.net/dongwq/article/details/4305435

1. P问题：可以在多项式时间内解决的问题。但是需要注意此处的多项式时间是针对输入规模而言，对比例子如下：
   例子1： n个数字的排序，此时输入是n个数字，时间复杂度是O(nlogn)，可以在多项式时间内解决
   例子2：0-1背包问题，输入是n个物品的价值和重量、背包最大承受重量W。在计算机底层可以看到编码长度为n+logn+logW bit（假定每个物品价值和重量占1bit），时间复杂度是O(W*n），对于编码长度（也即输入规模）来说是无法通过多项式计算得到，因此只能是NP问题。（其实它是NPC问题，不过这个需要归约到一种NPC问题，读者可以自行跳过）

2. NP问题： 不能在多项式时间内解决，但是可以对任何一个实例进行多项式时间内的验证。
   例子：寻找长度小于100的哈密顿回路。这个显然不能在多项式时间内解决，但是当你举出一条路径时，可以在多项式时间内验证是否满足。

3. NPC问题： NPC问题的由来是规约。规约说白了，就是把一个普适性低的问题归约到普适性高的问题，比如把解决一元一次方程归约到解决一元二次方程。显然，当你解决了一元二次方程后，也必然能够解决一元一次方程。因此人们设想，如果把一个NP问题归约到另一个较为复杂的NP问题，这个复杂的NP问题又继续规约，会一直归约到一种情况：出现一个顶级NP问题，只要解决了它，那么所有的NP问题都可以解决。
   令人感到惊讶的是，现在已经找到了这类问题，并且还不止一个。最为出名且基础的就是逻辑电路问题（大家可以联想到计算机底层实现，通过输入若干01串来获取输出，具体证明过程很复杂，感兴趣的可以移步算法导论仔细看）。
   因此我们要证明一个NPC问题便变得简单起来，只需要证明两点：
   第一，它是一个np问题。
   第二，现存的NPC问题可以规约至它。

4. NP-hard 问题：
   首先明确，所有的NPC问题都是np-hard问题，但是np-hard问题还包括一些其他的难题。这个也很简单，因为所有的NPC问题都能在多项式时间内给出实例的正误情况，但是也存在一些问题不能在多项式时间内给出实例的正误情况。因此上述两种问题共同组成了NP-hard问题。