邹权（博士）httpnclab.hit.edu.cn~zouquanhttpdbgroup.pptVIP

邹 权 （博 士） /~zouquan/ /zouquan/ An Interesting Problem We get to observe the “qualities” of m secretaries: X1,…,Xm sequentially according to a random order. Our goal is to maximize the probability of finding the “best” candidate with no looking back! 定义1 (算法) 算法是一个满足下列条件的计算： 有穷性/终止性：有限步内必须停止， 确定性：每一步都是严格定义和确定的动作， 能行性：每一个动作都能够被精确地机械执行， 输入：有一个满足给定约束条件的输入， 输出：满足给定约束条件的结果。 最早的算法是欧几里德的“求最大公因子算法” 一个算法是正确的，如果它对于每一个输入都最终停止,而且产生正确的输出。 不正确算法： ①不停止(在某个输入上) ②对所有输入都停止，但对某输入产生不正确结果 近似算法 ①对所有输入都停止 ②产生近似正确的解或产生不多的不正确解 算法正确性证明 证明算法对所有输入都停止 证明对每个输入都产生正确结果 调试程序?程序正确性证明: 程序调试只能证明程序有错， 不能证明程序无错误! 目的： 预测算法对不同输入所需资源量 复杂性测度： 时间，空间， I/O等, 是输入大小的函数 用途： 为求解一个问题选择最佳算法、最佳设备 需要的数学基础 离散数学，组合数学，概率论，代数等 需要的数学能力 建立算法复杂性的数学模型 数学模型化简 Divide-and-Conquer Dynamic Programming Greedy Algorithms Approximation Algorithms Randomlized Algorithms Tree Searching Strategies Prune-and-Search On-Line Algorithms Genetic Algorithms Parellel Algorithms 不同的设计方法有不同的分析方法 小结 程序是用某种程序设计语言实现的算法，而算法是抽象的，它不依赖于具体的程序设计语言和硬件 Turing奖获得者，Pascal语言之父Niklaus Wirth曾说过“程序=数据结构+算法” Turing奖获得者，算法大师Donald E. Knuth说过计算机科学的研究就是算法的研究 52名Turing奖（类似诺贝尔奖）的获得者中，因为算法方面的贡献而获奖的就有30多个 分析一个算法的运行时间应该主要关注与问题规模有关的主要项，其他低阶项，甚至主要项的常数系数都可以忽略 * Design and Analysis of Computer Algorithms 算法设计与分析 Instructor: Dr. Zou Quan 邹权(博士) Email: zouquan@ Class Materials : /~zouquan/ /zouquan/ Book: 张德富, 算法设计与分析,国防工业出版社,2009 Exam: Homework(30%), Final exam(70%) Information about Instructor Chapter 1. Introduction 1.1 Role of Algorithms in Computer Science 1.2??Algorithms 1.3? Analyzing Algorithms 1.4??Designing Algorithms Software Computer Science Hardware 算法的正确性分析 算法的复杂性分析 算法的设计方法 算法的分析方法 * * * 如果现在因为寂寞而错爱一个人，以后就要因为错爱这个人而寂寞一生 密码学的基础就是 目前没有好的算法做数值分解