“MTF 是自调整数据结构和竞争分析的早期范例。证明中的势同时依赖在线算法与比较算法,展示了势能法不仅能分析单个数据结构的摊还操作,也能追踪两个动态状态之间的距离。”
形式陈述
定义
在在线算法模型的最小化问题中,若对所有序列
则算法是
当存在离线成本任意大的合法序列时,渐近竞争比关注
直觉
在线算法付出的额外成本来自信息延迟,而不是计算不够充分。竞争分析让 ALG 与预知整个请求序列的 OPT 在同一序列上结算,由乘法常数刻画“看不见未来”的最坏代价;固定加性项只吸收初始状态等一次性差异,不能随序列变长。
消歧
近似比通常比较完整输入上的可行解与最优解;竞争比还要衡量未来不可见的代价。两者都必须说明目标与比率方向,最大化问题不能照搬这里的最小化不等式。
资源增广比较不同资源下的 ALG 与 OPT,例如在线分页给更大缓存;这不是原竞争比的直接改进,必须把两侧资源写进符号。经验 workload 上的平均比率也不是对所有序列的竞争保证。
例子与边界
租买问题的完整阈值计算
每天租金为
例如
量词与随机对手
确定性定义先固定算法,再要求对每个序列不等式成立。随机算法面对 oblivious 对手时,先固定序列
Yao 型下界论证先选一个输入分布,再证明每个确定算法在该分布下的期望成本都足够大,最后与该分布下离线最优的期望成本比较。在适用的极小极大条件下,这能推出随机算法的最坏输入下界。应明确比较的是期望成本之比还是随机比率的期望;当
势函数逐轮证明
Paging/LRU 一类证明可设势衡量 ALG 与 OPT 缓存差异,逐请求验证
求和后中间势消去,若
推论与应用
与遗憾界的比较
External regret通常比较累计损失的加性差,基准是在整条损失序列结束后选出的最好固定动作。“固定”指该动作在这一条序列内不随轮次切换;换一条序列,最佳动作当然可以改变。租买问题中,买断会永久改变后续成本和可用状态,离线基准按完整使用天数选择租买方案。因此它与普通无状态 experts 模型的区别在于状态、比较器类别和乘法/加法评价方式,不能用“最佳方案会随序列改变”来区分。
参考资料
- Sleator, Tarjan, “Amortized Efficiency of List Update and Paging Rules,” 1985.
- Borodin, El-Yaniv, 1998.