×
Jean-Guillaume Fages；泽维尔·洛卡；卢梭，路易斯·马丁

推销员和树：在CP中搜索的重要性。 （英语） Zbl 1334.90143号

约束条件 21，第2期，145-162（2016）.
旅行商问题（TSP）是一个具有挑战性的CP和OR优化问题，具有许多工业应用。它对度约束最小生成树问题（DCMSTP）的推广正被OR社区深入研究。特别是，TSP的经典求解技术正在逐步推广到DCMSTP。最近关于基于成本的放松的工作改进了TSP的CP模型。然而，针对这些问题，CP搜索策略尚未得到广泛研究。本文的贡献有两方面。我们首先将加权循环约束（WCC）的自然推广引入DCMSTP。然后，我们对各种搜索策略进行了广泛的实证评估。特别是，我们表明，通过对最先进的“最后冲突”启发式的图形解释，可以实现显著的改进。

引用于2文件

MSC公司：

90C27型 组合优化
90立方厘米 涉及图形或网络的编程

关键词：

约束编程；搜索；全局约束；运筹学；旅行推销员问题

软件：

TSPTW公司；协和式飞机；LKH公司
PDF格式BibTeX公司 XML格式引用
\textit{J.-G.Fages}等人，《约束21》，第2期，145--162（2016；Zbl 1334.90143）
全文： DOI程序 哈尔

参考文献：

[1] Andrade，R.、Lucena，A.、Maculan，N.（2006年）。利用拉格朗日对偶信息生成度约束生成树。离散应用数学，154（5），703-717·Zbl 1120.90067号 ·doi:10.1016/j.dam.2005.06.011
[2] Benchimol，P.、van Hoeve，W.J.、Régin，J.-C.、Rousseau，L.-M.、Rueher，M.（2012）。改进了加权电路约束的滤波。约束，17（3），205-233·Zbl 1309.90115号 ·文件编号：10.1007/s10601-012-9119-x
[3] 协和式TSP求解器。http://www.tsp.gatech.edu/concorde.html。 ·Zbl 1185.68645号
[4] da Cunha，A.S.和Lucena，A.（2007）。度约束最小生成树问题的上下界。网络，50（1），55-66·Zbl 1119.90069号 ·doi:10.1002/net.20166
[5] da Cunha，A.S.和Lucena，A.（2008）。针对度约束最小生成树问题，提出了一种松驰-截/分枝-截混合算法。技术报告，里约热内卢联邦大学·Zbl 0969.90073号
[6] Dooms，G.，Deville，Y.，Pierre，D.（2005）。CP（Graph）：在约束编程中引入图形计算领域。《约束编程的原理与实践》，CP，第3709卷，第211-225页·Zbl 1153.68457号
[7] Focacci，F.、Lodi，A.、Milano，M.（1999）。基于成本的域过滤（Cost-based domain filtering），载于《计算机科学讲义》第1713卷（第189-203页）：Springer·Zbl 1310.05144号
[8] Focacci，F.、Lodi，A.、Milano，M.（2002）。在求解TSP和TSPTW的全局约束中嵌入松弛。数学与人工智能年鉴，34（4），291-311·Zbl 1002.68159号 ·doi:10.1023/A:1014492408220
[9] Focacci，F.、Lodi，A.、Milano，M.（2002年）。面向优化的全局约束。约束，7（3-4），351-365·Zbl 1028.68024号 ·doi:10.1023/A:1020589922418
[10] Francis，K.G.和Stuckey，P.J.（2013）。解释电路传播。约束，19，1-29·Zbl 1310.05144号 ·doi:10.1007/s10601-013-9148-0
[11] Maria，J.、de la Banda，G.、Stuckey，P.J.、Wazny，J.（2003）。查找所有最小不可满足子集。PPDP，第32-43页·Zbl 1119.90069号
[12] Haralick，R.M.和Elliott，G.L.（1979年）。提高约束满足问题的树搜索效率。摘自：第六届国际人工智能联合会议论文集-第1卷，IJCAI’79，（第356-364页）：Morgan Kaufmann Publishers Inc·Zbl 1120.90067号
[13] Held，M.和Karp，R.M.（1971）。旅行商问题与最小生成树：第二部分。数学规划，1，6-25·Zbl 0232.90038号 ·doi:10.1007/BF01584070
[14] Helsgaun，K.（2000年）。有效地实施了林克尼汉旅行推销员的启发式。欧洲运筹学杂志，126（1），106-130·兹比尔0969.90073 ·doi:10.1016/S0377-2217（99）00284-2
[15] Lecoutre，C.、Sais，L.、Tabary，S.、Vidal，V.（2009年）。从约束编程中的最后一个冲突进行推理。人工智能，173（18），1592-1614·Zbl 1185.68645号 ·doi:10.1016/j.artint.2009.09.002
[16] Le Pape，C.、Perron，L.、Régin，J.-C.、Shaw，P.（2002）。网络设计问题的稳健并行解决。《约束编程的原理与实践》，CP，第2470卷，第633-648页·Zbl 1185.68645号
[17] Régin，J.-C.（2004）。教程：约束编程中的建模问题。《约束编程原理与实践》，CP。
[18] Régin，J.-C.（2008）。加权生成树约束的简单增量一致性检查和弧一致性过滤算法。《组合优化问题约束编程中AI和OR技术的集成》，CPAIOR，第5015卷，第233-247页·Zbl 1142.68523号
[19] Régin，J.-C、Rousseau，L.-M、Rueher，M.、van Hoeve，W.J.（2010）。重访加权生成树约束。《组合优化问题约束编程中AI和OR技术的集成》，CPAIOR，第6140卷，第287-291页·Zbl 1285.68162号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。