摘要:
大学课堂调度问题(UCSP)涉及为教室分配一些课程,同时考虑到课堂能力和大学规则等限制。该问题还试图优化绩效标准,并根据课堂能力与课程注册的比例公平地将课程分配到课堂。问题是经典的调度问题,并被认为是NP完全的。鉴于其在高校中的广泛应用,它在过去几年中已经接受了一些研究。已经提出了几种公式和算法来解决调度问题,其中大多数是基于本地搜索技术。在本文中,我们提出了一种使用整数线性规划(ILP)来解决问题的完整方法。使用基于通用算法和布尔可满足性(SAT)技术的三个高级ILP求解器来开发和求解感兴趣的ILP模型。SAT在过去几年中经过了大量研究,并且已经开发出功能强大的0-1 ILP解算器,可以与最好的通用ILP解算器竞争。实验结果表明,所提出的模型易于处理合理大小的UCSP问题。