算法设计与分析读书笔记分析.doc

算法引论 ------- 一种创造性方法 ---读书笔记 【美】Udi Mander 计算1314 苏帅豪 201321121109 Chapter 1: （引论） 广义地说，算法是按部就班解决一个问题或完成某个目标的过程。 数学归纳法其原理的主要思想是命题无须从什么都没有开始证明，可以通过先证明对于一个小的基本实例集命题是正确的，然后由“若对相对较小的命题实例成立则可导出较大的命题实例成立”的方式，来证明对所有实例来说命题都是成立的。 因此它的基本思想是如何扩充一个解决方案而不是从零开始进行构造。 Chapter2: (数学归纳法) 显而易见与真知灼见水火不容。 ——伯特兰·罗素 每次用归纳法证明都分成两步：归纳基础和规约。归纳基础一般都比较容易，偶尔也有不太简单的，但我们往往不太在意。归纳法证明的核心就是规约，有多种规约方法，其中最常用的就是把命题从N规约到N—1 ， 从N+1规约到N也比较常见。强归纳法会把命题从N规约到比N小（但不一定是N-1）的一个或多个命题。其它变形还有从2N规约到N，以及逆向归纳法，也就是命题在N时的情况是由N+1的情况推出的，而归纳基础是个已被证明的无限集。规约的要点在于要完整保留原命题，不能在规约后的命题中加入多余的假设，除非这些假设是特别包含在归纳假设中的。 增量：很明显，增量就是和我们平时的数学归纳法一样，特殊点的就是证明起始条件；假设对于K，证明成立；用假设去证明对K+1，证明成立证明的重点就这如何利用‘K’证明‘(K+1)’当然也可以认为是利用某种性质去推广其实这个就是动态规划和贪心的基本性质，最优子结构性质以及重叠子问题性质(贪心选择性质)中的最优子结构性质；现在举个不同例子 找多数元素(多数元素的定义：在给定有限个序列内，某元素的个数大于序列个数的1/2(比如 {1 2 3 3 3}中的3))首先我们第一会想到枚举，很简单，时间复杂度为O(n^2)；最好的情况是一遍遍历就找到了:O(n) 最坏的情况是序列中没有多数元素：O(n^2) 平均情况:O(n^2)现在让我们想下对于多数元素有什么性质，设序列元素个数为N，多数元素个数为m，接下来给出一个很直接的性质(虽说很直接但是对我来说是不容易自己想出来的)：性质1：删除序列中的两个不同的数，若存在多数元素，多数元素依然存在且不变。现在我可以想出一个算法:集合A:序列循环：i：1-n-1if(A[i]==A[i+1]||A[i]不存在) continue;else delete A[i],A[i+1];得到集合A`很明显，集合A·中的元素一定相同但是有个问题：集合中的元素不一定就是多数元素。原因是性质1的前提是多数元素对于序列存在，我们可能会得到一个非法解我们该怎么办，很简单，验证下最后得到的那个元素就行，时间复杂度：O(n);现在回过头看看我们的思路：找到多数元素的性质，依次增量递减得到可能解，验证；很明显找到性质是最关键的一步；第二个例子，贪心；双机调度问题：问题描述?给定n个作业，每个作业有两道工序，分别在两台机器上处理。一台机器一次只能处理一道工序，并且一道工序一旦开始就必须进行下去直到完成。一个作业只有在机器1上的处理完成以后才能由机器2处理。假设已知作业i在机器j上需要的处理时间为t[i,j]。流水作业调度问题就是要求确定一个作业的处理顺序使得尽快完成这n个作业。分析下：若只有一个作业(a,，b1),明显时间为a1+b1;若有两个作业(a1,b1),(a2,b2);若(a1,b1)在前，则有时间T12=a1+b1+a2+b2-min(a2,b1);若(a2,b2)在前，则有时间T21=a2+b2+a1+b1-min(b2,a1);有上可得时间为Tmin=a1+b1+a2+b2-max{min(a2,b1),min(a1，b2)};由此我们可以得到一个贪心的性质，(a1,b1)和(a2,b2)中的元素若min(a2,b1)=min(a1，b2)则(a1,b1)放在(a2,b2)前面；反之(a2,b2)放在(a1,b1)前面；根据这个性质我们对作业进行排序即得到最优工作序列；PS：由于个人表述能力不行，所以这个例子还有一些思考量，所以请大家自己用笔在纸上写下就可以得到一样的结论。例外这个问题有个很优美的算法 Johnson算法，基本原理与上面类似，但是把结论做得更漂亮些了，有兴趣的可以去看下证明过程；这里给出Johnson算法:对给定的任务进行如下排序：得到序列A：s1[i]=s1[j