[論文レビュー] Envy-free Matchings in Bipartite Graphs and their Applications to Fair Division

Elad Aigner‐Horev, Erel Segal-Halevi|arXiv (Cornell University)|Jan 28, 2019

Game Theory and Voting Systems参考文献 33被引用数 20

ひとこと要約

本稿は二部グラフにおける envy-free マッチングを、新たなグラフ理論的概念として導入し、すべての envy-free マッチングを含む部分グラフに分離する一意な構造的分割（EFM 分割）を証明する。最大基数および最小コストの envy-free マッチングを計算する多項式時間アルゴリズムを提示し、連続的および離散的資源を含む公平配分問題、例えば比例的ケーキカットや離散的財・悪財の maximin-share 分配に応用する。

ABSTRACT

A matching in a bipartite graph with parts X and Y is called envy-free if no unmatched vertex in X is a adjacent to a matched vertex in Y. Every perfect matching is envy-free, but envy-free matchings exist even when perfect matchings do not. We prove that every bipartite graph has a unique partition such that all envy-free matchings are contained in one of the partition sets. Using this structural theorem, we provide a polynomial-time algorithm for finding an envy-free matching of maximum cardinality. For edge-weighted bipartite graphs, we provide a polynomial-time algorithm for finding a maximum-cardinality envy-free matching of minimum total weight. We show how envy-free matchings can be used in various fair division problems with either continuous resources ("cakes") or discrete ones. In particular, we propose a symmetric algorithm for proportional cake-cutting, an algorithm for 1-out-of-(2n-2) maximin-share allocation of discrete goods, and an algorithm for 1-out-of-floor(2n/3) maximin-share allocation of discrete bads among n agents.

研究の動機と目的

• 二部グラフにおける envy-free マッチングを独立したグラフ理論的概念として形式化し分析すること。
• 空でない envy-free マッチングが存在するための構造的条件を同定すること。
• 最大基数および最小コストの envy-free マッチングを効率的に計算するアルゴリズムを開発すること。
• 連続的および離散的資源を含む公平配分問題を解決するために envy-free マッチングを応用すること。
• 先行研究に隠された envy-free マッチング構造を明らかにすることで、既存の公平配分アルゴリズムを統一的かつ一般化すること。

提案手法

• 集合 X に関する envy-free マッチングの概念を導入：X の未マッチド頂点が Y のいかなるマッチド頂点に対しても隣接しないこと。
• すべての二部グラフが一意な分割（X = XL ∪ XS, Y = YL ∪ YS）に分割可能であり、すべての envy-free マッチングが G[XL, YL] に含まれることを示す構造定理（定理 1.3）を証明。ここで、XL と YL は X-飽和であり、XS と YS は Y-パス飽和（空マッチングのみを含む）である。
• EFM 分割を用いて、envy-free マッチングの探索問題を X-飽和部分グラフにおけるマッチング探索問題に還元する。
• G[XL, YL] において最大基数マッチングアルゴリズム（例：Hopcroft-Karp）を適用し、O(m√n) 時間で最大 envy-free マッチングを計算する。
• 重み付きグラフへの拡張において、最小コストフロー技術と EFM 分割を組み合わせ、最大基数 envy-free マッチングの最小総コストを O(mn + n² log n) 時間で計算する。
• 公平配分への応用：envy-free マッチングを用いて対称的かつ比例的ケーキカットを設計し、財については 1-out-of-(2n−2)、悪財については 1-out-of-⌊2n/3⌋ の maximin-share 分配アルゴリズムを提示する。

実験結果

リサーチクエスチョン

• RQ1 二部グラフのどのような構造的性質が、空でない envy-free マッチングの存在を保証するか？
• RQ2 最大基数 envy-free マッチングを多項式時間で効率的に計算可能か？
• RQ3 辺に重みが付いた二部グラフにおいて、最大基数かつ最小総コストの envy-free マッチングを効率的に計算可能か？
• RQ4 envy-free マッチングをどのようにして連続的および離散的資源を含む公平配分問題に活用できるか？
• RQ5 envy-free マッチングと、Lone Divider や APX-MMS といった既存の公平配分アルゴリズムとの関係は何か？

主な発見

• すべての二部グラフは一意な EFM 分割（X = XS ∪ XL, Y = YS ∪ YL）を有し、すべての envy-free マッチングは G[XL, YL] に含まれる。また、G[XS, YS] は Y-パス飽和であり、空マッチングのみを含む。
• 最大基数 envy-free マッチングは、X-飽和部分グラフ G[XL, YL] における最大マッチングを探索することで、O(m√n) 時間で計算可能である。
• 辺に重みが付いたグラフでは、最大基数 envy-free マッチングの最小総重みは O(mn + n² log n) 時間で計算可能である。
• 本稿は、envy-free マッチングを用いた対称的かつ比例的ケーキカットアルゴリズムを提供し、最小限の仮定で公平性を達成する。
• 離散的財については 1-out-of-(2n−2)、離散的悪財については 1-out-of-⌊2n/3⌋ の maximin-share 分配アルゴリズムを提示し、両者とも envy-free マッチングに基づく。
• 構造定理とアルゴリズムは、Lone Divider や APX-MMS、安定マッチングフレームワークからの先行結果を統一的かつ一般化し、それらの背後にある envy-free マッチング構造を明らかにした。