目录
个人资料
基本策略
适用情况
基本步骤
复杂性分析
基于分治法设计程序时的思考过程
典型的例子
快速排序
合并排序
汉诺威
简介在计算机科学中,分治法是一个重要的算法。 顾名思义是“分而治之”,就是把一个复杂问题分成两个以上相同或相似的子问题,再把子问题分成更小的子问题…… 直到最后子问题可以简单的直接求解,原问题的解即子问题的解的合并。
可以用计算机求解的问题所需的计算时间取决于其规模。 问题的规模越小,直接求解就越容易,求解所需的计算时间也越少。 例如,对于n个元素的排序问题,如果n=1,则不需要计算。 n=2时,只要进行一次比较就可以排名。 n=3的情况下比较3次即可,…。 如果n很大,问题就不那么容易处理了。 直接解决规模巨大的问题有时相当困难。
基本战略对于规模n的问题,当该问题很容易解决时例如规模n较小时)直接解决,否则分解为k个规模较小的子问题。 这些子问题相互独立,格式与原问题相同,见递归地解这些子问题,然后将各子问题的解合并得到原问题的解,这种算法设计策略叫做分治法。
如果是如果原问题可分割成k个子问题,1kn,且这些子问题都可解并可利用这些子问题的解求出原问题的解,这样的分割统治法是可能的。 分治法产生的子问题往往是原问题的小模式,便于使用递归技术。 在这种情况下,通过重复应用分治方法,可以使子问题与原题型一致,但其规模为最终使子问题缩小到很容易直接求出其解,这自然导致递归过程的产生分治和递归如同孪生兄弟,多同时应用于算法设计,从而使得
适用情况1.该问题的规模缩小到一定的程度就可以容易地解决;
2.该问题可以分解为若干个规模较小的相同问题,即该问题具有最优子结构性质;
3.利用该问题分解出的子问题的解可以合并为该问题的解;
4.该问题所分解出的各个子问题是相互独立的,即子问题之间不包含公共的子子问题。
第一个特点是大部分问题都能得到满足。 因为问题计算的复杂性一般随着问题规模的增大而增加。
第二个特点是适用分治法的前提,很多问题都得到了满足,这反映了递归思想的适用。
第三个特点是关键,能否利用分治法取决于问题是否具有第三个特点。如果具备了第一和第二特征,而不具备第三特征,则可以考虑用贪心法或动态规划法。
第四特征涉及到分治法的效率,如果各子问题是不独立的,则分治法要做许多不必要的工作,重复地解公共的子问题,此时虽然可用分治法,但一般用动态规划法较好。
基本步骤step1分解:将原问题分解为几个规模较小、相互独立、格式与原问题相同的子问题;
p>
step2解决:若子问题规模较小而容易被解决则直接解,否则递归地解各个子问题;
step3合并:将各个子问题的解合并为原问题的解。
它的一般的算法设计模式如下:
Divide-and-ConquerP)
if |P|≤n0
then returnADHOCP))
将P分解为较小的子问题 P1 ,P2 ,…,Pk
for i←1 to k
do yi ← Divide-and-ConquerPi) △递归解决Pi
T ← MERGEy1,y2,…,yk) △合并子问题
returnT)
其中|P|表示问题P的规模,n0为一阈值,表示当问题P的规模不超过n0时,问题已容易直接解出,不必再继续分解。ADHOCP)是该分治法中的基本子算法,用于直接解小规模的问题P,因此,当P的规模不超过n0时直接用算法ADHOCP)求解。算法MERGEy1,y2,…,yk)是该分治法中的合并子算法,用于将P的子问题P1 ,P2 ,…,Pk的相应的解y1,y2,…,yk合并为P的解。
复杂性分析
在分治算法中的三个步骤中, 我们假设分解和合并过程所用的时间分别为Dn),Cn), 设Tn)为处理一个规模为n的序列所消耗的时间为子序列个数,每一个子序列是原序列的1/b,α为把每个问题分解成α个子问题,则所消耗的时间为
如果n<=c是n中一个可以直接求解的规模c。在上面两例中c都为1),Tn)= Ѳ(1)
否则 Tn)= αTn/b)+ Dn) + Cn)
在快速排序中,α 是为2的, b也为2, 则分解就是取参照点,可以认为是1),合并把数组合并,为n), 因此Dn) + Cn) 是一个线性时间Ѳn).
这样时间就变成了Tn) = 2Tn/2) +Ѳn).
在每个层上的时间复杂度为:第在一层上是cnc为比较一次时所用的时间), 在第二层上时数组被分成了两部分, 每部分为n/2, 则在第二层上时间为 c * n/2 + c* n/2 =cn, 同样在第三层上, 被分成了四部分, 时间为c*n/4 +c*n/4 + c*n/4 + c*n/4 =cn. 层高一共是按刚才说的是Log2n层,每一层上都是cn, 所以共消耗时间cn * Log2n; 则总时间:
cn * Log2n +cn = cn1+Log2n) 即ѲnLog2n).
所以总时间为:
C *Dn)
递归调用时, 最关键的就是递归调用栈的深度. 我们也可以理解为分治算法中,被分成的段数。 也就是步骤中的第1步中所分成的子序列的个数。 假设这个递归调用深度我们用 Dn)来表示。
另外一个就是在每次处理一个具体子序列时,所用的时间复杂度,我们用C来表示。(相当于这一层总的处理时间)
对于快速排序, C: 一个子项的处理时间Ѳn), Dn): 递归层数, 树高, Log2n,所以最终的结果是:ѲnLog2n).
对于汉诺塔, C: 一个子项的处理时间Ѳ1), Dn): 递归层数, 树高,2n-1, 故最终结果是: Ѳ2n)
依据分治法设计程序时的思维过程
实际上就是类似于数学归纳法,找到解决本问题的求解方程公式,然后根据方程公式设计递归程序。
1、一定是先找到最小问题规模时的求解方法
2、然后考虑随着问题规模增大时的求解方法
3、找到求解的递归函数式后(各种规模或因子),设计递归程序即可。
典型例子 快速排序
可以参考 https://blog.csdn.net/xushiyu1996818/article/details/84762032
归并排序
可以参考 https://blog.csdn.net/xushiyu1996818/article/details/84762032
汉诺塔
在汉诺塔游戏中,有三个分别命名为A、B、C得塔座,几个大小各不相同,从小到大一次编号得圆盘,每个原盘中间有一个小孔。最初,所有得圆盘都在A塔座上,其中最大得圆盘在最下面,然后是第二大,以此类推.
游戏的目的是将所有的圆盘从塔座A移动到塔座B;塔座C用来防止临时圆盘,游戏的规则如下:
1、一次只能移动一个圆盘
2、任何时候都不能将一个较大的圆盘压在较小的圆盘上面.
3、除了第二条限制,任何塔座的最上面的圆盘都可以移动到其他塔座上.
汉诺塔问题解决思想:
在解决汉诺塔问题时,事实上,我们不是罪关心圆盘1开始应该挪到哪个塔座上,而是关心最下面的圆盘4.当然,我们不能直接移动圆盘4,但是圆盘4最终将从塔座A移动到塔座B.按照游戏规则,在移动圆盘4之前的情况一定如下图
我们仍将分析,如何将前三个圆盘从A移动到C,然后圆盘4从A移动到B,前三个圆盘从C再移动到B.
但是上面的步骤可以重复利用!例如将三个圆盘从A移动到C,那么应该先将前两个圆盘从A移动到B,然后将圆盘3从A移动到C,最后将前两个圆盘从B移动到C.
持续简化这个问题,最终我们将只需要处理一个圆盘从一个塔座移动到另一个塔座的问题.
当n=1时,也就是刚开始A石柱上仅仅摆放一个圆盘,那么直接将圆盘从A石柱上移动到B石柱上即可。
当n=2时,从上往下按照大小顺序将圆盘编为1号和2号,那么要将圆盘全部从石柱A移动到石柱C,首先需要将1号圆盘移动到石柱B,再将2号圆盘移动到石柱C,最后将1号圆盘移动到石柱C。
当n=3时,仍然从上往下按照大小顺序将圆盘编为1号、2号和3号,此时由于问题相对复杂,所以1号和2号圆盘看做一个圆盘,即1+2号圆盘,此时需要解决的就是将1+2号圆盘和3号圆盘移动到石柱C的问题,即先将1+2号圆盘移动到石柱B,再将3号圆盘移动到石柱C,最后将1+2号圆盘移动到石柱C即可。
由于每次只能移动一个圆盘,那么如果要将1+2号圆盘移动到石柱B,需要将1+2号圆盘拆分为两个个体,看做将1号和2号圆盘移动到石柱B,同理将1+2号圆盘移动到石柱C。
以此类推……
当n=n时,将圆盘自上向下编为1号、2号、3号……n号,同理将1号到n-1号圆盘看做一个圆盘,即 ∑n1n−1)∑1nn−1)号圆盘,此时解决的就是将 ∑n1n−1)∑1nn−1)号圆盘和n号圆盘移动到石柱C的问题,即先将∑n1n−1)∑1nn−1)号圆盘移动到石柱B,再将n号圆盘移动到石柱C,最后将∑n1n−1)∑1nn−1)号圆盘移动到石柱C。因为将第n号圆盘移动到石柱C后,无论前n-1个圆盘怎么移动,都不需要再次移动第n号圆盘,即父问题与子问题相对独立且互不影响,因此可以将∑n1n−1)∑1nn−1)号圆盘的问题同理向下拆分移动。
public class FZSFProblem { public static void mainString[] args) { solve3); } public static void solveint n) { // 已知条件n个圆盘和A、B、C三根石柱 hanoin, “A”, “B”, “C”); } /** * 若要让第n个圆盘成功从A移动到C,需要让前n-1个圆盘先从A移动到B,然后让第n个圆盘从A移动到C, * 最后让第n-1个圆盘从B移动到C,至于如何将前n-1个圆盘从A移动到B或者从A移动到C,仅仅是和父问 * 题相同的子问题,采用父问题的解决方案即可。 */ private static void hanoiint n, String a, String b, String c) { if n == 1) { // 只有一个圆盘时直接从A石柱移动到C石柱 moven, a, c); } else { // 将前n-1个圆盘从石柱A移动到石柱B hanoin – 1, a, c, b); // 将第n号圆盘从石柱A移动到石柱C moven, a, c); // 将前n-1个圆盘从石柱B移动到石柱C hanoin – 1, b, a, c); } } private static void moveint n, String i, String j) { System.out.println”第” + n + “个圆盘,” + “从” + i + “移动到” + j); }}