×
安德烈亚斯·舒特;蒂鲍特·费迪;彼得·斯图基（Peter J.Stuckey）。;马克·华莱士。

通过惰性子句生成解决RCPSP/max。 （英语） Zbl 1280.90067号

J.Sched。 16，第3期，273-289（2013）.
摘要：我们提出了一种通用的精确方法来最小化具有广义优先关系的资源约束项目调度问题的项目工期(卢比/最大值）。这是一个非常通用的调度模型，应用领域包括项目管理和生产计划。我们的方法使用惰性子句生成，即有限域和布尔可满足性求解的混合，以便将非良好学习和冲突驱动搜索应用于解决方案生成。我们的实验表明，与其他最先进的精确和非行为方法相比，惰性子句生成在寻找最佳解决方案和证明其最佳性方面具有优势。与其他方法相比，我们的方法能够更快地在卢比/最大基准。事实上，我们的方法关闭了573个开放问题实例，并在其余大多数实例中生成了更好的解决方案。令人惊讶的是，尽管我们的方法是一种精确的方法，但在解决方案的质量方面，它在这些基准上优于已发表的非精确方法。

引用于15文件

MSC公司：

90B35型 运筹学中的确定性调度理论
68平方米 计算机系统环境下的性能评估、排队和调度
2009年9月90日 布尔编程

关键词：

项目进度安排;资源限制;时间窗口;广义优先约束;惰性子句生成;约束编程

软件：

十二国集团;ILOG时间表;PSPLIB公司;炸薯条;糠
PDF格式BibTeX公司 XML格式引用
\textit｛A.Schutt｝等人，J.Sched。16，第3号，273--289（2013；Zbl 1280.90067）
全文： DOI程序 链接

参考文献：

[1] Aggoun，A.和Beldiceanu，N.（1993年）。扩展CHIP以解决复杂的调度和布局问题。数学与计算机建模，17（7），57-73·doi:10.1016/0895-7177（93）90068-A
[2] Ballestín，F.、Barrios，A.和Valls，V.（2011年）。一种求解具有最小和最大时滞的资源约束项目调度问题的进化算法。《日程安排杂志》，14391-406。doi:10.1007/s10951-009-0125-9·Zbl 1230.90085 ·doi:10.1007/s10951-009-0125-9
[3] Bartusch，M.、Möhring，R.H.和Radermacher，F.J.（1988年）。使用资源限制和时间窗口安排项目网络。运筹学年鉴，16（1），199-240·Zbl 0693.90047号 ·doi:10.1007/BF02283745
[4] Bellman，R.（1958年）。关于路由问题。应用数学季刊，16（1），87-90·Zbl 0081.14403号
[5] Blazewicz，J.、Lenstra，J.K.和Rinnooy Kan，A.H.G.（1983年）。受资源限制的调度：分类和复杂性。离散应用数学，5（1），11-24·Zbl 0516.68037号 ·doi:10.1016/0166-218X（83）90012-4
[6] Brucker，P.、Drexl，A.、Möhring，R.、Neumann，K.和Pesch，E.（1999）。资源约束项目调度：符号、分类、模型和方法。《欧洲运筹学杂志》，112（1），3-41·Zbl 0937.90030号 ·doi:10.1016/S0377-2217（98）00204-5
[7] Cesta，A.、Oddi，A.和Smith，S.F.（2002年）。一种带时间窗的基于约束的项目调度方法。启发式杂志，8（1），109-136·Zbl 1048.90103号 ·doi:10.1023/A:1013617802515
[8] Davis，M.和Putnam，H.（1960年）。量化理论的计算过程。美国医学会杂志，7201-215·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034
[9] Davis，M.、Logemann，G.和Loveland，D.（1962年）。定理证明的机器程序。ACM通信，5（7），394-397·Zbl 0217.54002号 ·数字对象标识代码：10.1145/368273.368557
[10] De Reyck，B.和Herroelen，W.（1998年）。一种求解具有广义优先关系的资源约束项目调度问题的分枝定界方法。欧洲运筹学杂志，111（1），152-174·Zbl 0948.90077号 ·doi:10.1016/S0377-2217（97）00305-6
[11] Dorndorf，U.、Pesch，E.和Phan Huy，T.（2000）。一种面向时间的分枝定界算法，用于具有广义优先约束的资源受限项目调度。管理科学，46（10），1365-1384·Zbl 1232.90208号 ·doi:10.1287/mnsc.46.10.1365.12272
[12] Fest，A.、Möhring，R.H.、Stork，F.和Uetz，M.（1999）。带时间窗口的资源约束项目调度：基于动态发布日期的分支方案（技术报告596）。柏林理工大学·Zbl 1165.68517号
[13] Feydy，T.（2010）。约束编程：改进传播。墨尔本大学博士论文。
[14] Feydy，T。；A.舒特。；Stuckey，P.J。；Antoy，S.（编辑）；Albert，E.（编辑），有限域解算器的全局差分约束传播，226-235（2008），纽约
[15] Feydy，T。；索莫吉，Z。；斯塔基，P.J。；Lee，J.H.M.（编辑），《半具体化和扁平化》，第6876、286-301号（2011），柏林·doi:10.1007/978-3-642-23786-7_23
[16] Ford，L.R.和Fulkerson，D.R.（1962年）。网络中的流量。普林斯顿：普林斯顿大学出版社·Zbl 0106.34802号
[17] Franck，B.、Neumann，K.和Schwindt，C.（2001年）。资源约束项目调度的截断分支约束、计划构造和计划改进程序。《OR Spektrum》，23（3），297-324·兹比尔0989.90060 ·doi:10.1007/PL00013356
[18] Herroelen，W.、De Reyck，B.和Demeulemester，E.（1998年）。资源约束的项目计划：对最近发展的调查。计算机与运筹学，25（4），279-302·Zbl 1040.90525号 ·doi:10.1016/S0305-0548（97）00055-5
[19] Horbach，A.（2010年）。资源约束项目调度问题的布尔可满足性方法。《运筹学年鉴》，18189-107·Zbl 1209.90170号 ·doi:10.1007/s10479-010-0693-2
[20] 黄，J。；Veloso，M.M.（编辑），重新启动对小句学习效率的影响，2318-2323（2007）
[21] Kolisch，R。；施温特，C。；Sprecher，A.，Publishers，项目进度问题的chap基准实例，197-212（1998），多德雷赫特
[22] Le Pape，C.（1994）。ILOG Schedule中资源约束的实现：用于开发基于约束的调度系统的库。智能系统工程，3（2），55-66·doi:10.1049/ise.1994.0009
[23] Marriott，K.和Stuckey，P.J.（1998年）。带约束编程：简介。剑桥：麻省理工学院出版社·Zbl 0935.68098号
[24] Moskewicz，M.W。；麦迪根，C.F。；Zhao，Y。；张，L。；Malik，S.，Chaff：设计高效SAT求解器，530-535（2001），纽约
[25] Neumann，K.和Schwindt，C.（1997年）。具有最小和最大时滞的活动节点网络及其在按订单生产中的应用。OR Spektrum，第19页，第205-217页·Zbl 0885.90058号 ·doi:10.1007/BF01545589
[26] 奥迪，A。；拉斯科尼，R。；Oddi，A.（编辑）；Fages，F.（编辑）；Rossi，F.（编辑），《RCPSP/max问题的迭代平坦搜索：最新发展》，第5655、99-115号（2009），柏林·Zbl 1248.68460号 ·doi:10.1007/978-3-642-03251-67
[27] Ohrimenko，O.、Stuckey，P.J.和Codish，M.（2009）。通过惰性子句生成进行传播。约束，14（3），357-391·兹比尔1192.68654 ·数字对象标识代码：10.1007/s10601-008-9064-x
[28] 项目工期问题RCPSP/max（2010年）。http://www.wior.uni-karlsruhe.de/LS_Numann/Forschung/ProGenMax/rcpspmax.html。 ·Zbl 0693.90047号
[29] PSPLib（2010）。项目调度问题库。http://129.187.106.231/psplib/。 ·Zbl 1230.90085
[30] 舒特，A。；Feydy，T。；Stuckey，P.J。；Wallace，M.G。；Gent，I.P.（编辑），《为什么累积分解没有听起来那么糟糕》，第5732期，746-761页（2009年），柏林·doi:10.1007/978-3-642-04244-7_58
[31] Schutt，A.、Feydy，T.、Stuckey，P.J.和Wallace，M.G.（2011年）。解释累积传播算子。约束，16（3），250-282·Zbl 1226.68099号 ·doi:10.1007/s10601-010-9103-2
[32] Schwindt，C.（1995）。ProGen/max：针对具有最小和最大时滞的不同资源约束项目调度问题的新问题生成器（WIOR 449）。德国卡尔斯鲁厄大学·Zbl 1232.90208号
[33] Schwindt，C.（1998年a）。受时间约束的资源约束项目工期问题的分枝定界算法（WIOR 544）。德国卡尔斯鲁厄大学
[34] Schwindt，C.（1998年b）。Verfahren zur lösung des ressourcenbeschränkten projektaurminimierungs问题mit planungsabhängigen zeitfenstern。亚琛：Shaker。
[35] 史密斯，T.B。；Pyle，J.M。；McGuinness，D.L.（编辑）；Ferguson，G.（ed.），任意时间约束下项目调度的有效算法，544-549（2004），剑桥
[36] Stuckey，P.J。；García de la Banda，M.J。；Maher，M.J。；英国万豪酒店。；斯莱尼，J.K。；Somogyi，Z。；Wallace，M.G。；沃尔什，T。；Gabbrielli，M.（编辑）；Gupta，G.（编辑），《G12项目：将求解器独立模型映射到有效解决方案》，第3668期，9-13页（2005年），柏林·Zbl 1165.68517号
[37] Tsang，E.（1993）。约束满足的基础。圣地亚哥：学术出版社。
[38] Walsh，T.，《在小世界里寻找》，1172-1177（1999），圣马特奥
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。