分而治之,分治(Divide and Conquer)是一种常用的算法设计技术,使用分治策略设计的算法通常是递归算法。
两个例子 1二分查找 2二分归并排序
输入一个数组T,在其中查找x。
二分查找代码:
public class Solution {
public int binarySearch(int[] T, int x) {
int low = 0;
int high = T.length -1;
int mid = 0;
while(low < high) {
mid = (low + high)/2;
if(T[mid] == x ) return mid;
if(T[mid] > x) high = mid -1;
else low = mid +1;
}
return -1;
}
}
二路归并代码:
分治算法的一般性描述:Divide-and-Conquer(P)
1 if | P | <= c then S(P) //c 为规模,上述二分检索和二分归并中c=1,算法停止递归
2 divide P into P1, P2, P3, P4....Pk
3 for int i to k do
4 yi <- Divide-and-Conquer(Pi)
5 return merge (y1, y2, y3, y4...,yk)
分治算法的分析技术:
主定理为
在分治算法中常见的递推方程式有下面两种:
T(n) = Σ(i=1->k)aiT(n - i) + f(n)
T(n) = aT(n/b) +d(n)
如果规约后规模比原来的问题呈现的数量级小,就会得到第一类递推方程,如Hanoi tower 的分治算法,将n个盘子移动分为两个n-1个盘子移动的子问题,子问题只比原来问题少1递推方程:
W(n) = 2W( n -1) + 1
W(1) = 1
第二种算法是类似二分检索和二分归并的分治算法,用主定理进行分析。