分享
分享赚钱 收藏 举报 版权申诉 / 6

类型P vs. NP:从一则数学家谋杀案说起.doc

  • 上传人:a****
  • 文档编号:323574
  • 上传时间:2025-11-27
  • 格式:DOC
  • 页数:6
  • 大小:17.50KB
  • 配套讲稿:

    如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。

    特殊限制:

    部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。

    关 键  词:
    vs. NP:从一则数学家谋杀案说起 vs NP 一则 数学家 谋杀案 说起
    资源描述:

    1、P vs. NP:从一则数学家谋杀案说起美剧基本演绎法(也就是美版“福尔摩斯”)第 2 季第 2 集中,两位研究 NP 问题的数学家被谋杀了,凶手是同行,因为被害者即将证明“P=NP 问题”,她为独吞成果而下了毒手。然而凶手的动机,并不是千禧年大奖难题那100万美元的奖金解决了 P=NP 问题,就能够破译世界上所有的密码系统,这里面的利益比100万美元多多了。剧中只用了一句话来介绍 P=NP 的意义:“能用电脑快速验证一个解的问题,也能够用电脑快速地求出解”。这句过于简单的话可能让大家一头雾水,今天我们就来讲一讲 P vs. NP。什么是P和NP?基本演绎法S02E02 截图。计算机科学的一个

    2、主要研究方向是提高各种算法的速度。尤其在当前火热的“大数据”概念下,算法速度更显重要。很容易理解,处理的数据越大,计算的耗时就越多。对于一个算法,人们能够分析出运算时间与数据量之间的大致函数关系,这个关系被称为时间复杂度,它定量描述了该算法的运行时间。假设有 n 个数要排序。一个初级的冒泡排序算法所需时间可能与 n2 成正比,快一点的算法所需时间与 nlog(n) 成正比。在某些条件下,桶排序算法所需时间甚至只和 n 成正比。最不实用的算法就是输入的数字随机排列,直到出现完全有序的情况为止记前三个算法的时间复杂度分别记为 O(n2)、O(nlogn) 和 O(n),最后的“猴子排序”(Bogo

    3、sort)算法平均时间复杂度则达到了 O(n*n!)。在上面的例子中,前三种算法的复杂度是 n 的多项式函数;最后一种算法的复杂度是 n 的阶乘,根据斯特林公式,n! 相当于指数级别的增长。当 n 特别小时,多项式级的算法已经快过指数级的算法。当 n 非常大时,人类根本看不到指数级复杂度算法结束的那天。自然的,大家会对多项式级别的算法抱有好感,希望对每一个问题都能找到多项式级别的算法。问题是每个问题都能找到想要的多项式级别的算法吗?在一个由问题构成的集合中,如果每个问题都存在多项式级复杂度的算法,这个集合就是 P 类问题(Polynomial)。这意味着,即使面对大规模数据,人们也能相对容易地

    4、得到一个解,比如将一组数排序。“NP”的全称为“Nondeterministic Polynomial”,而不是“Non-Polynomial”。NP 类问题指的是,能在多项式时间内检验一个解是否正确的问题。比如我的机器上存有一个密码文件,于是就能在多项式时间内验证另一个字符串文件是否等于这个密码,所以“破译密码”是一个 NP 类问题。NP 类问题也等价为能在多项式时间内猜出一个解的问题。这里的“猜”指的是如果有解,那每次都能在很多种可能的选择中运气极佳地选择正确的一步。不妨举个例子:给出 n 个城市和两两之间的距离,求找到一个行走方案,使得到达每个城市一次的总路程最短。我们可以这样来“猜测”

    5、它的解:先求一个总路程不超过 100 的方案,假设我们可以依靠极好的运气“猜出”一个行走路线,使得总长度确实不超过 100,那么我们只需要每次猜一条路一共猜 n 次。接下来我们再找总长度不超过 50 的方案,找不到就将阈值提高到75 假设最后找到了总长度为 90 的方案,而找不到总长度小于 90 的方案。我们最终便在多项式时间内“猜”到了这个旅行商问题的解是一个长度为 90 的路线。它是一个 NP 类的问题。也就是说,NP 问题能在多项式时间内“解决”,只不过需要好运气。显然,P 类问题肯定属于 NP 类问题。所谓“P=NP”,就是问是不是所有的 NP 问题,都能找到多项式时间的确定性算法?P

    6、会不会等于NP?基本演绎法S02E02 截图。这个问题目前还没有定论,当下学术界的大多数意见是 P≠NP。一个主要原因是,这么多年过去了,人们仍然没有找到解决上千个 NPC 问题中任何一个的多项式复杂度的算法。等等,NPC 又是什么?在与数不尽的问题搏斗的过程中,人们有时候会发现,解决问题 A 的算法可以同时用来解决问题 B。例如问题 A 是对学生的姓名与所属班级同时排序,问题 B 是对人们按照姓名做排序。这时候,我们只需要让班级全都相同,便能照搬问题 A 的算法来解决问题 B。这种情况下,数学家就说,问题 B 能归约为问题 A。人们发现,不同的 NP 问题之间也会出现可归约的关系,甚至

    7、存在这么一类(不只是一个)问题,使得任何其它的 NP 问题都能归约到它们上。也就是说,能够解决它们的算法就能够解决所有其它的 NP 问题。这一类问题就是 NPC 问题。这样的问题人们已经找到了几千个,如果我们给其中任何一个找到了多项式级别的算法,就相当于证明了 P=NP。但是人们至今没有成功找到,所以大家对 P=NP 的信心大打折扣。解密无遮拦?基本演绎法S02E02 截图。虽然前景很不乐观,但是不妨来假想一下,如果 P=NP,基本演绎法中所说的“破解密码只是小菜一碟”就会成真了吗?前面说过,证明 P=NP 的一个主要方法就是,给某一个 NPC 问题找到一个快速算法。但是,也不排除有人给出一个

    8、“存在性”而非“构造性”的证明,只是告诉大家存在符合要求的算法,但没法详细描述出来。如果 P=NP 被人以这种方式证明出来了,我们也没法依葫芦画瓢地把这个神奇的算法在电脑上写出来,所以对破解密码仍然没有帮助。退一步说,假如有人构造出可以运用的多项式算法,以此证明了这个问题。这个算法恐怕也很复杂(毕竟这么难找),它的多项式级别的复杂度也可能会非常慢。假设这个算法的复杂度达到了 O(n10),那我们依然面临着不小的麻烦。即使 n=100,运算时间也会增长到非常巨大的地步。再退一步,假设人类的运气好到 P=NP 是真的,并且找到了复杂度不超过 O(n3) 的算法。如果到了这一步,我们就会有一个算法,

    9、能够很快算出某个帐号的密码。基本演绎法里面所想象的可能就要成真了,所有的加密系统都会失去效果应该说,所有会把密码变成数字信息的系统都会失去效果,因为这个数字串很容易被“金钥匙”计算出来。除此之外,我们需要担心或期许的事情还有很多:一大批耳熟能详的游戏,如扫雷、俄罗斯方块、超级玛丽等,人们将为它们编写出高效的AI,使得电脑玩游戏的水平无人能及。整数规划、旅行商问题等许多运筹学中的难题会被高效地解决,这个方向的研究将提升到前所未有的高度。蛋白质的折叠问题也是一个 NPC 问题,新的算法无疑是生物与医学界的一个福音。Wikipedia上有一个关于NPC问题的列表。如果我们手握解决NPC问题的金钥匙,

    10、它们全都能被飞快地解决。除此之外,P=NP 最令人震撼的成果之一可能是下面这段话:(P=NP)会将数学转变为让计算机对任何问题寻找拥有合理长度的证明的学科,因为我们能够在多项式时间内验证一个证明是否正确。这些问题也正好包括千禧年大奖的那些问题。我国古代的读书人,从上学之日起,就日诵不辍,一般在几年内就能识记几千个汉字,熟记几百篇文章,写出的诗文也是字斟句酌,琅琅上口,成为满腹经纶的文人。为什么在现代化教学的今天,我们念了十几年书的高中毕业生甚至大学生,竟提起作文就头疼,写不出像样的文章呢?吕叔湘先生早在1978年就尖锐地提出:“中小学语文教学效果差,中学语文毕业生语文水平低,十几年上课总时数是

    11、9160课时,语文是2749课时,恰好是30%,十年的时间,二千七百多课时,用来学本国语文,却是大多数不过关,岂非咄咄怪事!”寻根究底,其主要原因就是腹中无物。特别是写议论文,初中水平以上的学生都知道议论文的“三要素”是论点、论据、论证,也通晓议论文的基本结构:提出问题分析问题解决问题,但真正动起笔来就犯难了。知道“是这样”,就是讲不出“为什么”。根本原因还是无“米”下“锅”。于是便翻开作文集锦之类的书大段抄起来,抄人家的名言警句,抄人家的事例,不参考作文书就很难写出像样的文章。所以,词汇贫乏、内容空洞、千篇一律便成了中学生作文的通病。要解决这个问题,不能单在布局谋篇等写作技方面下功夫,必须认

    12、识到“死记硬背”的重要性,让学生积累足够的“米”。单靠“死”记还不行,还得“活”用,姑且称之为“先死后活”吧。让学生把一周看到或听到的新鲜事记下来,摒弃那些假话套话空话,写出自己的真情实感,篇幅可长可短,并要求运用积累的成语、名言警句等,定期检查点评,选择优秀篇目在班里朗读或展出。这样,即巩固了所学的材料,又锻炼了学生的写作能力,同时还培养了学生的观察能力、思维能力等等,达到“一石多鸟”的效果。它出自 NP 完全理论奠基人史提芬·古克的笔下。上面这些只言片语的描述,已经展现出了 P=NP情况下,世界将会出现怎样一副天翻地覆的变化。也正是因为这样的结果实在难以置信,人们普遍倾向于相信 P≠NP。我也希望 P≠NP ,这样至少我的网银相对来说还是挺安全的。其实,任何一门学科都离不开死记硬背,关键是记忆有技巧,“死记”之后会“活用”。不记住那些基础知识,怎么会向高层次进军?尤其是语文学科涉猎的范围很广,要真正提高学生的写作水平,单靠分析文章的写作技巧是远远不够的,必须从基础知识抓起,每天挤一点时间让学生“死记”名篇佳句、名言警句,以及丰富的词语、新颖的材料等。这样,就会在有限的时间、空间里给学生的脑海里注入无限的内容。日积月累,积少成多,从而收到水滴石穿,绳锯木断的功效。

    展开阅读全文
    提示  课堂库(九科星学科网)所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    关于本文
    本文标题:P vs. NP:从一则数学家谋杀案说起.doc
    链接地址:https://www.ketangku.com/wenku/file-323574.html
    相关资源 更多
  • 江苏省淮安市南陈集中学2014-2015学年高二数学1月调查测试试题(扫描版)苏教版.doc江苏省淮安市南陈集中学2014-2015学年高二数学1月调查测试试题(扫描版)苏教版.doc
  • 湖北省武汉市江夏区2012-2013学年高二上学期期中联考数学 理 试题 WORD版含答案.doc湖北省武汉市江夏区2012-2013学年高二上学期期中联考数学 理 试题 WORD版含答案.doc
  • 湖北省武汉市江夏区2012-2013学年高二上学期期中联考数学 文 试题 WORD版含答案.doc湖北省武汉市江夏区2012-2013学年高二上学期期中联考数学 文 试题 WORD版含答案.doc
  • 江苏省淮安市南陈集中学2014-2015学年高一上学期12月调考数学试卷 WORD版含解析.doc江苏省淮安市南陈集中学2014-2015学年高一上学期12月调考数学试卷 WORD版含解析.doc
  • 江西省金溪县第一中学高一数学上学期第二次12月月考试题.docx江西省金溪县第一中学高一数学上学期第二次12月月考试题.docx
  • 湖北省武汉市江夏区2012-2013学年高一上学期期中联考数学试题 WORD版含答案.doc湖北省武汉市江夏区2012-2013学年高一上学期期中联考数学试题 WORD版含答案.doc
  • 湖北省武汉市江夏一中2019-2020学年高二数学下学期3月月考试题(含解析).doc湖北省武汉市江夏一中2019-2020学年高二数学下学期3月月考试题(含解析).doc
  • 湖北省武汉市汉阳区2015_2016学年七年级数学上学期期中试卷新人教版.doc湖北省武汉市汉阳区2015_2016学年七年级数学上学期期中试卷新人教版.doc
  • 湖北省武汉市汉阳一中、江夏一中2017-2018学年高一10月联考数学试卷 WORD版含答案.doc湖北省武汉市汉阳一中、江夏一中2017-2018学年高一10月联考数学试卷 WORD版含答案.doc
  • 江西省重点高中2022学年高二数学上学期第三次月考试题 理.docx江西省重点高中2022学年高二数学上学期第三次月考试题 理.docx
  • 江西省重点高中2022学年高二数学上学期第三次月考试题 文.docx江西省重点高中2022学年高二数学上学期第三次月考试题 文.docx
  • 湖北省武汉市汉阳一中2021届高三数学下学期6月仿真模拟试题(六).doc湖北省武汉市汉阳一中2021届高三数学下学期6月仿真模拟试题(六).doc
  • 湖北省武汉市汉阳一中2021届高三数学下学期6月仿真模拟试题(五).doc湖北省武汉市汉阳一中2021届高三数学下学期6月仿真模拟试题(五).doc
  • 江苏省淮安市六校联盟2020届高三第三次学情调查数学(理)试题(含附加题) WORD版含答案.doc江苏省淮安市六校联盟2020届高三第三次学情调查数学(理)试题(含附加题) WORD版含答案.doc
  • 江西省重点高中2022学年高一数学上学期第三次月考试题.docx江西省重点高中2022学年高一数学上学期第三次月考试题.docx
  • 湖北省武汉市汉阳一中2021届高三下学期6月全国高校统一招生考试仿真模拟(六)数学试卷 WORD版含答案.doc湖北省武汉市汉阳一中2021届高三下学期6月全国高校统一招生考试仿真模拟(六)数学试卷 WORD版含答案.doc
  • 江苏省淮安市六校联盟2020届高三数学第三次学情调查试题理202005140198.doc江苏省淮安市六校联盟2020届高三数学第三次学情调查试题理202005140198.doc
  • 江西省重点高中2014-2015学年高二上学期第三次月考 数学理 WORD版含答案.doc江西省重点高中2014-2015学年高二上学期第三次月考 数学理 WORD版含答案.doc
  • 江苏省淮安市六校联盟2020届高三数学第三次学情调查试题文.doc江苏省淮安市六校联盟2020届高三数学第三次学情调查试题文.doc
  • 江苏省淮安市六校联盟2020届高三数学第三次学情调查试题 理.doc江苏省淮安市六校联盟2020届高三数学第三次学情调查试题 理.doc
  • 江西省重点中学(赣中南五校)2015届高三联合考试最后一卷数学试题 WORD版含答案.doc江西省重点中学(赣中南五校)2015届高三联合考试最后一卷数学试题 WORD版含答案.doc
  • 湖北省武汉市汉阳一中2016高三2月调考模拟考试数学理试卷 WORD版含答案.doc湖北省武汉市汉阳一中2016高三2月调考模拟考试数学理试卷 WORD版含答案.doc
  • 江西省重点中学联盟2021-2022学年高二上学期第一次月考数学试题 WORD版含答案.doc江西省重点中学联盟2021-2022学年高二上学期第一次月考数学试题 WORD版含答案.doc
  • 江西省重点中学盟校2023届高三数学(理)下学期第二次联考试题(Word版附解析).docx江西省重点中学盟校2023届高三数学(理)下学期第二次联考试题(Word版附解析).docx
  • 江西省重点中学盟校2023届高三数学(理)下学期第一次联考试题(Word版附解析).docx江西省重点中学盟校2023届高三数学(理)下学期第一次联考试题(Word版附解析).docx
  • 江西省重点中学盟校2023届高三数学(文)下学期第二次联考试题(Word版附解析).docx江西省重点中学盟校2023届高三数学(文)下学期第二次联考试题(Word版附解析).docx
  • 湖北省武汉市汉铁高级中学2015届高三5月周练数学(理)试题(2015年5月2日) WORD版含答案.doc湖北省武汉市汉铁高级中学2015届高三5月周练数学(理)试题(2015年5月2日) WORD版含答案.doc
  • 江西省重点中学盟校2023届高三数学(文)下学期第一次联考试题(Word版附解析).docx江西省重点中学盟校2023届高三数学(文)下学期第一次联考试题(Word版附解析).docx
  • 湖北省武汉市汉铁高级中学2015届高三5月周练数学(文)试题(2015年5月2日) WORD版含答案.doc湖北省武汉市汉铁高级中学2015届高三5月周练数学(文)试题(2015年5月2日) WORD版含答案.doc
  • 关于我们 - 联系我们 - 加入我们 - 常用工具与软件 - 公益活动

    copyright@ 2020-2024 www.ketangku.com网站版权所有

    黑ICP备2024021605号-1