第九章算法复杂性模型.pptVIP

North China Electric Power University 一般说来，可变换性不是一个对称关系。在问题A和B可互相转换时，即A∝t(n)B且B∝t(n)A时，称问题A和B是t(n)时间等价的。当t(n)为线性函数时，称问题A和B是等价的。在这个意义上，问题A和B有相同的计算复杂性。 North China Electric Power University Computer Algorithms Design Analysis 华北电力大学计算机科学与工程系 Dept. of Computer ScienceEngineering of North China Electric Power University 第九章 计算理论 ★ 图灵简介 ★ 图灵模型TM ★ P类和NP类问题 North China Electric Power University ★ NP完全问题 ★ 自动机简介 图灵1912年生于英国伦敦，1954年死于英国的曼彻斯特。图灵是个天才，16岁就开始研究爱因斯坦的相对论，1931 年考入剑桥大学国王学院，开始他的数学生涯，研究量子力学、概率论和逻辑学。大学毕业后，图灵去美国普林斯顿大学攻读博士学位，在那里，他遇见了冯·诺依曼，后者对他的论文大加赞赏，并随后由此提出了存储程序概念。 §1 图灵简介 怀特海和罗素创建了数理逻辑，并坚信所有的数学成果都可以用逻辑推导出来，并认为 “悖论”是由于人类语言的先天不精密造成的，而逻辑本身是天衣无缝的。德国大数学家大卫.希尔伯特在此基础上，于1928年提出著名的“希尔伯特纲领”，认为《数学原理》所定义的系统既是一致的，也是完备的，即任何系统的完备和一致性，可以由系统本身得到证明。1931年，“希尔伯特纲领”被奥地利逻辑学家库尔特.哥德尔搠 North China Electric Power University 出一个大窟窿，他认为没有一种公理系统可以导出数论中所有的真实命题，除非这种系统本身就有悖论。这就是著名的“哥德尔定理”。它不仅推翻“希尔伯特纲领”，还直逼《数学原理》，说它本身就是不一致的。整个逻辑和数学领空中阴云四布。 正是在这种背景下，图灵在数理逻辑大本营的剑桥大学提出一个设想：能否有这样一台机器，通过某种一般的机械步骤，能在原则上一个接一个地解决所有的数学问题。1936年图灵发表一篇著名的论文《论数字计算在判决难题中的应用》。他提出了一种十分简单但运算能力极强的理想计算装置，用它来计算所有能想象得到的可计算函数。它由一个控制器和一根假设两端无界的工作带组成。工作带起着存储器的作用，它被划分为大小相同的方格，每一格上可书写一个给定字母表上的符号。控制器可以在带上左右移动，控制带有一个读写头，读写头可以读出控制器访问的格子上的符号，也能改写和抹去这一符号。这一装置只是一种理想的计算模型，或者说是一种理想中的计算机。这就是电脑史上与“冯.诺依曼机器”齐名的“图灵机”。 North China Electric Power University 与冯·诺依曼同时代的富兰克尔(Frankel，冯氏同事)在回忆中说：冯·诺依曼没有说过“存储程序”型计算机的概念是他的发明，却不止一次地说过，图灵是现代计算机设计思想的创始人。当有人将“电子计算机之父”的头衔戴在冯·诺依曼头上时，他谦逊地说，真正的计算机之父应该是图灵。当然，冯·诺依曼问之无愧，而图灵也有“人工智能之父”的桂冠。他俩是计算机历史浩瀚星空中相互映照的两颗巨星。 早在1945年，图灵就提出“仿真系统”的思想，并有一份详细的报告，想建造一台没有固定指令系统的电脑。它能够模拟其他不同指令系统的电脑的功能，但这份报告直到1972年才公布。这说明图灵在二战结束后就开始了后来被称为“人工智能”领域的探索，他开始关注人的神经网络和电脑计算之间的关联。 North China Electric Power University 1950 年，图灵又来到曼彻斯特大学任教，同时还担任该大学自动计算机项目的负责人。就在这一年的十月，他又发表了另一篇题为《机器能思考吗？》的论文，成为划时代之作。也正是这篇文章，为图灵赢得了一顶桂冠－ “人工智能之父”。在这篇论文里，图灵第一次提出“机器思维”的概念。他逐条反驳了机器不能思维的论调，做出了肯定的回答。 他还对智能问题从行为主义的角度给出了定义，由此提出一假想：即一个人在不接触对方的情况下，通过一种特殊的方式，和对方进行一系列的问答，如果在相当长时间内，他无法根据这些问题判断对方是人还是计算机，那么，就可以认为这个计算机具有同人相当的智力，即这台计