计算机算法基础().pptVIP

第 4 章 分治法 —— “分”而治之 2.1 一般方法 对大规模问题的求解 利用分治法求解大规模问题 2. 分治策略的抽象化控制 算法4.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 注： SMALL(p,q)：布尔函数，判断输入规模q-p+1是否足够小而无需再进一步分就可求解； G(p,q)：输入规模为q-p+1的子问题求解（SMALL(p,q)为真）； DIVIDE(p.q)：对输入规模为q-p+1的子问题进一步分解，返回值为[p,q]区间进一步的分割点（SMALL(p,q)不为真时）； COMBINE(x,y)：子结果的合并函数，将区间[p,m]和[m+1,q]上的子问题的解合并成上级区间[p,q]上的“较完整”的解。当p=1,q=n时，得到整个问题的解。 4.2 二分检索（折半查找） 问题的描述 已知一个按非降次序排列的元素表a1, a2, …, an,判定某给定的元素x是否在该表中 若是，则找出x在表中的位置并返回其下标 否则，则返回 0 分治求解策略分析： 定义问题的形式描述：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, ak+2, …,an,x) 对于I2，若ak=x，则有解k，对I1、I3不用再求解；否则， 若xak，则只在I1中求解，对I3不用求解； 若xak，则只在I3中求解，对I1不用求解； I1 、I3上的求解可再次采用分治方法划分后求解（递归过程） 2. 二分检索算法 算法4.3 二分检索 procedure BINSRCH(A,n,x,j) integer low,high,mid,j,n; low←1; high←n; while low≤high do mid ← case :xA(mid): high←mid-1 :xA(mid): low ←mid+1 :else:j←mid; return endcase repeat j←0 end BINSRCH 例4.1：设A(1:9)=(-15，-6，0，7，9，23，54，82，101) 在A中检索x=101，-14，82。执行轨迹见下表1 3. 算法的正确性证明 定理4.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，算法终止。 二元比较