×
卡洛斯·安索特吉；拉蒙·贝加尔；塞萨尔·费尔南德斯；卡莱斯·马图

关于将边缘匹配难题作为SAT或CSP问题解决的难度。 （英语） Zbl 1310.05055号

约束条件 18，第1期，7-37（2013）.
小结：边缘匹配谜题已经出现在我们中间很长时间了，传统上，它们被认为是儿童游戏和有趣的数学套曲。它们的主要特征已经被研究过了，它们的最坏情况复杂性被恰当地归类为NP完全问题。正是在最近，特别是在被用作一场金钱竞赛背后的问题之后，边缘匹配难题吸引了更广泛观众的主流关注，当然，包括致力于解决难题的计算机科学人员。
我们认为这些比赛是一个有趣的机会，可以向广大观众展示面对现实世界问题时的SAT/CSP解决技术，这是此类比赛内在利益的一部分，即金钱利益。本文使用SAT和CSP方法来研究称为边缘匹配难题的NP完全问题。我们将首先重点提供一个理论框架，包括该问题的广义定义。
我们将设计并展示简单快速的问题实例生成算法，以及具有容易调节硬度的生成器。然后，我们将为这些问题提供SAT和CSP模型，我们将研究问题的复杂性，包括典型情况和最坏情况的复杂性。我们还将提供一些精心设计的启发式方法，这些方法可以提高求解时间，并研究这些启发式方法的效果。

引用于2文件

MSC公司：

05B40号 包装和覆盖的组合方面
05B50号 波利米诺群岛
52C20个 二维平铺（离散几何的方面）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

约束；坐；CSP公司；边缘匹配难题；拼图；相变；硬度

软件：

迷你们；超小卫星
PDF格式BibTeX公司 XML格式引用
\textit{C.Ansótegui}等人，《约束18》，第1期，第7-37页（2013年；Zbl 1310.05055）
全文： 内政部

参考文献：

[1] Achlioptas，D.，Gomes，C.，Kautz，H.，Selman，B.（2000）。生成可满足的问题实例。《2000年AAAI会议记录》（第256-261页）。AAAI出版社/麻省理工学院出版社。
[2] Achlioptas，D.，Jia，H.，Moore，C.（2005）。隐藏真相分配：两个比一个好。人工智能研究杂志，24623-639·Zbl 1080.68653号
[3] Achlioptas，D.、Naor，A.、Peres，Y.（2005）。硬优化问题中相变的严格位置。《自然》，435（7043），759·doi:10.1038/nature03602
[4] Achlioptas，D.和；Peres，Y.（2004）。随机k-sat的阈值为$2^k（反斜杠）log{2}-\（\反斜杠\）mathcal{O}（k）$。美国数学学会杂志，17（4），947-973·Zbl 1093.68075号 ·doi:10.1090/S0894-0347-04-00464-3
[5] Alon，N.和；Spencer，J.H.（2000）。概率方法（第二版）。离散数学与优化。威利跨科学·Zbl 0996.05001号
[6] Ansótegui，C.，Béjar，R.，Fernández，C.，Gomes，C.，Mateu，C.（2011年）。平衡在高度结构化的问题领域中的影响。2006年AAAI会议记录（第438–443页）。AAAI出版社/麻省理工学院出版社。
[7] Ansótegui，C.、Béjar，R.、Fernández，C.、Gomes，C.、Mateu，C.（2011）。生成高度平衡的数独问题作为难题。《启发式杂志》，17（5），589–614。doi:10.1007/s10732-010-9146-y·Zbl 06013430号 ·doi:10.1007/s10732-010-9146-y
[8] Ansótegui，C.、Béjar，R.、Fernández，C.、Mateu，C.（2008）。边缘匹配谜题作为硬SAT/CSP基准。在CP'08：第14届约束规划原理与实践国际会议记录。计算机科学课堂讲稿（第5202卷，第560-565页）。澳大利亚悉尼：斯普林格。
[9] Ansótegui，C.，Béjar，R.，Fernández，C.，Mateu，C.（2008）。商业难题有多难：永恒II挑战。人工智能与应用前沿——人工智能研究与开发，184，99–108。
[10] Ansótegui，C.，del Val，A.，Dotü，I.，Fernández，C.，Manyá，F.（2004）。准群完成中的建模选择：SAT与CSP。2004年AAAI会议记录。AAAI出版社/麻省理工学院出版社。
[11] Ansótegui，C.，&；Manyá，F.（2005）。将多值CNF公式映射为布尔CNF公式。《多值逻辑国际研讨会论文集》（第290-295页）。
[12] Atserias，A.，Bulatov，A.A.，Dalmau，V.（2007）。关于k一致性的威力。第34届国际自动化学术讨论会，语言与编程，ICALP 2007。计算机科学课堂讲稿（第4596卷，第279-290页）。斯普林格·Zbl 1171.68720号
[13] Béjar，R.、Fernández，C.、Mateu，C.、Pascual，N.（2009年）。在边缘匹配难题上界定相变。IEEE多值逻辑国际研讨会（第80–85页）。
[14] Benoist，T.和；Bourreau，E.（2008）。永久快速全局过滤2。约束编程字母，3，36–49。
[15] Bessière，C.，&；Régin，J.-C.（1996）。MAC和组合启发式：在难题上放弃FC（和CBJ？）的两个原因。《约束编程的原理与实践》（第61-75页）。
[16] Cohen，D.A.，Jeavons，P.，Jefferson，C.，Petrie，K.E.，Smith，B.M.（2006）。约束满足问题的对称定义。约束，11（2–3），115–137·Zbl 1103.68809号 ·doi:10.1007/s10601-006-8059-8
[17] Dechter，R.（2003）。约束处理。摩根·考夫曼·Zbl 1057.68114号
[18] Demaine，E.D.和；Demaine，M.L.（2007）。拼图拼图、边缘匹配和多边形包装：联系和复杂性。图与组合学，23（s1），195·Zbl 1123.05027号 ·doi:10.1007/s00373-007-0713-4
[19] Eén，n.和；Biere，A.（2005）。通过变量和子句消除在SAT中进行有效的预处理。《2005年SAT会议录》（第61-75页）·Zbl 1128.68463号
[20] Eén，n.和；Sörensson，N.（2003）。可扩展SAT解决方案。2003年SAT会议记录。计算机科学课堂讲稿（第2919卷，第502-518页）。斯普林格·Zbl 1204.68191号
[21] Eén，n.和；Sörensson，N.（2006）。将伪布尔约束转化为SAT。可满足性杂志，2，1–26·Zbl 1116.68083号
[22] Gent，I.P.，Jefferson，C.，Miguel，I.（2006）。MINION：一个快速、可扩展的约束求解器。2006年8月29日至9月1日在意大利Riva del Garda举行的第17届欧洲人工智能会议（ECAI 2006:European conference on artificial intelligence）的会议记录（第98-102页）。阿姆斯特丹，荷兰，荷兰：IOS出版社。
[23] Gent，I.P.，Jefferson，C.，Miguel，I.（2006）。观察Minion中约束传播的文本。《约束编程的原理与实践》（第182-197页）。
[24] Haanpää，H.、Järvisalo，M.、Kaski，P.、Niemelä，I.（2006年）。用于基准等价推理技术的难满足子句集。可满足性、布尔建模与计算杂志，2（1-4），27-46·Zbl 1116.68084号
[25] R.M.哈拉利克；Elliott，G.L.（1980）。提高约束满足问题的树搜索效率。人工智能期刊，14，263–313。
[26] Järvisalo，M.（2006年）。对常规XORSAT的进一步调查，载于2006年AAAI会议记录。AAAI出版社/麻省理工学院出版社。
[27] Li、C.M.和；Anbulagan，A.（1997年）。基于单位传播的启发式算法求解可满足性问题。国际人工智能联合会议记录，IJCAI 97（第366–371页）。摩根·考夫曼。
[28] Monasson，R.、Zecchinna，R.，Kirkpatrick，S.、Selman，B.、Troyansky，L.（1999）。根据特征相变确定计算复杂性。《自然》杂志，400133-137·Zbl 1369.68244号 ·doi:10.1038/22055
[29] Prosser，P.（1996）。二元约束满足问题中相变的实证研究。《人工智能期刊》，81，81–109。
[30] Régin，J.-C.（1994）。一种用于CSP中差异约束的滤波算法。1994年AAAI会议记录（第362-367页）。AAAI出版社/麻省理工学院出版社。
[31] Régin，J.-C.（1999）。对称alldiff约束。第十六届国际人工智能联合会议记录，IJCAI 99（第420-425页）。摩根·考夫曼。
[32] Schaus，P.和；Deville，Y.（2008）。CP和VLNS的杂交用于永恒II。在Quatrime Journes Francophones de Programmation par Contraintes（JFPC’08）中。
[33] B.史密斯；Dyer，M.（1996）。在二进制约束满足问题中定位相变。人工智能，81，155–181·doi:10.1016/0004-3702（95）00052-6
[34] Takenaga，Y.，&；Walsh，T.（2006）。四凸是NP-完全的。《信息处理快报》，99（5），171-174·Zbl 1185.68354号 ·doi:10.1016/j.ipl.2006.04.010
[35] Williams，R.、Gomes，C.P.、Selman，B.（2003）。典型案例复杂性的后门。IJCAI（第1173-1178页）。
[36] Xu，K.，&；李伟（2000）。随机约束满足问题中的精确相变。《人工智能研究杂志》，12，93–103·Zbl 0940.68099号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。