摊还分析:摊还分析给出了所有操作的平均性能。摊还分析的核心在于,最坏的情况一旦发生了一次,那么未来很长一段时间都不会再发生,这样就会均摊每次操作的代价。
举一个例子来说,从一个空队列开始,依次执行下面的操作:push1,…,pushn,pop1,…,popn
单次出队操作最坏情况下的时间复杂度为O(n)。考虑到我们要做n次出队操作,如果我们用最坏情况下的时间复杂度来计算的话,那么所有操作的时间复杂度为O(n^2)。
但是,在一系列的操作中,最坏情况不可能每次都发生,可能一些操作代价很小,另一些代价很高。因此,如果用传统的最坏情况分析,那么给出的时间复杂度是远远大于实际的复杂度的。
在上面的例子中,出队操作最多可以执行的次数跟它之前执行过入队操作的次数有关。虽然一次出队操作代价可能很大,但是每n次入队才能产生这样一次代价为n的出队操作。所以每次操作的平均时间复杂度为O(1)。