[论文解读] 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

一句话总结

本文提出了一种 O(|S| p(n)) 算法，用于计算在基础稳定匹配实例 A 和 |S| 个扰动版本之间的共同稳定匹配，每个扰动版本仅在偏好列表中存在一个错误。该方法利用了稳定匹配的分配格结构的新颖性质，并推广了子格的 Birkhoff 定理，使得当 |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.

研究动机与目标

• 开发一种高效算法，用于计算在基础稳定匹配实例和多个带有一个偏好列表错误的扰动变体之间均稳定的单一匹配。
• 识别稳定匹配格的结构性质，以实现对单列表扰动的鲁棒性。
• 将有限分配格的 Birkhoff 定理推广至子格，建立子格与导出偏序之间的对应关系。
• 确保当扰动实例数 |S| 多项式有界时，算法运行时间为多项式时间。

提出的方法

• 利用稳定匹配的分配格结构来建模和分析扰动下的稳定性。
• 从原始稳定匹配格中定义一个偏序 Π，使得 Π 的闭集格同构于原始格。
• 推广 Birkhoff 定理，证明对于原始格 L 的任意子格 L′，存在一个导出偏序 Π′，使得 Π′ 的闭集格同构于 L′。
• 构建一个多项式时间算法，通过利用格的闭包和子格性质，检查在基础实例和每个 |S| 个含错误的实例中的稳定性。
• 利用推广的格同构关系，高效计算集合 S 中所有实例的共同稳定匹配。
• 将该算法应用于 |S| 为多项式规模的实例，确保整体运行时间保持在 O(|S| p(n))，其中 p(n) 为某个多项式。

实验结果

研究问题

• RQ1 能否计算出一个单一匹配，使其在基础稳定匹配实例和任意偏好列表中存在一个错误的多个变体中均保持稳定？
• RQ2 稳定匹配格的哪些结构性质使其对单列表扰动具有鲁棒性？
• RQ3 如何将有限分配格的 Birkhoff 定理推广至子格？其结果的偏序构造是什么？
• RQ4 在何种条件下，该算法能实现鲁棒匹配计算的多项式时间复杂度？

主要发现

• 该算法在 O(|S| p(n)) 时间内，计算出在原始实例 A 和每个含单个错误的扰动实例中均稳定的匹配。
• 该方法依赖于 Birkhoff 定理的全新推广，建立了导出偏序 Π′ 的闭集格与原始格任意子格之间的格同构关系。
• 当 |S| 多项式有界时，该算法运行时间为多项式时间，使得在实际误差集合下鲁棒稳定匹配的计算成为可行。
• 稳定匹配的分配格结构被证明对单列表扰动具有鲁棒性，从而可高效搜索共同稳定匹配。
• 导出偏序 Π′ 通过指定操作从原始 Π 构建，确保 Π′ 的闭集格同构于目标子格。
• 该框架为在不确定性或通信错误下的匹配市场中设计鲁棒算法提供了基础。