[論文レビュー] Pairwise preferences in the stable marriage problem

Ágnes Cseh, Attila Juhos|arXiv (Cornell University)|Sep 30, 2018

Game Theory and Voting Systems被引用数 1

ひとこと要約

本稿は、一般化された対比較的偏好の下での安定結婚問題を調査し、完全に非巡回的から厳密に順序付けられたリストまで6段階の偏好順序性のレベルを導入する。3つの多項式時間アルゴリズムと2つのNP完全性証明を提示し、弱安定性、強安定性、超安定性の各ケースにおいて、異なる偏好構造下での計算可能性と非計算可能性の境界を明確に特定する。これにより、この分野における長年の複雑性の問題が解決される。

ABSTRACT

We study the classical, two-sided stable marriage problem under pairwise preferences. In the most general setting, agents are allowed to express their preferences as comparisons of any two of their edges and they also have the right to declare a draw or even withdraw from such a comparison. This freedom is then gradually restricted as we specify six stages of orderedness in the preferences, ending with the classical case of strictly ordered lists. We study all cases occurring when combining the three known notions of stability---weak, strong and super-stability---under the assumption that each side of the bipartite market obtains one of the six degrees of orderedness. By designing three polynomial algorithms and two NP-completeness proofs we determine the complexity of all cases not yet known, and thus give an exact boundary in terms of preference structure between tractable and intractable cases.

研究の動機と目的

• 厳密な順序を超えた一般化された偏好、すなわち対比較、同値、非比較可能性を許容する状況下での安定結婚問題の計算複雑性を分析すること。
• 非対称関係から部分順序集合（posets）および厳密に順序付けられたリストまで、さまざまなレベルの偏好順序性が安定マッチングの存在と計算に与える影響を調査すること。
• これらの一般化された偏好モデル下で、弱安定性、強安定性、超安定性の各ケースにおける多項式時間解法とNP完全性の正確な境界を特定すること。
• 既存の安定性概念（弱、強、超）を、特に部分順序集合（posets）と非対称関係を含むより広範な好み構造へと拡張すること。
• 安定マッチングの構造的性質、特にラural病院の定理の妥当性と、一般化された好み下での分配的ラティス構造の存在を調査すること。

提案手法

• 非対称関係（推移性なし）から厳密に順序付けられたリストまで、好み表現の能動性の階層を形成する6段階の好み順序性を導入する。
• 対比較に基づく3つの安定性概念（弱、強、超）を定義し、ブロッキング条件が全順序ではなく、相互の好み比較に基づくことを明確にする。
• 部分順序集合（posets）および非対称関係の下で超安定マッチングを求める多項式時間アルゴリズムを設計し、動的エンゲージメント更新を伴う修正されたGale-Shapley型の提案メカニズムを用いる。
• 相対的な好み順位に基づいてエンゲージメントを維持する提案ベースのアルゴリズムを実装し、現在のものより厳密に良いものでない提案は拒否する。
• 3-SATからの還元を用いて、非巡回的対比較的好みの下での超安定マッチングのNP完全性を証明する。これは、各エージェントが最大4人まで受け入れ可能である場合でさえ成立する。
• Rural病院の定理を用いて、一般化された対比較的設定下でも、すべての安定マッチングにおいてマッチング済みエージェントの集合が不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 好みが部分順序集合（posets）や非対称関係として表現される場合、超安定マッチングの存在を決定する計算複雑性はいかほどか？
• RQ2 好み構造が順序性を失うにつれて（厳密なリストから部分順序集合、非対称関係へと移行する中で）、安定結婚問題の複雑性はどのように変化するか？
• RQ3 好みが部分順序集合を超えて一般化された場合、超安定マッチングの分配的ラティス構造は維持されるか？
• RQ4 非巡回的対比較的好みの下で、強安定マッチング問題は多項式時間で解けるか、それともNP完全か？
• RQ5 ラural病院の定理のような構造的性質が、一般化された対比較的好みモデルにおいてどの程度成立するか？

主な発見

• 好みが非巡回的対比較的関係として表現される場合、超安定マッチングの存在を決定することはNP完全である。これは、各エージェントが最大4人まで受け入れ可能である場合でも成立する。
• 非対称的好み関係、すなわち部分順序集合より構造が弱い場合でも、問題は依然としてNP完全である。これは、推移的閉包の欠如が複雑性の原因であることを示唆している。
• 部分順序集合として表現される好みの下で、超安定マッチングを計算する多項式時間アルゴリズムが提示され、既存の結果がより一般な好み構造へと拡張される。
• 弱安定性、強安定性、超安定性の3つの安定性概念すべてにおいて、対比較的好み下でラural病院の定理が成立し、すべての安定マッチングでマッチング済みエージェントの集合が不変である。
• 好みが部分順序集合として与えられる場合、超安定マッチングの集合は分配的ラティスを形成するが、非対称関係のようなより一般な好みタイプではこの構造は成立しない。
• 本研究により、明確な複雑性境界が特定された：超安定マッチングは部分順序集合では多項式時間で解けるが、非巡回的対比較的好み（推移性なし）が許容されるや否や直ちにNP完全に移行する。