[論文レビュー] Strategyproof Approximation Mechanisms for Location on Networks

Noga Alon, Michal Feldman+2 more|ArXiv.org|Jul 12, 2009

Game Theory and Voting Systems参考文献 14被引用数 25

ひとこと要約

この論文は、金銭的移転を用いずに、ネットワーク上の施設配置のための戦略的非対応（strategyproof）な確率的メカニズムを提案し、社会的コストまたは最大コストを最小化することに注力している。リング構造上での最大コストに対するタイトな3/2-近似を得る、新しいハイブリッドメカニズムを導入し、木構造でさえも、任意の確率的戦略的非対応メカニズムが最大コストに関して2−o(1)未満の近似比を達成できないことを証明している。

ABSTRACT

We consider the problem of locating a facility on a network, represented by a graph. A set of strategic agents have different ideal locations for the facility; the cost of an agent is the distance between its ideal location and the facility. A mechanism maps the locations reported by the agents to the location of the facility. Specifically, we are interested in social choice mechanisms that do not utilize payments. We wish to design mechanisms that are strategyproof, in the sense that agents can never benefit by lying, or, even better, group strategyproof, in the sense that a coalition of agents cannot all benefit by lying. At the same time, our mechanisms must provide a small approximation ratio with respect to one of two optimization targets: the social cost or the maximum cost. We give an almost complete characterization of the feasible truthful approximation ratio under both target functions, deterministic and randomized mechanisms, and with respect to different network topologies. Our main results are: We show that a simple randomized mechanism is group strategyproof and gives a (2-2/n)-approximation for the social cost, where n is the number of agents, when the network is a circle (known as a ring in the case of computer networks); we design a novel "hybrid" strategyproof randomized mechanism that provides a tight approximation ratio of 3/2 for the maximum cost when the network is a circle; and we show that no randomized SP mechanism can provide an approximation ratio better than 2-o(1) to the maximum cost even when the network is a tree, thereby matching a trivial upper bound of two.

研究の動機と目的

• 金銭的支払いを用いないネットワーク上の施設配置のための真実性（戦略的非対応）メカニズムを設計すること。
• 社会的コスト（距離の合計）と最大コスト（最大距離）という2つの主要な目的の近似比を最小化すること。
• 環や木といった異なるネットワークトポロジーにおいて、戦略的非対応性の下で達成可能な最良の近似比を同定すること。
• 木構造上での最大コストに対する、2−o(1)未満の近似比を達成できるかどうかの限界を探索すること。
• 現実的なネットワーク制約の下で、グループ戦略的非対応性と近似保証を確立すること。

提案手法

• 円周上のランダムな点を選択し、その2つの反対側の隣接点間の中心を返す確率的メカニズム（RCメカニズム）を提案する。
• ランダム選択と中心計算を組み合わせたハイブリッド戦略的非対応メカニズムを導入し、リング上での最大コストに対して3/2-近似を達成する。
• 確率的解析を用いて、RCメカニズム下でのエージェントのコストが円周の1/4以内に制限されることを示し、戦略的非対応性を保証する。
• 木構造上に、ネットワークの中心に確率2/(n+2)、各エージェントの位置に確率1/(n+2)を割り当てる確率分布に基づくメカニズムを適用する。
• 距離に基づく不等式を用いて戦略的非対応性を証明し、エージェントの期待コストを低下させないことを示す。
• 漸近的解析と下界構築を用いて、木構造上での最大コストに関して、任意の確率的戦略的非対応メカニズムが2−o(1)未満の近似比を達成できないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 リングネットワーク上での最大コストに対する、戦略的非対応な確率的メカニズムが達成可能な最良の近似比は何か？
• RQ2 ランダム化と中心選択を組み合わせたハイブリッドメカニズムは、既知の決定的メカニズムよりも優れた近似比を達成できるか？
• RQ3 木構造ネットワーク上での最大コストに対する、確率的戦略的非対応メカニズムの近似性能に根本的な限界があるか？
• RQ4 近似比はエージェント数やネットワークトポロジーにどのように依存するか？
• RQ5 リング上での最大コストに対して、定数近似比を維持しながらグループ戦略的非対応性を達成できるか？

主な発見

• 確率的メカニズムは、リングネットワーク上での最大コストに対してタイトな3/2-近似を達成し、戦略的非対応性を満たす。
• RCメカニズムは、各エージェントのコストが円周の1/4以内に抑えられることを保証しており、戦略的非対応性の証明に不可欠である。
• ランダム選択と中心計算を組み合わせたハイブリッドメカニズムは、戦略的非対応であり、リング上での最大コストに対して3/2-近似を達成する。
• 木構造上では、確率的メカニズムが最大コストに関して(2−2/(n+2))-近似を達成し、独裁制よりもわずかに改善される。
• 木構造上での最大コストに関して、任意の確率的戦略的非対応メカニズムが2−o(1)未満の近似比を達成できないことは証明されており、自明な上界と一致する。
• 不可能性結果は、エージェントが半円に制限されていなくても成り立つため、木構造上での戦略的非対応性の下での近似性能に根本的な限界があることが示唆される。