“设买滑雪板需 10 元,租一天需 1 元。第一天开始时,使用一天和使用一百天的两种情形完全相同。立即购买在前一种情形花 10 元,离线只租一天花 1 元;一直租赁在后一种情形花 100 元,…”
形式陈述
离散天模型与确定阈值
设日租金为 1,购买价
预知
因此其最坏比率恰为
直觉
等待购买保留了“明天就结束”的可能,代价是不断付租金;立即购买锁定长期成本,代价是可能只用一天。阈值的作用是限制此前已付租金:一旦它快追上购买价,继续等待就可能使两份费用同时失控。
图中算法在购买后成本变平,离线成本在租金累计到买价时变平。最坏差距应在购买附近计算,不能只看长期两条曲线都不再增长。
例子与边界
成本与确定性下界
取
任意确定性策略在每天持续需要使用的历史上,都有一个固定的首次购买日
若
哪些改动会改变结论
若
推论与应用
随机购买时间怎样改善保证
在连续时间版本,把购买价与时间单位归一化为 1。令随机购买时刻
这确是分布,因为其积分为 1。对固定结束时间
此式对
这是随机化算法面对预先固定结束时间的保证。若结束时间可以根据是否已买而改变,上述固定
参考资料
- David Karger, Online Algorithms, MIT 6.854 Notes #25, 2021 课程版本,§1:确定性 Ski Rental 阈值与
界。 - Allan Borodin and Ran El-Yaniv, Online Computation and Competitive Analysis, Cambridge University Press, 1998,租买问题及随机在线算法。
- Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, and Susan Owicki, “Competitive Randomized Algorithms for Nonuniform Problems,” Algorithmica 11, 1994, pp. 542–571。