到底什么是P问题，NP问题，NPC问题，NP-hard问题？什么是规约（或约化）？

    我们在阅读paper时，经常会看到NP-hard，NP-complete等问题。我也是慢慢学习发现到这些问题的趣味，下面我们一起来探讨一下P，NP，NP-hard，NP-complete这些问题吧！在正式进入之前，先简单列出一波常见的概念。

1.时间复杂度

    在遇到算法问题时，就不可避免的需要讨论算法的时间复杂度。算法的时间复杂度可以用来度量算法的运行时间。算法的时间复杂度反映了程序执行时间随输入规模增长而增长的量级，在很大程度上能很好反映出算法的优劣程度。说白了，时间复杂度也就可以表示为对于高速处理数据的计算机来说，处理某一个特定数据的效率不能衡量一个程序的好坏，而应该看当这个数据的规模变大到数百（或万）倍后，程序运行时间是否还是一样，或者也跟着慢了数百（或万）倍。

    每个问题有自己的规模，假设n为问题的规模，当n不断变化时，时间频度T(n)也会不断变化。一般情况下，算法中基本操作重复执行的次数是问题规模n的某个函数，用T(n)表示，若有某个辅助函数f(n),使得当n趋近于无穷大时，T(n)/f(n)的极限值为不等于零的常数，则称f(n)是T(n)的同数量级函数。记作T(n)=Ｏ(f(n)),称Ｏ(f(n)) 为算法的渐进时间复杂度，简称时间复杂度。

    通常复杂度被分为两种级别，一种是多项式级复杂度（形如O(1)，O(log(n))，O(n^a)），另一种是非多项式级复杂度（形如O(a^n)，O(n!)）。一般来说我们选择的算法通常都需要是多项式级的复杂度，非多项式级的复杂度需要的时间太多，往往会超时，除非是数据规模非常小。

2.什么是P问题、NP问题？

    首先，简单直观的说什么是P问题？如果一个问题可以找到一个能在多项式的时间里解决它的算法，那么这个问题就属于P问题。P问题也叫做多项式问题。

   NP问题是指可以在多项式的时间里验证一个解的问题。注意NP问题不是非P问题！有一个著名的NP问题：旅行家推销问题(TSP)。简述如下：

   即有一个推销员，要到n个城市推销商品，他要找出一个包含所有n个城市的环路，这个环路路径小于a。我们知道这个问题如果单纯的用枚举法来列举的话会有种，这已经不是多项式时间的算法了。那怎么办呢？我们可以用猜的，假设人品爆炸猜几次就猜中了一条小于长度a的路径，TSP问题解决了。但是实际上，我们不可能每次都猜的准，或许我们猜几次能猜出来，或许我们把所有路径都猜一遍也猜不出来？所以我们说，这是一个NP类问题。也就是，我们能在多项式的时间内验证并得出问题的正确解，可是我们却不知道该问题是否存在一个多项式时间的算法，每次都能解决它(注意，这里是不知道，不是不存在！)。

  那么由此可以引出一个疑问至今的问题：NP问题=？P问题（NP类问题是否等于P类问题？）。也就是说是否我们能在多项式时间内得到的解能够用计算机上的多项式算法解决呢？那么这样的话，所有问题都能用计算机上的算法解决咯?在讲清这个问题前，我们需要了解规约（或约化）的概念。

3.什么是规约（或约化）？

    科学家在解决上述问题时，首先引入约化的概念。一个问题A可以约化为问题B的含义即是，可以用问题B的解法解决问题A，或者说，问题A可以“变成”问题B。也就是说B的解法能同时解决问题A和问题B，问题A可以约化为问题B。这个示例说明什么呢？A的时间复杂度是≥B的时间复杂度。这样的话，相当于我们用问题B简化了问题A。

   除了约化的概念反应的物理意义外，约化还有一个重要的性质：传递性！如果A问题可以约化为B，B问题可以约化为C问题，那么可以得出结论，A问题一定可以约化为问题C。但是注意，约化的过程只能在多项式的时间内完成才有意义，如果不是“多项式”约化，而是非多项式的约化，这个约化过程就完全没有意义。所以要注意约化的范围！

   参考前面时间复杂度的概念，我们也可以直接观察到，约化所带来的时间复杂度的增加，能处理的范围也变大。所以我们可以通过对某些问题的不断约化，通过增加算法的时间复杂度，增大适用范围，来取代一些适用范围小，没有什么实际适用绩效的算法。

4.什么是NPC问题、NP-hard问题？

   在了解了约化的概念后，一个很不可思议的概念出现了，那就是NPC问题。到底什么是NPC问题呢？我们有NP问题，那么我们  能不能通过一步步约化NP问题，让它变成一个能解决掉所有NP问题的“主”NP问题呢？答案是：这个“主”NP问题是存在的。这个“主”NP问题=NPC问题（NP-Complete问题），注意NPC问题指的是一大类的问题，而不是一个问题！

    前面已经讲了NP问题满足的两点条件，这里NPC问题满足的条件是：（1）该问题必须是一个NP问题；（2）所有的NP问题都可以约化到该问题。

    那么事实上，我们对于问题的解决方法已经大致明了，NPC问题是由所有的NP问题约化得到的，那么我们只要找到NPC的一个“解”（也就是一个多项式算法），那么所有的NP问题就能解决！这个时候P=NP，但正是因为给NPC找一个多项式算法太难太难（这里是指想要一个时间复杂度为多项式级的算法是很难很难的），所以人们相信P≠NP。

   那什么是NP-hard问题呢？NP-hard问题满足NPC问题定义的第二条但不一定要满足第一条，即NP-hard问题可以通过所有的NP问题都可以约化，但它不一定是NP问题（就是说，NP-Hard问题要比 NPC问题的范围广）。