[论文解读] Limitations of randomized mechanisms for combinatorial auctions

Shaddin Dughmi, Jan Vondrák|arXiv (Cornell University)|Sep 6, 2011

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

一句话总结

本文证明，在价值预言机模型下， truthful-in-expectation 的随机机制无法在子模估值的组合拍卖中实现非平凡的近似比。尽管先前的突破性成果已实现对覆盖估值的 (1−1/e)-近似，作者证明，任何此类机制——无论是 truthful-in-expectation 还是近似 truthful-in-expectation——都无法保证对子模估值实现 m⁻ᵞ-近似，其中 γ>0 为常数，揭示了将随机机制推广至覆盖函数之外的根本性局限。

ABSTRACT

Recently, a randomized mechanism has been discovered [Dughmi, Roughgarden and Yan; STOC'11] for combinatorial auctions that is truthful in expectation and guarantees a (1-1/e)-approximation to the optimal social welfare when players have coverage valuations. This approximation ratio is the best possible even for non-truthful algorithms, assuming $P eq NP$. Given the recent sequence of negative results for combinatorial auctions under more restrictive notions of incentive compatibility, this development raises a natural question: Are truthful-in-expectation mechanisms compatible with polynomial-time approximation in a way that deterministic or universally truthful mechanisms are not? In particular, can polynomial-time truthful-in-expectation mechanisms guarantee a near-optimal approximation ratio for more general variants of combinatorial auctions? We prove that this is not the case. Specifically, the result of Dughmi, Roughgarden and Yan cannot be extended to combinatorial auctions with submodular valuations in the value oracle model. (Absent strategic considerations, a (1-1/e)-approximation is still achievable in this setting.) More precisely, we prove that there is a constant γ>0 such that there is no randomized mechanism that is truthful-in-expectation--- or even approximately truthful-in-expectation --- and guarantees an m^{-γ}-approximation to the optimal social welfare for combinatorial auctions with submodular valuations in the value oracle model. We also prove an analogous result for the flexible combinatorial public projects (CPP) problem. Both our results present an unexpected separation between coverage functions and submodular functions, which does not occur for these problems without strategic considerations.

研究动机与目标

• 探究 truthful-in-expectation 的随机机制是否能在子模组合拍卖中实现接近最优的近似比，从而将已知的覆盖估值下的 (1−1/e)-近似推广至更广范围。
• 确定覆盖估值下随机机制的成功是否可推广至更广泛的子模估值类别，且在价值预言机模型下成立。
• 建立 truthful-in-expectation 机制在实现子模福利最大化多项式时间近似保证方面的能力的根本限制。
• 在随机机制设计的背景下，揭示覆盖函数与子模函数之间的分离：尽管此类机制在覆盖函数上表现成功，但在子模估值上却失败。

提出的方法

• 作者通过子模函数的乘积组合构造一个子模估值的困难实例，以创建在 truthful-in-expectation 机制下难以近似的估值。
• 他们使用涉及随机划分和 Chernoff 不等式的概率构造，分析机制在策略性偏离下的期望性能。
• 关键技巧在于定义一个特殊玩家，其估值为覆盖函数与子模分量的加权和，从而在近似真实性假设下导出矛盾。
• 证明依赖于反证法：假设 truthful-in-expectation 机制可实现 m⁻ᵞ-近似，将导致激励相容性被违反，该结论通过比较诚实报告与不诚实报告的期望效用得出。
• 分析使用了集中不等式，并对期望效用进行仔细界定，利用子模函数与超模函数的性质，推导出性能的紧致边界。
• 作者将结果扩展至组合公共项目（CPP）问题，证明对子模估值存在类似的不可能性结果。

实验结果

研究问题

• RQ1 在价值预言机模型下，truthful-in-expectation 的随机机制能否在子模组合拍卖中实现非平凡的近似比？
• RQ2 对于子模估值，是否可通过 truthful-in-expectation 机制实现 (1−1/e)-近似，如同在覆盖估值中那样？
• RQ3 与覆盖函数相比，随机机制在近似子模估值的社会福利方面存在何种根本性局限？
• RQ4 覆盖估值下随机机制的成功是否可推广至更一般的子模估值，还是性能上存在显著分离？

主要发现

• 存在常数 γ>0，使得任何 truthful-in-expectation 或近似 truthful-in-expectation 的机制，都无法在价值预言机模型下对具有子模估值的组合拍卖实现 m⁻ᵞ-近似最优社会福利。
• 即使对于子模估值，非诚实算法可实现 (1−1/e)-近似，且该比值在 NP≠P 下为最优，该不可能性结果依然成立。
• 本文建立了覆盖函数与子模函数之间令人惊讶的分离：虽然 (1−1/e)-近似可通过 truthful-in-expectation 机制实现于覆盖估值，但对一般子模估值而言，该比值无法实现。
• 该结果可扩展至组合公共项目（CPP）问题，即对子模估值，任何 truthful-in-expectation 机制都无法实现 m⁻ᵞ-近似。
• 证明基于诚实与不诚实报告之间期望效用比较的反证，表明任何此类机制在特定估值构造下都会违反激励相容性。
• 通过分析得出下界 γ≥δ²/(1+δ)，表明对于任何此类机制，近似比必须在 m 上多项式衰减。