[論文レビュー] A Natural Generalization of Stable Matching Solved via New Insights into Ideal Cuts

Tung Mai, Vijay V. Vazirani|arXiv (Cornell University)|Feb 19, 2018

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

ひとこと要約

本稿では、有向無閉路グラフ（DAG）における最大重み理想カットを求める問題に帰着させることで、最大重み安定マッチング問題に対する最初の組み合わせ的多項式時間アルゴリズムを提示する。主な貢献は、理想カット問題に対する新しい組み合わせ的アルゴリズムの開発と、最大重み安定マッチングの部分格子を効率的に走査できるように一般化されたメタ回転（meta-rotations）の導入である。

ABSTRACT

We study a natural generalization of stable matching to the maximum weight stable matching problem and we obtain a combinatorial polynomial time algorithm for it by reducing it to the problem of finding a maximum weight ideal cut in a DAG. We give the first polynomial time algorithm for the latter problem; this algorithm is also combinatorial. The combinatorial nature of our algorithms not only means that they are efficient but also that they enable us to obtain additional structural and algorithmic results: - We show that the set, $\cal M'$, of maximum weight stable matchings forms a sublattice $\cal L'$ of the lattice $\cal L$ of all stable matchings. - We give an efficient algorithm for finding boy-optimal and girl-optimal matchings in $\cal M'$. - We generalize the notion of rotation, a central structural notion in the context of the stable matching problem, to meta-rotation. Just as rotations help traverse the lattice of all stable matchings, macro-rotations help traverse the sublattice over $\cal M'$.

研究の動機と目的

• 最大重み安定マッチング問題に対する多項式時間の組み合わせ的アルゴリズムを開発すること。これは、古典的な安定マッチング問題を一般化する。
• 本研究で新たに導入された、DAGにおける最大重み理想カット問題を、組み合わせ的かつ効率的なアルゴリズムで解くこと。
• すべての安定マッチングの格子内における最大重み安定マッチングの構造を特定し、それらが部分格子をなすことを示すこと。
• 安定マッチング理論の中心的役割を果たす「回転」の概念を、最大重みマッチングの部分格子を走査できるように一般化した「メタ回転」に拡張すること。
• 最大重み安定マッチングの部分格子内におけるボー最適およびガール最適マッチングを効率的に計算可能にする仕組みを提供すること。

提案手法

• 回転の順序集合および閉集合の性質を用いて、最大重み安定マッチング問題を有向無閉路グラフ（DAG）における最大重み理想カット問題に還元する。
• 理想カット問題を線形計画問題として定式化し、最適解が常に整数解をとることを証明することで、問題がPに属することを示す。
• 理想カットの多面体を特徴づけ、その頂点が最大重み理想カットに、その辺がネストされた集合包含関係に対応することを特定する。
• 理想カット問題の双対フロー定式化を導入し、残余グラフを用いた変更版最大フロー法を用いて組み合わせ的に解く。
• フロー問題の残余グラフから、元のグラフにおける最大重み理想カットと一対一に対応する理想カットを持つ、縮小されたDAG Dを構築する。
• 残余グラフ内の強連結成分に基づく回転集合の分割として、メタ回転順序集合を定義し、最大重みマッチングの部分格子を走査可能にする。

実験結果

リサーチクエスチョン

• RQ1 最大重み安定マッチング問題は、線形計画法に依存せずに、組み合わせ的多項式時間アルゴリズムで解けるか？
• RQ2 すべての安定マッチングの格子内における最大重み安定マッチングの集合は、どのような構造的性質を持つか？
• RQ3 古典的な「回転」の概念は、最大重みマッチングの部分格子を走査するためにどのように一般化できるか？
• RQ4 DAGにおける最大重み理想カット問題は、組み合わせ的かつ効率的に解けるか？
• RQ5 最大重みマッチングの構造を活用することで、二目的安定マッチング問題はどのように解けるか？

主な発見

• 最大重み安定マッチングの集合は、すべての安定マッチングの格子 L の部分格子 L′ をなしており、meet および join 演算が保存されている。
• DAGにおける最大重み理想カット問題に対する組み合わせ的多項式時間アルゴリズムが提示され、これは本稿の新規貢献である。
• 最大重み安定マッチングは、構築されたDAGにおける最大重み理想カットと一対一に対応しており、効率的な計算が可能である。
• メタ回転（回転の一般化）は、部分格子 L′ を走査するためのメカニズムを提供し、元の格子 L を走査するための回転と同様の役割を果たす。
• メタ回転順序集合における特定の閉集合を選択することで、L′ 内のボー最適およびガール最適マッチングを効率的に計算可能である。
• 二目的安定マッチング問題は、最初の重み関数に基づくメタ回転順序集合を構築し、第二の重み関数に基づく最大重み理想カット問題を解くことで解ける。この場合、解とカットの間に一対一対応が成立する。