[论文解读] On the Connectedness of Clash-free Timetables

Moritz Mühlenthaler, Rolf Wanka|arXiv (Cornell University)|Jul 10, 2015

Scheduling and Timetabling Solutions参考文献 19被引用 5

一句话总结

本文研究了在Kempe交换操作下无冲突时间表的连通性，引入了子退化性（subdegeneracy）的概念，以分析存在时间段可用性约束时搜索空间的连通性。证明了子退化性能提供更优的连通性条件，并通过基准实例验证了该结论，确保在这些条件下，任何可行时间表均可通过Kempe交换操作达到。

ABSTRACT

We investigate the connectedness of clash-free timetables with respect to the Kempe-exchange operation. This investigation is related to the connectedness of the search space of timetabling problem instances, which is a desirable property, for example for two-step algorithms using the Kempe-exchange during the optimization step. The theoretical framework for our investigations is based on the study of reconfiguration graphs, which model the search space of timetabling problems. We contribute to this framework by including timeslot availability requirements in the analysis and we derive improved conditions for the connectedness of clash-free timetables in this setting. We apply the theoretical insights to establish the connectedness of clash-free timetables for a number of benchmark instances.

研究动机与目标

• 建立在Kempe交换操作下无冲突时间表搜索空间连通的条件。
• 将时间段可用性约束纳入时间表搜索空间连通性分析。
• 引入并形式化子退化性（subdegeneracy）的概念，作为图退化性在时间表重配置图分析中的推广。
• 在所提条件下，验证真实世界基准实例中无冲突时间表的连通性。
• 支持设计依赖Kempe交换操作以达到最优解的两步优化算法。

提出的方法

• 将无冲突时间表的搜索空间建模为重配置图，其中节点为可行时间表，边表示Kempe交换操作。
• 引入子退化性作为冲突图中结构稀疏性的度量，将图退化性推广以考虑时间段可用性。
• 使用顶点消除顺序计算子退化性，即所有顺序中，最大前驱数（其相邻顶点在固定集合外）的最小值。
• 将该概念应用于玩具基准实例的冲突图，通过枚举团顺序计算出子退化性为11。
• 采用基于见证的方法验证子退化性，通过分析冲突图中团内及团间顶点的相对顺序。
• 通过将其应用于真实基准实例，验证理论框架，确认在推导出的条件下实现连通性。

实验结果

研究问题

• RQ1 在时间段可用性受限的情况下，无冲突时间表的搜索空间在何种条件下通过Kempe交换操作是连通的？
• RQ2 如何将退化性概念推广以在时间表重配置图中建模时间段可用性？
• RQ3 子退化性能否用于推导出无冲突时间表连通性所需时间段数的更紧边界？
• RQ4 所提出的搜索空间表示是否适合在考虑时间段可用性时，同时保证连通性和有界直径？
• RQ5 子退化性的理论条件在多大程度上可被验证并应用于真实世界的时间表基准实例？

主要发现

• 通过枚举团顺序的全面计算，玩具基准实例的冲突图子退化性精确为11。
• 所提出的启发式方法生成了子退化性为11的见证，确认在推导条件下搜索空间是连通的。
• 子退化性推广了图退化性，并在存在时间段可用性约束时提供了更优的连通性条件。
• 重配置图表示在考虑时间段可用性时，适合维持连通性和有界直径。
• 理论结果表明，在子退化性条件下，多个基准实例的无冲突时间表是连通的。
• 本研究表明，未来对子退化性计算的改进可能减少为保证连通性所需的时间段数。