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

第2O卷 第6期 计 算 机 技术 与发 展 V01．20 No．6 2010年 6月 (X)MPUTERTEa )10GY AND D LD PMENT Jun． 2010 基于回答集程序的排课系统设计与实现 吕勇全，陈 寅，邬家炜，庄伟杰 (华南师范大学计算机学院，广东广州 510631) 摘 要：排课问题是典型的组合优化和 NP完全问题。一个好的排课系统既需要能高效地求解排课问题 ，也需要能提供灵 活的定义各种用户约束的方式，但现有的排课系统通常不能同时兼顾这两点。通过实现一个基于回答集程序的排课系 统，较好地解决了这一问题。系统的前端接受用户的各种约束条件，并将其转换为回答集程序，后端调用回答集求解器实 现排课问题的求解。实验表明，这种实现方式能适应排课条件的变化，具有灵活和可扩展的特点，并在可接受的时间内能 排出教师满意度较高的课表。 关键词 ：回答集 ；排课 ；约束 中图分类号 ：TP18 文献标识码 ：A 文章编号：1673—629X(2O10)06—0228一O5 TimetablingSystem DesignandImplementationUsing AnswerSetProgramming LUYong—quan，CHENYin，WUJia—wei，ZHUANGWei-jie (S,choolofComputer，SouthChinaNormalUniversity，Guangzhou510631，China) Abstract：Timetablingproblem isatypicalcombinatorialoptimizationproblemaswellasaNP—completeproblem．A goodtimetabling system needsnotonlytheefficiencyintimetabtingsolvingbutalsotheflexibilityindefimaingriserconstraints．However，thesystemsat presentusuallycall’tdealwiththesetwopointsatthesametime．Inthispaper，realizeabettertimetabling system basedonanswerset progranmaing ．Thes~tem’sFront—Endreceivesvarions ocnstraintsbeforetransforming thme intov~vcersetprogram．TheBack—End oslves timetabling problem ttu-oughanswersetsolver．The~xperimentalresultsshow USthatitcanarrangeasatisfiedtimetableinanac— ceptabletimebecauesofitsflexibilityandscalability． Keywords：answerr~et；timetabling；constraint O 引 言 新的知识表示和推理的方式，同时也是一个用于问题 自动排课系统 的核心问题是时间表问题 (Time 求解的工具。ASP是一种说明性的程序设计语言，只 TableProblems)，而时间表问题 已被证明是NP完全问 需通过用特定的语言对问题进行正确、完整的描述，不 题 [’，引…-q．．且一个具有实际用途的自动排课系统还需 需要程序员编写具体的解决问题的算法，就可以通过 要能灵活地定义和修改各种排课约束。因此，实现一 调用回答集求解器得到问题的结果。正因为AsP是 个 自动排课系统需要既实现一个高效的