【数学】平摊分析与动态表问题

普通的动态表问题

我们需要用一个数据结构存储一些数据，但并不知道数据有多少个，所以也不知道申请多少空间合适。因此，我们采取了动态申请空间的策略，假设现在表的大小为$size$，数据数为$num$。
若$num<size$时需要添加一个数据，直接加入即可，单次操作复杂度为1。
当$num=size$时需要添加一个数据，则申请一个大小为$2size$的空间，然后将原来的$num$个数加上新加的数据都放进新空间里，复杂度为$num+1$。
假设插入$n$次，那么这样一个数据结构的均摊复杂度是多少呢？

朴素的分析是，单次操作是$O(n)$的，操作数是$O(n)$的，所以是$O(n^2)$。
这是一个很松的上界，可以做更好的估计。

采用聚集分析的话，当$i-1$为2的次幂时，$c_i=i$。其他时候$c_i=1$。
所以总代价${\sum }_{i=0}^n{c}_i\le n+{\sum }_{i=1}^{\lfloor \log n\rfloor }{2}^i\le 3n$
平摊代价$\frac{3n}{n}=3$。

有了这个启发后，我们还可以设计记账法来分析。
一次插入的记账为3，其中1的代价给这次新插的数用，1的代价存款在新插的数上，1的代价给一个没有存款的数据。一次扩张后到下一次扩张前，新插的数据的个数和旧的数据个数是相等的，所以每次扩张时，动态表内的所有数上均有1的存款，那么换空间的复杂度只需要消耗这些存款了。

最后，考虑势函数法。
决定势函数的只有两个东西，$size$和$num$，不妨先待定系数，设$\Phi (T)=anum+bsize$
首先，我们考虑触发表扩张的一个操作，需要让它的平摊代价为常数。这里的$num$和$size$设为添加新数据前的：
$a_i=c_i+\Phi (T_i)-\Phi (T_{i-1})=num+1+(a(num+1)+b(2size))-(anum+bsize)=num+1+a+bsize$
扩张前应该有$num=size$，所以$b=-1$时是常数。
至于这个常数是多少，其实我们用聚集分析和记账法已经算出来了，是3，所以$a=2$。
得到势函数：$\Phi (T)=2num-size$
验证一下不扩张的情况：$a_i=1+(2num+2-size)-(2num-size)=3$
完美！

带删除的动态表问题

在上面的例子看起来，我们可以利用聚集分析和记账法完成，势函数显得有些没必要。但这个问题升级一下，前两种方法就不是那么好用了。

假设我们的动态表中的数据可以被删除，则这个表可能也需要收缩。既然我们扩张都是2的倍数，那当然收缩也收缩成$\frac{1}{2}$比较好。
定义装载率$\alpha =\frac{num}{size}$，什么时候收缩呢？
如果是$\alpha =\frac{1}{2}$时收缩，则可能出现一种情况，删除和插入交错进行，表的大小反复横跳。所以我们会定一个值，比如说${\alpha }_0=\frac{1}{4}$时收缩。

势函数不应该小于0，所以应该分两段（这里以$\frac{1}{2}$分段是因为扩张和收缩的分界点都是2次幂，如果是3次幂扩张等情况则应该不同考虑）来设计：
$\Phi (T)=\{\begin{array}{ll}anum+bsize& \alpha \ge \frac{1}{2}\\ cnum+dsize& \alpha <\frac{1}{2}\end{array}$

在$\frac{1}{2}$处势函数应该连续，所以：
$anum+2bnum=cnum+2dnum$即$2(d-b)=a-c$。
构造型待定系数的解往往不止一种，不妨让$b=-\frac{1}{2}a,d=-\frac{1}{2}d$。
接下来就是保证扩张和收缩的时刻的平摊代价都是常数。

扩张时：
$num+1+(anum+a+2bsize)-(anum+bsize)$，如前面一样的式子，可以解出$b=-1$所以$a=2$
收缩时：
$num+1+(cnum-c+\frac{1}{2}dsize)-(cnum+dsize)$，将${\alpha }_0=\frac{1}{4}$代入得$d=\frac{1}{2}$

最终设计的势函数：
$\Phi (T)=\{\begin{array}{ll}2num-size& \alpha \ge \frac{1}{2}\\ \frac{1}{2}size-num& \alpha <\frac{1}{2}\end{array}$

知晓了势函数的设计原理后，即使问题继续变化，我们还是很好设计势函数。例如${\alpha }_0=\frac{1}{3}$时收缩呢？只需要在解收缩时的势函数方程时稍加变动。

首先，若${\alpha }_0=\frac{1}{3}$时收缩，收缩后$\alpha =\frac{2}{3}>\frac{1}{2}$，所以：
$c_i=num+1+(2num-2-\frac{1}{2}size)-(dsize-2dnum)=(3+2d)num-(\frac{1}{2}+d)size-2$
$size=3num$代入，解得$d=\frac{3}{2}$，故$c=-3$