[論文レビュー] Mechanism Design for Two-Opposite-Facility Location Games with Penalties on Distance

Xujin Chen, Xiao Hu+4 more|arXiv (Cornell University)|Jun 21, 2018

Game Theory and Voting Systems被引用数 5

ひとこと要約

本稿は、1つが人気で1つが嫌悪性である2つの施設の配置ゲームにおけるメカニズム設計を提案する。エージェントの効用は、両施設までの距離の差に依存する。合計型福祉（ペナルティを加味した総効用の最大化）のための確率的および決定的群戦略正直メカニズムを導入し、ボトルネック型福祉（ペナルティを加味した最小効用の最大化）のための決定的メカニズムを提示。近似比と下界が理論的に保証されている。

ABSTRACT

This paper is devoted to the two-opposite-facility location games with a penalty whose amount depends on the distance between the two facilities to be opened by an authority. The two facilities are "opposite" in that one is popular and the other is obnoxious. Every selfish agent in the game wishes to stay close to the popular facility and stay away from the obnoxious one; its utility is measured by the difference between its distances to the obnoxious facility and the popular one. The authority determines the locations of the two facilities on a line segment where all agents are located. Each agent has its location information as private, and is required to report its location to the authority. Using the reported agent locations as input, an algorithmic mechanism run by the authority outputs the locations of the two facilities with an aim to maximize certain social welfare. The sum-type social welfare concerns with the penalized total utility of all agents, for which we design both randomized and deterministic group strategy-proof mechanisms with provable approximation ratios, and establish a lower bound on the approximation ratio of any deterministic strategy-proof mechanism. The bottleneck-type social welfare concerns with the penalized minimum utility among all agents, for which we propose a deterministic group strategy-proof mechanism that ensures optimality.

研究の動機と目的

• エージェントの対立する好みを持つ線分上に1つの人気施設と1つの嫌悪施設を配置する課題に対処すること。
• エージェントが自らの位置を不正報告しても利益を得られないような真実性のあるメカニズムを設計すること。
• 合計型（ペナルティを加味した総効用）とボトルネック型（ペナルティを加味した最小効用）という2つの異なる目的に基づく社会的福祉を最大化すること。
• 決定的戦略正直メカニズムの近似比に対する理論的限界を確立すること。
• 実世界の施設配置におけるトレードオフを反映するため、距離に依存するペナルティを効用モデルに組み込むこと。

提案手法

• エージェントが報告する位置を入力として施設の位置を計算し、メカニズム設計の原則に従って群戦略正直性を保証する。
• 施設配置の確率的分布を活用して、証明可能な近似比を持つ合計型福祉のための確率的メカニズムを設計する。
• 群戦略正直性を維持しながら、有界な近似比を達成する合計型福祉のための決定的メカニズムを開発する。
• ペナルティモデル下で最適性を保証する、画期的な決定的メカニズムをボトルネック型福祉のためのものとして導入する。
• 距離ペナルティを効用関数に適用し、効用を嫌悪施設と人気施設までの距離の差として定義する。
• 理論的分析を通じて、任意の決定的戦略正直メカニズムの近似比に対する下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 距離ペナルティを伴う2つの逆施設配置ゲームにおける合計型社会的福祉の最適な近似比を達成できる、任意の決定的戦略正直メカニズムは何か？
• RQ2 すべてのエージェントのペナルティを加味した最小効用を最適に最大化できる群戦略正直メカニズムは設計可能か？
• RQ3 距離依存ペナルティは、施設配置ゲームにおける真実性メカニズムの設計と性能にどのように影響するか？
• RQ4 この2施設設定において、真実性、近似比、社会的福祉の間にはどのようなトレードオフがあるか？
• RQ5 与えられた効用およびペナルティモデル下で、決定的戦略正直メカニズムの性能に存在する理論的限界は何か？

主な発見

• 合計型福祉のための確率的群戦略正直メカニズムが提案され、証明可能な近似比を有するが、抽象には正確な値は記載されていない。
• 合計型福祉のための決定的群戦略正直メカニズムが設計され、有界な近似比を達成し、任意の同様のメカニズムの性能に対する明確な下界が証明された。
• ボトルネック型福祉のための決定的群戦略正直メカニズムが構築され、ペナルティを加味した最小効用を最大化する点で最適性を保証する。
• 任意の決定的戦略正直メカニズムの近似比に対する下界が確立され、固有の性能限界が示された。
• 効用モデルは、2つの施設間の距離に基づくペナルティを組み込み、エージェントの純効用がそれぞれの施設までの距離の差として定義される。
• メカニズムは群の意味での真実性を満たすように設計されており、エージェントのグループが不正報告によって利益を得ることを防ぐ。