数据结构时间复杂度的摊还分析（均摊法）之二：动态表分析（C++ vector）

详见知乎专栏https://zhuanlan.zhihu.com/p/87563420

对某些应用程序，我们可能无法预先知道它会将多少个对象存储在表中。因为我们需要支持随机访问，所以不能使用链表，只能使用连续的一片空间。我们为一个表分配一定的内存空间，随后可能会发现不够用，于是必须为其重新分配更大的空间，并将所有对象从原表中复制到新的空间中。类似地，如果从表中删除了很多对象，可能为其重新分配一个更小的空间是值得的。在本文中，我们研究这种动态扩张和收缩表的问题。我们将使用摊还分析证明，虽然插入和删除操作可能会引起表的扩张或收缩，从而有较高的实际代价，但它们的摊还代价都是 [公式] 。而且，我们将看到如何保证动态表中的空闲空间相对于总空间的比例永远不超过一个常量分数，从而不会浪费太多空间。

我们假定动态表支持 [公式] 和 [公式] 两个操作，分别插入或删除一个数据项，占用或释放一个槽(slot)。

定义 [公式] 为表 [公式] 的装载因子，即表中存储的数据项个数除以表的大小（槽的个数）。

表扩张
首先分析只允许插入数据项的情况，稍后分析既允许插入也允许删除的一般情况。

我们假定表的存储空间是一个槽的数组。当所有槽都已被使用时，表被填满，此时装载因子为 [公式] 。

当向一个已经填满的表中插入对象时，我们必须扩张表，即分配一个更大的表，把原来的对象都复制到新表中，再插入当前对象。

一个常用的分配新表的启发式策略是：为新表分配2倍于旧表的槽。如果只允许插入操作，那么装载因子始终在 [公式] 以上，浪费的空间始终不