基于回答集程序的排课系统设计与实现

摘要：

排课问题是典型的组合优化和NP完全问题.一个好的排课系统既需要能高效地求解排课同题,也需要能提供灵活的定义各种用户约束的方式,但现有的排课系统通常不能同时兼顾这两点.通过实现一个基于回答集程序的排课系统,较好地解决了这一问题.系统的前端接受用户的各种约束条件,并将其转换为回答集程序,后端调用回答集求解器实现排课问题的求解.实验表明,这种实现方式能适应排课条件的变化,具有灵活和可扩展的特点,并在可接受的时间内能排出教师满意度较高的课表.

关键词：回答集、排课、约束

所属期刊栏目：20

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金NSFC60703095;广东省自然科学基金GDSF07300237

在线出版日期：2010-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：228-232