LLM2D
配对问题可解:带配偶的医院/住院医师问题的全新算法与复杂性结果
Couples can be tractable: New algorithms and hardness results for the Hospitals / Residents problem with Couples
作者: Gergely Cs\'aji, David Manlove, Iain McBride, James Trimble
发布日期: 9/26/2024
arXiv ID: oai:arXiv.org:2311.00405v3

摘要

本文研究了包含情侣的医院/住院医师问题 (HRC),其中解是一个稳定匹配或报告不存在稳定匹配。我们提出了一种新颖的多项式时间算法,可以在情侣偏好是亚响应的 (即,如果一方成员换到一个更好的医院,那么情侣也会获得改善) 且亚完全的 (即,对双方成员都可接受的医院对都对情侣共同可接受) 的 HRC 实例中找到一个近似可行的稳定匹配 (最多调整医院的容量 1),方法是将其简化为稳定固定装置问题的实例。我们还提出了一种多项式时间算法,用于亚响应、亚完全且为双重市场的 HRC 实例,或所有情侣属于几种可能类型之一的实例。我们证明,我们的算法也意味着稳定 b-匹配问题的多项式时间可解性,其中底层图是带有循环的多重图。 我们用几个难点结果来补充我们的算法。我们证明,即使在其他强限制下,具有亚响应和亚完全情侣的 HRC 也是 NP 难的。我们还证明,在几个同时限制下,具有双重市场的 HRC 是 NP 难的。最后,我们证明,在 HRC 中找到具有最小阻塞对数量的匹配问题在 $m^{1-\varepsilon}$ 内不可近似,对于任何 $\varepsilon>0$,其中 $m$ 是医院偏好列表的总长度,除非 P=NP,即使每对情侣只申请一对医院。 我们的多项式时间可解性结果极大地扩展了已知 HRC 易处理实例的类别,并为将来设计更好、更高效的机制提供了有用的工具。