×

兹马思-数学第一资源

搜索组合词。(英语) Zbl 1309.90090
摘要:在约束求解器中建立搜索模型的能力是解决组合问题的重要资产。然而,现有的用于定义搜索启发式的基础设施往往是不够的。要么建模能力极为有限,要么用户面对的是一种通用编程语言,其特性并不是为编写搜索启发式而定制的。因此,性能方面的重大改进可能仍有待探索。本文介绍了search combiners,一种轻量级的、独立于解算器的方法,它弥补了概念上简单的搜索建模语言(高级、函数化和自然组合)与高效实现(低级、命令式和高度非模块化)之间的差距。通过允许用户从一小组原语定义应用程序定制的搜索策略,搜索组合器有效地为用户提供了一种丰富的领域特定语言(DSL)来建模搜索。值得注意的是,对于约束求解器的开发人员来说,这种DSL的实现成本很低。本文讨论了两种模块化实现方法,并通过经验评估表明,与在约束求解器中直接实现相比,搜索组合器可以在不增加开销的情况下实现。

理学硕士:
90C27型 组合优化
90度59度 数学规划中的逼近方法和启发式方法
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Baatar,D.,Boland,N.,Brand,S.,Stuckey,P.J.(2011年)。肿瘤放射治疗优化的CP和IP方法。约束,16(2),173–194·Zbl 1213.90271
[2] Boussmart,F.,Hemery,F.,Lecoutre,C.,Sais,L.(2004年)。通过加权约束来促进系统搜索。在R.L.de Mántaras;五十、 Saitta(编辑),《第16届欧洲人工智能会议论文集》,ECAI'2004(第146-150页)。IOS出版社。
[3] Choi,C.W.,Henz,M.,Ng,K.B.(2001年)。搜索的合成框架。在CICLOPS会议记录:约束和逻辑程序设计系统的实现的colloquium,作为技术报告TR-CS-003/2001出现。新墨西哥州立大学·Zbl 1067.68621
[4] 库克,W.R.(1989年)。继承的指称语义。博士。论文,布朗大学。
[5] Cremet,V.,Garillot,F.,Lenglet,S.,Odersky,M.(2006年)。scala类型检查的核心微积分。在R.克拉洛维奇;P、 Urzyczyn(编辑),《2006年计算机科学数学基础》,第31届国际研讨会,MFCS 2006。LNCS(第4162卷,第1-23页)。斯普林格·Zbl 1132.68320型
[6] Desouter,B.(2012年)。scala中的模块化搜索启发式算法。根特大学硕士论文(荷兰语)。
[7] Hamadi,Y.,Monfroy,E.,Saubion,F.(编辑)(2012年)。自主搜索。斯普林格。
[8] 哈维,W.D.,&金斯伯格,M.L.(1995年)。有限差异搜索。第十四届国际人工智能联席会议论文集,IJCAI 95(第607-613页)。摩根·考夫曼。
[9] IBM公司(2011年)。IBM ILOG CP优化器。http://www-01.ibm.com/software/integration/optimization/cplex-cp-optimizer/. 2012年11月访问
[10] Kiczales,G.,Lamping,J.,Menhdhekar,A.,Maeda,C.,Lopes,C.,Loingtier,J.,Irwin,J.(1997年)。面向方面编程。在ECOOP'97-面向对象编程,第11届欧洲会议。LNCS(第1241卷,第220-242页)。斯普林格。
[11] Korf,R.E.(1985年)。深度优先迭代深化:一个最优容许树搜索。人工智能,27,97–109·Zbl 0573.68030
[12] Kuchcinski,K.,&Szymanek,R.(2012年)。Java约束编程求解器。http://www.jacop.eu/. 2012年11月访问
[13] Laburthe,F.,&Caseau,Y.(2002年)。SALSA:一种搜索算法语言。约束,7(3),255–288·Zbl 1020.68028
[14] 万豪,K.,尼日科特,N.,拉菲,R.,斯图基,P.,加西亚·德拉班达,M.,华莱士,M.(2008年)。锌造型语言的设计。约束,13(3),229–267·Zbl 1146.68352
[15] Nethercote,N.,Stuckey,P.,Becket,R.,Brand,S.,Duck,G.,Tack,G.(2007年)。Minizinc:一种标准的CP建模语言。在C.Bessiere(编辑),第十三届约束编程原则与实践国际会议。LNCS(第4741卷,第529-543页)。斯普林格。
[16] 佩伦,L.(1999年)。约束程序设计中的搜索过程与并行性。J.Jaffar(编辑),第五届约束规划原则与实践国际会议。LNCS(第1713卷,第346-360页)。斯普林格。
[17] Rafeh,R.,万豪,K.,de la Banda,M.G.,Nethercote,N.,Wallace,M.(2008年)。添加锌搜索。P.J.Stuckey(编辑),第十四届约束规划原则与实践国际会议。LNCS(第5202卷,第624-629页)。斯普林格·Zbl 1146.68352
[18] 雷法洛,P.(2004年)。基于影响的约束规划搜索策略。M.Wallace(编辑),第十届约束规划原则与实践国际会议。LNCS(第3258卷,第557-571页)。斯普林格·Zbl 1152.68577
[19] Samulowitz,H.,Tack,G.,Fischer,J.,Wallace,M.,Stuckey,P.(2010年)。一种轻量级的标准搜索语言。在第九届国际约束建模与重构研讨会上。http://www.it.uu.se/research/group/astra/ModRef10/programme.html. 2012年11月访问
[20] Schimpf,J.,&Shen,K.(2012年)。日蚀-从LP到CLP。逻辑程序设计理论与实践,12(1-2),127-156·Zbl 1244.68020
[21] Schrijvers,T.,Stuckey,P.J.,Wadler,P.(2009年)。一元约束编程。函数编程杂志,19(6),663–697·Zbl 1184.68166
[22] Schrijvers,T.,Tack,G.,Wuille,P.,Samulowitz,H.,Stuckey,P.(2011年)。搜索组合词。在J.Lee(编辑),第十七届约束规划原则与实践国际会议。LNCS(第6876卷,第774-788页)。斯普林格·Zbl 1309.90090
[23] Schrijvers,T.,Triska,M.,Demoen,B.(2012年)。Tor:带可挂接析取的可扩展搜索。在声明式编程原理与实践(PPDP'12)。ACM公司。
[24] 舒尔特,C.(1997年)。编程约束推理引擎。G.Smolka(编辑),第三届约束规划原则与实践国际会议。LNCS(第1330卷,第519-533页)。斯普林格
[25] Schulte,C.等人(2009年)。通用约束开发环境。http://www.gecode.org/. 2012年11月访问
[26] Sellmann,M.,&Kadioglu,S.(2008年)。约束优化的二分法搜索协议。P.J.Stuckey(编辑),第十四届约束规划原则与实践国际会议。LNCS(第5202卷,第251-265页)。斯普林格。
[27] 斯莫尔卡,G.(1995年)。Oz编程模型。在J.van Leeuwen(编辑),《今日计算机科学》。LNCS(第1000卷,第324-343页)。斯普林格。
[28] 瑞典计算机科学研究所(2008年)。SICStus序言。http://www.sics.se/isl/sicstuswww/site/. 2012年11月访问
[29] Van Hentenryck,P.,&Michel,L.(2005年)。基于约束的局部搜索。麻省理工学院出版社·5890ZB1153
[30] Van Hentenryck,P.,&Michel,L.(2006年)。混合搜索的非确定性控制。约束,11(4),353–373·Zbl 1112.68039
[31] Van Hentenryck,P.,Perron,L.,Puget,J.F.(2000年)。OPL中的搜索与策略。计算逻辑上的ACM事务,1(2),285–315·Zbl 1365.90281号
[32] Wielemaker,J.,Schrijvers,T.,Triska,M.,Lager,T.(2012年)。SWI序言。逻辑程序设计理论与实践,12(1-2),67-96·Zbl 1244.68023
[33] Zhou,N.F.(2012年)。B-Prolog语言特点及体系结构。逻辑程序设计理论与实践,12(1-2),189-218·Zbl 1244.68024号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。