分治策略（2）

分而治之，分治（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

第二种算法是类似二分检索和二分归并的分治算法，用主定理进行分析。