布尔可满足性的类计划[多项式时间减少]最后一部分

布尔可满足性的类计划[多项式时间减少]最后一部分

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

属于同一学生组的课程的授课时间不应重叠。

编辑：

不同的学生群体重叠不应受到任何限制。如果您有这样的限制，则应将其删除！

约束条件是课程。如果安排课程A的讲义，则该课程可能不会与参加课程A的学生团体的任何其他课程的讲义重叠。也可能不会与同一位老师主持的任何其他课程重叠。

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

您希望为每门课程安排许多讲座，但要限制没有老师和学生的讲座重叠。

关于

2个以上的小组只能在同一时间同时在同一房间参加特定课程（例如，裁判官课程）

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

Javagroup1

并且

Java group2

。