初级算法设计与分析习题1-4章.pptVIP

初级算法设计与分析习题讲解 第1~4章 UZHT倾情奉献 习题1.2 可行性确定性：在该算法中，当整数集 S 确定后，它的所有子集也就确定了，所以是否含有和为 m的子集也就可以求出来，该算法是确定的，可行的。 有穷性:另外集合 S 的元素个数 n 是有穷的，而它的子集的总个数为2^n ，同样也是有穷的。 习题1.5 FindMax(A) cost times max-A[1] c1 1 for j-2 to n c2 n if A[j]max then c3 n-1 max-A[j] c4 ∑ti 因此，时间复杂度是T(n}=c1 + c2*n +c3*(n-1)+c4 * ∑ti 当数组 A 的第一个元素为最大时该算法达到最佳，此时ti=0: T(n)=c1 + c2*n +c3*(n-1)+c4 * ∑ti=θ(n) 当数组A是递增时，该算法达到最坏，此时ti = 1; T(n)=c1+c2*n+c3*(n-1)+c4*(n-1)=θ(n) 习题1.6 循环不变量：在 for 循环第 j 个迭代执行前，max 为当前数组 A[1..j-1]中的最大值 初始步：在第一轮迭代前，j=1，当前数组中只有一个元素 max =A[1]，此时 max 确是最大的，所以在初始化中不变量是正确的。 归纳步： 在 for 循环第 j=k 个迭代执行前，max 是 A[1,...,k-1] 中的最大值，此后执行第 j=k 个迭代，将 max 与 A[k] 进行比较并将较大的值赋给 max，所以 max 仍然是 A[1,..., k]中的最大值。 终止步：当 j=n+1 时，for 循环终止，此时 max 是 A[1,...,n] 中的最大元素，即是全数组中的最大值，所以算法是正确的。 习题1.7 MaxIndex(A) int j=0; for(int i = 0 ; i n ; i++) { if(A[i]=A[j]) { j = i; } } 习题1.8 循环不变量：当执行第 i 次循环前，pow 的值为a^(i-1) 初始步：当 i=1，即在第一轮循环前，pow 为 1，若 n=0，则不循环，返回 1，若 n=1，则循环一次，pow=a，所以不变量正确 归纳步：当执行第 i=k 次循环前，假设 pow 的值为a^(k-1)，当执行第 i=k 次循环后，则由算法可知，pow=pow*a=a^(k-1)*a=a^(k)，所以不变量仍正确. 终止步：当 i=n+1 时，循环退出，此时共执行了 n 次循环，所以结果为na ，算法是正确的 习题1.9 Searchx(A,x) cost times i-1 c1 1 while x != A[i] and i=n do c2 t i= i+1; c3 t-1 T(n) = c1 + c2t+c3(t-1) 当第一个元素就是指定数x时，该算法达到最好情形，此时t=1; T(n)=c1+c2=θ(1) 当该数组中不含指定数x时，该算法达到最坏情形，此时t=n; T(n)=c1+c2*(n+1)+c3*n=θ(n) 正确性证明 正确性证明： 循环不变量：当执行第 i 次循环前，指定数 x 不在当前数组 A[1..i-1]中. 初始步：当 i=1，即在第一轮循环前，当前数组为空，不包含指定数，所以循环不变量成立。 归纳步：当执行第 i=k 次循环前，指定数 x 不在当前数组 A[1..k-1]中，当执行第 i=k次循环后，此时表明 x≠A[i]且 i≤n，否则，找找到了指定数。因此，在执行第 i=k+1 次循环前，指定数 x 不在当前数组 A[1..k]中，所以循环不变量成立。 终止步：当 i=n+1 时，循环退出，此时，表明指定数 x 不在当前数组 A[1..n]中。