P，NP，NPC

以下内容参考《算法导论》，加上我自己的理解

讨论一：

P类问题很容易理解，该类问题能找到多项式时间复杂度的算法。

NP类我的理解是这样的，它一共有两个特点。

特点1：NP类问题究竟有没有多项式时间复杂度的算法，目前还不能证明（既证明不出有相应算法，也证明不出没有相应算法）。

特点2：NP类问题虽然目前还找不到相应算法，但是对于具体某个NP问题（实例Instance），如果你给我一个解（证书Certificate），我能在多项式时间内验证你给的解是否能解决该NP问题。

 

举例来说，对于哈密顿回路问题，如图1所示（为了便于说明，这里只取了5个点，实际点数为N个）。如果问题是“找到以A为起点和终点的哈密顿回路，”对于该问题，但是如果你给我一种解法，如图2所示，我可以在多项式时间内判断出（A->B->C->D->E->A）是该问题的一个解；或者如图3所示，我可以在多项式时间内判断出（A->B->E->A）不是该问题的一个解。所以哈密顿问题就是一个NP问题

 

图1                                                        图2

图3

讨论二：

（1）P  包含于 NP，这个很容易理解，对照NP问题的两个特点，发现P问题完全符合这两个特点。就连求解都可以在多项式时间内完成，验证更不在话下。所以P  包含于 NP。

（2）而P=NP是否成立，则还要关注另外一类（第3类）问题-NPC问题。如果NPC问题是多项式时间可解的，则P=NP；否则，仅能得出P 包含于 NP，得不出P=NP。

（3）当前大多数计算机科学家认为P，NP，NPC的关系应该如图4，除非哪天真的有人设计出一个算法能在多项式时间内解决NP问题，P=NP才成立。

图4

讨论三：

“到底NP问题是否有多项式时间复杂度的算法？”这一问题既然连数学和计算机大牛们都给不出个准确结果，我辈们就更不敢过问了。于是学术论文里常出现一个套路：首先证明一个问题是NPC问题（归约法），这样做是为了告诉别人：“我要解决的问题很难滴，连大牛们都给不出多项式复杂度的算法，所以我只好采用启发式算法喽。”然后就开始各种启发了。

 

以上仅限于我理解的部分。

关于P，NP，NPC，NP-Hard的关系的图解，参考

http://www.cnblogs.com/jpcflyer/archive/2012/04/15/2450622.html

关于P，NP，NPC，NP-Hard更详细介绍和归约过程，参考

http://blog.csdn.net/xiazdong/article/details/8258053