运筹学_计算复杂性(中科院胡晓东).pdfVIP

运筹学基础 胡晓东 应用数学研究所 中国科学院数学与系统科学研究院 北京2734信箱，北京100190 Email: xdhu@amss.ac.cn, Tel: Rm: 904 Institute of Applied Mathematics 提纲 20世纪数学的五大指导理论 Five Golden Rules 叶其孝、刘宝光 Great Theories of 20th Century Math 上海教育出版社，2000 -and Why They Matter 1. 线性规划 对偶定理 2. 博弈论 极大极小定理 运筹学 3. 非线性规划K-K-T 定理 • 模型 4. 计算/算法理论 停机定理,库克定理 拓扑学 不动点定理 • 理论 奇点理论 莫尔斯定理 • 算法 5. 组合最优化算法设计技巧 4. 算法理论-参考文献 计算复杂性导论 堵丁柱、葛可一、王洁 ，高等教育出版社，2002 基础内容 [1] The Design and Analysis of Computer Algorithms A. Aho, J. Hopcroft, J. Ullman, Addison-Wesley Pub., 1974. [2] Combinatorial Optimization: Algorithms and Complexity C. H. Papadimitriou and K. Steiglitz, Prentice-Hall, 1982. [3] Introduction to Algorithms T. H. Cormen, C. E. Leiserson, R. L. Rivest, MIT, 1990. 较深内容 [1] Complexity and Approximation G. Ausiello, et al, Springer, 1999. [2] Combinatorial Optimization: Theory and Algorithms B. Korte and J. Vygen, Springer, 2000. [3] Approximation Algorithmsxdhu 3 V. V. Vzairani, Springer, 2001. 4. 计算/算法理论-历史 计算机的理论始于1935年的英国。 图灵，Alan Turing (1912 －1954)，剑桥 皇家学院的一个大学生，想制造一种( 自 动)推理机，用它来解决由希尔伯特 David Hilbert (1862 －1943)提出的判定 问题(Entscheidungs problem)： 是否存在一种有效的程序，以预 先确定某个结论能不能从一组给 定的假设用逻辑推演出来。 4. 计算/算法理论-历史 （续一） 图灵在试图用数学术语表述这些问题时，所遇到的中心 困难是：对于可视作“有效的程序”的东西，这是一个直观上令 人满意，但是它是非形式的，没有一个清晰的概念。虽说人类 作计算已有数千年的历史，但在1935年前对于什么是计算，仍 然没有一个好的回答。 图灵面临的主要任务是弄清楚如何用一种形式的数学对