2013秋期-算法设计与分析-第二章.pptVIP

第二章 分治法 —— “分”而治之;通常，子问题与原始问题“同质”;例[找伪币] 假设16 枚金币中有一枚是伪造的，真假金币的区别仅是重量不同(伪币轻一些），利用一个没有砝码的天平作工具，找出这枚伪造的金币。 ;算法2.1 分治策略的抽象化控制 procedure DANDC(p,q) global n.A(1:n); integer m,p,q; //1≤p≤q≤n// if SMALL(p,q) then return(G(p,q)) else m←DIVIDE(p,q) //p≤m＜q// return(COMBINE(DANDC(p,m), DANDC(m+1,q))) endif end DANDC ; DANDC的计算时间 若所分成的两个子问题的输入规模大致相等，则DANDC总的计算时间可用递归关系式表示，如下： g(n) n足够小 T(n) = 2T(n/2) + f(n) 否则 注： T(n)：表示输入规模为n的DANDC计算时间 g(n)：表示对足够小的输入规模直接求解的计算时间 f(n)：表示COMBINE对两个子区间的子结果进行合并 的时间 （该公式针对具体问题有各种不同的变形）;2.2 二分检索（折半查找）;分治求解策略分析： 定义问题的形式描述：I=(n, a1, a2, …,an,x) 问题分解：选取下标k，由此将I分解为3个子问题： I1=(k-1, a1, a2, …,ak-1,x) I2=(1, ak, x) I3=(n-k, ak+1, a2, …,an,x) 对于I2，若ak=x，则有解k，对I1、I3不用再求解；否则， 若xak，则只在I1中求解，对I3不用求解； 若xak，则只在I3中求解，对I1不用求解； I1 、I3上的求解可再次采用分治方法划分后求解（递归过程）;2. 二分检索算法;例2.1：设A(1:9)=(-15，-6，0，7，9，23，54，82，101) 在A中检索x=101，-14，82。执行轨迹见下表1;3. 算法的正确性证明 定理2.1 过程BINSRCH(A,n,x,j)能正确运行 证明： 1）在具体指定A中的数据元素及x的数据类型后，算法中的所有运算都 能按要求正确运行——即首先满足确定性和能行性 2）终止性 算法初始部分置low←1, high←n ① 若n=0，不进入循环，j置0，算法终止 ② 否则，进入循环，计算mid, 或 x=A(mid)，j置为mid，算法终止； 或xA(mid)，置high←mid-1，搜索范围实际缩小为[low, mid-1]， 进入下次循环，对[mid+1, high]区间不做进一步搜索； 或xA(mid)，置low←mid+1，进入下次循环；搜索范围实际缩小 为[mid+1, high]，对[low, mid-1]区间不做进一步搜索； 因low, high, mid都是整型变量，故按照上述规则，在有限步内，或找到某个mid，有A(mid) = x；或变得lowhigh，在A中没有找到任何元素等于x，算法终止。;4. 性能分析;实例分析（例2.1）; 成功检索 最好：1次 最坏：4次 平均：（3+2+3+4+1+3+2+3+4）/9≈2.77次 不成功检索 最好：3次 最坏：4次 平均：(3+3+3+4+4+3+3+3+4+4)/10 = 3.4次;二元比较树;基于二元比较树的分析 若x在A中出现，则算法的执行过程在一个圆形的内结点处结束。 若x不在A中出现，则算法的执行过程在一个方形的外结点处结束 ——外结点不代表元素的比较，因为比较过程在该外结点的上一级的内结点处结束。