×

稳定的室友和受限的编程。 (英语) Zbl 1411.91426号

Simonis,Helmut(编辑),约束编程中AI和OR技术的集成。2014年5月19日至23日在爱尔兰科克举行的CPAIOR 2014第11届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8451,15-28(2014年)。
总结:在稳定室友(SR)问题中,我们有代理,每个代理对所有其他代理进行排名。然后,问题是将代理配对,这样就不会有两个代理比他们匹配的伙伴更喜欢对方。提出了一种非常简单的约束编码,它使用了二进制约束,并在(O(n^{3})时间内建立了弧一致性(阶段1表)。这就导致了一个特殊的n元约束,它使用了\(O(n)\)额外的空间,并在\(0(n^{2})\)时间内建立了弧一致性。这可以为具有不完全列表(SRI)的稳定室友建模,因此也可以为具有完全和不完全列表(SMI)的稳定婚姻(SM)问题建模。也就是说,一个模型就足够了。进行了一项实证研究,发现n元约束模型可以在当前硬件平台上读取、建模和输出具有“n=1000”的实例的所有匹配,大约需要2秒钟。列举所有匹配是平均主义SR问题的粗略解决方案,经验结果表明,尽管NP-hard,但平均主义的SR实际上很容易。
关于整个系列,请参见[Zbl 1287.68010号].

MSC公司:

91B68型 匹配的模型
91-04年 与博弈论、经济学和金融相关问题的软件、源代码等
90摄氏度 数学规划的应用

软件:

乔科
PDF格式BibTeX公司 XML格式引用
全文: 内政部