[論文レビュー] Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences

Ágnes Cseh, Escamocher, Guillaume+1 more|arXiv (Cornell University)|Jan 1, 2022

Game Theory and Voting Systems被引用数 3

ひとこと要約

本稿は、巡回的偏好を持つ3次元安定マッチング問題における人気マッチングの存在性と計算複雑性を調査し、新たな難易度結果と特徴付けを提示する。安定マッチングとは対照的に、完全な好みリストを持つ場合ですら人気マッチングが存在しない可能性があることを証明し、1つのエージェントクラスがマスターリストを使用する場合の強人気マッチングについて線形時間での特徴付けを提供する。

ABSTRACT

Constraint programming has proven to be a successful framework for determining whether a given instance of the three-dimensional stable matching problem with cyclic preferences (3dsm-cyc) admits a solution. If such an instance is satisfiable, constraint models can even compute its optimal solution for several different objective functions. On the other hand, the only existing output for unsatisfiable 3dsm-cyc instances is a simple declaration of impossibility. In this paper, we explore four ways to adapt constraint models designed for 3dsm-cyc to the maximum relaxation version of the problem, that is, the computation of the smallest part of an instance whose modification leads to satisfiability. We also extend our models to support the presence of costs on elements in the instance, and to return the relaxation with lowest total cost for each of the four types of relaxation. Empirical results reveal that our relaxation models are efficient, as in most cases, they show little overhead compared to the satisfaction version.

研究の動機と目的

• 巡回的偏好を持つ3次元マッチングインスタンスにおける人気マッチングの存在性と計算複雑性を調査すること。
• 3次元設定における巡回的偏好のもとで、安定性、人気性、およびそれらの強いバージョンの関係を調査すること。
• マスターリスト構造が、人気マッチングおよび強人気マッチングの存在性と計算に与える影響を分析すること。
• 完全リストを用いた3次元インスタンスにおける人気マッチングの探索の複雑性に関する未解決の問題を解決すること。

提案手法

• 完全リストを伴う3次元巡回的好みインスタンスにおける人気マッチング存在性の決定のNP完全性を示すために、還元に基づくアプローチを提案する。
• マッチングの比較と人気性の評価のため、循環的シフト操作を導入する。
• 先行研究からの境界ダミーエージェントの概念を完全性制約の分析に適用するが、人気性への適応には限界があると指摘する。
• 1マスターリストインスタンスにおける強人気マッチングの特徴付けを開発し、すべての非マスターエージェントが自身の最良選好にマッチングされていることと同値であることを示す。
• 投票ベースの比較により人気性を定義し、マッチング M が M′ よりもより多くのエージェントに好まれる場合に M がより人気があると定義する。
• ケース解析と対称性の議論を用いて、非マスタークラスにおける最良選好へのマッチングからの任意の逸脱が強人気性を破壊することを証明する。

実験結果

リサーチクエスチョン

• RQ1 巡回的好みと完全リストを持つ3次元安定マッチングインスタンスにおいて、人気マッチングは常に存在するか？
• RQ2 完全な巡回的好みを持つ3次元インスタンスにおいて、人気マッチングが存在するかどうかを決定する計算複雑性は何か？
• RQ3 マスターリストを伴う3次元インスタンスにおいて、強人気マッチングは特徴付けられ、効率的に計算可能か？
• RQ4 マスターリスト構造は、3次元巡回的好み設定における人気マッチングの存在性と構造にどのように影響するか？
• RQ5 3次元巡回的マッチング問題における安定性と人気性の関係は何か？

主な発見

• 巡回的好みと完全リストを持つ3次元インスタンスにおいて、人気マッチングが存在しない可能性がある。これは、一般に安定マッチングが存在しない場合でさえも同様に成り立つ。
• 3マスターリストから導かれる3次元インスタンスでは、n ≥ 5 の場合、人気マッチングは存在しない。循環的シフトによる議論により、少なくとも2n−2人のエージェントが改善されると示される。
• 2マスターリストインスタンスでは、n ≥ 5 の場合、同様の循環的シフトにより少なくとも2n−2人のエージェントが改善され、最大n+2人が悪化するため、人気マッチングは存在しない。
• 1マスターリストインスタンスでは、マッチングが強人気であるための必要十分条件は、マスタークラスに属さないすべてのエージェントが自身の最良選好にマッチングされていることである。この条件は線形時間で検証可能である。
• 3マスターリストインスタンスでは指数的多数の安定マッチングが存在する一方で、n ≥ 5 の場合には人気マッチングが存在しないことから、安定性と人気性の間には根本的な乖離が生じていることが明らかになる。
• 不完全リストを伴うA∪B人気マッチングの検証の複雑性については未解決であり、NP完全であると予想されている。