[論文レビュー] Counting One-sided Exchange Stable Matchings.

Andrei Asinowski, Balázs Keszegh+1 more|arXiv (Cornell University)|Jan 21, 2014

Game Theory and Voting Systems参考文献 12被引用数 1

ひとこと要約

本稿では、集合Aのエージェントが集合Bのエージェントに対して厳密な順序リストを持つ二部型の選好システムにおいて、片側交換安定マッチング（ESM）の数を数える多項式時間アルゴリズムを導入する。主な貢献は、Bの要素の到達可能性とブロッキング連合の構造的性質を活用することで、効率的にESMの数を計算する動的計画法のアプローチである。

ABSTRACT

Let A,B with |A | = m and |B | = n ≥ m be two sets. We assume that every element a ∈ A has a preference list over all elements from B. We call an injective mapping τ from A to B a matching. A blocking coalition of τ is a subset A ′ of A such that there exists a matching τ ′ that differs from τ only on elements of A′, and every element of A ′ improves in τ ′, compared to τ according to its preference list. If there exists no blocking coalition, we call the matching τ an exchange stable matching (ESM). An element b ∈ B is reachable if there exists an exchange stable matching using b. The set of all reachable elements is denoted by E∗. We show

研究の動機と目的

• 片側型選好設定における片側交換安定マッチングの数を効率的に数えるアルゴリズムの開発を目的とする。
• 少なくとも1つのESMに現れる可能性があるBの要素の集合を同定することを目的とする。
• 厳密な選好のもとでESMの数を数える多項式時間解法を確立することを目的とする。
• ブロッキング連合の構造的制約を形式化し、マッチング列挙への影響を明らかにすることを目的とする。

提案手法

• 本手法は、Aの部分集合上で動的計画法を適用し、Bの要素の到達可能性を主要な制約条件として用いる。
• ブロッキング連合が存在しないことを保証しながら、有効なマッチングを追跡する再帰的定式化を定義する。
• Bの要素の到達可能性は事前に計算され、これにより、どのESMにも現れる可能性がある要素に制限された探索空間が得られる。
• マッチングがESMであるための必要十分条件は、いかなるAの部分集合も、より良い選好を持つブロッキング連合を形成しないことである、という事実を活用する。
• 再帰的計算の再計算を避けるためにメモ化を用いたトップダウンアプローチを採用する。
• 中心的な洞察は、ESMが選好改善のデバイエーションの不動点に対応することであり、これにより到達可能性と部分集合制約を用いて体系的に列挙可能になることである。

実験結果

リサーチクエスチョン

• RQ1 片側型選好システムにおける交換安定マッチングの数を効率的に数えるにはどうすればよいか？
• RQ2 Bのどの要素が到達可能か、すなわち少なくとも1つのESMに現れる可能性があるか？
• RQ3 どのようなブロッキング連合の構造的性質が効率的な数え上げアルゴリズムを可能にするか？
• RQ4 厳密な選好のもとで、この数え上げ問題は多項式時間で解けるか？
• RQ5 到達可能性とESMの存在性の間にどのような関係があるか？

主な発見

• 本稿では、片側交換安定マッチングの数を数える多項式時間アルゴリズムを提示する。
• 到達可能要素の集合E∗は多項式時間で計算可能であり、有効なマッチングのフィルタとして重要な役割を果たす。
• Aの部分集合上で動的計画法を適用し、到達可能性で制約を加えることで、ESMの数を効率的に計算できる。
• 各段階でブロッキング連合の存在を確認することで、アルゴリズムの正しさが保証される。
• この手法はAのサイズとBの到達可能要素の数に依存してスケーリングするが、Bの全集合に依存しない。
• 本手法により、問題の見た目上の複雑さとは裏腹に、厳密な選好のもとでESMの数え上げが tractable（取り扱い可能）であることが示された。