计算理论与算法分析设计：算法概述.pptVIP

蚂蚁问题（6）有一根10厘米的细木杆，在第2厘米、第4厘米、第5厘米、第8厘米、第9厘米这五个位置上各有一只蚂蚁。木杆很细，不能同时通过一只蚂蚁。开始时，蚂蚁的头朝左还是朝右是任意的，它们只能朝前走或调头，但不会后退。所有蚂蚁的速度都相同，均为1cm/s。当任意两只蚂蚁碰头时，两只蚂蚁会同时掉头并且仍然按1cm/s朝相反方向走。求蚂蚁掉下木杆的最小和最大时间。123456789abcde*5秒，a掉；6秒，e掉；8秒，b和d掉；9秒，c掉。1234567890.5s…3.5sabcdeabcde*本课程教材及主要参考书[1](教材)王晓东.计算机算法设计与分析(第3版)，电子工业出版社，2007

ISBN:978-7-121-04278-2[2](教材)HarryR.Lewis.计算理论基础(第2版),清华大学出版社,2006ISBN:7-302-13288-7[3](美)科曼(Cormen,T.H.）.潘金贵译.算法导论(IntroductiontoAlgorithmsSecondEdition)，机械工业出版社，2006.9[4]MichaelSipser.IntroductiontotheTheoryofComputation[M].Thomson,secondedition,2006.*课程内容数学基础、递归与分治、动态规划、贪心法、回溯法、分支限界法、概率算法、线性规划与网络流、计算理论基础（集合关系与语言、有穷自动机、图灵机、不可判定性、计算复杂性、NP完全性）、近似算法等.课程安排56学时(36+20)成绩平时成绩30％，期末闭卷成绩70％*CH1算法概述一、算法设计与分析的研究对象非数值问题二、什么是算法例1已知两正整数m和n，求二者的最大公因子算法1.1欧几里德(Euclid)算法输入正整数m,n输出m和n的最大公因子算法概述*定理对任意正整数m和任意非负整数n，并且mn≥0有gcd(m,n)=gcd(n,mmodn)如gcd(24,18)=gcd(18,6)=gcd(6,0)=6*整除的基本性质若a|b且a|c,则对任意的整数m,n,有a|(bm+cn).证明因为a|b且a|c,故b=aq1和c=aq2.于是,bm+cn=a(q1m+q2n),

所以,a|(bm+cn).*最大公约数（最大公因子）定理设a和b都是正整数,且ab,

a=bq+r0rb

其中q和r都是正整数.则:①a和b的任一公约数也是b和r的公约数；②b和r的任一公约数也是a和b的公约数；③(a,b)=(b,r);*a=bq+r

①a和b的公约数也是b和r的公约数；证明①若d|a且d|b,则d|(a-bq)即d|r.这即表明:若d是a和b的公约数,d必是b和r的公约数.②若d|b且d|r,则:d|(bq＋r)即d|a.这即是说若d是b和r的公约数,d也必是a和b的公约数.*S1求余数:m除以n,令r是所得的余数，转S2S2判断余数:若r=0,则输出n的当前值，算法结束，否则转S3S3代替:m←n,n←r,转S1*最大公约数算法算法的五个特征1）有穷性2）确定性3）输入4）输出5）可行性算法的定义:Informally,analgorithmisanywell-definedcomputationalprocedurethattakessomevalue,orsetofvalues,asinputandproducessomevalue,orsetofvalues,asoutput.Analgorithmisthusasequenceofcomputationalstepsthattransformtheinputintotheoutput.*评价算法的标准1）算法执行的时间短（时间复杂性）2）算法需要的存储空间小（空间复杂性）3）正确性4）可读性5）最优性*算法的时间复杂性：处理一个