稳定婚姻程序中的操纵与性别中立性
人工智能
2009-09-25 v1 计算机科学与博弈论
摘要
稳定婚姻问题是一个众所周知的问题，旨在将男性与女性配对，使得没有一对未结婚的男女彼此更喜欢对方。该问题具有广泛的实际应用，从将住院医生匹配到医院，到将学生匹配到学校。解决该问题的一个著名算法是 Gale-Shapley 算法，该算法在多项式时间内运行。已有证明表明，稳定婚姻程序总是可以被操纵。虽然 Gale-Shapley 算法在计算上易于操纵，但我们证明了存在一些稳定婚姻程序是 NP-hard 难以操纵的。我们还考虑了投票理论与稳定婚姻程序之间的关系，表明 NP-hard 难以操纵的投票规则可用于定义自身也是 NP-hard 难以操纵的稳定婚姻程序。最后，我们考虑了诸如 Gale-Shapley 等稳定婚姻程序偏向某一性别的问题，并展示了如何使用投票规则使任何稳定婚姻程序实现性别中立。
引用
@article{arxiv.0909.4437,
title = {Manipulation and gender neutrality in stable marriage procedures},
author = {Maria Pini and Francesca Rossi and Brent Venable and Toby Walsh},
journal= {arXiv preprint arXiv:0909.4437},
year = {2009}
}
备注
8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1