×

乌迪内课程时间表问题的分支程序。 (英语) Zbl 1251.90276号

小结:描述了乌迪内课程时间表问题的一个分支程序。该问题的简单紧凑整数线性规划公式仅使用二进制变量。相反,我们通过混合使用二进制变量和一般整数变量给出了一个变量较少的公式。此公式具有指数数量的约束,这些约束仅在违反时添加。约束的数量是指数级的。然而,这只是关于一般整数变量的上限,即乌迪内课程时间表问题中每天的时段数。还引入了一些进一步的切割类别,这些类别源自:事件/自由周期模式的枚举;指令天数的限制;开发目标函数值完整性的愿望;图形着色组件;以及各种隐含边界。根据2007年国际时间表竞赛第3赛道的实例,评估了相应分支和切割程序的实施情况。

MSC公司:

90立方厘米 整数编程
90C57型 多面体组合学,分支与绑定,分支与切割
90B35型 运筹学中的确定性调度理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ahuja,R.K.、Magnanti,T.L.和;Orlin,J.B.(1993)。网络流:理论、算法和应用。纽约:Prentice Hall·Zbl 1201.90001号
[2] Al-Yakoob,S.M.和;Sherali,H.D.(2007)。课程时间表问题的混合编程方法:一个考虑性别政策和交通因素的案例研究。欧洲运筹学杂志,180(3),1028–1044·Zbl 1121.90049号 ·doi:10.1016/j.ejor.2006.04.035
[3] Avella,P.和;Vasil’ev,I.(2005年)。大学课程表切割平面算法的计算研究。《调度杂志》,8(6),497–514·Zbl 1123.90016号 ·doi:10.1007/s10951-005-4780-1
[4] Balas,E.、Bockmayr,A.、Pisaruk,N.和;Wolsey,L.(2004)。关于多面体的并集和支配。数学规划,99(2),223-239·邮编1098.90092 ·doi:10.1007/s10107-003-0432-4
[5] 巴拉斯、E、&;齐立群(1993)。三指标赋值多面体的线性时间分离算法。离散应用数学,43(1),1-12·Zbl 0781.90069号 ·doi:10.1016/0166-218X(93)90164-J
[6] 巴拉斯、E、&;Saltzman,M.J.(1989)。三指标赋值多边形的面。离散应用数学,23,201–229·Zbl 0723.90065号 ·doi:10.1016/0166-218X(89)90014-0
[7] 巴拉斯、E、&;Saltzman,M.J.(1991年)。三指标分配问题的一种算法。运营研究,39(1),150–161·兹比尔0743.0079 ·doi:10.1287/opre.39.1.50
[8] Bardadym,V.A.(1996年)。计算机辅助学校和大学时间表:新浪潮。在E.K.Burke&P.Ross(编辑),计算机科学讲稿:第1153卷。自动时间表的实践和理论(第22-45页)。柏林:斯普林格。
[9] Beyrouthy,C.B.、Burke,E.K.、Silva,D.L.、McCollum,B.、McMullan,P.和;Parkes,A.J.(2009)。努力提高大学教学空间的利用率。运筹学学会杂志,60(1),130-143·Zbl 1168.90499号 ·doi:10.1057/palgrave.jors.2602523
[10] Bonutti,A.、De Cesco,F.、Di Gaspero,L.和;Schaerf,A.(2011)。基于课程的基准课程时间表:公式、数据格式、实例、验证、可视化和结果。《运筹学年鉴》(本卷)。doi:10.1007/s10479-010-0707-0·兹比尔1251.90117
[11] 伯克·E·K·;Petrovic,S.(2002)。自动时间表的最新研究方向。欧洲运筹学杂志,140(2),266-280·Zbl 1001.90030号 ·doi:10.1016/S0377-2217(02)00069-3
[12] 伯克,E.K.,杰克逊,K.,金斯顿,J.H;Weare,R.F.(1997)。《自动大学时间表:最新进展》,《计算机杂志》,40(9),565-571·Zbl 05471035号 ·doi:10.1093/comjnl/40.9.565
[13] 伯克·E·K、德韦拉·D·;金斯顿,J.H.(2004)。时间表应用程序。J.L.Gross&J.Yellen(编辑),《图论手册》(第445-474页)。伦敦:CRC。
[14] Burke,E.K.、Mareček,J.、Parkes,A.J.和;Rudová,H.(2010)。顶点着色的超节点公式及其在课程时间表中的应用。运筹学年鉴179(1),105-130·兹比尔1207.05046 ·doi:10.1007/s10479-010-0716-z
[15] 伯克·E·K·、马雷切克·J·、帕克斯·A·J·;Rudová,H.(2008年)。时间表中的惩罚模式:新型整数编程公式。在S.Nickel&&;J.Kalcsics(编辑),《2007年运筹学会议录》(第409-414页)。柏林:斯普林格·兹比尔1209.90160
[16] 伯克·E·K·、马雷切克·J·、帕克斯·A·J·;Rudová,H.(2010)。分解、重新制定和投入时间表。计算机与运筹学,37(1),582-597·Zbl 1173.90451号 ·doi:10.1016/j.cor.2009.02.023
[17] Campílo,M.、Corría,R.C.和;Frota,Y.(2003)。团、洞和顶点着色多边形。《信息处理快报》,89(4),159-164·Zbl 1176.90598号 ·doi:10.1016/j.ipl.2003.11.005
[18] 卡普拉拉(1998)。一类划分问题的ILP公式的性质。离散应用数学,87(1-3),11-23·Zbl 0910.90217号 ·doi:10.1016/S0166-218X(98)00046-8
[19] Carter,M.W.(1989)。课堂作业问题的拉格朗日松弛方法。信息计算杂志,27230-245·Zbl 0668.90041号
[20] Carter,M.W.和;Laporte,G.(1997)。实践课程时间表的最新发展。在E.K.Burke&M.W.Carter(编辑),计算机科学课堂讲稿:第1408卷。自动时间表的实践和理论(第3-19页)。柏林:斯普林格。
[21] Chvátal,V.(1973)。Edmonds多面体和组合问题的层次结构。离散数学,4305-337·Zbl 0253.05131号 ·doi:10.1016/0012-365X(73)90167-2
[22] Coll,P.、Marenco,J.、Méndez-Díaz,I.和;Zabala,P.(2002)。图形着色多面体的小平面。运筹学年鉴,116,79-90·Zbl 1013.90097号 ·doi:10.1023/A:1021315911306
[23] Czumaj,A.,&Lingas,A.(2007)。找到一个最重的三角形并不比矩阵乘法难。2007年SODA:第十八届ACM-SIAM离散算法年度研讨会论文集(第986–994页)。费城:SIAM·Zbl 1302.68123号
[24] Daskalaki,S.、Birbas,T.和;Housos,E.(2004)。大学时间表案例研究的整数规划公式。欧洲运筹学杂志,153117-135·Zbl 1053.90078号 ·doi:10.1016/S0377-2217(03)00103-6
[25] Daskalaki,S.、Birbas,T.和;Housos,E.(2005)。通过整数规划有效解决大学时间表问题。欧洲运筹学杂志,160,106–120·Zbl 1067.90135号 ·doi:10.1016/j.ejor.2003.06.023
[26] Dimopoulou,M.和;Miliotis,P.(2004)。在分布式环境中开发的自动化大学课程时间表系统:案例研究。欧洲运筹学杂志,153136-147·Zbl 1053.90019号 ·doi:10.1016/S0377-2217(03)00104-8
[27] Edmonds,J.(1965)。最大匹配和具有0,1个顶点的多面体。研究杂志,国家标准局。第D节,无线电科学,69B,125–130·Zbl 0141.21802号
[28] Edmonds,J.、Lovász,L.和;W.R.(1982年)。图的块分解和匹配秩。Combinatorica,2(3),247-274·Zbl 0521.05035号 ·doi:10.1007/BF02579233
[29] Di Gaspero,L.和;Schaerf,A.(2003)。多邻域局部搜索及其在排课问题中的应用。在E.K.Burke&P.De Causmaecker(编辑),计算机科学讲稿:第2740卷。自动时间表的实践和理论(第262-275页)。柏林:斯普林格。
[30] Di Gaspero,L.和;Schaerf,A.(2006)。用于本地搜索的邻域组合方法应用于时间表问题。数学建模与算法杂志,5(1),65-89·Zbl 1103.90102号 ·doi:10.1007/s10852-005-9032-z
[31] Gwan,G.和;齐立群(1992)。关于三指标赋值多边形的面。澳大利亚组合数学杂志,6,67-87·Zbl 0770.90046号
[32] ILOG(2006)。ILOG CPLEX高级编程技术。斜井村:ILOG S.A。
[33] Lach,G.和;Lübbecke,M.E.(2008)。最优大学课程表和部分横截多面体。在C.C.McGeoch(Ed.)中,计算机科学讲义:第5038卷。实验算法(第235-248页)。柏林:斯普林格。
[34] Lach,G.和;Lübbecke,M.E.(2011年)。基于课程的课程时间表:Udine基准实例的新解决方案。《运筹学年鉴》(本卷)。doi:10.1007/s10479-010-0700-7·Zbl 1251.90160号
[35] Lawrie,N.L.(1969年)。学校时间表问题的整数线性规划模型。《计算机杂志》,12,307–316·doi:10.1093/comjnl/12.4307
[36] McCollum,B.(2007年)。弥合大学时间表理论与实践之间差距的观点。在E.K.Burke&H.Rudová(编辑),计算机科学讲稿:第3867卷。自动化时间表的实践和理论(第3–23页)。柏林:斯普林格。
[37] McCollum,B.、Schaerf,A.、Paechter,B.、McMullan,P.、Lewis,R.、Parkes,A.J.、Di Gaspero,L.、Qu,R.和;Burke,E.K.(2010年)。制定自动化时间表的研究议程:第二届国际时间表竞赛。信息计算杂志,22(1),120-130·Zbl 1243.90007号 ·doi:10.1287/ijoc.1090.0320
[38] Méndez-Díaz,I.和;Zabala,P.(2008)。图着色的割平面算法。离散应用数学,156(2)·Zbl 1163.90012号
[39] Mirhassani,S.A.(2006年)。使用整数规划增强课程时间表的计算方法。应用数学与计算,175814-822·Zbl 1092.90025号 ·doi:10.1016/j.amc.2005.07.039
[40] Müller,T.(2009)。ITC-2007求解器描述:混合方法。《运筹学年鉴》,127(1),429–446·Zbl 1184.90143号 ·doi:10.1007/s10479-009-0644-y
[41] Niskanen,S.和;厄斯特格沃德,P.R.J.(2003)。Client用户指南,1.0版。芬兰埃斯波赫尔辛基理工大学通信实验室,技术代表T482003。
[42] Petrovic,S.和;Burke,E.K.(2004)。大学时间表。J.Leung(Ed.),《调度手册:算法、模型和性能分析》(第1001–1023页)。博卡拉顿:CRC出版社。ISBN 1584883979。
[43] A.Qualizza,&Serafini,P.(2004)。教师时间表的列生成方案。在E.K.Burke&M.A.Trick(编辑),计算机科学讲稿:第3616卷。自动时间表的实践和理论(第161-173页)。柏林:斯普林格。
[44] Rudová,H.和;Murray,K.(2003)。具有软约束的大学课程时间表。在E.K.Burke&P.De Causmaecker(编辑),计算机科学讲稿:第2740卷。自动时间表的实践和理论(第310-328页)。柏林:斯普林格。
[45] Rudová,H.、Müller,T.和;Murray,K.(2011年)。复杂的大学课程时间表。日程安排日志(将出现)。doi:10.1007/s10951-010-0171-3。
[46] Santos,H.、Uchoa,E.、Ochi,L.和;Maculan,N.《运筹学编年史》(即将出版)的课堂教师时间表的切割和列生成有很强的界限。doi:10.1007/s10479-010-0828-5。
[47] Schaerf,A.(1999)。自动时间表调查。《人工智能评论》,13(2),87–127·Zbl 05467698号 ·doi:10.1023/A:1006576209967
[48] Schimmelpfeng,K.,&;Helber,S.(2007)。应用整数规划求解的真实世界大学课程时间表模型。OR-Spektrum,29,783–803·Zbl 1168.90670号 ·doi:10.1007/s00291-006-0074-z
[49] Tomita,E.、Tanaka,A.和;Takahashi,H.(2006)。生成所有最大团和计算实验的最坏情况时间复杂性。理论计算机科学,363(1),28-42·Zbl 1153.68398号 ·doi:10.1016/j.tcs.2006.06.015
[50] Tripathy,A.(1984)。学校时间表——大型二进制整数线性规划的一个例子。管理科学,301473-1489·Zbl 0554.90058号 ·doi:10.1287/mnsc.30.12.1473年
[51] Vlach,M.(1967年)。三指标分配问题的分枝定界法。Ekonomiko Matematicky Obzor,1811-191岁。
[52] 威尔士,D.J.A;Powel,M.B.(1967年)。图的色数的上界及其在时间表问题中的应用。《计算机杂志》,10(1),85–86·Zbl 0147.15206号 ·doi:10.1093/comjnl/10.1.85
[53] Zabala,P.和;Méndez-Díaz,I.(2006年)。图着色的分枝切割算法。离散应用数学,154(5),826–847·Zbl 1120.90034号 ·doi:10.1016/j.dam.2005.05.022
[54] Zuckerman,D.(2007年)。线性度提取器与最大团和色数的不可接近性。计算理论,3(6),103–128·Zbl 1213.68322号 ·doi:10.4086/toc.2007.v003a006
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。