×

有效过滤资源成本所有不同的约束。 (英文) Zbl 1387.90148号

摘要:本文研究了一系列优化问题,其中一组项目(每个项目需要可能不同的资源量)必须分配给资源价格可能不同的不同时段。然后,目标是分配项目,使总资源成本最小化。此类问题通常出现在可再生能源成本波动或旅行推销员问题变体的生产调度等领域。在约束编程中,这可以通过两种方式自然建模:(a)使用要素约束;(b) 带有最小分配约束。不幸的是要素约束获得弱过滤最小分配约束在大型实例上伸缩性不好。本工作通过引入资源成本全部不同约束和相关的增量和可伸缩过滤算法,运行于\(mathcal{O}(n\cdot m)\)中,其中\(n)是未绑定变量的数量,\(m)是未链接变量的最大域大小。它的目标是通过处理所有任务必须不同这一事实,以可伸缩的方式计算总成本。我们首先对一个实际工业问题和产品矩阵旅行商问题(非对称旅行商问题的特例)评估了新过滤的效率。研究表明,实验表明,我们的方法通常优于分解和最小分配我们考虑的问题。

MSC公司:

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

参考文献:

[1] Ait-Kaci,H.和Des Flambertins。F.(1999)。沃伦的抽象机器:教程重建·Zbl 0635.90096号
[2] Applegate、David L.、Bixby、Robert E.、Chvátal、V和Cook,W.J.(2006)。协和式TSP求解器·Zbl 1052.90060号
[3] Applegate、David L.、Bixby、Robert E.、Chvátal、V和Cook,W.J.(2011年)。旅行推销员问题:一项计算研究。普林斯顿大学出版社·Zbl 1130.90036号
[4] Van Cauwelaert,S,&Schaus,P.CSPLib问题075:产品矩阵旅行推销员问题。http://www.csplib.org/Problems/prob075。 ·邮编:1049.90004
[5] de Saint-Marcq,V C,Schaus,P,Solnon,C,&Lecoutre,C(2013)。域实现的稀疏集。在关于实现约束编程系统的技术的国际研讨会上(第1-10页)·邮编:1049.90004
[6] Dejemeppe,C,Devolder,O,Lecomte,V,&Schaus,P(2016)。嵌套基数约束的前向检查过滤:应用于卫生纸制造的能源成本意识生产计划问题。在约束编程中人工智能和运筹学技术集成国际会议上(第108-124页)。斯普林格·Zbl 1479.90075号
[7] Dolan,Elizabeth D.和Moré,Jorge J.(2002)。使用性能配置文件对优化软件进行基准测试。数学规划,91(2),201-213·邮编:1049.90004 ·doi:10.1007/s101070100263
[8] Ducomman,S,Cambazard,H,&Penz,B(2016)。加权电路约束的替代滤波:比较TSP的下限和求解TSPTW。在AAAI人工智能会议上。
[9] Focacci,F、Lodi,A和Milano,M(1999)。CP和OR方法的集成用于匹配问题。在关于组合优化问题的约束编程中AI和OR技术集成的国际研讨会上·Zbl 0990.90553号
[10] Focacci,F,Lodi,A,Milano,M,&Vigo,D(1999)。通过整合OR和CP技术解决TSP。离散数学电子笔记,1,13-25·Zbl 0990.90553号 ·doi:10.1016/S1571-0653(04)00002-2
[11] Gay,S,Hartert,R,Lecoutre,C,&Schaus,P(2015)。调度问题的冲突排序搜索。在约束规划原则和实践国际会议上(第140-148页)。斯普林格。
[12] Gay,S,Schaus,P,&De Smedt,V(2014)。带约束规划的连铸调度。在约束规划原则和实践国际会议上(第831-845页)。斯普林格。
[13] Gilmore,P.C.、Lawler,E.L.和Shmoys,D.(1985年)。很好地解决了旅行推销员问题的特殊情况。在John Wiley&Sons(编辑)的《旅行推销员问题》中·Zbl 0631.90081号
[14] Houndji,V.R.、Schaus,P.、Wolsey,L.和Deville,Y.(2014年)。库存成本约束。在关于约束规划的原则和实践的国际会议上(第382-397页)。斯普林格·Zbl 1430.90230号
[15] Jonker,R.和Volgenant,T.(1983年)。将非对称问题转化为对称旅行商问题。《运营研究快报》,2(4),161-163·Zbl 0529.90090号 ·doi:10.1016/0167-6377(83)90048-2
[16] OscaR团队(2012年)。OscaR:手术室scala。可从以下位置获得https://bitbucket.org/oscarlib/oscar。 ·Zbl 0990.90553号
[17] Pesant,G,Gendreau,M,Potvin,J.-Y.,&Rousseau,J.-M.(1998)。带时间窗的旅行商问题的精确约束逻辑规划算法。运输科学,32(1),12-29·Zbl 0987.90086号 ·doi:10.1287/trsc.32.1.12
[18] Plante,R.D.、Lowe,T.J.和Chandrasekaran,R.(1987)。产品矩阵旅行商问题:一种启发式应用与求解方法。运筹学,35(5),772-783·Zbl 0635.90096号 ·数字对象标识代码:10.1287/opre.35.772
[19] Régin,J.-C(1994)。一种用于CSP中差异约束的滤波算法。在AAAI人工智能会议上(第94卷,第362-367页)。
[20] Régin,J.-C.(2002)。全局基数约束的基于成本的弧一致性。约束,7(3-4),387-405·Zbl 1028.68157号 ·doi:10.1023/A:1020506526052
[21] Sarvanov,V.I.(1980)。关于循环置换集上最小化线性形式的复杂性。在多克。阿卡德。Nauk SSSR(第253卷,第533-535页)·Zbl 0476.90081号
[22] Sellmann,M(2002)。所有不同约束的最小权重的弧一致性算法。在约束规划原则和实践国际会议上(第744-749页)。斯普林格。
[23] Simonis,H和Hadzic,T(2010年)。能源成本感知调度的一系列资源约束。在第三届国际研讨会上,讨论了计算可持续性的约束推理和优化。圣安德鲁斯。
[24] Simonis,H和Hadzic,T(2011)。资源成本感知累积。约束的最新进展:第14届ERCIM约束求解和约束逻辑编程国际研讨会,CSCLP 2009,西班牙巴塞罗那,2009年6月15日至17日,修订论文集(第76-89页)。斯普林格·Zbl 1323.90023号
[25] Van Cauwelaert,S.、Lombardi,M.和Schaus,P.(2015)。了解传播者的潜力。在约束编程中人工智能和运筹学技术集成国际会议上(第427-436页)。斯普林格·Zbl 1459.68195号
[26] Van Cauwelaert,S,Lombardi,M,&Schaus,P(2017)。一个可视化的web工具,用于对优化方法进行假设分析。arXiv预打印arXiv:1703.06042·Zbl 0635.90096号
[27] Van Hentenryck,P和Carillon,J.-P(1988年)。一般性与特殊性:人工智能和手术室技术的经验。在AAAI人工智能会议上(第660-664页)·Zbl 0529.90090号
[28] van Hoeve,W.-J.(2001)。完全不同的约束:调查。coRR公司。PL/0105015。
[29] 维利姆,P.(2004)。一元资源约束的O(n.log(n))\(\mathcal{O}(n.log(n))\)过滤算法。在Régin,J-C,&Rueher,M(Eds.),约束编程中人工智能和运筹学技术集成国际会议(第335-347页):Springer·Zbl 1094.90566号
[30] Wamba,G.M.和Beldiceanu,N.(2016年)。任务交叉点约束。在约束编程中人工智能和运筹学技术集成国际会议上(第246-261页)。斯普林格·Zbl 1475.68351号
[31] 沃伦·D·H·D·(1983)。抽象Prolog指令集第309卷。加州:人工智能中心,SRI国际门罗公园。
[32] Weron,R(2014)。电价预测:回顾最新技术并展望未来。国际预测杂志,30(4),1030-1081·doi:10.1016/j.ij预测2014.08.008
[33] Wüstenhagen,R,&Bilharz,M(2006)。德国绿色能源市场发展:有效的公共政策和新兴的客户需求。能源政策,34(13),1681-1696·doi:10.1016/j.enpol.2004.07.013
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。