[论文解读] Better Strategyproof Mechanisms without Payments or Prior --- An Analytic Approach

Yun Kuen Cheung|arXiv (Cornell University)|Apr 18, 2016

Auction Theory and Applications参考文献 13被引用 4

一句话总结

本文提出一种分析方法，用于设计在无支付或先验信息情况下的两 agent 可分物品分配机制的策略性报酬机制。它引入了动态递增价格（DIP）机制，利用与 agent 相关、与数量相关的虚拟定价，实现更高的竞争力——达到 0.67776，突破了此前 2/3 的屏障，并通过简洁的证明展示了完整机制的 5/6 上限。

ABSTRACT

We revisit the problem of designing strategyproof mechanisms for allocating divisible items among two agents who have linear utilities, where payments are disallowed and there is no prior information on the agents' preferences. The objective is to design strategyproof mechanisms which are competitive against the most efficient (but not strategyproof) mechanism. For the case with two items: (1) We provide a set of sufficient conditions for strategyproofness. (2) We use an analytic approach to derive strategyproof mechanisms which are more competitive than all prior strategyproof mechanisms. (3) We improve the linear-program-based proof of Guo and Conitzer to show new upper bounds on competitive ratios. (4) We provide the first "mathematical" upper bound proof. For the cases with any number of items: (1) We build on the Partial Allocation mechanisms introduced by Cole et al. to design a strategyproof mechanism which is 0.67776-competitive, breaking the 2/3 barrier. (2) We propose a new subclass of strategyproof mechanisms called Dynamical-Increasing-Price mechanisms, where each agent purchases the items using virtual money, and the prices of the items depend on other agents' preferences.

研究动机与目标

• 设计无货币转移或偏好信息先验的两 agent 可分物品分配的策略性报酬机制。
• 在先前部分分配机制实现的 2/3 门槛之上，进一步提升竞争力。
• 开发一种分析框架，揭示最优机制的结构洞见，超越临时构造方法。
• 利用 Rochet 的刻画方法与变分技术，建立更紧致的竞争力上界。
• 提出一类新机制——动态递增价格（DIP）机制，通过根据 agent 的估值动态调整价格，以逼近最优分配结果。

提出的方法

• 本文采用分析方法推导策略性报酬的充分条件，利用连续性与可微性假设。
• 提出动态递增价格（DIP）机制，其中每个 agent 使用虚拟货币购买物品，物品价格取决于已购买的数量及其他 agent 的偏好。
• 价格被定义为累计购买量的函数，确保 agent 无法影响自身价格，从而保证策略性报酬。
• 机制使用价格函数的积分来建模虚拟支出，agent 在单位预算约束下求解效用最大化问题。
• 本文应用 Rochet 对策略性报酬机制的刻画，推导出竞争力的非平凡上界。
• 相较于以往基于线性规划的证明，本文提供了更简洁、分析性的 5/6 上界证明，适用于完整机制。

实验结果

研究问题

• RQ1 在无支付的两 agent 可分物品分配中，策略性报酬的必要与充分条件是什么？
• RQ2 能否使用分析框架设计出优于现有启发式或构造方法的机制？
• RQ3 在禁止支付与先验信息的情况下，策略性报酬机制可实现的最优竞争力是多少？
• RQ4 如何设计动态定价规则，以在保持策略性报酬的前提下引导分配趋近最优结果？
• RQ5 能否通过对偶性或变分法等分析工具，更简洁、更深刻地证明竞争力的上界？

主要发现

• 本文构造了一个策略性报酬机制，实现了 0.67776 的竞争力，突破了此前认为是部分分配机制极限的 2/3 屏障。
• 首次通过 Rochet 的刻画方法与截面分析，提供了完整机制竞争力 5/6 上限的简洁证明。
• 5/6 竞争力机制被证明是所提动态递增价格（DIP）框架的特例，其价格函数被明确给出。
• DIP 机制被证明是策略性报酬的，因为 agent 面临外生价格，无法影响自身价格，从而确保诚实出价。
• 本文在 Guo 与 Conitzer 的基于线性规划的证明基础上，提供了更具洞察力的、分析性的上界推导。
• 结果表明，未来研究中高级分析工具——如对偶性与变分法——将对证明更紧致的上界至关重要。