排课问题不是玄学：SAT、0-1规划与 CP-SAT 的建模思路

Fri, 29 May 2026 09:20:00 +0800

每到开学前，排课都是一件让人头疼的事。

表面上看，排课只是把课程填进时间表；但真正做起来会发现，它牵涉到班级、老师、课程、教室、时间等多个因素。一个老师不能同时教两个班，一个班不能同时上两门课，教室不能重复占用，数学课最好排上午，体育课别排太晚……

所以，排课并不是"凭经验填表"，它本质上是一个典型的组合优化问题。

排课 on RedJACK Blog