×
阿诺·莱特特;卡尔森，Mats;尼古拉斯·贝尔迪卡努

可伸缩调度约束的同步扫描算法。 （英文） Zbl 1314.90039号

约束条件 20，第2期，183-234（2015）.
摘要：本文介绍了一系列基于同步扫描的过滤算法，用于处理涉及资源和优先级约束的调度问题。其关键思想是以同步的方式过滤调度问题的所有约束，以便更好地扩展。除了正常的过滤模式外，算法还可以在贪婪模式下运行，在这种情况下，它们可以贪婪地分配开始和结束时间。与分解为独立的累积约束和优先约束相比，过滤模式实现了显著的加速，而贪婪模式可以处理多达100万个具有64个资源约束和200万个优先约束的任务。这些算法在CHOCO和SICStus中都实现了。

引用于1文件

MSC公司：

90B35型 运筹学中的确定性调度理论
68平方米 计算机系统环境下的性能评估、排队和调度

关键词：

全局约束;累计;可扩展性;固定点;打扫

软件：

SIC斯图斯;炸薯条;PSPLIB公司;乔科
PDF格式BibTeX公司 XML格式引用
\textit{A.Letort}等人，《限制》20，第2期，183--234（2015；Zbl 1314.90039）
全文： 内政部 链接

参考文献：

[1] Aggoun，A.和Beldiceanu，N.（1993年）。扩展CHIP以解决复杂的调度和布局问题。数学计算建模，17（7），57-73·doi:10.1016/0895-7177（93）90068-A
[2] Baptiste，P.，Le Pape，C.，Nuijten，W.（2001）。基于约束的调度：将约束编程应用于调度问题。运筹学和管理科学国际系列。克鲁沃·邮编1094.90002
[3] Beldiceanu，N.和Carlsson，M.（2001年）。扫描作为应用于非重叠矩形约束的通用修剪技术。在CP中，LNCS（第2237卷，第377-391页）。斯普林格·Zbl 1067.68612号
[4] Beldiceanu，N.和Carlsson，M.（2002年）。一种新的负高度多资源累积约束。在CP，LNCS（第2470卷，第63-79页）。斯普林格。
[5] Beldiceanu，N.，Carlsson，M.，Poder，E.，Sadek，R.，Truchet，C.（2007年）。用于处理多态k维对象的空间和时间通用几何约束核。在CP中，LNCS（第4741卷，第180-194页）。斯普林格。
[6] Beldiceanu，N.、Carlsson，M.、Thiel，S.（2006年）。扫描同步作为一种全局传播机制。计算机与运筹学，33（10），2835-2851·兹比尔1113.68097 ·doi:10.1016/j.cor.2005.01.013
[7] de Berg，M.、van Kreveld，M.，Overmars，M.和Schwarzkopf，O.（1997）。计算几何-算法和应用。斯普林格·Zbl 0939.68134号
[8] Carlsson，M.、Ottosson，G.、Carlson，B.（1997）。开放式有限域约束求解器。H.Glaser、P.Hartel、H.Kuchen（编辑）、PLILP、LNCS（第1292卷，第191-206页）。斯普林格。http://sicstus.sics.se/。
[9] Freuder，E.、Lee，J.、O'Sullivan，B.、Pesant，G.、Rossi，F.、Sellman，M.、Walsh，T.（2011年）。个人通信的未来。
[10] Kameugne，R.、Fotso，L.P.、Scott，J.、Ngo-Kateu，Y.（2011年）。一种用于累积资源约束的二次寻边滤波算法。在CP中，LNCS（第6876卷，第478-492页）。斯普林格·Zbl 1314.90038号
[11] Kolisch，R.和Sprecher，A.（1996年）。PSPLIB-项目调度问题库。欧洲运筹学杂志，96，205-216·Zbl 0947.90587号 ·doi:10.1016/S0377-2217（96）00170-1
[12] Letort，A.（2013）。通道a léchelle pour les containments d’ordonance-multi-ressources。南特大学博士论文。法语。
[13] Letort，A.、Beldiceanu，N.、Carlsson，M.（2012年）。累积约束的可缩放扫描算法。在CP中，LNCS（第439-454页）。斯普林格·Zbl 1382.68225号
[14] Letort，A.，Carlsson，M.，Beldiceanu，N.（2013年）。k维累积约束的同步扫描算法。在CPAIOR中，LNCS（第144-159页）。斯普林格·Zbl 1382.68225号
[15] Letort，A.、Carlsson，M.、Beldiceanu，N.（2013年）。用于可扩展调度约束的同步扫描算法。技术代表T2013-05。瑞典计算机科学研究所·Zbl 1314.90039号
[16] O'Sullivan，B.（2011年）。CP面板位置-CP个人通信的未来。
[17] Pape，C.L.（1988）。设计系统的灵活性和机会主义。巴黎第九大学法语博士论文。
[18] Petit，T.（2012）。中间本地一致性。ECAI（第919-920页）·Zbl 1327.68229号
[19] Régin，J.C.和Rezgui，M.（2011）。关于约束规划装箱模型的讨论。在AI中，用于数据中心管理和云计算。AAAI公司·兹比尔1113.68097
[20] ROADEF:挑战2012机器重新分配（2012）。http://challenge.roadef.org/2012/en/index.php。
[21] Schaus，P.和Deville，Y.（2008年）。具有先例的装箱的全局约束：应用于装配线平衡问题。AAAI（第369-374页）。AAAI出版社。
[22] Schulte，C.（1999）。比较约束编程的拖尾和复制。D.D.Schreye（编辑），ICLP（第275-289页）。麻省理工学院出版社。
[23] Schutt，A.、Feydy，T.、Stuckey，P.J.、Wallace，M.G.（2009年）。为什么累积分解并不像听起来那么糟糕。在CP中，LNCS（第5547卷，第746-761页）。斯普林格。
[24] Shaw，P.（1998）。使用约束规划和局部搜索方法解决车辆路径问题。在CP中，LNCS（第1520卷，第417-431页）。斯普林格·Zbl 0947.90587号
[25] Simonis，H.（2013）。行业基准。个人通信。
[26] C.团队（2010年）。Choco：一个开源Java CP库。研究报告10-02-INFO。南特矿业大学。http://choco.emn.fr/。
[27] 维利姆，P.（2009）。O（kn-logn）中离散累积资源的边缘发现滤波算法。在CP中，LNCS（第5547卷，第802-816页）。斯普林格。
[28] 维利姆，P.（2011）。离散累积资源的时间表边缘查找过滤算法。在CPAIOR中，LNCS（第6697卷，第230-245页）。斯普林格·Zbl 1302.90090号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。