4.11. 评估时间设置(ITC 2007 跟踪 1 - 评估)
将每个课程计划到一个句点,并放入一个房间。多个公司可以同时共享同一房。
硬限制:
- 评估冲突:不能在同一时间段内同时发生共享参与的两个技术。
- 房间容量 :房间的容量必须始终足够高。
- 持续时间: 周期的持续时间必须足以满足其所有销售期。
与周期相关的硬限制(按数据集指定):
- coincidence:两个指定的参与必须使用相同的句点(但可能为其他房间)。
- 排除:两个指定的参与不得同时使用同一周期。
- 之后:在另一个指定测试期后,必须在一个时间段内进行指定的考试。
与空间相关的硬限制(每个数据集指定):
- exclusive:一个指定的基准测试不必与任何其他课程共享其房间。
软限制(其中每个都具有参数损失):
- 同一站不应在一行中有两个。
- 同一成员不应在同一天上有两个活动。
- 周期分布:共享的参与应是多个句点。
- 混合持续时间:共享一个房间不应具有不同的持续时间。
- 前端负载:在计划早期应该调度大量时间。
- 周期损失(指定每个数据集):一些周期在使用时都有损失。
- 空间损失(指定每个数据集):一些空间在使用时有损失。
它使用大量实际生命常量集。
这个问题由 国际时间建立复杂时间定义,即 2007 跟踪 1。Geoffrey De Smet 完成 4th,与非常早的 Planner 版本合作。因此,进行很多改进。
问题大小
exam_comp_set1 has 7883 students, 607 exams, 54 periods, 7 rooms, 12 period constraints and 0 room constraints with a search space of 10^1564.
exam_comp_set2 has 12484 students, 870 exams, 40 periods, 49 rooms, 12 period constraints and 2 room constraints with a search space of 10^2864.
exam_comp_set3 has 16365 students, 934 exams, 36 periods, 48 rooms, 168 period constraints and 15 room constraints with a search space of 10^3023.
exam_comp_set4 has 4421 students, 273 exams, 21 periods, 1 rooms, 40 period constraints and 0 room constraints with a search space of 10^360.
exam_comp_set5 has 8719 students, 1018 exams, 42 periods, 3 rooms, 27 period constraints and 0 room constraints with a search space of 10^2138.
exam_comp_set6 has 7909 students, 242 exams, 16 periods, 8 rooms, 22 period constraints and 0 room constraints with a search space of 10^509.
exam_comp_set7 has 13795 students, 1096 exams, 80 periods, 15 rooms, 28 period constraints and 0 room constraints with a search space of 10^3374.
exam_comp_set8 has 7718 students, 598 exams, 80 periods, 8 rooms, 20 period constraints and 1 room constraints with a search space of 10^1678.
4.11.1. 用于检查时间设置的域模型 复制链接链接已复制到粘贴板!
复制链接链接已复制到粘贴板!
下图显示了主要的评估域类:
图 4.11. 评估域类图
请注意,我们已将考试概念分成 考试 课程和主题课程。在解决时(这是计划实体类)的考试实例在它们的期间或房间属性发生变化时发生了变化。主题 Period 和 Room 实例在参与期间永远不会改变(这些是问题事实,就像某些其他类一样)。