×
帕斯卡·范·亨特利克;劳伦特·米歇尔

混合搜索的非确定性控制。 （英语） 兹比尔1112.68039

约束条件 11，第4期，353-373（2006）.
摘要：结合局部搜索和系统搜索的混合算法通常以根本不同的方式使用不确定性。它们在探索搜索树的策略和/或计算状态的表示方式上可能有所不同。本文提出了非确定性控制结构，以简洁优雅地表达各种混合搜索算法。这些非确定性抽象描述了搜索树，并根据一级延续进行编译。它们还由用户控制的搜索控制器进行参数化，并指定状态表示和探索策略。因此，生成的搜索语言是高级的、灵活的和可直接扩展的。这些抽象在结合禁忌搜索和有限形式回溯的jobshop调度算法上进行了说明。初步实验结果表明，控制结构产生的开销很小，通常可以忽略不计。

引用于5文件

MSC公司：

68页第10页 搜索和排序

关键词：

约束语言;本地搜索;混合搜索;不确定性;延续;关闭;解决方案;检查点;搜查程序

软件：

彗星;SALSA公司;OPL公司;工具
PDF格式BibTeX公司 XML格式引用
\textit{P.Van Hentenryck}和\textit{L.Michel}，约束11，No.4，353--373（2006；Zbl 1112.68039）
全文： 内政部

参考文献：

[1] Balas，A.和Vazacopoulos，E.（1998年）。引导本地搜索，转移车间调度的瓶颈。管理。科学。44(2): 262–275. ·Zbl 0989.90057号 ·doi:10.1287/mnsc.44.262
[2] Bent，R.和Van Hentenryck，P.（2004）。带时间窗的车辆路径问题的两阶段混合局部搜索。运输。科学。8(4): 515–530. ·doi:10.1287/trsc.1030.0049
[3] de Givry，S.和Jeannin，L.（2003）。工具：部分和混合搜索方法的库。在加拿大蒙特利尔CP-AI-OR'03·兹比尔1086.90051
[4] Laburthe，F.和Caseau，Y.（1998年）。SALSA：搜索算法语言。98年，意大利比萨·兹比尔1020.68028
[5] Michel，L.和Van Hentenryck，P.（2002年）。用于本地搜索的基于约束的体系结构。在OOPSLA’02中，第101–110页。华盛顿州西雅图。
[6] Michel，L.和Van Hentenryck，P.（2002年）。基于分解的搜索策略实现。ACM事务处理。计算。日志。，5(2): 351–383. ·doi:10.1145/976706.976714
[7] Nowicki，E.和Smutnicki，C.（1996）。针对job-shop问题的快速禁忌搜索算法。管理。科学。42(6): 797–813. ·Zbl 0880.90079号 ·doi:10.1287/mnsc.42.6.797
[8] Perron，L.（1999）。约束编程中的搜索过程和并行性。在CP’99中，第346–360页。弗吉尼亚州亚历山德拉。
[9] Rousseau，L.M.、Gendreau，M.和Pesant，G.（2002）。利用基于约束的算子求解带时间窗的车辆路径问题。启发式杂志，8:43–58·邮编1073.90056 ·doi:10.1023/A:1013661617536
[10] Schulte，C.（1997）。编程约束推理引擎。在CP’97中，第519–533页。奥地利林茨。
[11] Schulte，C.（1999）比较约束编程的拖尾和复制。在ICLP-99中，第275-289页。新墨西哥州拉斯克鲁斯。
[12] Shaw，P.（1998）。使用约束规划和局部搜索方法解决车辆路径问题。在CP’98中，第417-431页。意大利比萨。
[13] Van Hentenryck，P.（1999）。OPL优化编程语言。马萨诸塞州剑桥：麻省理工学院。
[14] Van Hentenryck，P.和Michel，L.（2003）。控制本地搜索的抽象。在CP’03中，第65-80页。爱尔兰科克·Zbl 1084.68033号
[15] Van Hentenryck，P.和Michel，L.（2004）。为本地搜索安排摘要。在CP-AI-OR’04中，第319–334页。不错，法国·Zbl 1094.90565号
[16] Van Hentenryck，P.、Michel，L.和Liu，L.（2004）。用于局部搜索的基于约束的组合子。在CP’04中。加拿大多伦多·Zbl 1152.68589号
[17] Van Hentenryck，P.、Perron，L.和Puget，J-F.（2000）。OPL.ACM Trans.中的搜索和策略。计算。日志。1(2): 1–36. ·Zbl 1365.90281号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。