引出
当我们在设计一个数据结构时,评估一个数据结构操作的复杂度可能会成为一个问题;
考虑这样一种情况:数据结构中特定操作的复杂性很高,但是实际用到的机会不多,所以和其他操作的复杂性“平摊”一下,从整体上讲该数据结构使用起来复杂性就降低了。
因为数据结构上的操作相互之间可能是有关联的。不考虑操作之间的关联,只盯着数据结构中特定的一个操作来分析其复杂性,得到的结果往往是不够紧的上界。
由此我们意识到:分析数据结构操作的复杂性应当从整体上入手。但在多个操作关联的基础上进行复杂度分析,还是比较难做到的。摊还分析主要想解决的就是这一类分析问题。
首先我们需要明确一下问题的定义:针对特定的数据结构S,S具有若干操作,在S上进行任意n个操作,求这个操作序列的复杂度。;就是说,我们接下来需要得到的最终结果应该是操作序列的一个尽可能紧的上界(作为整体性能的指标)。
另外我们还需要区分开实际代价和摊还代价:
- 实际代价指的是操作实际所需的步数;
- 摊还代价指的是我们为了方便分析整体所需代价的阶,为每一个操作指派的一个临时量。
有关摊还分析的具体内容均可查阅《算法导论》第17章,以下仅针对书中介绍的三种方法,做出个人的理解。
聚合分析
基本思想
聚合分析基于这样一个淳朴的思想:在所有可能操作的复杂度中&