IJCAIMay, 2017

稳定婚姻中的鲁棒解决方案

TL;DR本研究探讨了稳定匹配问题中鲁棒性的概念,定义了(a,b)- 超级匹配,并将最鲁棒的稳定匹配定义为(1,b)- 超级匹配,我们用多项式时间检查给定的稳定匹配是否为(1,b)- 超级匹配,然后设计了约束编程模型、局部搜索方法和遗传算法以找到最鲁棒的稳定匹配,实验证明局部搜索优于其他方法。