[论文解读] Strategyproof Mechanism for Two Heterogeneous Facilities with Constant Approximation Ratio

Minming Li, Pinyan Lu+2 more|arXiv (Cornell University)|Jul 21, 2019

Game Theory and Voting Systems参考文献 41被引用 4

一句话总结

本文提出了一种在具有私有偏好的直线上解决两组异质设施定位问题的确定性、策略无关机制，实现了2.75的常数近似比。该机制首先基于公开的参与者位置计算最优设施位置，然后利用报告的偏好从四个候选配置中选择最优者，通过一个非平凡的结构化论证确保策略无关性。

ABSTRACT

In this paper, we study the two-facility location game on a line with optional preference where the acceptable set of facilities for each agent could be different and an agent's cost is his distance to the closest facility within his acceptable set. The objective is to minimize the total cost of all agents while achieving strategyproofness. We design a deterministic strategyproof mechanism for the problem with approximation ratio of 2.75, improving upon the earlier best ratio of n/2+1.

研究动机与目标

• 设计一种具有常数近似比的确定性、策略无关机制，用于两组异质设施。
• 弥合两组异质设施模型中已知最佳近似比与理论下限之间的巨大差距。
• 探讨在策略无关机制设计中，除独裁或简单多数投票外，是否存在非平凡的确定性机制。
• 研究将该机制推广至三个或更多设施的可行性。

提出的方法

• 该机制首先基于所有参与者接受两个设施的假设，根据公开的参与者位置计算最优设施位置 $s_\ell$ 和 $s_r$。
• 然后评估四种候选配置：$(s_\ell, s_\ell)$、$(s_\ell, s_r)$、$(s_r, s_\ell)$ 和 $(s_r, s_r)$，并利用参与者的报告偏好选择社会成本最小的配置。
• 通过一个非平凡的论证确保策略无关性，防止参与者通过谎报偏好获益。
• 该机制利用单峰偏好的结构和问题的线性特性，对近似比进行有界控制。
• 通过分析偏好谎报下的成本变化，证明该机制是策略无关的，表明没有任何参与者能通过说谎获益。
• 在推广方面，该机制通过评估所有 $k^k$ 种配置扩展至 $k$ 个设施，但当 $k \geq 3$ 时，策略无关性不再成立。

实验结果

研究问题

• RQ1 在两组异质设施定位问题中，能否设计出一种确定性策略无关机制，实现常数近似比？
• RQ2 所提机制的紧致近似比是多少？是否达到了理论下限 $1 + \sqrt{2}$？
• RQ3 为何当推广至三个或更多设施时，该机制不再具有策略无关性？
• RQ4 对于 $k \geq 3$ 个设施，是否存在一种非平凡的确定性策略无关机制，且具有常数近似比？
• RQ5 何种偏好结构使得该机制在并非独裁或简单多数投票的情况下仍能保持策略无关性？

主要发现

• 所提机制的近似比至多为2.75，显著优于先前的 $n/2 + 1$。
• 该机制是策略无关的，因为没有任何参与者能通过谎报其可接受设施集合来降低自身成本。
• 建立了该机制近似比的下限为 $1 + \sqrt{2} \approx 2.414$，表明真实近似比可能正是 $1 + \sqrt{2}$。
• 该机制的策略无关性依赖于一个非平凡的结构化论证，该论证不落入Gibbard-Satterthwaite不可能性定理的两类例外情况。
• 将机制推广至三个或更多设施时，策略无关性不再成立，反例表明存在参与者通过谎报更小的可接受集合可降低自身成本。
• 反例表明，当 $k \geq 3$ 时，若参与者谎报其真实可接受集合（报告更小的集合），则可从中获益。