×
Van Cauwelaert，萨沙;米歇尔·伦巴第;皮埃尔·绍斯

全球约束在实践中的效率如何？一个公平的实验框架。 （英语） 兹比尔1394.90431

约束条件 23，第1号，87-122（2018）.
摘要：传播是最核心的，它可以提供一些迹象：只要搜索空间的减少不被运行传播器的成本所抵消，它就可以显著提高性能。CP社区的许多研究工作都是为了改进这种权衡。虽然实验评估在这里最为重要，但没有系统和灵活的方法来衡量给定（新）过滤程序提供的确切好处。这项工作通过重放搜索树来获得更真实的评估，提出了这样一个框架。减少传播开销主要通过1）设计更有效的算法或2）使用在线控制策略来限制传播方激活，即减少传播方调用数量的机制来实现。在这两种情况下，取得改进都是一个漫长而艰巨的过程，结果不确定。我们提出了一种方法，在实际开始研究之前评估这两种方法的潜在收益，为社区提供了一种最佳指导研究工作的工具。为了可视化实际全球约束的好处及其改进潜力，我们建议使用性能配置文件。我们的方法适用于众所周知的全球约束：都不一样,累计,垃圾箱包装和一元的（带有过渡时间）。

引用于1文件

MSC公司：

90立方厘米 整数编程

关键词：

约束编程;传播者;全局约束;评价;分析;都不一样;累计;垃圾箱包装;一元资源;性能配置文件

软件：

奥斯卡;Oz探险家;欧兹;PSPLIB公司;BL数据集;TSPLIB公司;炸薯条
PDF格式BibTeX公司 XML格式引用
\textit{S.Van Cauwelaert}等人，《限制条件》23，第1期，87-122（2018；Zbl 1394.90431）
全文： 内政部

参考文献：

[1] Aggoun，A.和Beldiceanu，N.（1993年）。扩展CHIP以解决复杂的调度和布局问题。数学与计算机建模，17（7），57-73·doi:10.1016/0895-7177（93）90068-A
[2] Ait-Kaci，H.和Des Flambertins，F.（1999）。沃伦的抽象机器——教程重建（第114页）。剑桥：麻省理工学院出版社剑桥·Zbl 1204.68188号
[3] Baptiste，P.和Le Pape，C.（2000年）。用于高度分离和高度累积的项目调度问题的约束传播和分解技术。约束，5（1-2），119-139·Zbl 0941.90030号 ·doi:10.1023/A:1009822502231
[4] Baptiste，P.、Le Pape，C.和Nuijten，W.（2001）。基于约束的调度：将约束编程应用于调度问题。国际运筹学与管理学系列（第39卷）。柏林施普林格·邮编1094.90002
[5] Beldiceanu，N.和Contejean，E.（1994年）。在CHIP中引入全局约束。数学与计算机建模，20（12），97-123·Zbl 0816.68048号 ·doi:10.1016/0895-7177（94）90127-9
[6] Benhamou，F.（1996）。异构约束求解。在代数和逻辑编程国际会议上（第62-76页）。柏林施普林格·Zbl 1355.68030号
[7] Bergman，D.、Ciré，A.A.和van Hoeve，W.J.（2014）。序列约束的MDD传播。《人工智能研究杂志》（JAIR），50697-722·Zbl 1366.68072号
[8] Bergman，D.、Cire，A.A.、van Hoeve，W.J.和Hooker，J.（2016）。用于优化的决策图。施普林格国际出版公司·Zbl 06653190号
[9] Berthold，T.、Heinz，S.和Schulz，J.（2011年）。能量推理潜力的近似标准。《（计算机）系统中算法的理论与实践》（第229-239页）·Zbl 1325.90035号
[10] Bessière，C.和Debruyne，R.（2005）。最优和次优单点弧一致性算法。在国际人工智能联合会议上（第54-59页）·Zbl 1210.68103号
[11] Bessiere，C.和Régin，J.C.（1997）。一般约束网络的弧一致性：初步结果。在国际人工智能联合会议上（第398-404页）。Citeser。
[12] Bessiere，C.和Van Hentenryck，P.（2003年）。是或不是……一个全局约束。在约束规划原则和实践国际会议上（第789-794页）。柏林施普林格·Zbl 1273.68334号
[13] Brand，S.、Narodytska，N.、Quimper，C.、Stuckey，P.J.和Walsh，T.（2007年）。序列约束的编码。在约束规划原则和实践国际会议上（第210-224页）·Zbl 1145.68507号
[14] Cheng，K.C.K.，&Yap，R.H.C.（2010年）。一种基于MDD的正、负表约束和一些全局约束的广义弧一致性算法。约束，15（2），265-304·Zbl 1204.68188号 ·doi:10.1007/s10601-009-9087-y
[15] Dejemeppe，C.、Van Cauwelaert，S.和Schaus，P.（2015）。具有转换时间的一元资源。在约束规划原则和实践国际会议上（第89-104页）。柏林施普林格·Zbl 1446.90085号
[16] Deransart，P.、Hermenegildo，M.V.和Maluszynski，J.（2000）。约束编程的分析和可视化工具：约束调试。《计算机科学讲义》（第1870卷）。柏林施普林格·Zbl 0816.68048号
[17] Derrien，A.和Petit，T.（2014）。能量推理相关区间的新特征。在约束规划原则和实践国际会议上（第289-297页）。柏林施普林格·Zbl 1204.68188号
[18] Dincbas，M.、Simonis，H.和Van Hentenryck，P.（1990年）。解决逻辑编程中的大型组合问题。逻辑编程杂志，8（1），75-93·Zbl 0719.68013号 ·doi:10.1016/0743-1066（90）90052-7
[19] Dolan，E.D.和Moré，J.J.（2002）。使用性能配置文件对优化软件进行基准测试。数学规划，91（2），201-213·邮编：1049.90004 ·doi:10.1007/s101070100263
[20] Du Boisberranger，J.、Gardy，D.、Lorca，X.和Truchet，C.（2013）。什么时候值得传播约束？所有不同的概率分析。在分析算法和组合学研讨会上（第80-90页）。SIAM公司·Zbl 1430.68290号
[21] Ducomman，S.、Cambazard，H.和Penz，B.（2016）。加权电路约束的替代滤波：比较tsp的下限和求解tsptw。在AAAI人工智能会议上·Zbl 1366.68072号
[22] Erschler，J.和Lopez，P.（1990年）。时间和资源约束下基于能量的任务调度方法。项目管理和进度安排国际研讨会（第115-121页）。
[23] Focacci，F.、Lodi，A.、Milano，M.和Vigo，D.（1999）。通过整合OR和CP技术解决TSP。离散数学电子笔记，1，13-25·Zbl 0990.90553号 ·doi:10.1016/S1571-0653（04）00002-2
[24] Gay，S.、Hartert，R.、Lecoutre，C.和Schaus，P.（2015）。调度问题的冲突排序搜索。在约束规划原则和实践国际会议上（第140-148页）。斯普林格。
[25] Gay，S.、Hartert，R.和Schaus，P.（2015）。针对累积约束的简单且可扩展的时间表筛选。在约束规划原则和实践国际会议上（第149-157页）。柏林施普林格·Zbl 1459.90093号
[26] Gay，S.、Hartert，R.和Schaus，P.（2015）。累积约束的可时间析取推理。在约束编程中人工智能（AI）和运筹学（OR）技术集成国际会议上（第157-172页）。柏林施普林格·Zbl 1459.90093号
[27] Harvey，W.D.和Ginsberg，M.L.（1995年）。有限的差异搜索。在国际人工智能联合会议上（第607-615页）·Zbl 0941.90030号
[28] van Hoeve，W.J.、Pesant，G.、Rousseau，L.和Sabharwal，A.（2006年）。重新查看序列约束。在约束编程原则和实践国际会议上（第620-634页）·Zbl 1160.68573号
[29] Jefferson，C.、Moore，N.C.、Nightingale，P.和Petrie，K.E.（2010年）。在约束编程中实现逻辑连接词。人工智能，174（16-17），1407-1429·兹比尔1210.68103 ·doi:10.1016/j.artint.2010.07.001
[30] Kolisch，R.、Schwindt，C.和Sprecher，A.（1999）。项目进度问题的基准实例。项目进度安排（第197-212页）。施普林格，柏林。
[31] Langevine，L.、Deransart，P.和Ducassé，M.（2003）。CP（FD）调试工具可移植性的通用跟踪模式。在约束求解和约束逻辑编程国际研讨会上（第171-195页）。柏林施普林格。
[32] Le Pape，C.、Couronné，P.、Vergamini，D.和Gosselin，V.（1994年）。时间-状态-能力在项目计划中有所妥协。英国计划和日程安排研讨会。Citeser·Zbl 1334.90170号
[33] Letort，A.、Beldiceanu，N.和Carlsson，M.（2012年）。累积约束的可缩放扫描算法。在约束规划原则和实践国际会议上（第439-454页）。柏林施普林格·Zbl 1382.68225号
[34] López-Ortiz，A.、Quimper，C.G.、Tromp，J.和Van Beek，P.（2003）。求所有不同约束的边界一致性的快速简单算法。在国际人工智能联合会议上（第3卷，第245-250页）。
[35] McCreesh，C.和Prosser，P.（2015）。使用补充图的并行回跳子图同构算法。在约束规划原则和实践国际会议上（第295-312页）。柏林施普林格。
[36] Müller，T.和Würtz，J.（1995）。oz.in Workshop Logische Programmierung中的构造析取。Citeser。
[37] OscaR团队：OscaR:Scala in OR（2012）。可从以下位置获得https://bitbucket.org/oscarlib/oscar。
[38] Pelsser，F.、Schaus，P.和Régin，J.C.（2013）。重新审视装箱约束的基数推理。在约束规划原则和实践国际会议上（第578-586页）。柏林施普林格。
[39] Pisinger，D.和Ropke，S.（2010年）。大型邻域搜索。在元启发式手册（第399-419页）中。柏林施普林格。
[40] 雷金，J.C.（1994）。CSP中差异约束的过滤算法。在AAAI人工智能会议上（第94卷，第362-367页）·Zbl 0775.90293号
[41] Reinellt，G.（1991年）。旅行推销员问题库。ORSA计算机杂志，3（4），376-384·Zbl 0775.90293号 ·doi:10.1287/ijoc.3.4.376
[42] Schaus，P.（2009年）。用约束编程解决平衡和装箱问题。卢浮天主教大学博士论文·Zbl 0775.90293号
[43] Schulte，C.（1997）。Ozexplorer：可视化约束编程工具。L.Naish（编辑），《第十四届逻辑编程国际会议论文集》（第286-300页）。鲁汶：麻省理工学院出版社。
[44] Schulte，C.（1999）。比较约束编程的拖尾和复制。在逻辑编程国际会议上（第99卷，第275-289页）。
[45] Schulte，C.和Stuckey，P.J.（2005）。边界和域传播何时会导致相同的搜索空间？美国计算机学会程序设计语言与系统汇刊，27（3），388-425·doi:10.1145/1065887.1065889
[46] Schulte，C.和Tack，G.（2009年）。弱单调传播子。在约束规划原则和实践国际会议上（第723-730页）。柏林施普林格。
[47] Shaw，P.（2004）。装箱约束。在约束规划原则和实践国际会议上（第648-662页）。柏林施普林格·Zbl 1152.68586号
[48] Shishmarev，M.、Mears，C.、Tack，G和de la Banda，M.G.（2015）。可视化搜索树分析。在约束编程原理和实践国际会议上。柏林施普林格·兹比尔1334.90170
[49] Shishmarev，M.、Mears，C.、Tack，G和de la Banda，M.G.（2016）。向学习型解决者学习。在约束规划原则和实践国际会议上（第455-472页）。柏林施普林格。
[50] Shishmarev，M.、Mears，C.、Tack，G和de la Banda，M.G.（2016）。可视化搜索树分析。约束，21（1），77-94·Zbl 1334.90170号 ·doi:10.1007/s10601-015-9202-1
[51] Simonis，H.、Davern，P.、Feldman，J.、Mehta，D.、Quesada，L.和Carlsson，M.（2010）。用于CP的通用可视化平台。约束编程原理和实践国际会议（第460-474页）。柏林施普林格。
[52] B.M.史密斯（2005）。约束编程建模。在第一所国际暑期学校关于约束编程的课堂讲稿中。
[53] Tack，G.（2009年）。约束传播——模型、技术、实现。德国萨尔州大学博士论文。
[54] Van Beek，P.（2006）。回溯搜索算法。在《约束编程手册》（第85-134页）中。
[55] Van Cauwelaert，S.、Lombardi，M.和Pierre，S.（2014）。监督学习以控制能量推理：可行性研究。CP2014博士项目论文集。
[56] Van Cauwelaert，S.、Lombardi，M.和Schaus，P.（2015）。了解传播者的潜力。在约束编程中人工智能（AI）和运筹学（OR）技术集成国际会议上（第427-436页）。柏林施普林格·Zbl 1459.68195号
[57] Van Cauwelaert，S.、Lombardi，M.和Schaus，P.（2016）。一个可视化的web工具，用于对优化方法进行假设分析。加州大学卢万分校技术代表。
[58] Van Hentenryck，P.和Dincbas，M.（1987）。逻辑编程中的正向检查。在逻辑编程国际会议上（第229-256页）·Zbl 0623.68006号
[59] 维尔姆，P.（2007）。计划中的全局约束。布拉格查理斯大学数学和物理系，理论计算机科学和数学逻辑系，KTIML MFF，普拉哈卡洛瓦大学，博士论文1。
[60] 沃伦（1983）。抽象Prolog指令集（第309卷）。门罗公园：SRI国际。
[61] Würtz，J.和Müller，T.（1996年）。重新审视建设性分离。Görz，G.，&Hölldobler，S.（编辑）KI-96：人工智能进展。KI 1996年。计算机科学课堂讲稿（人工智能课堂讲稿），（第1137卷，第377386页）。柏林：斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。