[论文解读] A Visual Entity-Relationship Model for Constraint-Based University Timetabling

Islam Abdelraouf, Slim Abdennadher+1 more|arXiv (Cornell University)|Sep 28, 2011

Constraint Satisfaction and Optimization参考文献 5被引用 3

一句话总结

本文提出了一种基于约束的大学课表编排的可视化实体-关系建模方法，使非专家用户能够通过直观的节点与连线图示（表示资源（如讲师、学生群体）和事件（如讲座、实验课））来指定调度问题。该系统利用全局约束，自动将这些图示编译为高效的约束程序，在标准PC上于3.5分钟内完成对2233个事件和400多个资源的完整课表生成。

ABSTRACT

University timetabling (UTT) is a complex problem due to its combinatorial nature but also the type of constraints involved. The holy grail of (constraint) programming: "the user states the problem the program solves it" remains a challenge since solution quality is tightly coupled with deriving "effective models", best handled by technology experts. In this paper, focusing on the field of university timetabling, we introduce a visual graphic communication tool that lets the user specify her problem in an abstract manner, using a visual entity-relationship model. The entities are nodes of mainly two types: resource nodes (lecturers, assistants, student groups) and events nodes (lectures, lab sessions, tutorials). The links between the nodes signify a desired relationship between them. The visual modeling abstraction focuses on the nature of the entities and their relationships and abstracts from an actual constraint model.

研究动机与目标

• 解决将复杂的大学课表编排问题转化为有效约束模型的挑战，这一任务传统上需要专家级的编程知识。
• 使非技术背景的利益相关者（如教学人员和课表协调员）能够使用高层次的、可视化抽象方式来建模调度问题。
• 将问题规格与底层约束实现解耦，以提高可访问性并减少建模错误。
• 开发一个可扩展且模块化的系统，支持在模型构建过程中进行动态更新和一致性检查。
• 在包含2000多个事件和400多个资源的真实大学实例上，证明该方法的可行性和高效性。

提出的方法

• 使用包含两种主要节点类型的可视化实体-关系图来建模大学课表编排问题：资源节点（如讲师、助教、学生群体）和事件节点（如讲座、辅导课、实验课）。
• 通过连线表示节点之间的关系，其中连线的语义由所连接节点的类型决定，从而实现语义感知的约束生成。
• 在模型构建过程中通过利用节点类型和连线关系中编码的丰富语义信息，执行在线一致性检查。
• 使用SICStus Prolog将可视化模型编译为约束编程（CP）模型，自动集成全局约束（例如，count、cumulative）以提高效率。
• 通过将讲师偏好（例如，休息日愿望）编码为基于count的约束，并利用标注启发式策略最大化满足度，支持软约束处理。
• 使用领域特定的编译管道，将可视化构造映射为优化后的CP代码，包括对称性打破和约束传播优化。

实验结果

研究问题

• RQ1 基于可视化和实体-关系的建模界面是否能有效隐藏约束驱动的大学课表编排问题的复杂性，使非专家用户受益？
• RQ2 如何利用节点类型和连线关系中的语义信息，自动生成正确且高效的约束编程模型？
• RQ3 该可视化建模方法在真实世界的大规模课表实例中，能在多大程度上支持可扩展性和模块化？
• RQ4 该系统是否能在包含硬约束和软约束的复杂真实大学课表问题上，同时实现高质量解和高性能？
• RQ5 与传统的约束网络表示相比，该可视化模型在非编程利益相关者眼中，其清晰度和可维护性如何？

主要发现

• 该可视化实体-关系模型使德国开罗美国大学（GUC）的完整大学课表实例在仅5小时内被指定，相比手工方法显著缩短了时间。
• 系统仅用7秒就从可视化模型生成了完整的SICStus Prolog约束程序，证明了编译的快速与可靠。
• 对于涉及2233个事件和400多个资源的大规模实例，前五个可行解在3.5分钟内被找到，表明其在复杂问题上的强大性能。
• 该方法支持动态模型更新：修改节点属性或添加连线会自动触发约束模型的重新编译，保持一致性。
• 通过使用语义丰富的节点和连线类型，实现了全局约束（如count、cumulative）的自动生成，提升了求解器效率和解的质量。
• 通过使用最大化(SCONS)标注策略与fcc启发式，系统实现了高质量解，特别体现在最大化讲师对休息日偏好的满足度方面。