帕斯卡·范·亨特利克;劳伦特·米歇尔;刘丽媛 用于局部搜索的基于约束的组合子。 (英语) Zbl 1102.68460号 限制条件 10,第4期,363-384(2005). 摘要:约束编程最吸引人的特点之一是其丰富的约束语言,用于表达组合优化问题。本文证明了约束规划中的传统组合子对于局部搜索具有天然的对应关系,尽管它们的底层计算模型完全不同。特别是,本文表明,约束组合符,如逻辑和基数运算符、具体化和一级表达式都可以视为可微对象。这些组合器自然支持优雅高效的建模、通用搜索过程和局部搜索的部分约束满足技术。在各种应用上的实验结果证明了组合子的表达性和实用性。 引用于三文件 MSC公司: 68页第10页 搜索和排序 关键词:约束语言;本地搜索;逻辑和基数组合符;差异对象;一级表达式;具体化;搜查程序 软件:彗星;EasyLocal公司++;CPLEX公司;SALSA公司;龙息(DragonBreath);OPL公司;本地化程序 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}等人,约束10,No.4,363--384(2005;Zbl 1102.68460) 全文: 内政部 参考文献: [1] Codognet,C.和Diaz,D.(2001年)。另一种约束求解的局部搜索方法。《随机算法:基础与应用国际研讨会论文集》(SAGA 2001),第73-90页。德国柏林(12月)·Zbl 1054.68646号 [2] Dell'Amico,M.和Trubian,M.(1993年)。将禁忌搜索应用于job-shop调度问题。安·Oper。第41:231–252号决议·兹比尔0771.90056 ·doi:10.1007/BF02023076 [3] Di Gaspero,L.和Schaerf,A.(2002年)。使用EASYLOCAL++编写本地搜索算法。VOß,S.&Woodrubb,D.L.编辑,优化软件类库,马萨诸塞州波士顿Kluwer。 [4] Dotü,I.、Van Hentenryck,P.和Michel,L.(2005)。在当地安排社交高尔夫球手。《第二届组合优化问题约束规划中人工智能与操作规则技术集成国际会议论文集》(CP-AI-OR’05)。布拉格·Zbl 1133.90336号 [5] 弗洛伊德·E(1992)。部分约束满足。Artif公司。智力。58: 21–70. ·Zbl 05472872号 ·doi:10.1016/0004-3702(92)90004-H [6] Galinier,P.,&Hao,J.-K.(2000年)。通过局部搜索求解约束的通用方法。在第二届人工智能和OR技术在组合优化问题约束规划中的集成国际研讨会论文集(CP-AI-OR'00),第57-69页。德国帕德博恩(三月)。 [7] Harvey,W.和Stuckey,P.(2003)。通过更改约束表示改进线性约束传播。约束条件,8(2):173–207·Zbl 1039.68119号 ·doi:10.1023/A:1022323717928 [8] Ilog Solver 4.4。(1998). 参考手册。Ilog SA,法国Gentilly。 [9] Johnson,D.、Aragon,C.、McGeoch,L.和Schevon,C.(1989)。模拟退火优化:实验评价;第一部分,图划分。操作。第37(6)号决议:865–893·Zbl 0698.90065号 ·doi:10.1287/opre.37.6.865 [10] Laburthe,F.和Caseau,Y.(1998年)。SALSA:搜索算法语言。在第四届约束编程原理与实践国际会议(CP'98)上。比萨(10月)·Zbl 1020.68028号 [11] Michel,L.和Van Hentenryck,P.(2000年)。本地化。约束。5: 41–82. ·Zbl 0988.90015号 ·doi:10.1023/A:1009818401322 [12] Michel,L.和Van Hentenryck,P.(2002年)。用于本地搜索的基于约束的体系结构。在面向对象编程系统、语言和应用会议上,第101-110页。西雅图(11月)。 [13] Michel,L.和Van Hentenryck,P.(2004)。仓库位置的简单禁忌搜索。欧洲药典。第157(3)号决议:576–591·Zbl 1067.90054号 ·doi:10.1016/S0377-2217(03)00247-9 [14] Minton,S.、Johnston,M.D.和Philips,A.B.(1990年)。使用启发式修复方法解决大规模约束满足和调度问题。《第八届全国人工智能会议论文集》(AAAI-90),第17-24页。波士顿(八月)。 [15] Nareyek,A.(1998)。基于约束的代理。柏林斯普林格·弗拉格·Zbl 0968.68559号 [16] Nareyek,A.(2004)。龙呼吸。www.ai-center.com/projects/dragonbreath/。。 [17] Petit,T.、Regin,J.-C.和Bessiere,C.(2001)。过约束问题的特定过滤算法。《第七届约束编程原理与实践国际会议论文集》(CP'01),第451-463页。塞浦路斯帕福斯(11月)。 [18] Prestwich,S.D.(2002)。用于局部搜索的超对称建模。在第二届约束满足问题对称性国际研讨会上·Zbl 1013.90104号 [19] Prestwich,S.D.(2003)。建模技术对搜索性能的负面影响。安·Oper。第118号决议:137-150·Zbl 1026.90109号 ·doi:10.1023/A:1021809724362 [20] Ramalingam,G.(1993年)。有界增量计算。博士论文。威斯康星大学麦迪逊分校·Zbl 0921.68050号 [21] Selman,B.、Kautz,H.和Cohen,B.(1994年)。改进局部搜索的噪音策略。《第十一届全国人工智能会议记录》(AAAI-94),第337-343页。西雅图(7月)。 [22] Shaw,P.、De Backer,B.和Furnon,V.(2002年)。改进了CP工具包的本地搜索。安·Oper。第115号决议:31–50·Zbl 1011.90036号 ·doi:10.1023/A:1021188818613 [23] Van Hentenryck,P.(2002年)。OPL.INFORMS J.Compute中的约束和整数编程。14(4): 345–372. ·Zbl 1238.90102号 ·doi:10.1287/ijoc.14.4.345.2826 [24] Van Hentenryck,P.和Deville,Y.(1991年)。基数运算符:一种新的逻辑连接词及其在约束逻辑编程中的应用。在第八届逻辑编程国际会议(ICLP-91)中,第745-759页。法国巴黎(六月)。 [25] Van Hentenryck,P.和Michel,L.(2003)。控制本地搜索的抽象。在《第九届约束编程原理与实践国际会议论文集》,第65-80页。爱尔兰科克·Zbl 1084.68033号 [26] Van Hoeve,W.J.、Pesant,G.和Rousseau,L.-M.(2004)。关于全球变暖(软化全球约束)。第六届优惠与软约束国际研讨会论文集,加拿大多伦多(9月)·Zbl 1100.68623号 [27] Voss,S.和Woodruff,D.(2002)。优化软件类库。Kluwer学术出版社·Zbl 1055.68044号 [28] Voudouris,C.和Tsang,E.(1996年)。部分约束满足问题和引导局部搜索。《约束技术实际应用国际会议论文集》(PACT-96),第337-356页。伦敦(4月)。 [29] Walser,J.(1998)。通过局部搜索进行整数优化。斯普林格·弗拉格。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。