×

\(O(n^2\log(n))\中的累积非第一/非最后滤波算法。 (英语) Zbl 1282.90070号

摘要:在基于累积约束和析取约束的调度中,资源约束由多个过滤规则执行。在这些规则中,我们有(扩展)边缘查找和非第一/非最后规则。not-first/not-last规则检测相对于一组任务无法先/后运行的任务,并修剪其时间界限。本文提出了一种适用于累积非第一/非最后规则的声音(O(n^2)log(n))算法,其中(n)是任务数。该算法与以前的非第一/非第一算法达到了相同的固定点,尽管可能需要额外的迭代才能实现。该最大调整新算法的最坏情况复杂度与我们以前的完整算法相同(O(n^2|H|\log n)\)not-first/not-last算法[作者,“A Complete Filtering algorithm for Cumulative not-first/not-last rule in \(O(n^2|H|\log n)\”,in:Proceeding of CSCLP 2010,Berlin,Germany,31–42(2010)]其中\(|H|\)是任务的不同最早完成时间和最晚开始时间之间的最大值。但是,来自项目调度问题库(PSPLib)和Baptiste和Le Pape数据集(BL)的基准测试的实验结果表明,新的not-first/not-last算法的运行时间大大缩短。此外,结果表明,在实践中,新算法很少需要比以前的非第一/非第一算法更多的传播。

MSC公司:

90B35型 运筹学中的确定性调度理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] R Baptiste和C.Le Pape,高度分离和高度累积项目调度问题的约束传播和分解技术,Con-straints,5(1)(2000),119–139·Zbl 0941.90030号
[2] R Baptiste、C.Le Pape和W.Nuijten,基于约束的调度:将约束编程应用于调度问题。Kluwer,波士顿(2001)·邮编1094.90002
[3] Y.Caseau和F.Laburthe,带任务间隔的改进CLP调度,In P.。本文的初步版本被CPDP 2010接受[5],Van Hentenryck(Ed.),ICLP1994–逻辑编程,麻省理工学院出版社,波士顿(1994),369–383。
[4] Gecode,一个通用约束开发环境。可从网址://www.gecode.org . 2010年8月30日查阅。
[5] R.Kameugne和L.P.Fotso,O(n 2 log n)中累积资源的非第一/非最后算法,被苏格兰圣安德鲁斯CPDP 2010博士项目录取(2010)。
[6] R.Kameugne、E.Kouaka和L.P.Fotso,《非第一次/非最后一次鄂尔多斯特许权累积条件》,《2010年ROADEF进展》,法国图卢兹(2010),89-97。
[7] R.Kameugne和L.P.Fotso,O(n 2 | H | log n)中累积非第一/非最后规则的完整过滤算法,《2010年CSCLP进展》,德国柏林,(2010),31–42·Zbl 1282.90070号
[8] R.Kameugne,L.P.Fotso,J.Scott和Y.Ngo-Kateu,《累积资源约束的二次寻边滤波算法》,In:Lee,J.(ed.)CP 2011,LNCS第6876卷,Springer,Heidelberg(2011),478-492·Zbl 1314.90038号
[9] R.Kolisch和A.Sprecher,PSPLIB——项目进度问题库,《欧洲运筹学杂志》,96(1)(1997),205–216·Zbl 0947.90587号
[10] P.Torres和P.Lopez,《分离调度中的非第一/非最后条件》,《欧洲运筹学杂志》,127(2)(2000),332-343·Zbl 0990.90049号
[11] L.Mercier和P.Van Hentenryck,累积调度的边缘发现,IN-FORMS计算杂志20(1),(2008),143-153·兹比尔1243.90068
[12] W.Nuijten,《时间和资源受限调度:一种约束满足方法》,埃因霍温理工大学博士论文。(1994). ·Zbl 0837.90068号
[13] A.Schutt和A.Wolf,《累积资源约束的新O(n 2 log n)非第一/非最后剪枝算法》,In:Cohen,D.(ed.)CP 2010,LNCS第6308卷,Springer,Heidelberg(2010),445–459。
[14] A.Schutt、A.Wolf和G.Schrader,O(n 3 log n)中累积调度的非第一和非最长检测,《第十六届国际声明性编程和知识应用会议论文集》,INAP 2005,日本福冈,(2005),66-80。
[15] P.Vilím,《计划中的全球约束》,布拉格查尔斯大学博士论文(2007年)。
[16] P.Vili m,离散累积资源的最大能量滤波算法,In.van Hoeve,W.J.,Hooker,J.N.(eds)CPAIOR 2009,LNCS,第5547卷,Springer,Heidel-berg(2009),66–80。
[17] P.Vilím,离散累积资源的时间表边缘查找滤波算法。收录人:van Hoeve,W.J.,Hooker,J.N.(编辑)《2011年CPAIOR》,LNCS,第6697卷,斯普林格,海德堡(2011),230-245·Zbl 1302.90090号
[18] P.Vilím,O(kn log n)中离散累积资源的边缘查找滤波算法。收录于:Gent,I.P.(ed)CP 2009,LNCS,第5732卷。海德堡施普林格(2009),802-816。
[19] A.Wolf和G.Schrader,O(n log n)累积约束的过载检查及其应用,In:Umeda,M.等人(eds)INAP 2005,LNCS,第4369卷,Springer,Heidelberg(2005),88–101。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。