[論文レビュー] Stable Matchings, Robust Solutions, and Distributive Lattices

Tung Mai, Vijay V. Vazirani|arXiv (Cornell University)|Apr 16, 2018

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

ひとこと要約

この論文は、基本的な安定マッチングインスタンス A と、各々が1つのリストエラーを持つ |S| 個の摂動版 A の両方に対して安定であるマッチングを計算する O(|S| p(n)) のアルゴリズムを提示する。この手法は、安定マッチングの分配的ラティスの新しい構造的性質と、部分ラティスへの一般化されたバーキホフの定理を活用しており、|S| が多項式的に有界である場合に多項式時間でロバストな解を得られる。

ABSTRACT

A stable matching instance $A$ is transmitted over a channel which introduces {\em one error} from a super-exponentially large set, $T$; the error consists of arbitrarily permuting the preference list of any one boy or any one girl. An arbitrary set $S \subseteq T$ is specified. We give an $O(|S| p(n))$ time algorithm for finding a matching that is stable for $A$ and for each of the $|S|$ instances that result by introducing one error from $S$, where $p$ is a polynomial function. In particular, if $S$ is polynomial sized, then our algorithm runs in polynomial time. Our algorithm is based on new, non-trivial structural properties of the lattice of stable matchings. A second ingredient of our algorithm is a generalization of Birkhoff's Theorem for finite distributive lattices which states that corresponding to such a lattice, $\mathcal{L}$, there is a partial order, say $\Pi$, such that the lattice of closed sets of $\Pi$, $L(\Pi)$, is isomorphic to $\mathcal{L}$. Our generalization shows that corresponding to each sublattice $\mathcal{L}'$ of $\mathcal{L}$, there is a partial order $\Pi'$ that can be obtained from $\Pi$ (via a specified operation) such that $L(\Pi') \cong \mathcal{L}'$. This generalization is of independent interest.

研究の動機と目的

• 基本的な安定マッチングインスタンスと、各々に1つのリストエラーを持つ複数の摂動バージョンに対して安定である単一のマッチングを効率的に計算するアルゴリズムの開発。
• 単一リスト摂動に対して耐性を持つ安定マッチングのラティスの構造的性質の同定。
• 有限分配的ラティスのバーキホフの定理を部分ラティスへ一般化し、部分ラティスと導出された半順序の間の対応関係の確立。
• 摂動インスタンスの数 |S| が多項式的に有界である場合に、アルゴリズムが多項式時間で実行されることの保証。

提案手法

• 安定マッチングの分配的ラティス構造を活用し、摂動下での安定性をモデル化および分析する。
• 元の安定マッチングラティスから半順序 Π を定義し、Π の閉集合のラティスが元のラティスと同型であるようにする。
• バーキホフの定理を一般化し、元のラティス L の任意の部分ラティス L′ に対して、L′ と同型な閉集合ラティスを持つ導出半順序 Π′ が存在することを示す。
• ラティスの閉包性質と部分ラティス性質を活用して、基本インスタンスと各 |S| 個のエラー影響インスタンスの両方における安定性をチェックする多項式時間アルゴリズムを構築する。
• 一般化されたラティス同型を用いて、集合 S 内のすべてのインスタンスに対して共通の安定マッチングを効率的に計算する。
• S が多項式サイズである場合に、全体の実行時間が O(|S| p(n)) に保証されるようにアルゴリズムを適用する。

実験結果

リサーチクエスチョン

• RQ1 任意の希望順序リストに1つのエラーがある複数の変種に対して安定である単一のマッチングを計算できるか？
• RQ2 安定マッチングのラティスのどのような構造的性質が単一リスト摂動に対して耐性を持つのか？
• RQ3 有限分配的ラティスのバーキホフの定理を部分ラティスに一般化するにはどうすればよく、その結果得られる半順序の構成はどのようなものか？
• RQ4 どのような条件下で、ロバストマッチング計算のためのアルゴリズムが多項式時間で実行可能になるか？

主な発見

• アルゴリズムは、元のインスタンス A と、各々に1つのエラーを持つ |S| 個の摂動インスタンスに対して安定なマッチングを O(|S| p(n)) 時間で計算する。
• この手法は、元のラティスの任意の部分ラティスと同型な、導出半順序 Π′ の閉集合ラティスを確立する、バーキホフの定理の新しい一般化に依存している。
• |S| が多項式的に有界である場合、アルゴリズムは多項式時間で実行され、実用的なエラー集合に対してロバスト安定マッチングの計算が計算的に可能になる。
• 安定マッチングの分配的ラティスの構造的性質が単一リスト摂動に対して耐性を持つことが示され、共通の安定マッチングの効率的探索が可能になる。
• 導出半順序 Π′ は、元の Π に対して指定された操作により構築され、Π′ の閉集合ラティスが目的の部分ラティスと同型であることを保証する。
• 本フレームワークは、不確実性や通信エラーが生じるマッチング市場におけるロバストアルゴリズム設計の基盤を提供する。