2-平摊分析.docVIP

平摊分析（Amortized Analysis，Robert Tarjan） 考虑n条指令执行的最坏时间复杂性。 即使某些指令执行时具有比较大的代价， 但利用平摊分析后对整体考虑， 可以得到较小的平均代价。 一、聚集方法 全局考虑时间复杂性， 把n条指令的耗费分为几类； 分别计算每一类耗费的总和， 然后再把各类耗费总加起来。 例1: 栈操作：Push(x,S), Pop(S), 均只需要O(1)时间。 引进一个新的栈操作Multi-Pop(S,k)： 若S中元素个数 ( k, 则弹出k个元素, 若小于k, 则弹出全部元素。 最坏情况下，Multi-Pop(S,k)执行一次需要O(n)时间。 考虑上述三种操作组成的序列，设共有n条指令。 执行n条指令的最坏情况是否为O(n2)？ ――O(n2)是上界，但不紧确。如何分析？ 把Pop, Multi-Pop的耗费分为两类（平摊分析的常用手法）： 出栈操作需要的耗费； 非出栈操作（判断栈中的元素个数）需要的耗费。 一条指令(Pop或Multi-Pop)的非出栈操作耗费为O(1)， 故执行n条指令时，第2类（非出栈操作）的耗费为O(n)。 出栈操作需要耗费的分析： 一个元素在出栈之前必定首先要进栈， 故出栈元素的个数一定小于等于进栈元素的个数。 ∵共有n条指令，∴进栈操作指令Push(x,S)最多有n条。 Push(x,S)指令每次只能使一个元素进栈，故进栈元素最多为n。 由于出栈元素个数 ( 进栈元素个数，因此 全部Pop及Multi-Pop指令中取元素出栈的操作最多为n ； 故出栈操作需要的耗费也为O(n)。 由此得总耗费也为O(n)。 例2：一个程序，从0开始用增1方法逐个生成2进制数， 放在k个二进制位中。e.g. 0000, 0001, 0010, 0011, ……, 1111。 问：从0开始生成n个数 (0 n ( 2k-1)， 在最坏情况下需要多少次位操作（从0变1及从1变0）？ 从当前数生成下一个数的算法： 从最低位开始，如果当前检测位为1，则将其改为0， 直到碰见第一个0时，将0改为1，一个数的生成工作完成。 简单分析：在最坏情况下，生成1个数时k位都要改， 即需要O(k)时间，故生成n个数需O(n*k)时间。 ――作为上界是对的，但不紧确。 如何分析才能得到紧确的上界？ 平摊分析：把n条指令的耗费分为k类： 第1类：最低位上的耗费（0变1或1变0的次数）； 第2类：次低位上的耗费； 第3类：右数第三位上的耗费； …… 第k类：最高位上的耗费。 各类耗费的具体量值： 第1类：每生成一个新数最低位均需改变一次， 生成n个数的所需耗费为n= (n/20(。 第2类：每生成两个新数次低位均需改变一次， 生成n个数的所需耗费为(n/2(= (n/21(。 第3类：每生成四个新数右数第三位均需改变一次， 生成n个数的所需耗费为(n/4(= (n/22(。 …… 第k类：每生成2k-1个新数最高(第k)位均需改变一次， 生成n个数的所需耗费为(n/2k-1(。 由此得总耗费为 (n/2i( ( n/2i = n*1/2i ( 2n。 故在最坏情况下最多需要的位操作不超过2n。 二、会计算法 Push、Pop、Multi-Pop的例子 栈操作的最主要工作是：进栈和出栈。 由于一个元素的出栈必然在进栈之后， 故我们可以在一个元素入栈时先预付其出栈的费用， 这样在该元素出栈时就不需要再计算费用了。 （费用已提前支付。） 给每个操作以下述平摊代价： Push一次: 平摊代价为2 （包括一个元素的进栈与该元素出栈的费用）； Pop一次：平摊代价为0 （任一元素出栈的费用已被Push指令提前支付）； Multi-Pop一次：平摊代价为1 （该代价为执行Multi-Pop时， 对栈中元素个数进行判断所需的费用， 任一元素出栈的费用已被指令Push提前支付。） ∵一条指令的最大平摊代价为2，故n条指令的代价不超过2n。 增1法逐个生成二进制数程序的例子 从0开始用增1方法逐个生成2进制数， 放在k个二进制位中。e.g. 0000, 0001, 0010, 0011, ……, 1111。 问：从0开始生成n个数 (0 n ( 2k-1)， 在最坏情况下需要多少次位操作（从0变1及从1变0）？ 会计方法求解： 开始时是从0….0开始，任何一位在变为1之前必然是0。 将0置成1时，代价计为2， 为将来从1变为0先预付1个代价。 当从1变为0时，由于已经预付过了，代价无需再计算。 由于每生成1个数，只会碰到一个0， （从最低位开始，如果当前检测位为1，则将其改为0， 碰见第一个0时，将0改为1，一个数的生成工作完成。） 生成n个数，由0改为1 的操作次数为n，故代价为2