算法导论习题解答17-2

Problem 17-2

(动态二分查找)有序数组上的二分查找花费对数时间，但插入一个新元素的时间与数组规模呈线性关系。我们可以通过维护多个有序数组来提高插入性能。

具体地，假定我们希望支持$n$元集合上的$SEARCH$和$INSERT$操作。令$k=\lceil \lg (n=1)\rceil$，令$n$的二进制表示为$<n_{k-1},n_{k-2},\cdots ,n_0>$。我们维护$k$个有序数组$A_0$，$A_1$，$\cdots$，$A_{k-1}$，对$i=0,1,\cdots ,k-1$，数组$A_i$的长度为$2_i$。每个数组或满或空，取决于$n_i=1$还是$n_i=0$。因此所有$k$个数组中保存的元素总数为${\sum }_{i=0}^{k-1}{n}_i{2}^i=n$。虽然单独每个数组都是有序的，但不同数组中的元素之间不存在特定的大小关系。

a. 设计算法，实现这种数据结构上的$SEARCH$操作，分析其最坏情况运行时间。

Answer:

对于$SEARCH(x)$操作，我们需要一次在$k$个有序数组中做有序查找，对于满的数组$A_i$，查找的时间复杂度为$O(i)$。最坏情况下所有数组都为满，且$x$不在任意数组中，则最坏情况时间复杂度为：
$$T(n)=\sum _{i=0}^{k-1}ci=c\cdot \lceil \lg (n+1)\rceil \cdot (\lceil \lg (n+1)\rceil -1)/2=O({\lg }^{2}n)$$

b. 设计$INSERT$算法。分析最坏情况运行时间和摊还时间。

Answer:

本题的数据结构实际上是将$n$转化为二进制表示，该二进制数的位数为$\lceil \lg (n+1)\rceil$，于数据结构中的数组一一对应，二进制数的该位为1时，对应数组为满，否则为空。因此为了在插入操作时保持数据结构特性，本题化为二进制数的 { 0 , 1 } \{0,1\} {0,1}翻转问题。

当插入一个元素时，新创建一个大小为1的数组$S$存放该元素。然后进行以下操作：

• 1.找到数据结构中大小与$S$相同的数组$A_{\lg |S|}$。
• 2.若数据结构中大小与$S$相同的数组$A_{\lg |S|}$为满，则创建新的数组$S$有序存放原$S$和$A_{\lg |S|}$中的元素。该操作时间复杂度度为$O(|S|)$。完成后回到步骤0。
• 3.若数据结构中大小与$S$相同的数组$A_{\lg |S|}$为空，则用S替代该数组，插入操作完成。
• 4.若不存在若数据结构中大小与$S$相同的数组$A_{\lg |S|}$，直接将$S$数组作为$A_k$加入数组集合。

上述操作最坏情况为初始的数组集合 { A i } \{A_i\} {Ai​}全部为满，此时的最坏情况运行时间为：
$$T(n)=\sum _{i=0}^{\lceil \lg (n+1)\rceil }c\cdot 2^i=O(2^{\lceil \lg (n+1)\rceil +1}-1)=O(n)$$

下分析摊还时间。从上述分析中可以看出，当数组$A_i$从空被置为满时，对应的数组$A_j$要被置满再置空$2^{i-j-1}$次。此处$j<i$。则从$0$开始不断插入元素，插入的总开销小于等于插入$2^{\lceil \lg (n+1)\rceil +1}-1$个元素的开销。在此分析中，与数组$A_i$相关的开销为被置为满的单次开销乘以置满的次数：
$$T(A_i)=2^i\cdot \left(1+\sum _{j=1}^{k-1-i}{2}^j\right)=2^i\cdot (2^{k-i}-1)=\Theta (2^k)=\Theta (n)$$

则总开销为：
$$T(n)=\sum _{i=0}^{k-1}T(A_i)=k\cdot \Theta (n)=\Theta (n\lg n)$$

故摊还时间为$O(\lg n)$。

c. 讨论如何实现$DELETE$。

Answer:

与二进制减法相同，假设状态为满的最小下标数组为$A_i$，则删除操作需要变动的数组仅限被删除的元素本身所在的数组$A_m$以及$A_0,A_1,\cdots ,A_i$。具体操作为$SEARCH(x)$，所需时间为$O({\lg }^{2}n)$。然后将$A_m$中的$x$替换为$A_i$中的一个元素，并将该元素从$A_i$中删除。然后将$A_i$中剩余的$2^i-1$个元素填入$A_0,A_1,\cdots ,A_{i-1}$中，最后置空$A_i$。最坏情况下的总时间复杂度为：
$$T(n)=\Theta ({\lg }^{2}n)+2^k-1=\Theta (n)$$