看书看到相关的概念了,见得多但概念一直没理清,所以查阅资料整理如下:
首先来几个基础概念:直接摘录自百度百科
时间复杂度:在计算机科学中,算法的时间复杂度是一个函数,它定量描述了该算法的运行时间。这是一个关于代表算法输入值的字符串的长度的函数。时间复杂度常用大O符号表述,不包括这个函数的低阶项和首项系数。
多项式时间(Polynomial time)在计算复杂度理论中,指的是一个问题的计算时间m(n)不大于问题大小n的多项式倍数。任何抽象机器都拥有一复杂度类,此类包括可于此机器以多项式时间求解的问题。m(n)= o(n^k)
约化/规约(Reducibility):一个问题A可以约化为问题B的含义即是,可以用问题B的解法解决问题A
P问题(Polynomial 多项式)指的是可以在多项式时间内被通常意义下计算机解决的问题。
NP问题是指可以在多项式时间内“猜”出一个解的问题。
比如找上海到北京是否有一条的小于1500KM的路,直接解很难,但是“猜“出一条并不难,这时我们需要考虑的是猜到一个解去验证它是否能在多项式时间内完成,如果不能就尴尬了,233,那就不是NP问题了。
显然P问题都是NP问题
人们坚信P≠NP,因为有NPC的存在
NPC问题/NP-完全问题:①它得是一个NP问题;②所有的NP问题都可以约化到它。
// NPC问题目前没有多项式的有效算法,只能用指数级甚至阶乘级复杂度的搜索。
NP-hard问题。满足②不一定满足①
NPC问题很抽象,来一个具体的例子:给定一个逻辑电路,问是否存在一种输入使输出为True,这即逻辑电路问题。//虽然看不出来,但人家证明了这个是NPC问题
理论证明了所有NP问题都可以约化为逻辑电路问题 //好可怕
有很多NPC问题,但都找不到多项式算法,因为一旦找到了就可以证明P=NP
P,NP,Np-hrad,NPC关系如下:(用画图画的,有点拙劣,哈哈哈)
最后祝大家都变得有文化~