P与NP
来源:互联网 发布:域名绑定本地主机 编辑:程序博客网 时间:2024/05/16 17:45
参考:http://www.matrix67.com/blog/archives/105
先用几句话简单说明一下时间复杂度。时间复杂度并不是表示一个程序解决问题需要花多少时间,而是当问题规模扩大后,程序需要的时间长度增长得有多快。
复杂度被分为两种级别,其中后者的复杂度无论如何都远远大于前者:一种是O(1),O(log(n)),O(n^a)等,我们把它叫做多项式级的复杂度,因为它的规模n出现在底数的位置;另一种是O(a^n)和O(n!)型复杂度,它是非多项式级的,其复杂度计算机往往不能承受。当我们在解决一个问题时,我们选择的算法通常都需要是多项式级的复杂度,非多项式级的复杂度需要的时间太多,往往会超时,除非是数据规模非常小。
自然地,人们会想到一个问题:会不会所有的问题都可以找到复杂度为多项式级的算法呢?很遗憾,答案是否定的。有些问题甚至根本不可能找到一个正确的算法来,这称之为“不可解问题”(Undecidable Decision Problem)。The Halting Problem(停机问题)就是一个著名的不可解问题。
Hamilton回路。问题是这样的:给你一个图,问你能否找到一条经过每个顶点一次且恰好一次(不遗漏也不重复)最后又走回来的路(满足这个条件的路径叫做Hamilton回路)。这个问题现在还没有找到多项式级的算法。
NP问题(Nondeterministic Polynomial)不是非P类问题。(非多项式问题是Non-polynomial)NP问题是指可以在多项式的时间里验证一个解的问题。NP问题的另一个定义是,可以在多项式的时间里猜出一个解的问题。下面我要举的例子是一个经典的例子,它指出了一个目前还没有办法在多项式的时间里验证一个解的问题。很显然,前面所说的Hamilton回路是NP问题,因为验证一条路是否恰好经过了每一个顶点非常容易。但我要把问题换成这样:试问一个图中是否不存在Hamilton回路。这样问题就没法在多项式的时间里进行验证了,因为除非你试过所有的路,否则你不敢断定它“没有Hamilton回路”。很显然,所有的P类问题都是NP问题。
人们普遍认为,P=NP不成立,也就是说,存在至少一个不可能有多项式级复杂度的算法的NP问题。人们如此坚信P≠NP是有原因的,就是在研究NP问题的过程中找出了一类非常特殊的NP问题叫做NP-完全问题,也即所谓的NPC问题。
为了说明NPC问题,我们先引入一个概念——约化(Reducibility,有的资料上叫“归约”)。简单地说,一个问题A可以约化为问题B的含义即是,可以用问题B的解法解决问题A,或者说,问题A可以“变成”问题B。《算法导论》上举了这么一个例子。比如说,求解一个一元一次方程和求解一个一元二次方程,知道如何解一个一元二次方程那么一定能解出一元一次方程。同样地,Hamilton回路可以约化为TSP问题(Travelling Salesman Problem,旅行商问题)。“问题A可约化为问题B”有一个重要的直观意义:B的时间复杂度高于或者等于A的时间复杂度。
NPC问题(NP-完全问题)的定义非常简单。同时满足下面两个条件的问题就是NPC问题。首先,它得是一个NP问题;然后,所有的NP问题都可以约化到它。
NP-Hard问题是这样一种问题,它满足NPC问题定义的第二条但不一定要满足第一条(就是说,NP-Hard问题要比NPC问题的范围广)
- P与NP
- P与NP问题
- P,NP,NP Complete
- 时间复杂度 与 P,NP,NPc
- P与NP问题的简单解释
- P,NP,NP-hard,NPC
- P,NP,NP-complete,NP-hard
- P/NP/NP-Complete/NP-Hard
- P/NP/NP-Complete/NP-Hard
- P,NP,NP-complete,NP-hard
- P,NP,NP-C,NP-hard问题
- P/NP/NP-Complete/NP-Hard Problems
- P NP NP-hard NP-complete
- P、NP、NP-Complete、NP-Hard
- P, NP, NP-complete, NP hard问题
- P、NP、NP-hard、NP-complete问题
- NP,NP-heard,P,NP完全问题
- 算法分析与设计复习-P,NP,NPC问题
- Androidstudio生成的Apk文件路径
- 打造属于自己的侧边栏(SlidingMenu)
- 50-题目1047:素数判定
- iOS中二进制数据转成字典
- ogre文字动态加载实现和bug修改
- P与NP
- WARN Fetching topic metadata with correlation id 955 for topics [Set(test3)] from broker [BrokerEndP
- git
- Codeforces 651B Beautiful Paintings【思维】
- 我的第一篇博客 - java 环境变量设置
- android柱状progressbar
- IOS之plist文件
- 对话框形式的 Activity
- 【CS229 lecture17】连续马尔科夫决策过程