×

基于课程的课程时间表:Udine基准实例的新解决方案。 (英语) 兹比尔1251.90160

摘要:我们提出了一种整数规划方法来解决大学课程时间表问题,在该问题中,每周的讲座必须安排并分配到各个房间。学生的课程设置限制了哪些课程不能同时安排。除了一些硬约束(没有两门课程同时在同一房间等)外,实践中还有一些软约束,这些软约束为时间表提供了方便的结构;应该尽可能满足这些要求。
我们报告了基于乌迪内大学真实数据的文献和第二届国际时间表竞赛中的基准实例的求解。第一组求解为证明的最优性;对于第二组,我们给出的解决方案平均与之前最著名的解决方案竞争或击败。我们的算法并不是一个全面的赢家,但它是非常稳健的,因为它在合理的计算时间内确定性地给出了令人满意的下限和上限,而无需特别调整。对于文献中稍大的实例,我们的方法显示出巨大的潜力,因为它大大超过了以前的基准。我们进一步向几个更大的实例提供了质量经验证的解决方案,这些实例具有更详细的硬约束。

MSC公司:

90B35型 运筹学中的确定性调度理论
90立方厘米 整数编程

软件:

SCIP公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Achterberg,T.(2009)。SCIP:求解约束整数程序。数学规划计算,1,1-41·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[2] 伯克·E·K·;Petrovic,S.(2002)。自动时间表的最新研究方向。欧洲运筹学杂志,140(2),266-280·Zbl 1001.90030号 ·doi:10.1016/S0377-2217(02)00069-3
[3] 伯克·E·K·、马雷切克·J·、帕克斯·A·J·;Rudová,H.(2007)。顶点着色的基于团的整数规划公式及其在课程表中的应用。诺丁汉大学技术报告NOTTCS-TR-2007-10。arXiv:0710.3603v2。
[4] 伯克·E·K·、马雷切克·J·、帕克斯·A·J·;Rudová,H.(2008年a)。乌迪内课程时间表问题的分支程序。在E.K.Burke&M.Gendreau(编辑),《第七届自动时间表实践和理论国际会议论文集》,PATAT 2008,加利福尼亚州蒙特利尔。
[5] 伯克·E·K·、马雷切克·J·、帕克斯·A·J·;Rudová,H.(2008b)。时间表中的惩罚模式:强化整数规划公式。J.Kalcsics&S.Nickel(Eds.)《2007年运营研究汇编》(第409-414页)。柏林:斯普林格·Zbl 1209.90160号
[6] 伯克·E·K·、马雷切克·J·、帕克斯·A·J·;Rudová,H.(2008)。MIP在课程时间表中的使用和滥用。混合整数规划研讨会海报,MIP2007,蒙特利尔,2008年。可在线访问http://cs.nott.ac.uk/jxm/timetabling/mip2007-poster.pdf .
[7] Carter,M.W.(2001)。滑铁卢大学的综合课程时间表和学生时间表系统。在E.Burke&W.Erben(编辑)法学。票据构成。科学:第2079卷。第三届自动时间表实践与理论国际会议论文集,PATAT 2000(第64-82页)。柏林:斯普林格·Zbl 0982.68955号
[8] Daskalaki,S.和;Birbas,T.(2005)。通过整数规划有效解决大学时间表问题。欧洲运筹学杂志,127(1),106-120·Zbl 1067.90135号 ·doi:10.1016/j.ejor.2003.06.023
[9] Daskalaki,S.、Birbas,T.和;Housos,E.(2004)。大学时间表案例研究的整数规划公式。欧洲运筹学杂志,153117-135·Zbl 1053.90078号 ·doi:10.1016/S0377-2217(03)00103-6
[10] De Cesco,F.、Di Gaspero,L.和;Schaerf,A.(2008)。基于课程的基准课程时间表:公式、数据格式、实例、验证和结果。在E.K.Burke&M.Gendreau(编辑),《第七届自动时间表实践和理论国际会议论文集》,PATAT 2008,加利福尼亚州蒙特利尔·Zbl 1251.90117号
[11] Di Gaspero,L.和;Schaerf,A.(2003)。多邻域局部搜索及其在课程时间表问题中的应用。在E.Burke&P.De Causmaecker(编辑)法律。票据构成。科学:第2740卷。《第四届自动时间表实践与理论国际会议论文集》,PATAT 2002(第262-275页)。柏林:斯普林格。
[12] Di Gaspero,L.和;Schaerf,A.(2006)。用于本地搜索的邻域组合方法应用于时间表问题。数学建模与算法杂志,5,65-89·Zbl 1103.90102号 ·doi:10.1007/s10852-005-9032-z
[13] Di Gaspero,L.、McCollum,B.和;Schaerf,A.(2007年)。第二届国际时间表竞赛(ITC-2007):基于课程表的课程时间表(第3轨)。技术报告QUB/IEE/Tech/ITC2007/CurriculumCTT/v1.0,英国贝尔法斯特女王大学,2007年8月。
[14] Lach,G.和;Lübbecke,M.E.(2008)。最优大学课程表和部分横截多面体。在C.C.McGeoch(编辑)Lect。注释计算。科学:第5038卷。第七届实验算法研讨会论文集(第235-248页)。柏林:斯普林格。
[15] Lovász,L.和;普卢默,M.D.(1986)。匹配理论。阿姆斯特丹:荷兰北部·Zbl 0618.05001号
[16] McCollum,B.、McMullan,P.、Paechter,B.、Lewis,R.、Schaerf,A.、Di Gaspero,L.、Parkes,A.J.、Qu,R.和;Burke,E.(2009年出版)。设置自动时间表的研究议程:第二届国际时间表竞赛。信息计算杂志·Zbl 1243.90007号
[17] Müller,T.(2008)。ITC2007求解器描述:混合方法。《第七届国际自动时间表实践与理论会议论文集》,PATAT 2008,加利福尼亚州蒙特勒·Zbl 1184.90143号
[18] A.Qualizza,&Serafini,P.(2005)。教师时间表的列生成方案。在E.K.Burke,&;M.A.Trick(编辑)Lect。票据构成。科学:第3616卷。《第五届自动时间表实践与理论国际会议论文集》,PATAT 2004(第161-173页)。柏林:斯普林格。
[19] Schaerf,A.(1999)。对自动时间表的调查。《人工智能评论》,13(2),87–127·doi:10.1023/A:1006576209967
[20] Schimmelpfeng,K.,&;Helber,S.(2007)。应用整数规划求解的真实世界大学课程时间表模型。OR光谱,29783–803·Zbl 1168.90670号 ·doi:10.1007/s00291-006-0074-z
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。