苯硫醇，帕斯卡;威廉·扬·范霍夫;雷金、珍妮·查尔斯;卢梭，路易斯·马汀;米歇尔·鲁赫 改进了加权电路约束的滤波。 （英文） Zbl 1309.90115号 约束条件 17，第3期，205-233（2012）. 摘要：我们在约束规划的背景下研究加权电路约束。在许多实际应用中，特别是布线问题中，它是一个子结构。我们提出了一种加权电路约束的域滤波算法，该算法基于M.持有和R.M.卡普【运营决议18，1138–1162（1970；Zbl 0226.90047号); 数学。程序。1, 6–25 (1971;Zbl 0232.90038号)]. 此外，我们研究了基于附加边界过程的域滤波，该过程将1-树松弛与分配问题松弛相结合。在Traveling Salesman Problem实例上的实验结果表明，我们的过滤算法可以显著减少问题规模。特别是，与现有的约束规划方法相比，搜索树的大小和求解时间可以减少几个数量级。此外，对于中型问题实例，我们的方法与最先进的专用TSP求解器协和式飞机具有竞争力。 引用于8文件 MSC公司： 90立方厘米 涉及图形或网络的编程 90B06型 运输、物流和供应链管理 90立方厘米27 组合优化 关键词：全局约束;电路;优化约束;放松;约束传播 引文：Zbl 0226.90047号;Zbl 0232.90038号 软件：红衣主教;LKH公司;SCIL公司;TSPTW公司;协和式飞机 PDF格式BibTeX公司 XML格式引用 \textit{P.Benchimol}等人，约束17，No.3，205--233（2012；Zbl 1309.90115） 全文： DOI程序 哈尔 参考文献： [1] Althaus，E.、Bockmayr，A.、Elf，M.、Jünger，M.和Kasper，T；Mehlhorn，K.（2002）。SCIL–整数线性规划中的符号约束。在第十届欧洲算法研讨会（ESA）的会议记录中。计算机科学课堂讲稿（第2461卷，第75-87页）。柏林：斯普林格·Zbl 1019.90515号 [2] Applegate，D.L.、Bixby，R.E.、Chvátal，V.和；库克·W·J（2006）。旅行推销员问题：一项计算研究。普林斯顿：普林斯顿大学出版社·Zbl 1130.90036号 [3] Azevedo，F.（2007）。基数：有限集约束解算器。约束，12，93–129·Zbl 1118.68653号 ·doi:10.1007/s10601-006-9012-6 [4] 北卡罗来纳州贝尔迪塞努；Contejean，E.（1994）。在CHIP中引入全局约束。数学与计算机建模，20（12），97–123·Zbl 0816.68048号 ·doi:10.1016/0895-7177（94）90127-9 [5] 贝尔迪卡努，N.，弗莱纳，P.，&；Lorca，X.（2005）。树约束。第四届国际会议论文集，关于组合优化问题约束规划中AI和OR技术的集成（CPAIOR）。计算机科学课堂讲稿（第3524卷，第64-78页）。柏林：斯普林格·Zbl 1133.90403号 [6] Bessiere，C.（2006）。约束传播。在F.Rossi，P.van Beek，&；T.Walsh（编辑），《约束编程手册》（第3章）。阿姆斯特丹：爱思唯尔。 [7] Carpaneto，G.、Dell’Amico，M.和；Toth，P.（1995）。大规模非对称旅行推销员问题的精确解。ACM数学软件汇刊，21（4），394–409·Zbl 0887.65058号 ·数字对象标识代码：10.1145/212066.212081 [8] Carpaneto，G.、Martello，S.和；Toth，P.（1988）。分配问题的算法和代码。《运筹学年鉴》，13（1），191-223·doi:10.1007/BF02288323 [9] Caseau，Y.和；Laburthe，F.（1997年）。解决具有约束的小型TSP。第14届逻辑编程国际会议（ICLP）会议记录（第316-330页）。剑桥：麻省理工学院出版社。 [10] Chazelle，B.（2000年）。一种具有逆阿克曼型复杂度的最小生成树算法。美国医学会杂志，47（6），1028-1047·Zbl 1094.68606号 ·电话：10.1145/355541.355562 [11] Cormen，T.H.、Leiserson，C.E.和；Rivest，R.L.（1990）。算法简介。剑桥：麻省理工学院出版社·Zbl 1158.68538号 [12] Dixon，B.、Rauch，M.和；Tarjan，R.（1992）。线性时间最小生成树的验证和灵敏度分析。SIAM计算机杂志，21（6），1184–1192·Zbl 0760.68032号 ·doi:10.1137/0221070 [13] 末日，G.，&；Katriel，I.（2006）。最小生成树约束。《CP.LNCS学报》（第4204卷，第152-166页）。柏林：斯普林格·Zbl 1160.68544号 [14] Dooms，G.和；Katriel，I.（2007）。“生成树不太重”的约束。第四届国际会议论文集，关于组合优化问题约束规划中AI和OR技术的集成（CPAIOR）。计算机科学课堂讲稿（第4510卷，第59-70页）。柏林：施普林格·Zbl 1214.90121号 [15] Fages，J.-G.，&；Lorca，X.（2011）。重新查看树约束。第17届约束规划原理与实践国际会议论文集。LNCS（第6876卷，第271-285页）。柏林：斯普林格。 [16] Fischetti，M.和；Toth，P.（1989）。组合优化问题的加法定界过程。运筹学，37（2），319-328·Zbl 0676.90049号 ·doi:10.1287/opre.37.2319 [17] Fischetti，M.和；Toth，P.（1992年）。非对称旅行商问题的一个加法定界过程。数学规划，53（1），173-197·Zbl 0773.90082号 ·doi:10.1007/BF01585701 [18] Focacci，F.（2001）。求解约束规划中的组合优化问题。费拉拉大学博士论文。 [19] Focacci，F.、Lodi，A.和；Milano，M.（1999）。基于成本的域过滤。第五届约束编程原理与实践国际会议论文集。计算机科学课堂讲稿（第1713卷，第189-203页）。 [20] Focacci，F.、Lodi，A.和；Milano，M.（2002）。在求解TSP和TSPTW的全局约束中嵌入松弛。数学与人工智能年鉴，34（4），291-311·Zbl 1002.68159号 ·doi:10.1023/A:1014492408220 [21] Focacci，F.、Lodi，A.和；米兰，M.（2002）。TSPTW的混合精确算法。INFORMS计算机期刊，14（4），403–417·Zbl 1238.90054号 ·doi:10.1287/ijoc.14.4.403.2827 [22] Focacci，F.、Lodi，A.、Milano，M.和；Vigo，D.（1999）。通过整合OR和CP技术解决TSP。离散数学电子笔记，1，13–25·兹比尔0990.90553 ·doi:10.1016/S1571-0653（04）00002-2 [23] GençKaya，L.和；胡克，J.N.（2006）。回路约束的过滤器。第十二届约束规划原理与实践国际会议论文集。计算机科学课堂讲稿（第4204卷，第706-710页）。柏林：斯普林格。 [24] Gervet，C.（1993）。符号约束对象的新结构：集合和图形。约束逻辑编程第三次研讨会（WCLP’2003）。 [25] Gervet，C.（2006）。结构化域上的约束。F.Rossi、P.van Beek和；T.Walsh（编辑），《约束编程手册》（第17章）。阿姆斯特丹：爱思唯尔。 [26] Grötschel，M.和；Holland，O.（1991）。大规模对称旅行商问题的求解。数学编程，51，141–202·Zbl 0733.90047号 ·doi:10.1007/BF01586932 [27] Gutin，G.和；Punnen，A.P.（编辑）（2007年）。旅行推销员问题及其变体。柏林：斯普林格·Zbl 1113.90134号 [28] Hold，M.和；Karp，R.M.（1970）。旅行商问题和最小生成树。运筹学，181138–1162·Zbl 0226.90047号 ·doi:10.1287/操作186.1138 [29] Hold，M.和；Karp，R.M.（1971）。旅行推销员问题和最小生成树：第二部分。数学编程，1，6–25·Zbl 0232.90038号 ·doi:10.1007/BF01584070 [30] Helsgaun，K.（2000年）。有效地实施了林克尼汉旅行推销员的启发式。欧洲运筹学杂志，126（1），106–130·Zbl 0969.90073号 ·doi:10.1016/S0377-2217（99）00284-2 [31] Helsgaun，K.（2009年）。Lin-Kernighan TSP启发式的一般k-opt子运动。数学规划计算，1（2），119–163·Zbl 1180.90269号 ·doi:10.1007/s12532-009-0004-6 [32] IBM公司（2010年）。IBM ILOG CP V1.6用户手册。 [33] IBM公司（2010年）。IBM ILOG OPL V12.2用户手册。 [34] Jonker，R.和；Volgenant，T.（1983）。将非对称问题转化为对称旅行商问题。运营研究快报，2（4），161-163·Zbl 0529.90090号 ·doi:10.1016/0167-6377（83）90048-2 [35] Karp，R.M.（1972）。组合问题之间的约简性。R.E.Miller，&；J.W.Thatcher（编辑），《计算机动画的复杂性》（第85-103页）。伦敦：Plenum出版社。 [36] Kilby，P.和；Shaw，P.（2006）。车辆路线。F.Rossi、P.van Beek和；T.Walsh（编辑），《约束规划手册》（第23章）。阿姆斯特丹：爱思唯尔。 [37] 库恩，H.W.（1955）。分配问题的匈牙利方法。海军研究后勤季刊，283-97·兹伯利0143.41905 ·doi:10.1002/nav.3800020109 [38] Lauriere，J.-L.（1978年）。一种描述和解决组合问题的语言和程序。人工智能，10（1），29–127·Zbl 0374.68060号 ·doi:10.1016/0004-3702（78）90029-2 [39] Lodi，A.、Milano，M.和；卢梭，L.-M.（2006）。基于差异的加法边界程序。信息计算杂志，18（4），480-493·Zbl 1241.90083号 ·doi:10.1287/ijoc.1050.0168 [40] 米兰，M.，&；van Hoeve，W.J.（2002）。降低了生成有希望的子问题的基于成本的排名。第八届约束规划原理与实践国际会议论文集。计算机科学课堂讲稿（第2470卷，第1-16页）。柏林：斯普林格。 [41] Pesant，G.、Gendreau，M.、Potvin，J.Y.和；Rousseau，J.M.（1998）。带时间窗的旅行商问题的精确约束逻辑规划算法。运输科学，32（1），12-29·Zbl 0987.90086号 ·doi:10.1287/trsc.32.1.12 [42] Prim，R.C.（1957）。最短连接网络和一些概括。贝尔系统技术期刊，361389-1401·doi:10.1002/j.1538-7305.1957.tb01515.x [43] Puget，J.F.（1992年）。PECOS：一种高级约束编程语言。在新加坡智能系统国际会议（SPICIS）的会议记录中。 [44] Régin，J.-C.（1994）。CSP中差异约束的过滤算法。《第十二届全国人工智能大会论文集》（第1卷，第362-367页）。门罗公园：AAAI出版社。 [45] Régin，J.-C（2008年）。加权生成树约束的简单增量一致性检查和弧一致性过滤算法。第五届国际会议论文集，关于组合优化问题（CPAIOR）约束编程中AI和OR技术的集成。计算机科学讲义（第5015卷，第233–247页）。柏林：斯普林格·Zbl 1142.68523号 [46] Régin，J.-C.（2011）。全球限制：一项调查。在P.Van Hentenryck，&；M.Milano（编辑），《混合优化》（第63–134页）。柏林：斯普林格·Zbl 1206.90181号 [47] Régin，J.-C.，Rousseau，L.-M.，Rueher，M.和；van Hoeve，W.-J.（2010年）。重访加权生成树约束。第七届国际会议论文集，关于组合优化问题约束规划中人工智能和操作规则技术的集成（CPAIOR）。LNCS（第6140卷，第176-180页）。柏林：斯普林格·Zbl 1285.68162号 [48] Sellmann，M.（2004）。基于CP的拉格朗日松弛的理论基础。第十届约束规划原理与实践国际会议论文集。LNCS（第3258卷，第634-647页）。柏林：斯普林格·兹比尔1152.68584 [49] Tarjan，R.（1982）。最小生成树和最短路径树的灵敏度分析。信息处理信函，14（1），30–33·doi:10.1016/0020-0190（82）90137-5 [50] Tarjan，R.E.（1979）。路径压缩在平衡树上的应用。美国医学会杂志，26（4），690-715·Zbl 0413.68063号 ·doi:10.1145/322154.322161 [51] van Hoeve，W.-J.和；Katriel，I.（2006）。全局约束。F.Rossi、P.van Beek和；T.Walsh（编辑），《约束规划手册》（第6章）。阿姆斯特丹：爱思唯尔。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。