In this paper, we study a daycare matching problem in Japan and report the design and implementation of a new centralized algorithm, which is going to be deployed in one municipality in the Tokyo metropolis. There are two features that make this market different from the classical hospital-doctor matching problem: i) some children are initially enrolled and prefer to be transferred to other daycare centers; ii) one family may be associated with two or more children and is allowed to submit preferences over combinations of daycare centers. We revisit some well-studied properties including individual rationality, non-wastefulness, as well as stability, and generalize them to this new setting. We design an algorithm based on integer programming (IP) that captures these properties and conduct experiments on five real-life data sets provided by three municipalities. Experimental results show that i) our algorithm performs at least as well as currently used methods in terms of numbers of matched children and blocking coalition; ii) we can find a stable outcome for all instances, although the existence of such an outcome is not guaranteed in theory.
翻译:在本文中,我们研究了日本的日托匹配问题,并报告了新的集中算法的设计和实施情况,该算法将部署在东京大都会的一个城市。有两个特点使得这个市场不同于古典医院和医生匹配问题:一)有些儿童最初入学,倾向于转到其他日托中心;二)一个家庭可能与两个或两个以上儿童有联系,并被允许提交对日托中心组合的偏好。我们重新审视一些经过充分研究的特性,包括个人理性、非浪费性以及稳定性,并将其推广到这一新的环境。我们设计了一种基于整数程序(IP)的算法,捕捉到这些特性,对三个城市提供的五套实际生活数据进行实验。实验结果显示,一)我们的算法至少和目前使用的方法在相匹配儿童人数和阻塞联盟方面都有效果;二)我们可以为所有事例找到稳定的结果,尽管理论上无法保证这种结果的存在。