[論文レビュー] 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つの非同質的施設立地問題に対して、定式化された戦略的非対応メカニズムを提示し、2.75の定数近似比を達成する。メカニズムはまず、公開されたエージェントの位置に基づいて最適な施設立地を計算し、その後、報告された好みを用いて4つの候補配置から最良のものを選ぶ。戦略的非対応性は、非自明な構造的議論によって保証される。

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.

研究の動機と目的

• 定式化された戦略的非対応メカニズムを設計し、2つの非同質的施設に対して定数近似比を達成する。
• 2つの非同質的施設立地モデルにおける、既存の最良の近似比と理論的下界との大きな格差を埋める。
• 戦略的非対応メカニズム設計において、独裁または過半数投票以外の非自明な決定的メカニズムが存在するかを調査する。
• メカニズムを3つ以上の施設へ一般化する可能性を調査する。

提案手法

• メカニズムはまず、すべてのエージェントが両方の施設を受け入れると仮定して、公開されたエージェントの位置に基づき最適な施設立地 $s_\ell$ と $s_r$ を計算する。
• 次に、4つの候補配置 $(s_\ell, s_\ell)$, $(s_\ell, s_r)$, $(s_r, s_\ell)$, $(s_r, s_r)$ を評価し、エージェントが報告した好みを用いて社会的コストを最小化する配置を選択する。
• エージェントが好みを不正に報告することで利益を得られないようにするため、非自明な議論によって戦略的非対応性を保証する。
• 単峰性好みの構造と問題の線形性を活用して、近似比を限定する。
• 好みの不正報告によるコスト変化を分析することで、戦略的非対応性を証明し、いかなるエージェントも嘘をついてコストを減らすことができないことを示す。
• 一般化のために、$k$ 個の施設へはすべての $k^k$ 候補配置を評価するが、$k \geq 3$ の場合、戦略的非対応性が保たれない。

実験結果

リサーチクエスチョン

• RQ1 定式化された戦略的非対応メカニズムは、2つの非同質的施設立地問題において定数近似比を達成できるか？
• RQ2 提案されたメカニズムのタイトな近似比は何か？また、理論的下界 $1 + \sqrt{2}$ を達成するか？
• RQ3 なぜメカニズムは3つ以上の施設へ一般化された際に戦略的非対応性を失うのか？
• RQ4 $k \geq 3$ 個の施設に対して、定数近似比を達成する非自明な決定的戦略的非対応メカニズムは存在するか？
• RQ5 どのような好み構造が、独裁や過半数投票でないにもかかわらず、メカニズムが戦略的非対応性を保つことを可能にするのか？

主な発見

• 提案されたメカニズムは、最大で2.75の近似比を達成し、以前の最良の $n/2 + 1$ よりも顕著に改善されている。
• 戦略的非対応性が保証されており、いかなるエージェントも、受け入れ可能な施設集合を不正に報告することでコストを減らすことはできない。
• 近似比の下界として $1 + \sqrt{2} \approx 2.414$ が確立され、実際の近似比が $1 + \sqrt{2}$ である可能性が示唆されている。
• メカニズムの戦略的非対応性は、Gibbard-Satterthwaiteの不可能性定理の2つの例外クラスに属さない非自明な構造的議論に依存している。
• 3つ以上の施設へ一般化すると、戦略的非対応性が保たれないことが、反例によって示された。
• 反例は、$k \geq 3$ の場合、エージェントが真の受け入れ可能な集合よりも小さい集合を報告することでコストを減らすことができることを示している。