请问数学中P与NP是什么题(具体些)
来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/20 17:16:22
请问数学中P与NP是什么题(具体些)
请问数学中P与NP是什么题(具体些)
请问数学中P与NP是什么题(具体些)
P/NP问题是在理论信息学中计算复杂度理论领域里至今没有解决的问题,它被“克雷数学研究所”(Clay Mathematics Institute,简称CMI)在千禧年大奖难题中收录.P/NP问题中包含了复杂度类P与NP的关系.1971年史提芬·古克(Stephen A.Cook) 和 Leonid Levin 相对独立的提出了下面的问题,即是否两个复杂度类P和NP是恒等的(P=NP?
复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非确定图灵机上在多项式时间内找出的问题的集合.很可能,计算理论最大的未解决问题就是关于这两类的关系的:.
更正式一些,一个决定问题是一个取一些字符串为输入并要求输出为是或否的问题.若有一个算法(譬如图灵机,或一个LISP或Pascal的程序并有无限的内存)能够在最多nk步内对一个串长度为n的输入给出正确答案,其中k是某个不依赖于输入串的常数,则我们称该问题可以在多项式时间内解决,并且将它置入类P.直观的讲,我们将P中的问题视为可以较快解决的问题.
现在假设有一个算法A(w,C)取两个参数,一个串w,也就是我们的决定问题的输入串,而另一个串C是“建议证明”,并且使得A在最多nk步之内产生“是/否”答案(其中n是w的长度而k不依赖于w).进一步假设
w是一个答案为“是”的例子,当且仅当,存在C使得A(w,C)返回“是”.
则我们称这个问题可以在非决定性多项式时间内解决,且将它放入NP类.我们把算法A作为一个所建议的证明的检验器,它运行足够快.(注意缩写NP代表“Non-deterministic(非确定性)Polynomial(多项式)”而不是代表“Non-Polynomial(非多项式).)