[論文レビュー] Locally Stable Matching with General Preferences

Martin Hoefer, Lisa Wagner|arXiv (Cornell University)|Jul 5, 2012

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

ひとこと要約

本稿は、情報が限定された状況下で、動的かつ地域的パートナーディスカバリーシステムを備えたネットワークにおける局所的安定マッチングを研究する。2段階マッチングにおいて、1方向のネットワークであっても、安定マッチングへの到達可能性はNP困難であることが示されるが、記憶に基づく動的マッチングでは収束が保証される。具体的には、プレイヤーが過去のマッチングを記憶する場合、確率1で収束が達成されるが、最良パートナーのキャッシュ記憶ではその保証がない。本稿では、最大の局所的安定マッチングを計算する集中型アルゴリズムを提供し、一般のルームメイト問題における存在可能性を特徴づける。

ABSTRACT

We study stable matching problems with locality of information and control. In our model, each player is a node in a fixed network and strives to be matched to another player. A player has a complete preference list over all other players it can be matched with. Players can match arbitrarily, and they learn about possible partners dynamically based on their current neighborhood. We consider convergence of dynamics to locally stable matchings -- states that are stable with respect to their imposed information structure in the network. In the two-sided case of stable marriage in which existence is guaranteed, we show that reachability becomes NP-hard to decide. This holds even when the network exists only among one partition of players. In contrast, if one partition has no network and players remember a previous match every round, reachability is guaranteed and random dynamics converge with probability 1. We characterize this positive result in various ways. For instance, it holds for random memory and for cache memory with the most recent partner, but not for cache memory with the best partner. Also, it is crucial which partition of the players has memory. Finally, we present a variety of results for centralized computation of locally stable matchings, e.g., computing maximum locally stable matchings in the two-sided case and deciding and characterizing existence in the general roommates case.

研究の動機と目的

• 局所的情報とネットワーク構造がマッチング市場における安定マッチングへの収束に与える影響を理解すること。
• プレイヤーの可視範囲が制限され、動的パートナーディスカバリーシステムを備えた状況下で、安定マッチングに到達する計算複雑性を分析すること。
• 特に記憶に基づく動的マッチングにおいて、局所的安定マッチングへの収束が保証される条件を特徴づけること。
• 2段階マッチングおよび一般のルームメイト問題における最大の局所的安定マッチングを計算する集中型アルゴリズムを開発すること。
• 一般のルームメイト問題における局所的安定マッチングの存在と構造的性質を特定すること。

提案手法

• プレイヤーを固定されたネットワーク上のノードとしてモデル化し、各プレイヤーが潜在的パートナーの完全な好みリストを持つ。
• 局所的安定マッチングを、各プレイヤーの現在の近隣と情報構造に関して安定な状態として定義する。
• プレイヤーが局所的情報と過去のパートナーの記憶に基づいてマッチングを更新する動的マッチングプロセスを用いる。
• 特に、ランダム記憶や最新パートナーキャッシュといった記憶メカニズムを用いた確率的動的システムを分析して収束を評価する。
• 2段階および一般の設定において、最大の局所的安定マッチングを計算するための集中型アルゴリズムを適用する。
• 計算複雑性理論的分析を用いて、1方向のネットワークを持つ2段階マッチングにおける到達可能性のNP困難性を証明する。

実験結果

リサーチクエスチョン

• RQ1 限られた情報を持つネットワーキング環境下で、動的マッチングプロセスが局所的安定マッチングに収束する条件は何か？
• RQ2 局所的安定マッチングへの到達可能性は、計算的に容易か、あるいは制限されたネットワーク構造下でもNP困難か？
• RQ3 ランダム記憶、最新パートナーキャッシュ、最良パートナーキャッシュといった異なる記憶メカニズムは、安定マッチングへの収束にどのように影響するか？
• RQ4 記憶を保持するプレイヤーの分割が収束を保証する役割を果たすのはどのような状況か？
• RQ5 2段階および一般のルームメイト設定において、最大の局所的安定マッチングは効率的に計算可能か？

主な発見

• 1方向のネットワークを持つ2段階安定結婚問題においてでさえ、局所的安定マッチングへの到達可能性を決定することはNP困難である。
• プレイヤーが過去のマッチングを記憶する場合、記憶メカニズムがランダムまたは最新パートナーを記憶するものであれば、確率1で局所的安定マッチングへの収束が保証される。
• 最良パートナーをキャッシュするキャッシュ記憶では収束が失敗することから、動的マッチングの設計が記憶機構に極めて敏感であることが示された。
• 記憶を保持するプレイヤーの分割が極めて重要であり、収束は記憶を保持する側がどこにいるかに依存するが、単に記憶の存在そのものとは限らない。
• 2段階マッチングの設定では、集中型アルゴリズムを用いることで、最大の局所的安定マッチングを多項式時間で計算可能である。
• 一般のルームメイト問題における局所的安定マッチングの存在は、集中型計算により特徴づけられ、決定可能である。