论文部分内容阅读
排课算法可在大规模空间上对排课元素实施自动编排。然而,目前未见报道有关针对已排好的课表实施正确性检测的通用全自动方法。为此,给出课表所需满足约束条件的形式化描述;在此基础上,分别给出3个子算法以检测3种约束条件;顺序调用这些子算法,即可得到一种面向教学实践的排课冲突检测算法。检测实验证实了新方法的有效性。