基本思想
分而治之方法与软件设计的模块化方法非常相似。为了解决一个大的问题,可以:
把它分成两个或多个更小的问题;
分别解决每个小问题;
把各小问题的解答组合起来,即可得到原问题的解答。小问题通常与原问题相似,可以递归地使用分而治之策略来解决。分而治之方法可以用于实现不同的排序方法,这里介绍两种排序法:快速排序(quick sort)和递归排序。
求顺序统计量问题 用求顺序统计量问题最能说明“分治术” 算法设计思想。 所谓顺序统计问题是“从有n个元素的序列中选出第k个最小元素”,解此问题最容易想到的办法是:将这n个元素按从小到大顺序排序,然后从排序后的序列中先取第k个元素,即为本问题的解,而排序n个元素最快的排序算法平均需要进行。o(nlogn)次比较,即用排序方法求顺序统计量问题的期望时间复杂性为o(nlogn)。通过仔细分析,使用“分而治之”的思想,我们可以找到一个时间耗费为o(n)算法,其算法如下:
Procedure Select(S,K) Begin if|S|<50 Then begin 将S从小到大排序; Return S 的k 个元素; end Eles begin 把S分为各有5个元素的[|S|/5]个子序列; 如果有剩余元素,则将剩余元素作为最后一个子序列; 将每个有5个元素的子序列排序; 设M是所有5——元素的自序列的中值序列; U<-Select(M,[M/2]); 设S1、S2、S3是S的分别小于、等于和大于U的元素序列 if|S|>=k Then Return Select(S1,k) Eles if(|S1|+|S2|>=k) Then Return u Eles Return Select(S3,k-|S1|-|S2|) End