马库斯·特里斯卡；尼斯雷特·穆斯利乌 针对社交高尔夫球手问题的改进SAT公式。 （英语） Zbl 1251.90194号 安·Oper。物件。 194, 427-438 (2012). 摘要：社交高尔夫球手问题（SGP）是一个具有很多对称性的运动日程安排问题，最近引起了人们的极大关注。在本文中，我们首先回顾了SGP的现有SAT编码，并更正了其中的一些子句。然后，我们建议对编码进行更改，以显著减少所有实例的变量数量。当使用通用SAT解算器使用本地搜索和完全回溯求解许多SGP实例时，我们取得了相当大的性能改进。这使得SAT公式比以前更有希望解决SGP。 引用于1审查引用于5文件 MSC公司： 90B35型 运筹学中的确定性调度理论 90C27型 组合优化 关键词：运动日程安排；组合优化；设计理论；有限几何 软件：SATO公司；DIMACS公司；CSPLib数据库；徒步旅行 PDF格式BibTeX公司 XML格式引用 \textit｛M.Triska｝和\textit｛N.Musliu｝，Ann.Oper。第194、427--438号决议（2012年；Zbl 1251.90194） 全文： 内政部 参考文献： [1] 安德森（1997）。组合设计和比赛。牛津：克拉伦登·Zbl 0881.05001号 [2] Barnier，N.，&；Brisset，P.（2005）。几秒钟内解决柯克曼的女学生问题。约束，10（1），7–21·Zbl 1112.90064号 ·doi:10.1007/s10601-004-5305-9 [3] Colbourn，C.J.（1984）。完成部分拉丁方的复杂性。离散应用数学，8，25-30·Zbl 0538.05013号 ·doi:10.1016/0166-218X（84）90075-1 [4] 科尔伯恩，C.H.，&；Dinitz，J.H.（1996）。CRC组合设计手册。博卡拉顿：CRC出版社·Zbl 0836.00010号 [5] 科塔，C.，多图，I.，费尔南德斯，A.J；Hentenryck，P.V.（2006年）。使用模因进化编程安排社交高尔夫球手。在LNCS中：第4030卷。混合元启发式（第150-161页）。柏林：斯普林格。 [6] Crawford，J.M.、Ginsberg，M.L.、Luks，E.M.和；Roy，A.（1996年）。搜索问题的对称破坏谓词。在KR中（第148–159页）。 [7] 多图，I.，&；Hentenryck，P.V.（2005）。在当地安排社交高尔夫球手。在LNCS中：第3524卷。CPIOR（第155–167页）。柏林：斯普林格·Zbl 1133.90336号 [8] Flener，P.、Frisch，A.M.、Hnich，B.、Kiziltan，Z.、Miguel，I.、Pearson，J.和；Walsh，T.（2002）。打破矩阵模型中的行和列对称。在LNCS中：第2470卷。CP'02.柏林：施普林格。 [9] Frisch，A.、Hnich，B.、Kiziltan，Z.、Miguel，I.和；Walsh，T.（2002）。词典排序的全局约束。在LNCS中：第2470卷。CP’02，柏林：施普林格·Zbl 1131.68521号 [10] Gent，I.和；林奇，I.（2005）。社交高尔夫问题的SAT编码。在IJCAI'05关于建模和解决约束问题的研讨会上。 [11] Gent、I.P.和；Walsh，T.（1999）。CSPLib：约束的基准库。LNCS：第1713卷。CP'99，柏林：施普林格。 [12] 哈维·W·；Winterer，T.（2005）。解决MOLR和社交高尔夫球员的问题。在LNCS中：第3709卷。CP’05（第286–300页）。柏林：斯普林格·Zbl 1153.68461号 [13] Petrie，K.E.和；Smith，B.（2004）。约束规划和线性规划中的动态对称破缺（技术报告）。 [14] Prestwich，S.（2001）。对称破坏和隐含约束的第一解搜索。在CP’01建模和问题制定研讨会的会议记录中。 [15] Selman，B.、Kautz，H.和；Cohen，B.（1993年）。可满足性测试的局部搜索策略。在第二个DIMACS实施挑战中·兹比尔0864.90093 [16] 张华（1997）。SATO：一个有效的命题证明器。在LNAI中：第1249卷。CADE公司。柏林：斯普林格。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。