类调度到布尔可满足性[多项式时间减少]最终部分

Question

我几个星期以来在一个非常有趣的项目上工作，但遗憾的是背景非常复杂。

我已经问了3个问题：

• Class Scheduling to Boolean satisfiability [Polynomial-time reduction] Final Part（此处）
• Class Scheduling to Boolean satisfiability [Polynomial-time reduction] part 2
• Class Scheduling to Boolean satisfiability [Polynomial-time reduction]

在他们两个中，我得到了答案（再次感谢@Amit），但现在到了最后一部分，谁将使这个项目可用：）

我现在可以管理：

• N个时间间隔。
• C课程。
• T老师。
• S房间。

我的约束如下：

• 2名教师不能同时在同一个房间。
• 2个课程不能同时在同一个房间。
• 教师只能教授特定课程。
• 某些课程只能在特定的时间间隔内发生。

所以这是现在，我的结果：

但是我要添加的最后一部分是：我想管理一组学生，但有以下限制：

• 一个小组只有一些课程要做。
• 2个小组可以同时在同一个房间内进行特定课程（例如Magistral课程）

同样，我成功地隔离了约束，但我不知道如何将这个约束转换为＆＃34;时间间隔不应该重叠＆＃34;约束

提前致谢， 最好的问候，

Answer 1

由于学生一次只能在一个地方：

同一学生组的课程讲座不应该及时重叠。

修改

对不同的学生群体重叠应该没有约束。如果你有这样的约束，你应该删除它！

限制在课程上。如果你为课程A讲授课程，那么它可能不会与参加课程A的学生团体的任何其他课程的课程重叠。它也可能不会与同一位老师所持有的任何其他课程重叠。

因此，学生与课程之间存在多对多的关系，教师与课程之间存在多对多的关系。

您希望为每门课程安排一些讲座，但没有教师和学生没有重叠的讲座。

<强>关于

  

2个小组可以同时在同一个房间内进行特定课程（例如Magistral课程）

如果小组可能不会混合，那么它不是相同的课程（即使主题可能相同）。因此，如果两个学生组不能混合使用Java，那么您需要将其建模为两个单独的课程Java group1和Java group2。