[论文解读] 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 matchings）作为一项新颖的图论概念，证明了唯一结构划分（EFM划分），将所有公平匹配隔离在子图中。论文提出了多项式时间算法，用于计算最大基数和最小成本的公平匹配，并将其应用于公平分配问题，如比例蛋糕分割以及离散物品与不良品的最大最小份额分配。

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.

研究动机与目标

• 将二分图中的公平匹配形式化并作为独立的图论概念进行分析。
• 刻画非空公平匹配存在的结构性条件。
• 开发高效算法，用于计算最大基数与最小成本的公平匹配。
• 将公平匹配应用于解决涉及连续与离散资源的公平分配问题。
• 通过揭示先前工作中隐藏的公平匹配结构，统一并推广现有的公平分配算法。

提出的方法

• 引入相对于集合 X 的公平匹配概念：X 中任意未匹配顶点不与 Y 中任何已匹配顶点相邻。
• 证明一个结构定理（定理 1.3）：每个二分图均可唯一划分为 XL, YL（X-饱和）与 XS, YL（Y-路径饱和），使得所有公平匹配均包含于 G[XL, YL] 中。
• 利用 EFM 划分，将寻找公平匹配的问题转化为在 X-饱和子图中寻找匹配的问题。
• 在 G[XL, YL] 上应用最大基数匹配算法（如 Hopcroft-Karp 算法），在 O(m√n) 时间内计算最大公平匹配。
• 通过结合最小费用流技术与 EFM 划分，将算法扩展至带权图，实现最小费用最大基数公平匹配的 O(mn + n² log n) 时间复杂度。
• 将该框架应用于公平分配：利用公平匹配设计对称的比例蛋糕分割算法，以及针对物品与不良品的 1-out-of-(2n−2) 和 1-out-of-⌊2n/3⌋ 最大最小份额分配算法。

实验结果

研究问题

• RQ1 何种二分图的结构性质可保证非空公平匹配的存在？
• RQ2 能否在多项式时间内高效计算最大基数的公平匹配？
• RQ3 在边带权的二分图中，能否高效计算最大基数且总成本最小的公平匹配？
• RQ4 如何利用公平匹配解决涉及连续与离散资源的公平分配问题？
• RQ5 公平匹配与现有公平分配算法（如 Lone Divider 和 APX-MMS）之间存在何种关系？

主要发现

• 每个二分图均存在唯一的 EFM 划分（X = XS ∪ XL，Y = YS ∪ YL），使得所有公平匹配均包含于 G[XL, YL] 中，且 G[XS, YS] 为 Y-路径饱和（仅包含空匹配）。
• 通过在 X-饱和子图 G[XL, YL] 中寻找最大匹配，可在 O(m√n) 时间内计算出最大基数公平匹配。
• 对于带权图，最大基数公平匹配的最小总权重可在 O(mn + n² log n) 时间内计算得出。
• 本文提出一种基于公平匹配的对称比例蛋糕分割算法，在最小假设下实现公平性。
• 针对离散物品提出 1-out-of-(2n−2) 最大最小份额分配算法，针对离散不良品提出 1-out-of-⌊2n/3⌋ 最大最小份额分配算法，两者均基于公平匹配。
• 结构定理与算法统一并推广了先前结果，包括 Lone Divider、APX-MMS 以及稳定匹配框架的研究，通过揭示其底层的公平匹配结构。