MiniZinc中的大规模自动排课
Automated Large-scale Class Scheduling in MiniZinc
摘要：
排课是一项高度受限的任务。教育机构花费大量的资源，在时间和人工计算的形式，找到一个令人满意的时间表，满足所有的要求。一个令人满意的课程表可以让所有的学生在方便的时间上他们想要的课程。调度程序还需要考虑给定时隙上课程教师的可用性。随着可用教室的增加限制，在这个巨大的搜索空间中满足所有约束的解决方案的数量进一步减少。本文提出了一个有效的系统来生成课程表，可以满足一个典型的大学的每一个可能的需求。虽然它主要是一个固定信用的调度程序，但它也可以为开放信用系统进行调整。该模型是在MiniZinc中设计的，并使用各种现成的求解器求解。建议的调度系统可以找到一个平衡的时间表，一个中等规模的教育机构在不到一分钟。
英文摘要：
Class Scheduling is a highly constrained task. Educational institutes spend a lot of resources, in the form of time and manual computation, to find a satisficing schedule that fulfills all the requirements. A satisficing class schedule accommodates all the students to all their desired courses at convenient timing. The scheduler also needs to take into account the availability of course teachers on the given slots. With the added limitation of available classrooms, the number of solutions satisfying all constraints in this huge search-space, further decreases. This paper proposes an efficient system to generate class schedules that can fulfill every possible need of a typical university. Though it is primarily a fixed-credit scheduler, it can be adjusted for open-credit systems as well. The model is designed in MiniZinc and solved using various off-the-shelf solvers. The proposed scheduling system can find a balanced schedule for a moderate-sized educational institute in less than a minute.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
