×
科特，玛丽·克劳德;伯纳德·根德伦;克洛德·盖·昆珀;卢梭，路易斯·马汀

轮班调度问题整数规划建模的形式化语言。 （英语） Zbl 1215.90026号

约束条件 16，第1期，54-76（2011）.
摘要：本文研究了包含子结构的决策变量序列约束优化问题的建模问题。用混合整数编程（MIP）表示这些约束可能非常复杂。我们提出了一种受约束编程（CP）中使用的全局约束启发的方法，利用形式语言用MIP对此类子结构进行建模。更准确地说，我们首先建议使用自动机，就像CP规则约束一样，来表示受约束变量序列所取值的允许模式。其次，我们介绍了上下文无关文法如何有助于在MIP模型中对变量序列进行约束。这两种方法的实验结果表明，与紧凑分配MIP公式相比，它们有助于建模，但也使模型更容易由MIP求解器求解。

引用于18文件

MSC公司：

90B35型 运筹学中的确定性调度理论
68平方米 计算机系统环境下的性能评估、排队和调度
65年第68季度 形式语言和自动机
90立方厘米 混合整数编程

关键词：

约束编程;整数规划;再表述;形式语言
PDF格式BibTeX公司 XML格式引用
\textit{M.-C.科特}等人，《限制条件16》，第1期，第54--76页（2011年；Zbl 1215.90026）
全文： 内政部

参考文献：

[1] Ahuja，R.K.、Magnanti，T.L.和Orlin，J.B.（1993）。网络流量。恩格尔伍德悬崖：普伦蒂斯大厅·Zbl 1201.90001号
[2] Aykin，T.（1996）。具有多个休息窗口的最佳轮班安排。管理科学，42（4），591-602·Zbl 0880.90065号 ·doi:10.1287/mnsc.42.4591
[3] Aykin，T.（1998）。具有多个休息和休息窗口的最优轮班调度的复合分支与切割算法。运筹学学会杂志，49（6），603-615·Zbl 1131.90348号
[4] Balakrishan，A.和Wong，R.（1990年）。轮换劳动力调度问题的模型。网络，20，25–42·doi:10.1002/net.3230200103
[5] Beaulieu，H.、Ferland，J.A.、Gendron，B.和Michelon，P.（2000）。在急诊室安排医生的数学规划方法。卫生保健管理科学，3193-200·doi:10.1023/A:1019009928005
[6] Bechtold，S.和Jacobs，L.（1990年）。最优排班中柔性休息分配的隐式建模。管理科学，36（11），1339-1351·doi:10.1287/mnsc.36.11.1339
[7] Bechtold，S.和Jacobs，L.（1996年）。轮班调度的一般集合覆盖和隐式整数规划公式的等价性。海军研究后勤，43（2），233-249·Zbl 0871.90041号 ·doi:10.1002/（SICI）1520-6750（199603）43:2<233:：AID-NAV5>3.0.CO；2-B型
[8] Bouchard，M.（2004）。优化暂停时间，避免制造工时和工时夸脱的问题。蒙特利尔理工学院，《医学回忆录》。
[9] Çezik，T.、Günlük，O.和Luss，H.（1999年）。周游调度问题的整数规划模型。海军研究后勤，48（7）·Zbl 1005.90033号
[10] Cock，J.和Schwartz，J.T.（1970年）。编程语言及其编译器：初步说明。技术报告，纽约大学Courant数学科学研究所·兹比尔0245.68003
[11] Dantzig，G.（1954年）。关于伊迪在收费站交通延误的评论。运筹学，2339–341·doi:10.1287/opre.2.339
[12] Demassey，S.、Pesant，G.和Rousseau，L.-M.（2005）。基于约束编程的员工时间表列生成。在关于组合优化问题约束编程中AI和OR技术集成的第二届国际会议论文集（CPAIOR 2005）（第3524卷，第140-154页）·Zbl 1133.90359号
[13] Demassey，S.、Pesant，G.和Rousseau，L.-M.（2006年）。基于成本规则的混合柱生成方法。约束条件，11（4），315–333·Zbl 1117.90066号 ·doi:10.1007/s10601-006-9003-7
[14] Ernst，A.、Hourigan，P.、Krishnamoorthy，M.、Mills，G.、Nott，H.和Sier，D.（1999）。排班救护车官员。《澳大利亚运筹学会第十五届全国会议论文集》，黄金海岸（第470-481页）。
[15] Ernst，A.T.、Jiang，H.、Krishnamoorthy，M.、Owens，B.和Sier，D.（2004）。人员安排和排班的注释书目。《运筹学年鉴》，127，21–144·Zbl 1090.90078号 ·doi:10.1023/B:ANOR.000019087.46656.e2
[16] Ernst，A.T.、Jiang，H.、Krishnamoorthy，M.和Sier，D.（2004）。员工排班和排班：应用程序、方法和模型综述。欧洲运筹学杂志，153，3–27·Zbl 1053.90034号 ·doi:10.1016/S0377-2217（03）00095-X
[17] Hopcroft，J.E.、Motwani，R.和Ullman，J.D.（2001）。自动机理论、语言和计算导论。阅读：艾迪森·卫斯理·Zbl 0980.68066号
[18] Kadioglu，S.和Sellmann，M.（2008年）。有效的上下文无关语法约束。第23届全国人工智能会议记录（第310-316页）。
[19] Kasami，T.（1965年）。一种有效的无上下文语言识别和句法分析算法。技术报告，科学报告AFCRL-65-758，空军剑桥研究实验室，马萨诸塞州贝德福德。
[20] Laporte，G.、Nobert，Y.和Biron，J.（1980）。轮换时间表。《欧洲运筹学杂志》，4（1），24-30·Zbl 0418.90053号 ·doi:10.1016/0377-2217（80）90036-3
[21] Mehrotra，A.、Murthy，K.和Trick，M.（2000年）。最佳轮班安排：一种分支与价格方法。海军研究后勤，47185-200·Zbl 0972.90032号 ·doi:10.1002/（SICI）1520-6750（200004）47:3<185:：AID-NAV1>3.0.CO；2至7
[22] Menana，J.和Demassey，S.（2009年）。使用多st-regular约束进行排序和计数。CPAIOR（第178-192页）·兹比尔1241.68104
[23] Millar，H.和Kiragu，M.（1998年）。通过网络编程对12小时轮班护士进行循环和非循环调度。欧洲运筹学杂志，104（3），582-592·Zbl 0955.90027号 ·doi:10.1016/S0377-2217（97）00006-4
[24] Moondra，S.（1976年）。银行劳动力调度的线性规划模型。《银行研究杂志》，6299–301。
[25] Pesant，G.（2004）。有限变量序列的正则语言成员约束。第十届约束编程原理与实践国际会议论文集（CP 2004）（第482-495页）·Zbl 1152.68573号
[26] Quimper，C.-G.和Rousseau，L.-M.解决多活动转移调度问题的大型邻域搜索方法。启发式杂志。doi:10.1007/s10732-009-9106-6·Zbl 1187.90141号
[27] Quimper，C.-G.和Walsh，T.（2006年）。全局语法约束。第十二届约束编程原理与实践国际会议论文集（CP 2006）（第751-755页）·兹比尔1160.68560
[28] Quimper，C.-G.和Walsh，T.（2007年）。分解全局语法约束。第十三届约束编程原理与实践国际会议论文集（CP 2007）（第590-604页）·Zbl 1145.68529号
[29] Rekik，M.（2006）。施工时间为工作日，环境高度灵活。蒙特利尔理工学院博士论文。
[30] Rekik，M.、Cordeau，J.-F.和Soumis，F.（2004）。使用benders分解隐式建模巡演调度。运筹学年鉴，118111-133·Zbl 1056.90073号 ·doi:10.1023/B:ANOR.000019101.29692.2c
[31] Sellmann，M.（2007）。语法约束理论。第十二届约束编程原理与实践国际会议论文集（CP 2006）（第530-544页）·Zbl 1160.68564号
[32] Sodhi，M.S.（2003）。一种灵活、快速、优化的建模方法，适用于伦敦地铁的乘务员排班。《运筹学年鉴》，127259-281·Zbl 1116.90355号 ·doi:10.1023/B:ANOR.000019092.76669.a1
[33] Thompson，G.（1995）。改进了人工轮班调度问题的隐式优化模型。管理科学，41（4），595-607·Zbl 0836.90108号 ·doi:10.1287/mnsc.41.4595
[34] Younger，D.H.（1967年）。在时间n 3内识别和解析无上下文语言。信息与控制，10（2），189-208·Zbl 0149.24803号 ·doi:10.1016/S0019-9958（67）80007-X
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。