c语言 分治法 算法设计与分析

对于一个规模为n的问题，若该问题可以容易地解决（例如规模n较小）则直接解决，否则将其分解为k个规模较小的子问题，这些子问题互相独立且与原问题形式相同，递归地解决这些子问题，然后将各个子问题的解合并得到原问题的解，这种算法设计策略叫分治法。

分治法所能解决的问题一般具有以下几个特征：
（1）该问题的规模缩小到一定的程度就可以容易地解决。
（2）该问题可以分解为若干个规模较小地相似问题。
（3）利用该问题分解出子问题的解可以合并为该问题的解。
（4）该问题所分解出的各个子问题是相互独立的，即子问题之间不包含公共的子问题。
分治法的合并步骤是关键所在。

分治法的一般算法设计模式如下：

//类c
divide-and-conquer(P)
{	if |P|<=n0 return adhoc(P);               //解决容易解决的
	将P分解为较小的子问题p1、p2、...、pk；      //分解成若干个子问题
	for(i=1;i<=k;i++)                        //循环处理k次
		yi=divide-and-conquer(pi);           //递归解决子问题
	return merge(y1,y2,...,yk);              //合并子问题
}

其中，|P|表示问题P的规模；n0为一阈值，表示当问题P的规模不超过n0时（即P问题规模足够小时）已容易直接解出，不必再继续分解。adhoc（P）时该分治法中的基本子算法，用于直接解小规模的问题P。算法merge（y1,y2,…,yk）时该分治法中的基本子算法，用于将P的子问题P1、P2、…、Pk的相应解y1、y2、…、yk合并为P的解。

在用分治法设计算法时最好使子问题的规模大致相同。换句话说，将一个问题分成大小相等的k个子问题的处理方法使行之有效的。当k=1时成为减治法。许多问题可以取k=2，称为二分法。