在AMPL中，我正在研究一个与节点着色问题非常相似的问题，但是在这里，我试图为考试分配时间段，以使没有两个共享学生的考试同时进行。我有一组考试，一组学生和一组成对注册（i，j），因此考试j将由学生j参加。
我尝试通过使用模型解决节点着色问题来解决此问题。它有效，但是我不得不在考试x考试中共享学生的一组手动指定新的配对。我想要一个不需要执行此操作的模型，而可以只使用“已注册”集。
我的一个约束因此变成：
subject to different_timeslots {t in TimeSlots, j in Students}:
sum {i in Exams : (i,j) in Enrolled} x[i,t]<= y[t];
我正在使用CPLEX求解器，但没有收到任何错误消息；实际上，目标函数值是正确的。但是，在同一时段安排了几个共享学生的考试。我尝试摆弄逻辑约束（如果..那么），但无济于事。