[算法导论.ppt

17.1 合计法 即： 操作序列总代价(在最坏情况下)为O(n) 每次操作的平摊成本为O(n)/n=O(1) * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 费用分配（平摊代价） 为不同的操作分配不同的费用，每一操作分配到的费用称为该操作的平摊代价，它可视作为数据结构对该操作预收的费用（或理解为是该操作对数据结构预付的费用） * 数据结构 操作 收费 付费 平摊代价 费用 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 超额收费(overcharge)(平摊代价实际成本) 当一个操作的平摊代价大于其实际成本时，数据结构对该操作预收的费用过多，其超额部分作为存款存储在数据结构的某个特定对象上 收费不足(undercharge)(平摊代价实际成本) 当一操作的平摊代价小于其实际成本时，数据结构对该操作预收的费用不足，其差额部分可由数据结构的特定对象(是该操作操作的对象)上的存款支付 以丰补歉 与合计法不同，这里不同的操作平摊代价可能不同，原则是以丰补歉 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 正确选择各操作的平摊代价（平摊代价的正确性） 要说明每个操作的平摊代价是最坏情况下的平均代价,则必须保证对任意长度n的操作序列，总平摊代价是总的实际代价的一个上界： * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 正确选择各操作的平摊代价(续) 或者说：与数据结构相关的总存款在任何时刻都必须非负： 否则，若某一时刻总存款为负，则对于该时刻为止的操作序列（即对某个n），其总平摊代价不是总实际代价的上界。因此，各操作的平摊代价就不是最坏情况下的平均代价。 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 1、栈操作（不同种类操作） 平摊代价的正确性 说明对任何n，总平摊代价是总的实际成本的上界。等价于：任何时候栈中元素的总存款≥0 * Push Pop Multipop 实际代价 1 1 min(k,s) 平摊代价 2 0 0 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 证明：任何时候栈中元素的总存款≥0 设每个代价单位：1元 栈——餐馆的盘子 Push：将一盘子放入栈中，该操作付出的2元钱1元用来支付入栈操作的实际成本，剩余1元作为存款放到刚刚入栈的盘子上 Pop和Multipop：平摊成本为0，但因为栈中每个盘子上均有1元存款，故可用该存款支付每个盘子出栈所需的实际成本 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 17.2 记账法 综上所述： 任意时刻，栈中盘子总存款≥0，故任意长度n的操作序列，总平摊成本是总实际成本的一个上界。 ∴每个操作平摊成本是O(1)，n个由Push，Pop和Multipop组成的操作序列总平摊成本是O(n)，因此总实际成本亦为O(n) * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client P