×

计算抢占边界的冗余累积约束。 (英语) Zbl 1382.90030号

小结:我们介绍了调度中累积资源的重新计算。这种重新制定产生了makespan的下限,它至少与原始资源上的抢占式调度的下限一样好。它的计算依赖于一个线性程序,该程序的大小取决于资源容量,而不取决于任务的数量,从而可以预先计算重新计算。它为所有依赖基于能量的推理来传播累积约束的算法提供了显著的改进,例如边缘发现和能量推理技术。我们改进了PSPLIB中一些RCPSP实例的下限。

MSC公司:

90B35型 运筹学中的确定性调度理论
90C05(二氧化碳) 线性规划
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] 阿贡,A。;Beldiceanu,N.,《扩展CHIP以解决复杂的调度和布局问题》,数学。计算。建模,17,7,57-73(1993)
[2] Avis,D.,LRS:反向搜索顶点枚举算法的修订实现,(Kalai,G.;Ziegler,G.M.,Polytopes-Combinatorics and Computation(2000),Birkhäuser Basel:Birkhäuser Basel Basel),177-198·Zbl 0960.68171号
[3] 巴普蒂斯特,P。;Demassey,S.,资源受限项目调度的严格LP边界,OR Spectrum,26,2,251-262(2004)·Zbl 1072.90012号
[4] 巴普蒂斯特,P。;佩佩,C.勒;Nuijten,W.,《基于约束的调度:将约束编程应用于调度问题》(Constraint-based scheduling:applied Constraint-programming to scheduling Problems)(2001),Kluwer Academic Publishers:Kluwer-Academy Publishers-Norwell,MA,USA,Springer·邮编1094.90002
[5] 布鲁克,P。;Knust,S.,基于线性规划和约束传播的RCPSP下界,欧洲J.Oper。研究,127,2,355-362(2000)·Zbl 0990.90055号
[6] Carlier,J。;Néron,E.,为资源受限的项目调度问题计算冗余资源,欧洲J.Oper。研究,176,3,1452-1463(2007)·兹比尔1104.90018
[7] Carlier,J。;Pinson,E.,Jackson的伪概率调度和累积调度问题,离散应用程序。数学。,145, 1, 80-94 (2004) ·Zbl 1058.90023号
[8] Erschler,J。;Lopez,P.,《时间和资源约束下基于能量的任务调度方法》(第二届项目管理和调度国际研讨会(1990年)),第115-121页
[9] 凯尼恩,C。;Rémila,E.,二维下料问题的近最优解,数学。操作。研究,25,4,645-656(2000)·Zbl 0977.90043号
[10] Kolisch,R。;Sprecher,A.,PSPLIB-项目调度问题库:OR软件-ORSE运筹学软件交换项目,欧洲J.Oper。决议,96,1,205-216(1997)·Zbl 0947.90587号
[11] Lodi,A。;马泰罗,S。;Monaci,M.,《二维包装问题:调查》,欧洲期刊。研究,141,2,241-252(2002)·Zbl 1081.90576号
[12] 马泰罗,S。;装箱问题的下限和约简程序,离散应用。数学。,28, 1, 59-70 (1990) ·Zbl 0704.90074号
[13] McNaughton,R.,《带截止日期和损失函数的调度》,管理。科学。,6, 1, 1-12 (1959) ·Zbl 1047.90504号
[14] Mercier,L。;Van Hentenryck,P.,《累积调度的边缘发现》,INFORMS J.Compute。,20, 1, 143-153 (2008) ·Zbl 1243.90068号
[15] Möhring,R.H。;舒尔茨,A.S。;鹳,F。;Uetz,M.,《资源约束项目调度:通过求解最小割问题计算下限》(Algorithms-ESA99(1999),Springer),139-150·Zbl 0946.90027号
[16] Nuijten,W.P.M.,《时间和资源约束调度:约束满足方法》(1994),埃因霍温理工大学,(博士论文)·Zbl 0837.90068号
[17] Ohrimenko,O。;Stuckey,P。;Codish,M.,Propagation=惰性子句生成,(约束编程原理与实践-CP 2007(2007),Springer),544-558·Zbl 1145.68527号
[18] A.舒特。;Feydy,T。;Stuckey,P.J。;Wallace,M.G.,解释累积传播子,约束,16,3,250-282(2010)·Zbl 1226.68099号
[19] Vilím,P.,离散累积资源的时间表边缘查找过滤算法,(Achterberg,T。;Beck,J.,组合优化问题约束编程中AI和OR技术的集成。组合优化问题约束编程中AI和OR技术的集成,计算机科学课堂讲稿,第6697卷(2011),Springer),230-245·Zbl 1302.90090号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。