第一讲 算法概述.ppt

Introduction to Algorithms算法导论 教材及参考书 Sara Baase and Allen Van Gelder, Computer Algorithms－Introduction to Design and Analysis (3rd Ed), Addison-Wesley, 2000 计算机算法：设计与分析导论，朱清新等编著，人民邮电出版社 2007 教材及参考书 Gelder, 乌迪 曼博（Udi Manber） 算法引论—一种创造性方法，电子工业出版社，2009 算法导论，潘金贵（译），机械工业出版社，2006 教材及参考书 计算机算法设计与分析，王晓东，电子工业出版社，2012 第一章 引论 算法的基本概念 算法的数学基础 集合论 逻辑学 概率论 求和与递归 快速估算法 算法的效率和复杂度 1.1 算法的基本概念 算法导论：进行算法的分析与设计（如何高效地进行转化）. 软件工程：使转化的过程更加规范化和易于管理. 可计算性 可计算性理论描述那些在算法上可解的问题的特征. 定义：我们说一个问题是算法上可解的，如果我们能够设计出一个计算机程序，对于该问题的任何一个输入都可以给出正确的答案. 在上述定义中我们假设所需要的计算资源（时间和存储空间）是充分大的. Enough storage space Enough time 理论与现实可解性 下棋程序 棋盘的数学（西萨与舍罕王） 不可解问题 Alan Turing, On computable numbers, with an application to the Entscheidungs problem,（论可计算数及其在判定问题中的应用） Proceedings of the London Math. Society, Series 2, 42 (1936), pp 230-265. 在这篇划时代的论文中，图灵提出了图灵机的概念，给出了停机问题的定义并且证明了它是不可解问题. Halting Problems Question: Does the following program stop for any n? While (n 1) If (odd(n)) N = 3*n + 1 ; Else N = n / 2; End (while) Halting Problems 阿兰?图灵 Turing, Alan Mathison 1912年6月 23日生于英国伦敦, 1954年6月7日 卒于英国威姆斯洛(Wilmslow). 牛津大学安德鲁·哈吉斯在《谜一 样的图灵》（Alan Turing: The Enigma）中做了这样的描述：“图灵似乎是上天派来的一个使者，匆匆而来，匆匆而去，为人间留下了深邃的思想，后人必须为之思索几十年或几百年甚至永远.” 历史注记 1900年罗素认识到数学是逻辑学的一部分。1910年罗素和他的老师阿尔弗雷德·诺斯·怀特海一起发表了三卷本的《数学原理》, 对这一概念做了系统阐述，创建了数理逻辑. 怀特海和罗素创建数理逻辑的原因主要是为了对付“悖论”.他们认为“悖论”是由于人类语言的先天不精密造成的，而逻辑本身是天衣无缝的.他们坚信所有的数学成果都可以用逻辑推导出来. 希尔伯特纲领 1928年德国数学家大卫·希尔伯特（D．Hillbert）提出著名的“希尔伯特纲领”，认为《数学原理》中所定义的系统既是一致的，也是完备的，换言之，一个系统的完备和一致性，可以由该系统本身得到证明. 1931年，“希尔伯特纲领”被奥地利逻辑学家库尔特·哥德尔（Godel）捅出一个大窟窿，哥德尔认为没有一种公理系统可以导出数论中所有的真实命题，除非这种系统本身就有悖论。这就是著名的“哥德尔定理”. 哥德尔不完备性定理 哥德尔定理： 对每个丰富而可靠的数学形式系统S.第一，在S中存在既不可证也不可否证，即不可判定的命题（第一不完全性定理）；第二，在S中不可证S的一致性（第二不完全性定理）. 哥德尔定理中最重要的是哥德尔第一不完备性定理.第二不完备性定理是第一定理的一个推论: “任何相容的形式体系不能用于证明它本身的相容性”. 哥德尔定理不仅推翻了“希尔伯特纲领”，还矛头直指《数学原理》，说它本身就是不一致的. 图灵机 为了验证数学系统的一致性，图灵提出一个设想：能否有这样一台机器，通过某种一般的机械步骤，能解决所有的数学命题.在《论可计算数及其在判定问题中的应用》这篇文章中图灵分析了计算的过程，给出了理论上可计算任何“可计算序列”——某种0和1的序列——的“通用”计算机概念，并利用这一概念解决了希尔伯特提出的一个著名的判定问题．这个问题涉及到逻辑的完备性，即是否