算法导论笔记：17摊还分析

       在摊还分析中，通过求数据结构的一系列的操作的平均时间，来评价操作的代价。这样，即使这些操作中的某个单一操作的代价很高，也可以证明平均代价很低。摊还分析不涉及概率，它可以保证最坏情况下每个操作的平均性能。

 

       摊还分析有三种常用的技术：

       聚合分析，它确定n个操作的总代价的上界为T(n)，所以每个操作的平均代价为T(n)/n。每个操作都有相同的摊还代价。

       核算法：分析每个操作的摊还代价，不同于聚合分析，每种操作的摊还代价是不同的，核算法将序列中较早的操作的余额作为“信用”储存起来，与数据结构中的特定对象相关联，在随后的操作中，储存的信用可以用来进行支付。

       势能法，与核算法类似，也是分析每个操作的代价，但将势能作为一个整体存储，而与数据结构中的某个对象无关。

一：聚合分析

       聚合分析是证明n个操作的最坏情况下的总时间为T(n)，因而每个操作的平均代价（聚合代价）为T(n)/n。所以，聚合分析中的每个操作的聚合代价都是相同的。下面以栈操作和二进制计数器为例说明：

      

       1：栈操作

       栈操作有PUSH和POP，两个操作的都是O(1)时间的。现在增加一种新的操作MULITIPOP(S, k)，该操作删除栈顶的k个元素，如果k > S.size，则删除所有元素。该操作与实际执行的POP次数呈线性关系，代码如下：

MULTIPOP(S, k)

       while not STACK-EMPTY(S) and k>0

              POP(S)

              k = k-1

 

因此，MULTIPOP的代价为min(s, k)，其中s表示S.size。

 

       因为栈的大小最大为n，所以MULTIPOP的最坏情况为O(n)，所以，由n个PUSH,POP,MULTIPOP组成的操作序列的最坏代价为O( n^2)，因为序列可能包含