[论文解读] Truthfulness via Proxies

Shahar Dobzinski, Hu Fu+1 more|arXiv (Cornell University)|Nov 14, 2010

Auction Theory and Applications参考文献 7被引用 15

一句话总结

本文提出了一种针对具有次可加投标人的组合拍卖的期望真值性 $O\left(\frac{\log m}{\log\log m}\right)$-近似机制，该机制使用多项式通信量。该机制在最大分布范围内（MIDR）框架内采用基于代理的线性规划舍入技术，尽管将真值性保证弱化为期望形式，但仍实现了优于先前普遍真值性机制的近似性能。

ABSTRACT

This short note exhibits a truthful-in-expectation $O(\frac {\log m} {\log \log m})$-approximation mechanism for combinatorial auctions with subadditive bidders that uses polynomial communication.

研究动机与目标

• 设计一种针对具有次可加投标人的组合拍卖的期望真值性机制，其近似比优于现有普遍真值性机制。
• 克服最大范围内机制的局限性，后者在多项式通信量下仅能实现 $O(m^{1/6})$ 的近似比。
• 探讨期望真值性机制是否能在近似比方面超越普遍真值性机制，尽管其真值性保证较弱。
• 开发一种针对 LP 松弛的新型舍入技术，确保在代理估值下保持可行性与期望福利保证。

提出的方法

• 每位投标人由一名代理投标人代表，其估值模拟随机舍入过程的期望值。
• 算法使用这些代理估值求解线性规划松弛，以找到最优的分数分配方案。
• 基于分数解的概率分配临时分配方案，并通过确保任一物品的分配不超过 $1/c$ 倍来检查可行性。
• 通过以与 $c$ 成比例的概率将物品分配给投标人，执行概率性物品分配步骤，以保证期望福利的保留。
• 通过以概率 $1 - \frac{p}{1 - q_i}$ 取消分配，执行最终的重新实现步骤，以维持期望意义上的真值性。
• 该机制被构建成一种最大分布范围内（MIDR）算法，其输出分布覆盖可行分配，且期望福利与代理 LP 解的最优值相匹配。

实验结果

研究问题

• RQ1 期望真值性机制是否能在次可加组合拍卖中实现优于普遍真值性机制的近似比？
• RQ2 在此设置下，期望真值性机制与普遍真值性机制之间是否存在性能差距，特别是在近似比方面？
• RQ3 基于代理的 LP 舍入技术是否可用于设计高效、期望真值性的机制，并实现更好的近似保证？
• RQ4 在多项式通信约束下，MIDR 机制是否能实现优于最大范围内机制的近似比？
• RQ5 是否存在一种非平凡的舍入方案，能够克服限制先前期望真值性机制仅能达到 $O(\sqrt{m})$ 近似比的整数规划间隙障碍？

主要发现

• 该机制在次可加组合拍卖中实现了 $O\left(\frac{\log m}{\log\log m}\right)$ 的近似比。
• 该机制是期望真值性的，即诚实出价可使每位投标人的期望效用最大化。
• 通信复杂度在 $n$ 和 $m$ 上为多项式级别，依赖于需求查询和高效的 LP 求解。
• 该算法确保输出分布的期望福利等于 $p \cdot \text{OPT}$，其中 $\text{OPT}$ 是代理估值下的最优 LP 值。
• 通过参数 $c = \frac{1}{100} \cdot \frac{\log \log m}{\log m}$ 控制过度分配，舍入过程以高概率保持可行性。
• 该机制表明，基于代理的 LP 舍入可实现优于先前期望真值性方法的近似比，后者受限于 $O(\sqrt{m})$。