显然所有p类问题，都是np问题，因为是简单可验证的。
但np类问题，是否都是p类问题？是否存在某些特殊的算法，能将这些问题的难度降低到多项式时间可以解决，就仿佛给答案去验证的程度上去呢？
这就是“p=np？”了。
在研究的过程中，又诞生出了npp-hard问题。
所谓npp问题可以约化成为的一类问题。
只要解决这样一个问题，就可以附带的解决一大票问题。只要证明了npc问题有快速算法，就基本证明了p=np。
【np-hard就不说了，这是一类包括nppc的问题，定义是超出np的，所以和这道题没什么关系。】
最初所有人都以为npc只是空想，直到真的出现了这样一个问题
也就是npc的鼻祖——逻辑电路问题。
此后一大堆npc冒出来，因为要证明新的npc，只要将之归约为已知的npc就行了，于是哈密顿回路、tsp问题、sat问题、背包问题、旅行商问题，都变成了npc。
不过出这道题的人一定没看到叶寒那篇关于蛋白质折叠的论文……
或者看到了还没来得及改；
也可能想改但是落子无悔，改不了了……
如果p=np被证明，那整个世界，都会变得与我们认为的完全不同。
灵感与创造将没有任何价值，因为所有问题的解，都可以用努力的算法解决，而且在多项式时间内。
但np类问题，是否都是p类问题？是否存在某些特殊的算法，能将这些问题的难度降低到多项式时间可以解决，就仿佛给答案去验证的程度上去呢？
这就是“p=np？”了。
在研究的过程中，又诞生出了npp-hard问题。
所谓npp问题可以约化成为的一类问题。
只要解决这样一个问题，就可以附带的解决一大票问题。只要证明了npc问题有快速算法，就基本证明了p=np。
【np-hard就不说了，这是一类包括nppc的问题，定义是超出np的，所以和这道题没什么关系。】
最初所有人都以为npc只是空想，直到真的出现了这样一个问题
也就是npc的鼻祖——逻辑电路问题。
此后一大堆npc冒出来，因为要证明新的npc，只要将之归约为已知的npc就行了，于是哈密顿回路、tsp问题、sat问题、背包问题、旅行商问题，都变成了npc。
不过出这道题的人一定没看到叶寒那篇关于蛋白质折叠的论文……
或者看到了还没来得及改；
也可能想改但是落子无悔，改不了了……
如果p=np被证明，那整个世界，都会变得与我们认为的完全不同。
灵感与创造将没有任何价值，因为所有问题的解，都可以用努力的算法解决，而且在多项式时间内。