排课系统Survey Report-毕业文外文翻译.docVIP

大学的排课系统是一个组合的问题，这个问题是由在规定的房间和时间段的数量内安排一套课程组成。解决为问题订时间表的一个现实世界手工经常需要相当多数量的时间，有时几天或者甚至周。因此，许多研究已被投资为了提供对于人类课程表的自动化的支持。贡献来自运筹学和人工智能的领域。 本文参照学期和方法来满足限制条件。方法提出使用约束逻辑编写程序被发展。约束逻辑编写程序把逻辑编写程序的语句与从运筹学和人工智能的方法的效率相结合。 它最近成为解决时间表问题的一种有前途的方法。 从满足限制运用古典的方法要求作一个满足限制问题的模拟问题，一套变量，每一个带有它能承担的价值的一个领域，和在变量中间的一套约束。约束是通过禁用的结合价值规定解决方案的空间的关系。 方法包括搜索，启发式，和约束传播。 典型地，系统的搜索把价值分配到依次地跟随一些搜索秩序的变量。如果过程没能扩展一种部分的解决，被取消与选择探索的决定。 系统的搜索经常依赖于启发式，这定义在其中变量和价值被选择的秩序。约束传播是补充的； 它通过识别不能参加一种解决的价值简化一个问题。 这方法搜索空间剪除与搜索变得容易。 在实践中，大多数以约束为基础的时间表系统不支持或者是轻微的约束或者是使用一个分支和境界代替搜索时序回溯。 分支和境界从一种解决开始并且要求下一种解决是更好的。质量依赖于轻微的约束的装置的一个适合的费用功能测量。 有了这方法，然而，在选