×
马斯鲍尔·阿拉姆（Md Masbaul Alam）·波拉什（Polash）；牛顿，M.A.哈基姆；阿卜杜勒·萨塔尔

所有区间序列的约束定向搜索。 （英语） Zbl 1387.90225号

约束条件 22，第3期，403-431（2017）.
摘要：全间隔序列是约束满足搜索的标准基准问题。大小为（n）的全区间序列是整数（[0，n）的置换，使得相邻整数之间的差异是（[1，n对约束社区来说是一个有趣的挑战。就搜索空间的大小而言，这个问题非常困难。迄今为止，已经使用了不同的方法来生成AIS的所有解决方案，但必须探索的搜索空间仍然很大。本文提出了一种基于约束定向回溯的树搜索算法，该算法执行效率高惰性检查而不是立即约束传播此外，我们证明了全区间序列的几个关键性质，这些性质有助于显著地修剪搜索空间。缩小的搜索空间基本上减少了回溯。我们还提供了算法的可扩展并行版本，可以利用拥有多核处理器甚至多个计算机系统的优势。我们的新算法生成所有大小为27的解，而基于可满足性的最新方法生成大小为24的所有解。

MSC公司：

90C27型 组合优化

关键词：

全区间序列；回溯搜索；约束编程；惰性约束传播

软件：

Gelisp公司；袋鼠；扣环
PDF格式BibTeX公司 XML格式引用
\textit{M.M.A.Polash}等人，约束22，No.3，403--431（2017；Zbl 1387.90225）
全文： DOI程序 链接

参考文献：

[1] Ilog解算器。http://www.cs.cornell.edu/w8/iisi/ilog/cp11/usrsolver/usrssolverpreface.html。
[2] 迷你锌挑战2013年的结果。https://www.minizinc.org/challenge2013/results2013.html。
[3] Adamaszek，M.（2006年）。优美排列的有效枚举。arXiv:math/0608513·Zbl 1297.05007号
[4] Alsinet，T.、Bejar，R.、Cabiscol，A.、Fernandez，C.和Manya，F.（2002）。全区间序列问题的最小冗余SAT编码。《人工智能专题》，加泰罗尼亚第五届人工智能会议（CCIA），LNCS，（第2504卷，第139-144页）·兹比尔1028.68627
[5] Beldiceanu，N.和Contejean，E.（1994年）。在CHIP中引入全局约束。数学与计算机建模杂志，2097-123·Zbl 0816.68048号 ·doi:10.1016/0895-7177（94）90127-9
[6] Béjar，R.、Manyá，F.、Cabiscol，A.、Fernández，C.和Gomes，C.（2007）。正则状态：解决组合问题的多值方法。离散应用数学，155（12），1613-1626·Zbl 1121.68104号 ·doi:10.1016/j.dam.2005.10.020
[7] Choi，C.和Lee，J.（2002）。置换csp最小组合模型的剪枝行为。在重新制定约束满足问题国际研讨会上。
[8] Codognet，P.和Diaz，D.（2001年）。另一种约束求解的局部搜索方法。《随机算法：基础和应用国际研讨会论文集》，SAGA’01（第73-90页）：Springer·Zbl 1054.68646号
[9] Colles，H.（1940）。格罗夫的音乐和音乐家词典。纽约：麦克米兰公司。
[10] Dent，M.J.和Mercer，R.E.（1994年）。最少的转发检查。第六届人工智能工具国际会议论文集。（第432-438页）：IEEE.doi:10.1109/TAI.1994.346460
[11] Gebser，M.、Kaufmann，B.和Schaub，T.（2009年）。冲突驱动的答案集求解器Clasp。计算机科学讲稿，斯普林格，5753，509-514·doi:10.1007/978-3-642-04238-6_50
[12] Gent，I.P.、McDonald，I.和Smith，B.M.（2003）。全区间级数问题中的条件对称性。第三届约束满足问题对称性国际研讨会论文集（第三卷，第55-65页）。
[13] Hoos，H.H.（1998）。随机局部搜索-方法，模型，应用。德国达姆施塔特技术大学计算机科学系博士论文。
[14] Hudson，S.（1991）。增量属性求值：一种灵活的延迟更新算法。美国计算机学会程序设计语言与系统汇刊，13（3），315-341。doi:10.1145/117009.117012·doi:10.1145/117009.117012
[15] Krenek，E.（1974）。地平线环绕着我的音乐。伯克利：加利福尼亚大学出版社。
[16] Moisan，T.、Gaudreault，J.和Quimper，C.G.（2013）。基于差异的并行搜索。在约束编程原理和实践国际会议上（第30-46页）：Springer·Zbl 1407.68459号
[17] Newton，M.、Pham，D.、Sattar，A.和Maher，M.（2011年）。袋鼠：一个高效的基于约束的本地搜索系统，使用惰性传播。CP.LNCS，海德堡斯普林格，6876645-659。
[18] Nguyen，V.，&Son，M.（2014）。解决全区间数列问题：SAT与CP。第五届信息与通信技术研讨会论文集（第65-74页）·Zbl 0816.68048号
[19] Petrie，K.E.和Smith，B.M.（2003）。优美图中的对称破缺。In Rossi，F.（Ed.）约束编程原理与实践学报：Springer。
[20] Puget，J.和Regin，J.解决全区间问题。http://www.cs.st-andrews.ac.uk/ianm/CSPLib/prob/prob007/puget.pdf。
[21] Remzi，H.A.D.和Andrea，C.A.D.（2014）。操作系统：Arpaci-Doussau图书的三个简单步骤·Zbl 0816.68048号
[22] 舒尔曼斯，D。；Southey，F.，《不完整SAT程序的本地搜索特征》，297-302（2000），美国德克萨斯州奥斯汀·兹伯利0983.68180
[23] Simonis，H.、Beldiceanu，N.和Sa，C.（1998年）。关于CSPLIB问题007的注释。技术代表，Normale。
[24] 索尔农，C.（2000年）。用人工蚂蚁解决置换约束满足问题。《2000年ECAI会议录》（第118-122页）：IOS出版社·Zbl 0983.68180号
[25] Toro，M.、Rueda，C.、Agon，C.和Assayag，G.（2015）。Gelisp：表示音乐csp和搜索策略的库。计算研究库。arXiv:1510.02828。
[26] Truchet，C.、Richoux，F.和Codognet，P.（2012年）。拉斯维加斯算法的并行加速预测。arXiv:1212.4287。
[27] Walsh，T.（2010）。参数化的复杂性会导致对称性破坏。第五届国际研讨会论文集，IPEC，印度钦奈，LNCS，（第6478卷，第4-13页）：Springer·Zbl 1309.68104号
[28] Worister，M.、Steinechner，H.、Maierhofer，S.和Tobler，R.（2013）。高效场景图形渲染的惰性增量计算。第五届高性能图形会议论文集。doi:10.145/2492045.2492051（第53-62页）。美国纽约州纽约市：ACM。
[29] Yadav，S.C.和Singh，S.K.（2009年）。客户机/服务器计算简介，New Age International Publishers Limited。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。