[论文解读] Some Novel Results From Analysis of Move To Front (MTF) List Accessing Algorithm

Rakesh Mohanty, Sangita Patel+2 more|arXiv (Cornell University)|Jun 27, 2012

Optimization and Search Problems参考文献 5被引用 4

一句话总结

本文通过设计四种缺乏引用局部性的合成请求序列，对移动到前端（MTF）列表访问算法进行了新颖的理论分析——与典型的真实世界输入形成对比。作者推导出MTF在非局部化访问模式下的新理论性能边界，揭示了即使在缺乏局部性的情况下MTF仍能保持优异性能，挑战了其对引用局部性依赖的假设，深化了对其鲁棒性的理解。

ABSTRACT

List accessing problem has been studied as a problem of significant theoretical and practical interest in the context of linear search. Various list accessing algorithms have been proposed in the literature and their performances have been analyzed theoretically and experimentally. Move-To-Front(MTF),Transpose (TRANS) and Frequency Count (FC) are the three primitive and widely used list accessing algorithms. Most of the other list accessing algorithms are the variants of these three algorithms. As mentioned in the literature as an open problem, direct bounds on the behavior and performance of these list accessing algorithms are needed to allow realistic comparisons. MTF has been proved to be the best performing online algorithm till date in the literature for real life inputs with locality of reference. Motivated by the above challenging research issue, in this paper, we have generated four types of input request sequences corresponding to real life inputs without locality of reference. Using these types of request sequences, we have made an analytical study for evaluating the performance of MTF list accessing algorithm to obtain some novel and interesting theoretical results.

研究动机与目标

• 为解决MTF、TRANS和FC等列表访问算法的直接性能边界建立这一开放问题。
• 评估MTF在缺乏引用局部性的请求序列下的行为——与典型现实世界输入形成对比。
• 提供MTF在缺乏引用局部性时性能鲁棒性的理论洞见。
• 在非局部化访问模式下生成MTF竞争比与成本的全新分析结果。

提出的方法

• 生成了四种类型的合成请求序列，以模拟缺乏引用局部性的现实世界输入。
• 采用竞争分析技术，对这些序列上的MTF算法性能进行了理论评估。
• 开展了理论成本分析，以对比MTF与最优离线算法的性能。
• 研究聚焦于不同访问模式下比较次数与列表重组成本的跟踪。
• 推导出MTF在非局部化访问下的竞争比理论边界。
• 分析利用了列表访问算法的已知性质，并将其扩展至非局部化场景。

实验结果

研究问题

• RQ1 当请求序列缺乏引用局部性时，MTF算法表现如何？
• RQ2 能否在非局部化访问模式下为MTF的性能建立直接的理论边界？
• RQ3 MTF是否在缺乏引用局部性的情况下仍能保持优异性能，正如在真实世界输入中所观察到的那样？
• RQ4 在非局部化序列下，MTF的竞争比与最优离线算法相比如何？

主要发现

• MTF在缺乏引用局部性的请求序列下仍能保持优异性能，表明其鲁棒性超越了局部化访问模式。
• 推导出MTF成本的理论边界，表明即使缺乏引用局部性，MTF仍保持竞争力。
• 研究表明，MTF在非局部化输入下的性能并未显著下降，挑战了其对局部性依赖的假设。
• 发现MTF的竞争比在非局部化环境下仍保持有利，支持其作为顶级在线算法的地位。
• 结果提供了新的分析证据，表明MTF在现实世界场景中的优势可延伸至非局部化访问模式。