[論文レビュー] Coalition manipulations of the Gale-Shapley algorithm

Yuan Deng, Weiran Shen+1 more|arXiv (Cornell University)|Feb 27, 2015

Game Theory and Voting Systems被引用数 3

ひとこと要約

本稿では、ギャル・シャープレー法における団体による操作行動を研究しており、女性がグループを形成し（「うそをつく者」として）、好みのリストを戦略的に変更することでより良いマッチングを達成することに注目している。不完全な好みリストの設定において、強いナッシュ均衡が常に存在し、すべての「うそをつく者」にとって一意で強くパレート優越的な結果をもたらすことを証明している——各女性は、自身が単独で操作を行う場合の最良の結果と同一の相手にマッチングされる。

ABSTRACT

It is well-known that the Gale-Shapley algorithm is not truthful for all agents. Previous studies on this front mostly focus on blacklist manipulations by a single woman and by the set of all women. Little is known about manipulations by a coalition of women or other types of manipulations, such as manipulation by permuting preference lists. In this paper, we consider the problem of finding an equilibrium for a coalition of women (aka. liars) in the Gale-Shapley algorithm. We restrict attentions on manipulations that induce stable matchings. For the incomplete preference list setting, where liars can truncate their preference lists, we show that a strong Nash equilibrium always exists and the matching from such equilibria is unique. The equilibrium outcome is strongly Pareto dominant for all liars among the set of matchings achievable by manipulation: every woman is matched with the same man as the one she matches in her best single-agent manipulation. For the complete preference list setting where liars can permute their preference list, we first show that a coalition of women can get worse off by manipulating jointly than each performing a single-agent manipulation, thus a strongly Pareto-dominant outcome may not exist by manipulation. We then put forward an efficient algorithm to compute a strong Nash equilibrium that is strongly Pareto-optimal for all liars. We derive connections between the stable marriage problem and stable roommate problem, and use tools there to prove our results for this part. This approach is highly nontrivial and of independent interest.

研究の動機と目的

• 女性の団体がギャル・シャープレー法を操作する戦略的行動を調査し、より良いマッチングを達成すること。
• 女性の団体による共同操作が、個別な操作と比較してパレート優越的な結果をもたらすかどうかを特定すること。
• 不完全および完全な好みリストの設定において、強いナッシュ均衡を効率的に計算するためのアルゴリズムを開発すること。
• 安定結婚問題と安定ルームメイト問題の間の関係を確立し、完全な好みリストの設定において結果を証明すること。

提案手法

• 不完全な好みリストの切り詰めによる操作を分析し、強いナッシュ均衡の存在を証明する。
• 完全な好みリストの設定において、うそをつく者たちがリストを並べ替え可能であることを前提に、安定ルームメイト問題の道具を用いて分析する。
• 完全なリストの場合において、すべての「うそをつく者」にとって強いパレート最適な強いナッシュ均衡を効率的に計算するアルゴリズムを導入する。
• 安定マッチングおよび均衡条件の構造的分析を用いて、結果の一意性と最適性を証明する。
• 安定ルームメイト問題における既知の結果を活用し、安定結婚問題の文脈で新たな理論的結果を導出する。
• 不完全なリストのモデルにおいて、均衡の結果が一意に定まり、すべての「うそをつく者」にとってパレート優越的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 女性の団体が好みリストの切り詰めを用いてギャル・シャープレー法を操作する場合、強いナッシュ均衡が存在するか？
• RQ2 女性の団体による共同操作が、個別な操作と比較して強くパレート優越的なマッチングをもたらすことができるか？
• RQ3 完全な好みリストのモデルにおいて、すべての「うそをつく者」にとって強いパレート最適な強いナッシュ均衡を効率的に計算するアルゴリズムは存在するか？
• RQ4 団体による操作の文脈において、安定結婚問題と安定ルームメイト問題の間の関係は何か？
• RQ5 団体による操作が、個別な操作よりも悪い結果をもたらすことはあり得るか？ もしあるならば、どのような条件下でそうなるか？

主な発見

• 不完全な好みリストの設定において、強いナッシュ均衡は常に存在し、一意なマッチング結果を生じる。
• 不完全なリストのモデルにおける均衡マッチングは、すべての「うそをつく者」にとって強くパレート優越的であり、各女性は自身が単独で操作する場合の最良の結果と同一の相手にマッチングされる。
• 完全な好みリストの設定において、共同操作は個別操作よりも悪い結果をもたらす可能性があるため、強くパレート優越的な結果が存在しない場合がある。
• 完全なリストのモデルにおいて、すべての「うそをつく者」にとって強いパレート最適な強いナッシュ均衡を効率的に計算するアルゴリズムが提示されている。
• 本稿では、完全なリストの設定において結果を証明するために、安定結婚問題と安定ルームメイト問題の間の非自明な関係を確立している。
• 結果から、ギャル・シャープレー法における団体による操作は戦略的に複雑であり、得られる結果が許可された操作の種類に強く依存することが明らかになった。