×
克里斯蒂安·舒尔特；塔克，吉多

基于视图的传播算子派生。 （英语） 兹比尔1328.68202

约束条件 18，第1期，75-107（2013）.
摘要：在为约束实现传播器时，必须确定变量：在实现min时，是否也应该实现max？是否应该使用单位系数和非单位系数实现线性约束？约束变量无处不在：实现它们需要相当大的努力（如果不是禁止性的话）并降低可维护性，但与诉诸约束分解相比，它将提供更好的性能。本文介绍了如何使用视图到得到传播器变体，将专用传播器实现的效率与分解的简单性和轻松性相结合。介绍了视图和派生传播器的模型。导出的传播子被证明是很 完美因为它们继承了正确性、域和边界一致性等基本属性。开发了系统地推导传播子的技术，如变换、泛化、专门化和类型转换。本文介绍了一种独立于底层约束编程系统的视图实现体系结构。对Gecode中实现的视图的详细评估表明，派生传播器是有效的，视图通常不会产生任何开销。事实证明，视图对于实现Gecode至关重要，大大减少了需要编写和维护的代码量。

引用于5文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

约束传播；约束求解器实现；视图；参数传播器

软件：

迷你们；Gecode公司；超小卫星；立方厘米（FD）；SICStus公司；CaSPER公司；OR-醇；哈斯克尔；CPLEX公司；莫扎特；乔科
PDF格式BibTeX公司 XML格式引用
\textit{C.Schulte}和\textit{G.Tack}，约束18，No.1，75--107（2013；Zbl 1328.68202）
全文： 内政部 arXiv公司

参考文献：

[1] Apt，K.R.（2003）。约束编程原理。剑桥大学出版社，英国剑桥·Zbl 1187.68132号
[2] Baptiste，P.，Le Pape，C.，Nuijten，W.（2001）。基于约束的调度。运筹学国际系列；管理科学。Kluwer学术出版社·邮编1094.90002
[3] Beeri，C.，Fagin，R.，Maier，D.，Yannakakis，M.（1983年）。关于非循环数据库方案的可取性。美国医学会杂志，30（3），479–513·Zbl 0624.68087号 ·doi:10.145/2402.322389
[4] Beldiceanu，N.、Katriel，I.、Thiel，S.（2004）。相同约束的过滤算法。雷金，J.C；Rueher，M.（Eds.），组合优化问题约束规划中人工智能和OR技术的集成，LNCS，（第3011卷，第65-79页）。斯普林格·Zbl 1094.68637号
[5] Carlsson，M.、Ottosson，G.、Carlson，B.（1997）。开放式有限域约束求解器。Glaser，H.、Hartel，P.H.、Kuchen，H.（编辑），《编程语言：实现、逻辑和程序》，LNCS（第1292卷，第191-206页）。英国南安普敦施普林格。
[6] CHOCO团队（2012年）。CHOCO公司。http://www.emn.fr/z-info/choco-solver/。2012年11月查阅。
[7] Choi，C.W.，Harvey，W.，Lee，J.H.M.，Stuckey，P.J.（2006）。重新审视有限域边界一致性。在Sattar，A.，&；Kang，B.H.（编辑），AI 2006：人工智能进展，LNCS（第4304卷，第49-58页）。斯普林格。
[8] Correia，M.（2010年）。约束求解的现代技术：CaSPER经验。里斯本新大学博士论文。
[9] 科雷亚，M.，&；Barahona，P.（2009）。代数约束的类型参数编译。Lopes，L.S.，Lau，N.，Mariano，P.，Rocha，L.M.（编辑），EPIA，LNCS（第5816卷，第201-212页）。斯普林格。
[10] Driesen，K.，&；Hölzle，U.（1996）。C语言中虚拟函数调用的直接成本++. 在OOPSLA中（第306–323页）。
[11] ECL i PS e项目（2012年）。ECL i PS e。www.eclipse-clp.org。2012年11月访问
[12] Eén，n.和；Sörensson，N.（2004）。可扩展SAT解决方案。在Giunchiglia，E.，&；Taccella，A.（编辑），《可满足性测试的理论与应用》，LNCS（第2919卷，第502-518页）。圣玛格丽塔·利古尔，意大利：斯普林格·Zbl 1204.68191号
[13] Feydy，T.和；斯塔基，P.J.（2009）。重新设计了懒惰子句生成。Gent，I.P.（Ed.），第十五届约束规划原理与实践国际会议，LNCS（第5732卷，第352-366页）。斯普林格。
[14] Gent，I.P.，Jefferson，C.，Miguel，I.（2006）。仆从：一个快速可伸缩的约束求解器。在Brewka，G.、Coradeschi，S.、Perini，A.、Traverso，P.（编辑）、ECAI《人工智能和应用的前沿》（第141卷，第98-102页）中。IOS出版社。
[15] Gent，I.P.，Jefferson，C.，Miguel，I.（2006）。观察Minion中约束传播的文本。在Benhamou，F.（Ed.），第十二届约束规划原理和实践国际会议上，LNCS（第4204卷，第182-197页）。法国南特：斯普林格。
[16] Gervet，C.（1994）。Conjunto：具有有限集域的约束逻辑编程。Bruynooghe，M.（Ed.），逻辑编程国际研讨会（第339-358页）。美国纽约州伊萨卡：麻省理工学院出版社。
[17] 谷歌（2012）。谷歌或tools。http://code.google.com/p/or-tools/。2012年11月查阅。
[18] 戈斯林，J.，乔伊，B.，斯蒂尔，G.，布拉查，G.（2005）。Java语言规范，第三版。Addison-Wesley Professional公司·兹比尔0865.68001
[19] 哈维·W·；Stuckey，P.J.（2003）。通过更改约束表示改进线性约束传播。约束，7173–207·Zbl 1039.68119号 ·doi:10.1023/A:1022323717928
[20] Hawkins，P.，Lagoon，V.，Stuckey，P.J.（2005）。使用ROBDD解决集合约束满足问题。《人工智能研究杂志》，24109-156·Zbl 1080.68666号 ·doi:10.1007/s10462-005-4607-7
[21] Hölzle，U.，&；Ungar，D.（1994）。使用运行时类型反馈优化动态调度的调用。在PLDI’94：1994年ACM SIGPLAN会议关于编程语言设计和实现的会议记录（第326–336页）。美国纽约州纽约市：ACM。doi:10.1145/178243.178478。
[22] IBM Corporation（2009）。IBM ILOG CP Optimizer V2.3用户手册。
[23] Laburthe，F.（2000年）。Choco：实现CP内核。在Beldiceanu，N.、Harvey，W.、Henz，M.、Laburthe，F.、Monfroy，E.、T.Müller、Perron，L.、Schulte，C.（编辑），《TRICS:实施约束编程系统的技术》，CP 2000会后研讨会（第71–85页）。
[24] 拉格维斯特，M.Z.，&amp；Pesant，G.（2008）。用规则约束建模不规则形状放置问题。在2008年BPPC关于箱子包装和放置约束的第一次研讨会上。
[25] Lagerkvist，M.Z.，&；Schulte，C.（2009）。传播者群体。摘自：Gent，I.P.（Ed.），第十五届约束规划原理与实践国际会议，LNCS（第5732卷，第524-538页）。斯普林格。
[26] Mackworth，A.（1977年）。关系网络的一致性。人工智能，8（1），99-118·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8
[27] Milner，R.、Tofte，M.、MacQueen，D.（1997）。标准ML的定义。美国马萨诸塞州坎布里奇：麻省理工学院出版社。
[28] 莫扎特联盟（2012年）。莫扎特的编程系统。www.mozart-oz.org。2012年11月查阅。
[29] Peyton Jones，S.L.（2003年）。哈斯克尔98。函数编程杂志，13（1），1–255·Zbl 1067.68041号 ·doi:10.1017/S0956796803004787
[30] Puget，J.F.（1992年）。PECOS：一种高级约束编程语言。《第一届新加坡智能系统国际会议（SPICIS）论文集》（第137-142页）。新加坡。
[31] Puget，J.F.（1994年）。A和C++实施CLP。第二届新加坡智能系统国际会议（SPICIS）论文集（第B256–B261页）。新加坡。
[32] Puget，J.F.（1998年）。alldiff约束的界一致性的快速算法。第十五届全国人工智能会议论文集（第359-366页）。美国威斯康星州麦迪逊：AAAI出版社。
[33] Quimper，C.G.（2006年）。全局约束的高效传播器。加拿大滑铁卢大学博士论文·兹比尔1160.68560
[34] 雷金，J.C.（1994）。一种用于CSP中差异约束的滤波算法。第十二届全国人工智能会议记录（第362-367页）。美国华盛顿州西雅图：AAAI出版社。
[35] Schulte，C.，&；Carlsson，M.（2006）。有限域约束编程系统。在Rossi，F.、van Beek，P.、Walsh，T.（编辑）《约束规划手册》（第14章，第495-526页）中。荷兰阿姆斯特丹：爱思唯尔科学出版社。
[36] Schulte，C.，&；Stuckey，P.J.（2005）。边界和域传播何时会导致相同的搜索空间？编程语言与系统学报，27（3），388-425·Zbl 05459334号 ·doi:10.1145/1065887.1065889
[37] 舒尔特，C.，&amp；Stuckey，P.J.（2008）。高效的约束传播引擎。编程语言与系统学报，31（1），2:1–2:43·Zbl 05517454号 ·doi:10.1145/1452044.1452046
[38] Schulte，C.，&；Tack，G.（2009年）。弱单调传播子。Gent，I.P.（Ed.），第十五届约束规划原理与实践国际会议，LNCS（第5732卷，第723-730页）。斯普林格。
[39] Schulte，C.、Lagerkvist，M.、Tack，G.（2012年）。Gecode公司。www.gecode.org。2012年11月查阅。
[40] 瑞典计算机科学研究所（2012）。SICStus序言。www.sics.se/sicstus/。2012年11月查阅·Zbl 1244.68016号
[41] Van Hentenryck，P.，Saraswat，V.A.，Deville，Y.（1998年）。约束语言cc（FD）的设计、实现和评估。逻辑编程杂志，37（1-3），293–316·Zbl 0920.68026号
[42] 维利姆，P.（2004）。一元资源约束的O（n log n）滤波算法。雷金，J.C；Rueher，M.（Eds.），组合优化问题约束规划中AI和OR技术的集成，LNCS（第3011卷，第335-347页）。斯普林格·Zbl 1094.90566号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。