DEV Community
·
我如何构建大学课程表生成器
内容提要
我在2023年开发了UniFil的自动排课系统，利用Timefold Solver应对教授工作量不固定、课程多样和教室限制等挑战。经过多次调整，最终在12小时内生成了可行的课程表，显著缩短了原本一个月的时间。未来计划进一步改进系统和约束条件。
关键要点
-
在2023年开发了UniFil的自动排课系统，利用Timefold Solver应对教授工作量不固定、课程多样和教室限制等挑战。
-
经过多次调整，最终在12小时内生成了可行的课程表，显著缩短了原本一个月的时间。
-
UniFil面临的挑战包括教授工作量不固定、课程数量多、教室种类多样及其限制。
-
最初研究了现有解决方案，发现FET Timetable不适合，最终选择了Timefold Solver。
-
在初步实施中，发现多个约束条件实现不当，使用ScoreExplanation功能进行调试。
-
通过优化约束条件，改进了系统性能，采用集合而非列表以提高访问速度。
-
在基准测试中发现OptaPlanner过时，迁移到Timefold Solver后执行时间得到改善。
-
尽管进行了改进，仍面临用户界面不友好和搜索空间过大的挑战。
-
通过减少搜索空间和调整执行策略，最终在约6小时内生成了可行的课程表。
-
未来计划进一步改进系统，重新评估约束条件，并在Timefold上实现超启发式层。
延伸解读
技术选择的重要性
在开发自动排课系统时，选择合适的技术至关重要。作者最初尝试了FET Timetable，但由于其文档和可用性不符合需求，最终转向了Timefold Solver。这一转变不仅提高了执行效率，还使得系统的定制化成为可能，强调了在技术选择时需考虑的适应性和灵活性。
优化约束条件的挑战
在初步实施中，作者发现多个约束条件的实现存在问题。通过使用ScoreExplanation功能进行调试，作者意识到优化约束条件是提升系统性能的关键。这表明，在复杂系统开发中，持续的测试和调整是必不可少的，尤其是在面对多变的需求时。
搜索空间的管理
文章提到，生成课程表时面临着极大的搜索空间，约为10^820种可能性。为了应对这一挑战，作者通过排除可选课程来减少搜索空间。这一策略强调了在算法设计中，如何有效管理复杂性以提高效率的重要性。
未来改进的方向
作者计划在未来进一步改进系统，包括重新评估约束条件和实现超启发式层。这表明，技术开发是一个持续迭代的过程，开发者需要不断反思和优化，以适应不断变化的需求和技术环境。
延伸问答
UniFil的自动排课系统是如何应对教授工作量不固定的挑战的？
该系统利用Timefold Solver来处理教授工作量不固定的问题，通过优化约束条件和调整执行策略来生成可行的课程表。
开发UniFil课程表生成器的主要技术是什么？
主要技术是Timefold Solver，它允许开发者构建自定义问题模型并优化排课过程。
在开发过程中遇到了哪些主要挑战？
主要挑战包括用户界面不友好、搜索空间过大以及约束条件实现不当。
如何优化课程表生成的执行时间？
通过减少搜索空间、调整执行策略以及迁移到Timefold Solver，执行时间得到了显著改善。
UniFil的课程表生成器在多长时间内生成可行的课程表？
经过优化后，系统在约6小时内生成了可行的课程表，最终在12小时内完成了生产准备。
未来对UniFil课程表生成器有哪些改进计划？
未来计划进一步改进系统，重新评估约束条件，并在Timefold上实现超启发式层。
