[论文解读] Generalized Stable Matching in Bipartite Networks

Ankur Mani, Asuman Ozdaglar+2 more|arXiv (Cornell University)|Nov 12, 2010

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

一句话总结

本文提出了一种广义稳定匹配框架，适用于二分图网络，其中节点效用取决于其匹配对象及其所获得的边权份额。在效用函数连续且严格递增的条件下，证明了稳定加权匹配的存在性，并提出了一种收敛算法，将匈牙利算法推广至该广义设定。

ABSTRACT

In this paper we study the generalized version of weighted matching in bipartite networks. Consider a weighted matching in a bipartite network in which the nodes derive value from the split of the matching edge assigned to them if they are matched. The value a node derives from the split depends both on the split as well as the partner the node is matched to. We assume that the value of a split to the node is continuous and strictly increasing in the part of the split assigned to the node. A stable weighted matching is a matching and splits on the edges in the matching such that no two adjacent nodes in the network can split the edge between them so that both of them can derive a higher value than in the matching. We extend the weighted matching problem to this general case and study the existence of a stable weighted matching. We also present an algorithm that converges to a stable weighted matching. The algorithm generalizes the Hungarian algorithm for bipartite matching. Faster algorithms can be made when there is more structure on the value functions.

研究动机与目标

• 将经典的稳定匹配问题推广至二分图网络，其中节点效用取决于匹配对象及其所获得的边权份额。
• 在效用函数关于分配份额连续且严格递增的条件下，建立稳定加权匹配的存在性。
• 开发一种收敛算法，将匈牙利算法推广至该广义匹配问题。
• 为婚姻匹配、讨价还价网络以及可分割商品的交换经济等应用提供理论基础。

提出的方法

• 本文将节点效用建模为匹配对象和所获边权份额的连续、严格递增函数。
• 定义稳定匹配为一种匹配与份额分配配置，其中任意相邻节点对均无法通过重新分配边权份额同时提升双方效用。
• 该算法构建以未匹配节点为根的交替生成树，通过迭代更新报价配置以实现收敛。
• 采用包含报价配置 $ O_i $ 和逆效用函数的对偶形式，以确保稳定性和可行性。
• 收敛性依赖于未匹配节点数量的有限减少以及交替树的有限增长，从而保证在有限时间内终止。
• 最终的匹配与份额分配通过逆效用函数从稳定报价配置推导得出，以满足权重守恒。

实验结果

研究问题

• RQ1 当节点效用取决于匹配对象及其所获边权份额时，是否存在稳定加权匹配？
• RQ2 匈牙利算法能否推广至处理二分图网络中连续的、与匹配对象相关的效用函数？
• RQ3 在该广义设定下，何种条件可确保迭代算法收敛至稳定匹配？
• RQ4 如何利用效用函数的结构设计更高效的算法？

主要发现

• 当节点效用关于分配份额连续且严格递增时，二分图网络中存在稳定加权匹配。
• 所提出的算法在有限时间内收敛至稳定匹配，将匈牙利算法推广至该非线性广义情形。
• 该算法通过维护交替树并迭代更新报价配置，直至无法进一步改进，从而确保稳定性。
• 收敛时，所有匹配节点的报价均非零，且每条匹配边上的份额总和等于总边权。
• 最终的匹配与份额构成可行且稳定的配置，其效用通过逆效用函数推导得出，以保持权重守恒。
• 该方法可扩展至结构化效用函数，未来工作可在此基础上开发更高效的算法。