c02 递归与分治策略.ppt

问题描述： 有四个人打算过桥，他们都在桥的某一端，我们有17分钟的时间让他们全部到达桥的另一头，时间是晚上，他们只有一个手电筒。最多只有两人同时过桥，而且必须携带手电筒，必须步行将手电筒带来带去，每个人过桥的速度不同：甲过桥要1分钟，乙要2分钟，丙要5分钟，丁要10分钟。两个人一起走的速度等于其中慢者的速度。 请为该四人设计一个过桥方案，让其能全部顺利过桥。 欧几里德游戏 问题描述： 基于蛮力模式匹配，在计算机上实现“海战”的游戏（一个经典的策略游戏）。游戏规则： 考虑下面的悖论：有一个8*8的棋盘，按照下图的左半部分所示，将它切成两个梯形和两个三角形。然后再按照下图的右半部分把他们拼合起来。左边方块的面积是8*8=64，而右边方块的面积是13*5=65。请解释该悖论。 n个士兵组成的小分对必须越过一条又深有宽，又没有桥的河，他们注意到在岸边有两个12岁大的孩子在玩划艇。然而船非常小，只能容纳两个男孩或者一名士兵，怎样才能让士兵渡河并且留下两个男孩共同操纵这条船？这条船要在岸与岸之间横渡多少次？ 第2章 递归与分治策略 算法总体思想 将要求解的较大规模的问题分割成k个更小规模的子问题。 2.1 递归的概念 直接或间接地调用自身的算法称为递归算法。用函数自身给出定义的函数称为递归函数。 由分治法产生的子问题是原问题的较小模式，为使用递归技术提供了方便。反复应用分治手段，使子问题与原问题类型一致而其规模却不断缩小，最终使子问题缩小到很容易直接求出其解。这自然导致递归过程的产生。 分治与递归像一对孪生兄弟，经常同时应用在算法设计之中，并由此产生许多高效算法。 2.1 递归的概念 例3 Ackerman函数 A(n，m)的自变量m的每一个值都定义了一个单变量函数： M=0时，A(n,0)=n+2 M=1时，A(n,1)=A(A(n-1,1),0)=A(n-1,1)+2，和A(1,1)=2故A(n,1)=2*n M=2时，A(n,2)=A(A(n-1,2),1)=2A(n-1,2)，和A(1,2)=A(A(0,2),1)=A(1,1)=2，故A(n,2)= 2n 。 M=3时，类似的可以推出 M=4时，A(n,4)的增长速度非常快，以至于没有适当的数学式子来表示这一函数。 分治法的适用条件 分治法所能解决的问题一般具有以下几个特征： 该问题的规模缩小到一定的程度就可以容易地解决； 该问题可以分解为若干个规模较小的相同问题 利用该问题分解出的子问题的解可以合并为该问题的解； 该问题所分解出的各个子问题是相互独立的，即子问题之间不包含公共的子问题。 大整数的乘法 请设计一个有效的算法，可以进行两个n位大整数的乘法运算 小学的方法：O(n2) ?效率太低 分治法: X = Y = X = a 2n/2 + b Y = c 2n/2 + d XY = ac 2n + (ad+bc) 2n/2 + bd a b c d 复杂度分析 T(n)=O(n2) ?没有改进 大整数的乘法 请设计一个有效的算法，可以进行两个n位大整数的乘法运算 小学的方法：O(n2) ?效率太低 分治法: XY = ac 2n + (ad+bc) 2n/2 + bd 为了降低时间复杂度，必须减少乘法的次数。 XY = ac 2n + ((a-c)(b-d)+ac+bd) 2n/2 + bd XY = ac 2n + ((a+c)(b+d)-ac-bd) 2n/2 + bd 复杂度分析 T(n)=O(nlog3) =O(n1.59)?较大的改进 细节问题：两个XY的复杂度都是O(nlog3)，但考虑到a+c,b+d可能得到m+1位的结果，使问题的规模变大，故不选择第2种方案。 大整数的乘法 请设计一个有效的算法，可以进行两个n位大整数的乘法运算 小学的方法：O(n2) ?效率太低 分治法: O(n1.59) ?较大的改进 更快的方法?? 如果将大整数分成更多段，用更复杂的方式把它们组合起来，将有可能得到更优的算法。 最终的，这个思想导致了快速傅利叶变换(Fast Fourier Transform)的产生。该方法也可以看作是一个复杂的分治算法。 Strassen矩阵乘法 A和B的乘积矩阵C中的元素C[i,j]定义为:　 若依此定义来计算A和B的乘积矩阵C，则每计算C的一个元素C[i][j]，需要做n次乘法和n-1次加法。因此，算出矩阵C的 个元素所需的计算时间为O(n3) 传统方法：O(n3) Strassen矩阵乘法 使用与上例类似的技术，将矩阵A，B和C中每一矩阵都分块成4个大小相等的子矩阵。由此可将