算法导论Chapter 17.pptVIP

17.4.1. 表扩张 例如：设当前表大小为m，则m/2个元素是本表扩张前由原表copy过来的，它们没有存款，故当往表中插入后一半元素时，应为前一半元素各存1元，当m个表目填满时，各元素均有1元支付新扩张的copy费用 * ∵任意时刻总存款≥0 ∴总平摊成本O(n)≥总实际成本 x 当前表 下一次扩张 上一次扩张 m/2 17.4.1. 表扩张 ④势能分析法 i) 势函数Φ：刚完成扩张时势最小(0)，表满时势能最大(表的项数)，以支付下次扩张copy的代价 Φ(T)=2*num[ T ]-size[ T ] (17.5) 显然： 刚扩张时，∵num[T]=size[T]/2 ∴Φ(T)=0 表满时，∵num[T]=size[T] ∴Φ(T)=size[T] ii)正确性 ∵α≥1/2, num[T]≥size[T]/2 //表至少半满 ∴Φ(T)≥0=Φ0 * 17.4.1. 表扩张 iii)OPi的平摊成本 设OPi之后表项数、size及势分别为numi，sizei和Φi，显然num0=size0=Φ0=0 (a)若未扩张，则sizei=sizei-1, numi=numi-1+1 * 17.4.1. 表扩张 (b)若扩张，则 sizei=2sizei-1= 2(numi-1)//numi-1=numi-1 * 17.4.1. 表扩张 Fig17.3： numi，sizei和Φi相对于i的关系 扩张前势最大（等于sizei=numi）； 扩张后势为0，但是引起扩张的元素立即插入后，使势马上增加到2. * 17.1 合计法 即： 操作序列总代价(在最坏情况下)为O(n) 每次操作的平摊成本为O(n)/n=O(1) * 17.2 记账法 费用分配（平摊代价） 为不同的操作分配不同的费用，每一操作分配到的费用称为该操作的平摊代价，它可视作为数据结构对该操作预收的费用（或理解为是该操作对数据结构预付的费用） * 数据结构 操作 收费 付费 平摊代价 费用 17.2 记账法 超额收费(overcharge)(平摊代价实际成本) 当一个操作的平摊代价大于其实际成本时，数据结构对该操作预收的费用过多，其超额部分作为存款存储在数据结构的某个特定对象上 收费不足(undercharge)(平摊代价实际成本) 当一操作的平摊代价小于其实际成本时，数据结构对该操作预收的费用不足，其差额部分可由数据结构的特定对象(是该操作操作的对象)上的存款支付 以丰补歉 与合计法不同，这里不同的操作平摊代价可能不同，原则是以丰补歉 * 17.2 记账法 正确选择各操作的平摊代价（平摊代价的正确性） 要说明每个操作的平摊代价是最坏情况下的平均代价,则必须保证对任意长度n的操作序列，总平摊代价是总的实际代价的一个上界： * 17.2 记账法 正确选择各操作的平摊代价(续) 或者说：与数据结构相关的总存款在任何时刻都必须非负： 否则，若某一时刻总存款为负，则对于该时刻为止的操作序列（即对某个n），其总平摊代价不是总实际代价的上界。因此，各操作的平摊代价就不是最坏情况下的平均代价。 * 17.2 记账法 1、栈操作（不同种类操作） 平摊代价的正确性 说明对任何n，总平摊代价是总的实际成本的上界。等价于：任何时候栈中元素的总存款≥0 * 实际代价 平摊代价 Push 1 2 Pop 1 0 Multipop min(k,s) 0 17.2 记账法 证明：任何时候栈中元素的总存款≥0 设每个代价单位：1元 栈——餐馆的盘子 Push：将一盘子放入栈中，该操作付出的2元钱1元用来支付入栈操作的实际成本，剩余1元作为存款放到刚刚入栈的盘子上 Pop和Multipop：平摊成本为0，但因为栈中每个盘子上均有1元存款，故可用该存款支付每个盘子出栈所需的实际成本 * 17.2 记账法 综上所述： 任意时刻，栈中盘子总存款≥0，故任意长度n的操作序列，总平摊成本是总实际成本的一个上界。 ∴每个操作平摊成本是O(1)，n个由Push，Pop和Multipop组成的操作序列总平摊成本是O(n)，因此总实际成本亦为O(n) * 17.2 记账法 2、二进制计数器的增量（同种操作） Increment的实际成本——翻转位数，设每位翻转代价：1元 平摊成本： 置位(0→1)收费2元 复位(1→0)收费0元 正确性： 当某位被置位时，2元收费中1元用于支付实际成本，另1元存在该位上，则计数器中，值为1的位上均有1元存款。 当某位复位时，用该位