[论文解读] Approximately Efficient Cost-Sharing Mechanisms

Tim Roughgarden, M. Sundararajan|ArXiv.org|Jun 30, 2006

Auction Theory and Applications参考文献 21被引用 10

一句话总结

本文提出了一种近似高效的成本分摊机制，用于解决NP难的组合优化问题，采用受DMV机制启发的贪心、策略无关方法。通过放松群体策略无关性，实现了O(log k)-近似效率和改进的预算平衡——尤其在集合覆盖和设施选址问题中表现更优，表明较弱的激励相容性可使效率显著优于传统的Moulin机制。

ABSTRACT

We make three different types of contributions to cost-sharing: First, we identify several new classes of combinatorial cost functions that admit incentive-compatible mechanisms achieving both a constant-factor approximation of budget-balance and a polylogarithmic approximation of the social cost formulation of efficiency. Second, we prove a new, optimal lower bound on the approximate efficiency of every budget-balanced Moulin mechanism for Steiner tree or SSRoB cost functions. This lower bound exposes a latent approximation hierarchy among different cost-sharing problems. Third, we show that weakening the definition of incentive-compatibility to strategyproofness can permit exponentially more efficient approximately budget-balanced mechanisms, in particular for set cover cost-sharing problems.

研究动机与目标

• 研究在NP难问题的成本分摊机制中，激励相容性、预算平衡与效率之间的权衡。
• 识别出在哪些成本函数类别下，可实现近似高效、预算平衡且激励相容的机制。
• 探讨将群体策略无关性弱化为策略无关性是否能带来更好的效率近似。
• 为Steiner树和单汇点租购问题的Moulin机制提供紧的效率下界。
• 证明DMV机制在集合覆盖和设施选址问题上，相比现有Moulin机制具有更优的近似因子。

提出的方法

• 使用DMV机制，一种基于贪心算法的成本分摊协议，通过迭代选择单位覆盖成本最低的集合。
• 采用一种成本分摊规则，其中每位参与者支付与其边际覆盖的倒数成比例的份额，并按调和数Hk进行缩放。
• 依赖核心性质，确保成本分摊不超过个体估值，并在Hk因子内实现预算平衡。
• 利用底层集合覆盖和设施选址算法的贪心近似比，来界定社会福利损失的上界。
• 通过两部分边界分析效率：一部分针对构造解的成本，另一部分针对被排除但包含在最优解中的参与者的估值。
• 采用分摊论证，将被排除参与者的成本分摊与最优解成本关联，证明O(log k)-近似效率。

实验结果

研究问题

• RQ1 能否为集合覆盖和设施选址等NP难问题设计出近似高效、预算平衡且激励相容的成本分摊机制？
• RQ2 对于Steiner树和单汇点租购问题，O(1)-预算平衡的Moulin机制所能达到的最佳近似效率是多少？
• RQ3 将群体策略无关性弱化为策略无关性，是否能显著提升成本分摊机制的效率近似？
• RQ4 在集合覆盖和设施选址问题中，DMV机制与现有Moulin机制在效率和预算平衡方面相比如何？
• RQ5 能否利用DMV机制中的核心性质和贪心选择，证明强近似保证？

主要发现

• 对于集合覆盖，DMV机制为(Hk + 1)-近似，实现O(log k)-近似效率，且具有Hk-预算平衡。
• 对于设施选址，DMV机制为(Hk/1.861 + 1.861)-近似，表明实现O(log k)-近似效率且具有1.861-预算平衡。
• 为Steiner树和单汇点租购问题的任何O(1)-预算平衡Moulin机制，证明了Ω(log²k)的紧下界，即近似效率的下界。
• DMV机制是策略无关且弱群体策略无关的，其成本分摊位于核心中，因此效率优于Moulin机制。
• 对于集合覆盖，所有Moulin机制均为Ω(√k)-预算平衡，因此也是Ω(√k)-近似，但DMV机制将其改进为O(log k)-近似。
• 本文证明，放松群体策略无关性可使效率近似实现指数级提升，尤其在集合覆盖问题上，相比Moulin机制有显著优势。