约束满足问题(高校排课问题)