排课问题不是玄学:SAT、0-1规划与 CP-SAT 的建模思路2026-05-29··技术思考 运筹优化 SAT CP-SAT 排课 组合优化每到开学前,排课都是一件让人头疼的事。表面上看,排课只是把课程填进时间表;但真正做起来会发现,它牵涉到班级、老师、课程、教室、时间等多个因素。一个老师不能同时教两个班,一个班不能同时上两门课,教室不能重复占用,数学课最好排上午,体育课别排太晚……所以,排课并不是"凭经验填表",它本质上是一个典型的组合优化问题。