我在工作 tacop 2.2.2 顺序分配时遇到了一些问题，在第 247 页重新打包内存部分。
主题是有 n 个堆栈共享一个公共区域位置 L0
目标是在插入或删除元素时发生溢出 堆栈 i，如何重新打包内存。 （为堆栈 i 腾出空间，从 尚未填满的表格）。
一）。找到 i CONTENTS(L)，对于 TOP[k] >= L > BASE[i+1] 最后， 设置 BASE[j] -> BASE[j] + 1, TOP[j] -> TOP[j] + 1，对于 i
这是我的问题：
他们如何找到尚未填充的堆栈？堆栈 k?为什么选择最小的k？
【问题讨论】：
要找到尚未填充的堆栈，使用的基本思想是事实：
堆栈
k未满TOP[k] < BASE[k+1]
算法第一步中的循环将k从i+1运行到n，以找到满足此条件的第一个k。
另请注意，最初通过设置BASE[n] = TOP[n] = L0 和BASE[n+1]=LInfty 将所有空间分配给最后一个堆栈nth。所以除非所有“更高”的栈都被填满，否则我们会找到这样一个k。
您的第二个问题（为什么选择最小的 k？）更容易回答：第 247 页上的算法只是重新包装的一种方式和简单一个在那。正如 Knuth 在算法文本上方的段落中提到的那样：
建议自己进行重新包装的几种方法； ... 我们将从给出最简单的方法开始， 然后会考虑一些替代方案。
后来，Knuth 描述了一种重新包装方法，该方法考虑了早期的重新包装，使该过程具有一定的适应性。
【讨论】：
BASE[k+1] 在(k+1)st 堆栈中未使用，可供kth 堆栈使用（ kth 堆栈的最后一个元素可以存储在位置 BASE[k+1])。所以我们需要检查BASE[k+1] - TOP[k] > 0 和not BASE[k+1] - TOP[k] > 1。