伊夫·卡尼奥;菲利普·科多涅特;弗洛里安·里查克斯;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌 基于约束的局部搜索的大规模并行性：costas阵列案例研究。 （英语） Zbl 1316.90040号 约束条件 20，第1期，30-56页（2015年）. 摘要：我们提出了一种基于约束的局部搜索算法的并行实现，并研究了它在几个具有数百或数千个内核的硬件平台上的性能。我们选择了自适应搜索方法，一种有效的约束满足问题（CSP）的顺序局部搜索方法。在对一些CSPLib基准测试进行了初步实验之后，我们详细描述了一个与雷达和声纳应用相关的硬组合问题的建模和求解：Costas阵列问题。对一些经典CSP基准测试的性能评估表明，对于几十个内核来说，速度提升非常好，对于几百个内核来说速度提升也非常好。然而，对于硬组合搜索问题（如Costas Array problem），序列版本的性能评估显示结果优于以前的本地搜索实现，而并行版本显示几乎线性加速，最高可达8192个内核。该并行方案简单，基于独立的多步，搜索过程中进程之间没有通信。我们还研究了一个协作多行走方案，其中进程共享简单信息，但该方案似乎并没有提高性能。 引用于三文件 MSC公司： 90C27型 组合优化 90 C59 数学规划中的近似方法和启发式 90-04年 与运筹学和数学编程有关的问题的软件、源代码等 关键词：CSP公司;本地搜索;元启发式;平行度;实施 软件：TTTPLOTS公司;彗星;链卫星;电网BnB;局部解算器;斯派罗2011;佩尔;c-sat卫星;CSPLib数据库;PaMiraXT公司;ManySAT公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Caniou}等人，《约束20》，第1期，第30-56页（2015；Zbl 1316.90040） 全文： 内政部 链接 参考文献： [1] Aida，K.和Osumi，T.（2005）。在网格上运行并行分支绑定应用程序的案例研究（第164-173页）。美国：IEEE计算机协会，华盛顿特区。 [2] Aiex，R.、Resende，M.、Ribeiro，C.（2002年）。GRASP中解时间的概率分布：一项实验研究。《启发式杂志》，8（3），343-373·Zbl 1012.68795号 ·doi:10.1023/A:1015061802659 [3] Aiex，R.、Resende，M.、Ribeiro，C.（2007年）。TTT图：一个创建时间到目标图的Perl程序。《优化快报》，1，355-366·Zbl 1220.90102号 ·doi:10.1007/s11590-006-0031-4 [4] Alava，M.、Ardelius，J.、Aurell，E.、Kaski，P.、Orponen，P.，Krishnamurthy，S.、Seitz，S.（2007年）。在求解随机约束满足问题时，普遍存在着规避下降现象。PNAS，105（40）（15），253-257。 [5] Alba，E.（2004）。关于复杂问题并行元神经科学新进展的专题。《启发式杂志》，10（3），239-380·doi:10.1023/B:HEUR.0000026984.08350.12 [6] Amdahl，G.（1967年）。实现大规模计算能力的单处理器方法的有效性，（第483-485页）。新泽西州：大西洋城ACM出版社。统一资源定位地址http://doi.acm.org/10.1145/1465482.1465560。 [7] Arbelaez，A.和Codognet，P.（2012年）。SAT的大规模并行本地搜索·Zbl 1286.68405号 [8] Arbelaez，A.和Codognet，P.（2013年）。M.Middendorf和C.Blum（编辑），《SAT的从顺序到并行本地搜索》·Zbl 1286.68405号 [9] Arbelaez，A.和Hamadi，Y.（2011年）。Coelo，C.（Ed.），《改进SAT的并行本地搜索》（2011年）。意大利：LNCS，罗马·Zbl 0547.05020号 [10] Balint，A.、Fröhlich，A.、Tompkins，D.、Hoos，H.（2011）。斯派罗2011·Zbl 1193.68227号 [11] Beard，J.、Russo，J.，Erickson，K.、Monteleone，M.、Wright，M.（2007年）。Costas阵列生成和搜索方法。IEEE传输。Aerosp.航空公司。电子。系统。，43(2), 522-538. ·doi:10.1109/TAES.2007.4285351 [12] Beldiceanu，N.和Borreau，E.（1999）。Simonis，H.CSPLib网站：关于完美正方形布局的注释。http://www.csplib.org/prob/prob009/helmut.pdf。 [13] Benoist，T.、Estellon，B.、Gardi，F.、Megel，R.、Nouioua，K.（2011年）。Localsolver 1.x：用于0-1编程的黑盒本地搜索解算器。4OR，9（3），299-316·Zbl 1231.90318号 ·doi:10.1007/s10288-011-0165-9 [14] Bessiere，C.和F.Rossi。(2006). 在P.van Beek和T.Walsh（编辑）中，《约束传播》·Zbl 1234.05022号 [15] Boettcher，S.和Percus，A.（2000年）。大自然的优化方式。人工智能，119（1-2），275-286·Zbl 0949.90075号 ·doi:10.1016/S0004-3702（00）00007-2 [16] Boettcher，S.和Percus，A.（2003）。极值优化：一种进化的局部搜索算法。arXiv:0209030·Zbl 0853.68156号 [17] Bolze，R.（2006）。等：Grid’5000：一个大规模、高度可重构的实验性网格试验台。国际期刊高性能计算。申请书，20（4），481-494·doi:10.1177/1094342006070078 [18] Bordeaux，L.，Hamadi，Y.，Samulowitz，H.（2009）。在C.Boutiler（Ed.）中，大规模并行约束求解的实验。 [19] Caniou，Y.、Codognet，P.、Diaz，D.、Abreu，S.（2011年）。基于并行约束的局部搜索实验（第6622页）。意大利：都灵斯普林格·弗拉格。 [20] Caromel，D.，di Costanzo，A.，Baduel，L.，Matsuoka，S.（2007年）。网格BnB：网格的并行分支和绑定框架。 [21] Chang，W.（1987）。关于Costas数组定义的备注。程序。IEEE，75（4），522-523·doi:10.1109/PROC.1987.13761 [22] Chen，Y.W.，Zhu，Y.J.，Yang，G.K.，Lu，Y.Z.（2011）。非对称旅行商问题的改进极值优化。物理学A：统计力学及其应用，390（23-24），4459-4465·doi:10.1016/j.physa.2011.06.070 [23] Chu，G.，Schulte，C.，Stuckey，P.（2009）。在I.Gent（Ed.）中，并行约束编程中基于置信度的工作窃取·Zbl 1188.94028号 [24] Chu，G.和Stuckey，P.（2008）。MiniSAT 2.0的并行化。 [25] Codognet，P.和Diaz，D.（2001年）。还有另一种约束求解的局部搜索方法：Springer Verlag·兹比尔1054.68646 [26] Codognet，P.和Diaz，D.（2003年）。在T.Ibaraki（Ed.）中，使用本地搜索解决CSP的高效库。 [27] Costas，J.（1984年）。具有接近理想距离-多普勒模糊特性的检测波形研究。程序。IEEE，72（8），996-1009·doi:10.1109/PROC.1984.12967 [28] Crainic，T.、Gendreau，M.、Hansen，P.、Mladenovic，N.（2004）。中位数的合作并行变量邻域搜索。《启发式杂志》，10（3），293-314·doi:10.1023/B:HEUR.0000026897.40171.1a [29] Crainic，T.和Toulouse，M.（2002年）。平行元神经学专刊。《启发式》，8（3），247-388·doi:10.1023/A:1015084116772 [30] Diaz，D.、Abreu，S.、Codognet，P.（2012）。针对基于约束的本地搜索的小区宽带引擎。并发与计算：实践与经验，24（6），647-660·doi:10.1002/cpe.1855 [31] Diaz，D.、Richoux，F.、Codognet，P.、Caniou，Y.、Abreu，S.（2012）。costas数组问题的基于约束的局部搜索（p.7219）。法国巴黎：斯普林格出版社·Zbl 1316.90040号 [32] Drakakis，K.（2006年）。costas阵列综述。J.应用。数学。，2006, 1-32. ·Zbl 1188.94028号 ·doi:10.1155/JAM/2006/26385 [33] Drakakis，K.、Gow，R.、Rickard，S.（2008）。costas数组中的距离向量·Zbl 1231.05035号 [34] Drakakis，K.、Iorio，F.、Rickard，S.（2011年）。28阶costas数组的枚举及其结果。传播数学进展，5（1），69-86·Zbl 1227.05037号 ·doi:10.3934/amc.2011.5.69 [35] Drakakis，K.、Iorio，F.、Rickard，S.、Walsh，J.（2011）。29阶costas数组的枚举结果。传播数学进展，5（3），547-553·兹比尔1234.05022 ·doi:10.3934/amc.2011.5.547 [36] Galinier，P.，&Hao，J.K.（2000年）。通过局部搜索求解约束的一种通用方法。德国：帕德博恩·Zbl 1076.68071号 [37] Gendron，B.和Crainic，T.（1994）。并行分枝定界算法：综述与综合。操作。研究，42（6），1042-1066·Zbl 0824.90096号 ·doi:10.1287/opre.42.6.1042 [38] Gent，I.和Walsh，T.（1999）。CSPLIB：一个用于约束的基准库：Springer Verlag·Zbl 1012.68795号 [39] Golomb，S.（1984）。Costas阵列的代数构造。组合理论杂志A辑，37（1），13-21·Zbl 0547.05020号 ·doi:10.1016/0097-3165（84）90015-3 [40] Golomb，S.和Taylor，H.（1984年）。Costas阵列的构造和性质。程序。IEEE，72（9），1143-1163·Zbl 1200.05043号 ·doi:10.1109/PROC.1984.12994 [41] Gomes，C.和Sellmann，M.（2004）。在M.Wallace（编辑）中，流线型约束推理：Springer Verlag·Zbl 1152.68556号 [42] (2007). 在Gonzalez，T.（Ed.），近似算法和元启发式手册：Chapman和Hall/CRC·Zbl 1138.90001号 [43] Hamadi，Y.、Jabbour，S.、Sais，L.（2009年）。ManySAT：一个并行SAT解算器。可满足性杂志。布尔建模与计算，6245-262·Zbl 1193.68227号 [44] Hoos，H.和Stützle，T.（1998年）。评估拉斯维加斯算法：陷阱和补救措施：摩根考夫曼·Zbl 0782.90054号 [45] Hoos，H.和Stützle，T.（1999）。针对卫星Artif的随机局部搜索算法的行为特征。整数。，112（1-2）、213-232·Zbl 0996.68069号 ·doi:10.1016/S0004-3702（99）00048-X [46] Hutter，F.、Hoos，H.、Leyton Brown，K.（2010年）。竞争算法设计实证评估中的权衡。安。数学。Artif公司。整数。，60(1-2), 65-89. ·doi:10.1007/s10472-010-9191-0 [47] Ibaraki，T.、Nonobe，K.、Yagiura，M.（2005）。（编辑）元启发式：Springer Verlag。 [48] Kadioglu，S.和Sellmann，M.（2009年）。辩证法搜索：Springer Verlag。 [49] Kautz，H.、Sabharwal，A.、Selman，B.（2008）。在A.Biere，M.Heule，H.van Maaren，T.Walsch（编辑），不完整算法。 [50] Chassin de Kergommeaux，&J.，Codognet P.（1994）。并行逻辑编程系统。ACM计算调查，26（3），295-336。 [51] Maneva，E.和Sinclair，A.（2008）。随机3-SAT公式解的可满足阈值和聚类。西奥。计算。科学。，407(1-3), 359-369. ·Zbl 1152.68052号 ·doi:10.1016/j.tcs.2008.06.053 [52] Martins，R.、Manquinho，V.、Lync，I.（2012年）。并行SAT求解概述。约束，17，304-347·Zbl 1309.90057号 ·doi:10.1007/s10601-012-9121-3 [53] Michel，L.，See，A.，Van Hentenryck，P.（2006）。在F.Benhamou（Ed.）中，分布式基于约束的本地搜索：Springer Verlag·Zbl 1160.68556号 [54] Michel，L.，See，A.，Van Hentenryck，P.（2007年）。在C.Bessiere（Ed.）中，透明地并行化约束程序：Springer Verlag。 [55] Michel，L.，See，A.，Van Hentenryck，P.（2009年）。comet中的并行和分布式本地搜索。计算。操作。决议，36，2357-2375·Zbl 1179.90288号 ·doi:10.1016/j.cor.2008.08.014 [56] Minton，S.、Johnston，M.、Philips，A.、Laird，P.（1992年）。最小化冲突：一种用于约束满足和调度问题的启发式修复方法。Artif公司。整数。，58(1-3), 161-205. ·Zbl 0782.90054号 ·doi:10.1016/0004-3702（92）90007-K [57] Moisan，T.、Gaudreault，J.、Quimper，C.G.（2013）。在C.Schulte（Ed.）的《基于差异的并行搜索：Springer》中·Zbl 1407.68459号 [58] Ohmura，K.（2009）。Ueda，K.：c-SAT：集群的并行SAT解算器：Springer Verlag。 [59] Orue，A.、Alvarez，G.、Guerra，A.、Pastor，G.，Romera，M.、Montoya，F.（2010年）。Trident，一种基于耦合混沌映射的新型伪随机数生成器。CoRR abs/10082345·兹比尔1209.94047 [60] Pardalos，P.、Pitsoulis，L.、Mavridou，T.、Resende，M.（1995）。组合优化的并行搜索：遗传算法、模拟退火、禁忌搜索和GRASP。 [61] 佩德罗，V.（2012）。层次化多处理器系统上的约束编程。埃沃拉大学：博士论文。 [62] Perron，L.（1999）。约束编程中的搜索过程和并行性：Springer Verlag。 [63] Régin，J.C.，Rezgui，M.，Malapert，A.（2013）。在C.Schulte（Ed.）中，尴尬的平行搜索：Springer Verlag·Zbl 1401.68292号 [64] Ribeiro，C.，Rosseti，I.，Vallejos，R.（2012）。利用运行时分布比较顺序和并行随机局部搜索算法。《全局优化杂志》，54，405-429·Zbl 1259.90115号 ·doi:10.1007/s10898-011-9769-z [65] Rickard，S.和Healy，J.（2006年）。costas数组的随机搜索。美国新泽西州：普林斯顿·Zbl 1184.05002号 [66] Russo，J.、Erickson，K.、Beard，J.（2010）。Costas阵列搜索技术，最大限度地利用回溯和对称性。CISS第1-8页。 [67] 舒伯特，T.，刘易斯，M.，贝克尔，B.（2009）。PaMirXT：使用线程和消息传递的并行SAT求解。可满足性杂志。布尔建模与计算，6203-222·Zbl 1190.68057号 [68] Simonis，H.传播极限（科斯塔斯阵列）。网址：http://4c.ucc.ie/hsimonis/ELearning/costas/handout.pdf·Zbl 1063.94548号 [69] Truchet，C.（2004）。约束、本地搜索和计算机辅助音乐创作。法国：巴黎第七大学博士论文。 [70] Truchet，C.、Richoux，F.、Codognet，P.（2013）。J.Dongarra和Y.Robert（编辑），《拉斯维加斯算法的并行加速预测》。 [71] Van Hentenryck，P.（1989）。逻辑编程中的约束满足：麻省理工学院出版社。 [72] Van Hentenryck，P.和Michel，L.（2005年）。基于约束的本地搜索：麻省理工学院出版社·Zbl 1160.68556号 [73] Van Luong，T.、Melab，N.、Talbi，E.G.（2010年）。图形处理单元上的局部搜索算法：Springer Verlag。 [74] Verhoeven，M.（1996）。并行本地搜索。博士论文。荷兰：埃因霍温大学·Zbl 0841.90106号 [75] Verhoeven，M.和Aarts，E.（1995年）。并行本地搜索。启发式杂志，1（1），43-65·Zbl 0853.68156号 ·doi:10.1007/BF02430365 [76] Xiang，T.、Liao，X.、Wong，K.（2007）。一种结合分段线性混沌映射的改进粒子群优化算法。应用数学与计算，190（2），1637-1645·Zbl 1122.65363号 ·doi:10.1016/j.amc.2007.02.103 [77] Xie，F.和Davenport，A.（2010年）。超级计算机大规模并行约束编程：挑战和初步结果：Springer。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。