算法导论作业第二章思考题

2-1

在归并排序中对小数组采用插入排序
a.
对于每个长度为$k$的子表，其最坏情况的时间为$\Theta (k^2)$
总共有$\frac{n}{k}$个表，那么其用时为$\Theta (\frac{n}{k}\ast k^2)=\Theta (nk)$
b.
合并n个节点操作的时间为$\Theta (n)$。
将$\frac{n}{k}$个表示为二叉树的叶子节点，那么在最坏情况下，这么多叶子节点恰为2的幂，因为这样，合并操作的次数最多。
令$a=\frac{n}{k}$
那么，最底层有a个节点，且为2的幂，树高为$lga+1$。
设ck为求解规模为k的问题所需时间以及在分解步骤与合并步骤处理每个数组元素所需的时间。
最后一层，所需时间为：$ack$
考虑树的倒数第二层，所需时间为：$\frac{a}{2}\ast 2k=ack$，其中k为合并k长度的表的合并操作，$\frac{a}{2}$为合并操作的次数。
考虑树的倒数第三层，所需时间为：$\frac{a}{4}\ast 4k=ack$，其中2k为合并2k长度的表的合并操作，$\frac{a}{4}$为合并操作的次数。
由此得到每一层需要的时间为$ack$，总共有$lga+1$层，因此执行总时间为：$ack(lga+1)=nclg\frac{n}{k}+nc$，即运行时间为$\Theta (nlg\frac{n}{k})$
c.
$k\in [1,n]$，当k=n时，算法演变为插入排序，当k=1算法演化为归并排序。
在最坏条件下，k元素的插入排序的时间可以表示为$a{k}^2+bk+c$，其中a，b，c为常数因子（这里见书P15）。
由b知，最坏情况下的归并过程需要总时间为：$dn(lg\frac{n}{k}+1)$，d为常数因子。
此算法所用总时间为，$T_1(n)=a{k}^2+bk+c+dn(lg\frac{n}{k}+1)$
只考虑归并排序时，所需总时间为：$T_2(n)=dn(lgn+1)$，因此要使两算法有相同的时间，则需要$T_1(n)=T_2(n)$，当k为方程$T_1(n)=T_2(n)$的解时，两算法具有相同的运行时间。
解此方程：
根据最坏条件下有：$n=ek$，且$e=2^f$，其中e和f均为常数因子
$T_1(k)=a{k}^2+bk+c+d\ast k\ast 2^f(f+1)=a{k}^2+(b+d\ast 2^f(f+1))k+c$
$T_2(k)=d\ast k\ast 2^f(lgk+f+1)$
解$T_1(k)=T_2(k)$方程可以得到k值。
d.
在确定常数因子之后，根据上述公式计算

2-2

a.
不需证明其他。
b.
循环不变式：数组$A[j...n]$其中的$A[j]$必为其中最小的值；
初始：
当$j=A.length$时，就一个元素，因此成立。
保持：
若$j=k$时，循环不变式为真，
那么当$j=k-1$时，$A[k...n]$中$A[k]$最小，若$A[k-1]$大于$A[k]$，那么互换，反之则不变，因此，结果均是循环不变式为真。
终止：
导致for循环终止的条件是，$j<i+1=i$，且$A[j]$为$A[j...n]$中最小值。
c.
循环不变式：数组$A[i...n]$其中的$A[i]$必为其中最小值；
初始：
当$i=1$时，内部循环表达式为真，即，A[1]为A[1…n]中的最小值。
保持：
当$i=k$时，循环表达式为真，
那么当$i=k+1$时，因为$i=k$时，内部循环不变式为真，因此，有$A[k...n]$中，$A[k]$为其中的最小值，有$A[k+1...n]$中，$A[k+1]$为其中的最小值，且必然存在$A[k]<A[k+1]$
终止：
当$i>A.length-1=A.length$时，终止，此时由于对于数组$A[n]$恒有$A[k]<[k+1]$，因此可以判断数组已经排序。
d.
冒泡排序必然会执行语句$c_1,c_2,c_3$，最坏情况下，必然执行$c_1,c_2,c_3,c_4$，最坏情况下的运行时间为$\Theta (n^2)$，最好情况下运行时间也是$\Theta (n^2)$，无论序列的状态是什么，其运行时间都为$\Theta (n^2)$
插入排序最坏情况也是$\Theta (n^2)$，最好情况下是$\Theta (n)$，而插入排序时序列越“整齐”，运行时间越短。因此，插入排序性能优于冒泡排序。

2-3

a、
第一条语句是常数时间，第二条语句执行$n+2$次，第三条语句执行$n+1$次，因此，运行时间为$\Theta (n)$
b、
伪代码：

y=0
for i=0 to n
	for j=0 to i:
		x = x * x
	y = ai + x + y

此算法的运行时间为$\Theta (n^2)$，与霍纳规则相比，其性能较差。
c、
初始：
当$i=n$时，$y=0$，成立
保持：
当$i=j$时:
$\begin{array}{rl}y& =a_j+x\sum _{k=0}^{n-(j+1)}{a}_{k+j+1}{x}^k\\ & =a_j+\sum _{k=0}^{n-(j+1)}{a}_{k+j+1}{x}^{k+1}\\ & =\sum _{k=0}^{n-j}{a}_{k+j}{x}^k\end{array}$
即等于当$j=j-1$的时原式的表示。
终止：
当i=0时,循环不变时终止，且：
$\begin{array}{rl}y& =a_0+x\sum _{k=0}^{n-1}{a}_{k+1}{x}^k\\ & =a_0+\sum _{k=0}^{n-1}{a}_{k+1}{x}^{k+1}\\ & =\sum _{k=0}^n{a}_k{x}^k\end{array}$
d、
终止时有$y={\sum }_{k=0}^n{a}_k{x}^k$，即多项式的值。

2-4

a、
$(8,6),(2,1),(3,1),(8,1),(6,1)$
b、
当{1,2,…,n}逆序时，有最多逆序对，总共有:$1+2+3+...+n-1=\frac{n(n-1)}{2}$对。
c、
考虑书中INSERTSORT运行时间，其中while循环中的数组元素位移操作与逆序对有直接关系，因此，逆序对越多，运行时间越长。
插入排序的运行时间主要是由于数组元素的移动造成的不稳定性，每有一个逆序对，就执行一次交换操作，因此，可以运行时间跟逆序对的个数有直接关系；
当逆序对数小于n时，由于要遍历整个数组，因此运行时间为$\Theta (n)$；
当逆序对数大于n时，运行时间为$\Theta (逆序对数)$；
d、
算法：
修改归并排序中merge操作可以实现。
在merge操作中，若左边的数组大于右边则逆序对数量+1。这样就可以在排序完成之后得到逆序对数量，并且，只是在判断语句里加了常数性语句。因此，运行时间仍为$\Theta (nlgn)$