×
坎斯坦钦·帕什科维奇；劳伦·波里耶

具有循环偏好的三维稳定匹配。 （英语） Zbl 1457.91274号

最佳方案。莱特。 14，第8期，2615-2623（2020）.
摘要：我们考虑具有循环偏好的三维稳定匹配问题，该问题最初由克努特【Mariages stables et leurs rélations avec d'autres problemèmes combinetoires.引言a l’analyse matique des algorithmes.艾森斯塔特椅子收藏.魁北克省蒙特勒：蒙特勒大学出版社（1976；Zbl 0358.68057号)].E.波罗斯等【离散数学289，No.1–3，1–10（2004；Zbl 1090.90159号)]结果表明，当每组中的代理数量为三时，总是存在稳定的匹配。K.埃里克森等【数学社会科学52，第1期，77–87（2006；兹比尔1141.91625)]结果表明，当每组代理数为4时，也存在稳定的匹配。在本文中，我们证明了当每组有五个代理时，存在稳定的匹配。此外，我们还表明，在这种情况下，至少存在两种不同的稳定匹配。

引用于7文件

MSC公司：

91B68型 匹配的模型
91A68型 算法博弈论与复杂性

关键词：

稳定匹配；三维；匹配；稳定的

引文：

Zbl 0358.68057号；Zbl 1090.90159号；Zbl 1141.91625号

软件：

弯曲；钙DiCaL；超小卫星；Treengeling公司；玲玲；YalSAT卫星
PDF格式BibTeX公司 XML格式引用
\textit{K.Pashkovich}和\textit{L.Poirier}，Optim。莱特。14，第8号，2615--2623（2020；Zbl 1457.91274）
全文： 内政部 arXiv公司

参考文献：

[1] Audemard，G。；西蒙，L。；辛兹，C。；Egly，U.，并行sat求解器的惰性子句交换政策，可满足性测试理论与应用，sat 2014，197-205（2014），Cham:Springer，Cham·Zbl 1423.68431号
[2] Biere，A.：CaDiCaL、lingeling、plingeling、treengeling和YalSAT参加2017年SAT竞赛。在：Balyo，T.，Heule，M.，Järvisalo，M.（编辑）2017年SAT竞赛论文集解算器和基准描述。计算机科学系系列出版物B，第1卷，第14-15页。赫尔辛基大学（2017）
[3] 比罗，P。；McDermid，E.，《具有循环偏好的三边稳定匹配》，《算法》，58，1，5-18（2010）·Zbl 1205.68257号 ·doi:10.1007/s00453-009-9315-2
[4] Boros，E。；古尔维奇，V。；贾斯拉尔，S。；Krasner，D.，具有循环偏好的三边系统中的稳定匹配，离散数学。，289, 1-3, 1-10 (2004) ·Zbl 1090.90159号 ·doi:10.1016/j.disc.2004.08.012
[5] 埃恩，n。；Sörensson，N。；Giunchiglia，E。；Taccella，A.，可扩展SAT解决方案，可满足性测试理论与应用，502-518（2004），柏林：施普林格出版社，柏林·Zbl 1204.68191号
[6] 埃里克森，K。；Sjöstrand，J。；Strimling，P.，与循环偏好的三维稳定匹配，数学。社会科学。，52, 1, 77-87 (2006) ·Zbl 1141.91625号 ·doi:10.1016/j.mathsocsci.2006.03.005
[7] Farczadi，L。；Georgiou，K。；Könemann，J.，《具有一般偏好的稳定婚姻》，《理论计算》。系统。，59683-699（2016）·Zbl 1356.91072号 ·doi:10.1007/s00224-016-9687-z
[8] 加尔，D。；Shapley，L.，《大学招生与婚姻稳定性》，《美国数学》。周一。，69, 1, 9-15 (1962) ·兹伯利0109.24403 ·doi:10.1080/00029890.1962.11989827
[9] Hofbauer，J.，d维稳定匹配与循环偏好，数学。社会科学。，82, 72-76 (2016) ·Zbl 1397.91472号 ·doi:10.1016/j.mathsocsci.2016.04.006
[10] Knuth，D.E.：婚姻的稳定和双方的关系是一个组合问题。摘自：《算法数学分析导论》（Introductionál’analyse matique des algorithmes），艾森斯塔特收藏馆（Collection de la Chaire Aisenstadt）。蒙特利尔蒙特勒大学出版社（1976）·Zbl 0358.68057号
[11] Lam，C.K.，Plaxton，C.G.：关于具有循环偏好的三维稳定匹配的存在性。arXiv电子版arXiv：1905.02844（2019）·Zbl 1431.91259号
[12] Ng，C.等人。；Hirschberg，DS，三维稳定匹配问题，SIAM J.离散数学。，4, 2, 245-252 (1991) ·兹比尔0726.68046 ·数字对象标识代码：10.1137/0404023
[13] Nguyen，V.H.，Mai，S.T.：将at-most-one约束编码为SAT的新方法。摘自：《第六届信息与通信技术国际研讨会论文集》，SoICT 2015，第46-53页。ACM，纽约（2015）。10.1145/2833258.2833293
[14] Pashkovich，K.，Poirier，L.：具有循环偏好的三维稳定匹配：计算证明日志文件（2018）。10.5281/zenodo.3544492
[15] 帕什科维奇，K。；Poirier，L.，具有循环偏好的三维稳定匹配：DIMACS CNF生成器（2018）·doi:10.5281/zenodo.3544490
[16] 辛兹，C。；van Beek，P.，朝向布尔基数约束的最佳CNF编码，约束编程的原理和实践-CP 2005，827-831（2005），柏林：Springer，柏林·Zbl 1153.68488号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。