高校排课问题的约束满足优化模型与算法