×
纳伦德拉·尤西恩;洛姆，奥利维尔

带有约束传播和基于冲突的启发式的局部搜索。 （英语） Zbl 1015.68056号

Artif公司。智力。 139，第1期，21-45（2002）.
摘要：用于解决约束满足问题的搜索算法通常分为两大类：局部搜索算法和系统算法。这两个家庭都有各自的优势。设计混合方法似乎很有前途，因为这些优点可以组合成一种方法。在本文中，我们提出了一种新的混合技术。它对部分赋值而不是完整赋值执行局部搜索，并使用过滤技术和基于冲突的技术来有效地指导搜索。这项新技术得益于两种经典方法：基于过滤的搜索对搜索空间进行先验剪枝，以及可能修复局部搜索的早期错误。我们关注这项技术的一个特定版本：禁忌决策修复。在开放式车间调度问题上的实验表明，我们的方法与最好的高度专业化算法具有很好的竞争力。

引用于1审查
引用于18文件

MSC公司：

68页第10页 搜索和排序

关键词：

约束满足;基于冲突的搜索;本地搜索;混合搜索算法;修理方法

软件：

禁忌搜索;JOBSHOP公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Jussien}和\textit{O.Lhomme}，Artif。智力。139，第1号，21-45（2002；Zbl 1015.68056）
全文： 内政部

参考文献：

[1] Alcaide，D。；Sicilia，J。；Vigo，D.，开放式商店问题的禁忌搜索算法，TOP（Trabajos de Investigacionón Operativa），5，2，283-296（1997）·Zbl 0892.90095号
[2] Applegate，D。；库克，W.，《作业车间调度问题的计算研究》，ORSA J.Compute。，3, 2, 149-156 (1991) ·Zbl 0755.90039号
[3] Bayardo，R.J。；Miranker，D.P.，约束满足问题的天基学习算法复杂性分析，（Proc.AAAI-96，Portland，OR（1996）），298-304
[4] 巴亚尔多，R。；Schrag，R.，《使用CSP look-back技术解决异常困难的SAT实例》（Proc.CP-96（1996）），46-60
[5] Bessière，C.，动态约束满足问题中的弧一致性，（Proc.AAAI-91，Anaheim，CA（1991））
[6] Bessière，C。；Cordier，M.，《电弧一致性与电弧一致性》（Proc.AAAI-93，Washington，DC（1993）），第108-113页
[7] Bliek，C.，《推广偏序和动态回溯》（Proc.AAAI-98，Madison，WI（1998）），319-325
[8] 布鲁克，P。；法理学，B。；Sievers，B.公司。；Wöstmann，B.，开放车间问题的分支定界算法，离散应用。数学。，76, 43-49 (1997) ·兹比尔0882.90066
[9] Carlier，J。；Pinson，E.，《针对车间作业问题调整头部和尾部》，欧洲期刊Oper。决议，78，146-161（1994）·Zbl 0812.90063号
[10] Caseau，Y。；Laburthe，F.，《利用任务间隔改进CLP调度》（Van Hentenryck，P.，Proc.11th International Conference on Logic Programming，ICLP-94（1994），MIT出版社：麻省理工学院出版社，马萨诸塞州剑桥），369-383
[11] Codognet，P。；Fages，F。；Sola，T.，《CLP（FD）的元级编译器及其与智能回溯的结合》，（Benhamou，F.；Colmerauer，A.，《约束逻辑编程-选择研究》（1993），麻省理工学院出版社：麻省理工学出版社剑桥），第23章，第437-456页
[12] Davis，E.，带区间标签的约束传播，人工智能，32，2，281-331（1987）·Zbl 0642.68176号
[13] David，P.，使用局部修复技术的基于约束的检查时间表方法，（第二届自动时间表实践和理论国际会议论文集（PATAT-97），多伦多，安大略省（1997）），132-145
[14] Debruyne，R.，《动态CSP中的电弧一致性不再令人望而却步》（第八届人工智能工具会议（TAI-96），法国图卢兹（1996）），299-306
[15] Dechter，R.，约束处理的增强方案：回跳、学习和割集分解，人工智能，41，3，273-312（1990）
[16] 弗罗斯特，D。；Dechter，R.，《死因驱动学习》（Proc.AAAI-94，西雅图WA（1994）），294-300
[17] Gervet，C.，混合模型和解决方案的大型组合优化问题方法，（JFPLC（1998）），受邀演讲
[18] Ginsberg，M。；McAllester，D.A.，GSAT和动态回溯，（知识表示原则国际会议（KR-94）（1994），226-237
[19] Ginsberg，M.，《动态回溯》，《人工智能研究杂志》，第1期，第25-46页（1993年）·Zbl 0900.68179号
[20] 手套，F。；Laguna，M.，Tabu search，（Reeves，C.，《组合问题的现代启发式技术》（1993），Blackwell Scientific Publishing:Blackwel Scientic Publishing Oxford），70-141·Zbl 0942.90500
[21] Gonzales，T。；Sahni，S.，《最小化完工时间的开放式车间调度》，J.ACM，23，4，665-679（1976）·Zbl 0343.68031号
[22] 盖雷特，C。；Prins，C.，开放式问题的新下限，AOR（运筹学年鉴），92165-183（1999）·Zbl 0958.90033号
[23] 盖雷特，C。；北卡罗来纳州尤西恩。；Prins，C.，《使用智能回溯来改进分支定界方法：应用于开放式商店问题》，European J.Oper。决议，127，2，344-354（2000）·Zbl 0990.90038号
[24] Jackson，P.，《专家系统导论》（1990），Addison Wesley：马萨诸塞州Addison Wesley Reading
[25] U.Junker，QUICKXPLAIN:任意约束传播算法的冲突检测，技术报告，2001年；U.Junker，QUICKXPLAIN:任意约束传播算法的冲突检测，技术报告，2001年
[26] Jussien，N.，《电子约束：基于解释的约束编程》（Proc.CP01约束满意度用户交互研讨会，塞浦路斯帕福斯（2001））
[27] 北卡罗来纳州尤西恩。；Lhomme，O.，《数字CSP的动态域分裂》，（欧洲人工智能会议论文集，布莱顿（1998）），224-228
[28] 北卡罗来纳州尤西恩。；Debruyne，R。；Boizumault，P.，《在动态回溯中保持电弧一致性》（Proc.Principles and Practice of Constraint Programming，CP-2000）。程序。约束编程原理与实践（CP-2000），计算机科学课堂讲稿，1894（2000），施普林格：施普林格柏林），249-261·Zbl 1044.68772号
[29] de Kleer，J.，《ATMS和CSP技术的比较》（Proc.IJCAI-89，密歇根州底特律（1989）），290-296·Zbl 0707.68096号
[30] Langley，P.，《系统和非系统搜索策略》（Proc.AAAI-92，San Jose，CA（1992））
[31] C.-F.Liaw，开放式车间调度问题的禁忌搜索算法，计算机与运筹学26；C.-F.Liaw，开放式车间调度问题的禁忌搜索算法，计算机与运筹学研究26·Zbl 0947.90048号
[32] Lhomme，O.，《数字CSP的一致性技术》（Proc.IJCAI-93，Chambéry，France（1993）），232-238
[33] Mackworth，A.，关系网络的一致性，人工智能，8，1，99-118（1977）·Zbl 0341.68061号
[34] 明顿，S。；约翰斯顿，M。；Laird，P.，最小化冲突：约束满足和调度问题的启发式修复方法，人工智能，58161-206（1992）·Zbl 0782.90054号
[35] 莫尔，R。；Henderson，T.C.，《重新审视电弧和路径一致性》，《人工智能》，28，225-233（1986）
[36] Pesant，G。；Gendreau，M.，《约束编程中的局部搜索视图》，（Proc.Principles and Practice of constraint programming（1996），Springer:Springer Berlin），353-366
[37] Prestwich，S.，《应用于硬随机3-SAT和低自相关二进制序列的混合搜索结构》（Proc.Principles and Practice of Constraint Programming，CP-2000）。程序。约束编程原理与实践（CP-2000），计算机科学讲义，1894（2000），施普林格：施普林格柏林），337-352·Zbl 1044.68789号
[38] C.Prins，开放式车间调度问题的竞争性遗传算法，研究报告，南特矿业公司，99/1/AUTO，1999年；C.Prins，开放式车间调度问题的竞争性遗传算法，研究报告，南特矿山，99/1/AUTO，1999·Zbl 1023.90030号
[39] 普林斯，C。；Carlier，J.，《TDMA/DSI系统中的资源优化：EUTELSAT方法》（Proc.Internat.Conference on Digital Satellite Communications（ICDSC 7），德国慕尼黑（1986）），511-518
[40] Prosser，P.，约束满足问题的混合算法，计算。情报，9，3，268-299（1993），另见AISL-46-91技术报告，Stratchclyde，1991
[41] Prosser，P.，域过滤可以降低智能回溯，（Proc.IJCAI-93，Chambéry，France（1993）），262-267
[42] P.Prosser，MAC-CBJ：用冲突定向回跳保持电弧一致性，研究报告95/177，斯特拉斯克莱德大学计算机科学系，1995年；P.Prosser，MAC-CBJ：用冲突导向的后跳保持弧的一致性，研究报告95/177，斯特拉斯克莱德大学计算机科学系，1995年
[43] Richards，E.T。；Richards，B.，《非系统搜索和学习：实证研究》，（约束编程原则和实践会议，比萨（1998）），370-384
[44] Schaerf，A.，将局部搜索和前瞻相结合用于调度和约束满足问题，（Proc.IJCAI-97，Nagoya，Japan（1997），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），1254-1259
[45] Schiex，T。；Verfaillie，G.，《静态和动态约束满足问题的Nogood记录》，国际。《人工智能工具杂志》，3，2，187-207（1994）
[46] 塞尔曼，B。；Kautz，H.，GSAT的域相关扩展：解决大型结构化可满足性问题，（Bajcsy，R.，Proc.IJCAI-93，Chambéry，France（1993），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），290-295
[47] 塞尔曼，B。；Levesque，H。；Mitchell，D.，解决难满足问题的新方法，（Proc.AAAI-92，San Jose，CA（1992）），440-446
[48] Shaw，P.，使用约束规划和局部搜索方法解决车辆路径问题，（第四届约束规划原理和实践会议，比萨（1998）），417-431
[49] Stuckey，P。；Tam，V.，用惰性弧一致性扩展GENET，IEEE Trans。Systems Man Cybernet。，28, 5, 698-703 (1998)
[50] 爱沙尼亚·泰勒。，基本调度问题的基准，欧洲J.Oper。研究，64，278-285（1993）·Zbl 0769.90052号
[51] Verfaillie，G.公司。；Lobjois，L.，《收入问题：出口，餐饮业》（JNPC学报（1999））
[52] Verfaillie，G.公司。；Schiex，T.，《动态CSP的动态回溯》（Schiex、T.；Bessière，C.，Proc.ECAI-94《实际应用提出的约束满足问题研讨会》，阿姆斯特丹（1994））·Zbl 1183.68588号
[53] Verfaillie，G.公司。；Schiex，T.，动态约束满足问题中的解决方案重用，（Proc.AAAI-94，西雅图，WA（1994）），307-312
[54] Yokoo，M.，解决约束满足问题的弱承诺搜索，（Proc.AAAI-94，西雅图，WA（1994）），313-318
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。