×

的新筛选最大值及其加权变量:拉格朗日方法。 (英语) Zbl 1327.90130号

摘要:最大值全局约束(global constraint)是一种众所周知的NP-Hard全局约束,它限制一组变量所采用的最大不同值的数量。约束的加权版本,最大WValue每个值都与重量或成本相关,这是一个有用的自然扩展。这两个约束都出现在许多工业应用中,其中一些资源的数量和成本必须最小化。本文介绍了一种新的基于拉格朗日松弛的滤波算法。这一贡献体现在与设施选址相关的问题上,设施选址是运筹学和管理科学中的一类基本问题。初步评估表明,拉格朗日松弛的滤波能力可以为这些约束提供比最新算法显著的改进。我们相信,这有助于弥合约束规划和线性规划方法之间的差距,解决与设施选址相关的一大类问题。

MSC公司:

90立方厘米 混合整数编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 北卡罗来纳州贝尔迪塞努。;卡尔森,M。;Walsh,T.(编辑),最小约束族和不同值约束族数量的修剪(2001),柏林-海德堡·Zbl 1067.68611号
[2] Beldiceanu,N.、Carlsson,M.和Thiel,S.(2002年)。成本滤波算法对两侧不同值的权重之和进行约束。技术报告-T2002-14:瑞典计算机科学研究所。
[3] Benchimol,P.、Van Hoeve,W.J.、Régin,J.-C.、Rousseau,L.-M.和Rueher,M.(2012)。改进了加权电路约束的滤波。约束,17(3),205-233·兹比尔1309.90115 ·文件编号:10.1007/s10601-012-9119-x
[4] Bessiere,C.、Hebrard,E.、Hnich,B.、Kiziltan,Z.和Walsh,T.(2006)。nvalue约束的过滤算法。约束,11(4),271-293·Zbl 1114.68064号 ·doi:10.1007/s10601-006-9001-9
[5] Bessiere,C。;Katsirelos,G。;北卡罗来纳州纳罗迪茨卡。;昆珀,C-G;沃尔什,T。;Cohen,D.(编辑),《数值约束的分解》(2010),柏林-海德堡
[6] Cambazard,H.Np-涉及成本的硬约束:应用程序和过滤示例。在Dixièmes Journées Francophones de Programmation par Contraintes-JFPC。2014年邀请博览会。
[7] Cambazard,H.、O’Mahony,E.和O’Sullivan,B.(2012)。一种基于最短路径的多叶准直器排序方法。离散应用数学,160(1-2),81-99·Zbl 1235.90125号 ·doi:10.1016/j.dam.2011.09.008
[8] Cambazard,H.和Penz,B.(2012年)。旅行购买者问题的约束规划方法。在Milano,M.(Ed.)《约束编程的原理与实践——第18届国际会议》,2012年10月8日至12日,加拿大魁北克省魁北克市,CP 2012。《计算机科学讲稿》第7514卷,(第735-749页):斯普林格·Zbl 1015.90089
[9] Cooper,M.C.,de Givry,S.,Sanchez,M.,Schiex,T.,Zytnicki,M.和Werner,T.(2010年)。再次检查软弧一致性。人工智能,174(7-8),449-478·Zbl 1213.68580号 ·doi:10.1016/j.artint.2010.02.001
[10] Van den Bergh,J.,Belien,J.、De Bruecker,P.、Demeulemester,E.和De Boeck,L.(2013)。人员安排:文献综述。《欧洲运筹学杂志》,226(3),367-385·Zbl 1292.90001号 ·doi:10.1016/j.ejor.2012.11.029
[11] Erlenkotter,D.(1978年)。无容量设施位置的双重程序。运筹学,26(6),992-1009·Zbl 0422.90053号 ·doi:10.1287/opre.26.6.992
[12] Fages,J.-G.和Lapègue,T.(2014)。带差异约束的过滤大气值:应用于最小化轮班人员任务调度问题。人工智能,212(0),116-133·Zbl 1407.90150号 ·doi:10.1016/j.artint.2014.04.001
[13] Fages,J.-G.、Lorca,X.和Rousseau,L.-M.(2014)。销售人员和树:CP中搜索的重要性约束,1-18·Zbl 1237.68188号
[14] Focacci,F。;Lodi,A。;米兰,M。;Jaffar,J.(编辑),基于成本的域过滤(1999),柏林-海德堡
[15] Fontaine,D.、Michel,L.D.和Van Hentenryck,P.基于约束的拉格朗日松弛。O'Sullivan,B.(Ed.)《约束编程的原理与实践——第20届国际会议》,CP 2014,法国里昂,2014年9月8日至12日。《计算机科学讲义》第8656卷《会议录》(第324-339页)(第2014页)。柏林:斯普林格·Zbl 1292.90001号
[16] Gaspers,S.和Szeider,S.(2011年)。全局约束的内核,CoRR.arXiv:1104.2541·Zbl 1407.90150号
[17] 杰夫里翁,AM;巴林斯基,ML(编辑),整数规划的拉格朗日松弛法(1974),柏林-海德堡·Zbl 0395.90056号
[18] Held,M.和Karp,R.M.(1971)。旅行商问题与最小生成树:第二部分。数学规划,1(1),6-25·Zbl 0232.90038号 ·doi:10.1007/BF01584070
[19] Kadioglu,S.、Malitsky,Y.、Sellmann,M.和Tierney,K.(2010年)。ISAC-特定于实例的算法配置。在ECAI中,《人工智能和应用前沿》第215卷(第751-756页):IOS出版社·Zbl 0422.90053号
[20] Lee,J.H.M.和Leung,K.L.(2012年)。加权约束满足中基于流的项目安全全局成本函数的一致性技术。《人工智能研究杂志》,43(1),257-292·Zbl 1237.68188号
[21] Menana,J.和Demassey,S.(2009年)。使用多st-regular约束进行排序和计数。In Van Hoeve,W.J.,&Hooker,J.N.(Eds.),《组合优化问题约束编程中人工智能和或技术的集成》,第六届国际会议,CPAIOR 2009,匹兹堡,宾夕法尼亚州,美国,2009年5月27日至31日,《计算机科学讲稿》第5547卷,(第178-192页):Springer·Zbl 1241.68104号
[22] 南卡罗来纳州纳鲁拉、U.I.奥格布和H.M.萨缪尔森(1977年)。p-中值问题的一种算法。运筹学,25(4),709-713·Zbl 0372.90096号 ·doi:10.1287/opre.25.4.709
[23] Prud’homme,C.、Fages,J.-G.和Lorca,X.(2014)。Choco3文档。TASC,INRIA Rennes,LINA CNRS UMR 6241,COSLING S.A.S.公司·Zbl 1235.90125号
[24] Sellmann,M。;Wallace,M.(编辑),基于cp的拉格朗日松弛理论基础(2004),柏林-海德堡·Zbl 1152.68584号
[25] Sellmann,M.和Fahle,T.(2003)。用于自动记录问题的基于约束编程的拉格朗日松弛。年鉴OR,118(1-4),17-33·Zbl 1026.90510号 ·doi:10.1023/A:1021845304798
[26] Slusky,M.R.和Van Hoeve,W.J.(2013)。哥伦布统治者的拉格朗日式放松。In Gomes,C.P.,&Sellmann,M.(Eds.),《组合优化问题约束编程中人工智能和操作规则技术的集成》,第十届国际会议,2013年CPAIOR,美国纽约州约克敦高地,2013年5月18日至22日。《计算机科学讲稿》第7874卷,(第251-267页):施普林格·Zbl 1382.68233号
[27] Wah,B.W.和Wu,Z.(1999年)。非线性离散优化的离散拉格朗日乘子理论。In Jaffar,J.(Ed.)《约束编程的原理与实践-CP’99》,第五届国际会议,美国弗吉尼亚州亚历山大市,1999年10月11日至14日,《计算机科学讲稿》第1713卷,(第28-42页):Springer·Zbl 0965.90051号
[28] 洛杉矶沃尔西(1998)。整数编程。Wiley-Interscience离散数学与优化系列。纽约:Wiley·Zbl 0930.90072号
[29] Zhao,X.,&Luh,P.B.(2002)。求解拉格朗日松弛对偶问题的新束方法。优化理论与应用杂志,113(2),373-397·Zbl 1015.90089 ·doi:10.1023/A:1014839227049
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。