×

基于岗位注册的课程时间表问题的局部搜索和约束编程。 (英语) 兹比尔1251.90120

摘要:我们提出了多种解决基于注册后课程时间表问题的方法,该问题被提议为2007年国际时间表竞赛的第二轨道。我们使用局部搜索和约束编程技术来处理该问题。我们展示了如何利用列表着色放松问题。我们的本地搜索方法赢得了2007年比赛的第二名。我们最好的约束编程方法使用原始问题分解。将其纳入大型邻域搜索方案似乎很有希望,并为进一步详细研究完整方法提供了动力。

MSC公司:

90B35型 运筹学中的确定性调度理论
90 C59 数学规划中的近似方法和启发式

软件:

炸薯条;
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abdullah,S.、Burke,E.K.和;McCollum,B.(2005年)。使用具有复合邻域结构的随机迭代改进算法进行课程时间表。MIC 05:第六届超神经科学国际会议·兹比尔1172.90393
[2] Aggoun,A.和;Beldiceanu,N.(1993年)。扩展芯片以解决复杂的调度和布局问题。《数学计算与建模》,17(7),57–73·doi:10.1016/0895-7177(93)90068-A
[3] Beldiceanu,N.、Carlsson,M.、Demassey,S.和;Petit,T.(2007)。全球约束目录:过去、现在和未来。约束,12(1),21–62·Zbl 1128.68092号 ·doi:10.1007/s10601-006-9010-8
[4] Cambazard,H.、Hladik,P.E.、Déplanche,A.M.、Jussien,N.和;Trinquet,Y.(2004)。实时任务分配问题的分解和学习。程序中。CP(第153-167页)·Zbl 1152.68545号
[5] Carter,M.W.和;Laporte,G.(1997)。实践课程时间表的最新发展。PATAT(第3-19页)。
[6] Chiarandini,M.、Birattari,M.和Socha,K;Rossi-Doria,O.(2006年)。一种有效的大学课程表混合算法。J.日程安排,9(5),403–432·Zbl 1154.90428号 ·doi:10.1007/s10951-006-8495-8
[7] Danna,E.和;Perron,L.(2003)。结构化与非结构化大邻域搜索:具有提前和延迟成本的job-shop调度问题的案例研究。CP(第817-821页)。
[8] de Siqueira,J.L.和;Puget,J.F.(1988年)。基于解释的故障概括。欧洲人工智能会议(ECAI'88)(第339-344页)。
[9] de Werra,D.(1985)。时间表介绍。《欧洲运筹学杂志》,19(2),151-162·兹伯利0553.90059 ·doi:10.1016/0377-2217(85)90167-5
[10] Di Gaspero,L.和;Schaerf,A.(2006年)。用于本地搜索的邻域组合方法应用于时间表问题。数学建模与算法杂志,5(1),65-89·Zbl 1103.90102号 ·doi:10.1007/s10852-005-9032-z
[11] Galinier,P.和;Hertz,A.(2006年)。图形着色局部搜索方法的调查。计算机操作研究,33(9),2547–2562·Zbl 1086.90060号 ·doi:10.1016/j.cor.2005.07.028
[12] 胡克,J.N.,&;Ottosson,G.(2003)。基于逻辑的折弯机分解。数学编程,96,33–60·Zbl 1023.90082号
[13] Jain,V.和;Grossmann,I.E.(2001年)。一类优化问题的混合milp/cp模型算法。信息计算杂志,13,258–276·Zbl 1238.90106号 ·doi:10.1287/ijoc.131.4.258.9733
[14] Kirkpatrick,S.、Gelatt,C.D.和;Vecchi,M.P.(1983年)。通过模拟退火进行优化。《科学》,220(4598),671-680·Zbl 1225.90162号 ·doi:10.1126/science.220.4598.671
[15] Kostuch,P.(2004)。用三阶段方法解决大学课程时间表问题。PATAT(第109-125页)·Zbl 1177.68191号
[16] Kuhn,H.W.(1955年)。分配问题的匈牙利方法。海军研究后勤季刊,2(1),83–98·Zbl 0143.41905号 ·doi:10.1002/nav.3800020109
[17] Lewis,R.、Paechter,B.和;McCollum,B.(2007年)。基于注册后的课程时间表:第二届国际时间表竞赛第二轨道使用的问题模型描述(技术报告)。加的夫大学。
[18] Moskewicz,M.W.、Madigan,C.F.、Zhao,Y.、Zhang,L.和;Malik,S.(2001)。Chaff:设计一个高效的SAT求解器。第38届设计自动化会议论文集(DAC'01)(第530-535页)。
[19] Perron,L.和;Shaw,P.(2004)。联合力量解决汽车排序问题。CPAIOR(第225–239页)·Zbl 1094.68651号
[20] Perron,L.、Shaw,P.和;Furnon,V.(2004年)。传播引导的大邻域搜索。CP(第468–481页)·Zbl 1152.68572号
[21] Refalo,P.(2004)。基于影响的约束编程搜索策略。在CP中(第557-571页)·Zbl 1152.68577号
[22] Régin,J.C.(1994)。CSP中差异约束的过滤算法。第十二届全国人工智能会议论文集(AAAI-94)(第362-367页)。
[23] Régin,J.C.(1996)。全局基数约束的广义弧一致性。在全国人工智能会议(AAAI'96)上(第209-215页)。
[24] Régin,J.C.(1999)。具有成本的全局基数约束的弧一致性。《约束编程原理与实践》(CP’99)(第390-404页)。
[25] Rossi-Doria,O.,Sampels,M.,Birattari,M.;Chiarandini,M;Stützle,T.(2002)。比较不同元启发式算法在时间表问题上的性能。PATAT(第329-354页)。
[26] Sadeh,N.和;Fox,M.S.(1996年)。针对job-shop调度约束满足问题的变量和值排序启发式算法。人工智能,86(1),1-41·doi:10.1016/0004-3702(95)00098-4
[27] Schaerf,A.(1999)。自动时间表调查。《人工智能评论》,13(2),87–127·doi:10.1023/A:1006576209967
[28] Shaw,P.(1998)。使用约束规划和局部搜索方法解决车辆路径问题。CP(第417-431页)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。