[论文解读] Educational Timetabling: Problems, Benchmarks, and State-of-the-Art Results
本文全面回顾了标准教育排课问题的公式化方法与基准测试集，识别出六种关键问题公式——HTT、CTT、ETT及其增强变体——这些公式在主要竞赛中被广泛采用。文章综述了当前最先进成果，指出了可复现性方面的挑战，并提出了 OPTHUB，一个用于验证和共享实例、解决方案与代码的网络平台，以提升该领域研究的透明度与可比性。
We propose a survey of the research contributions on the field of Educational Timetabling with a specific focus on "standard" formulations and the corresponding benchmark instances. We identify six of such formulations and we discuss their features, pointing out their relevance and usability. Other available formulations and datasets are also reviewed and briefly discussed. Subsequently, we report the main state-of-the-art results on the selected benchmarks, in terms of solution quality (upper and lower bounds), search techniques, running times, statistical distributions, and other side settings.
研究动机与目标
- 识别并分析六种在研究社区中被广泛采用的教育排课问题公式，这些公式已成为事实上的标准。
- 评估这些公式下公开基准实例的可用性、相关性与挑战程度。
- 通过倡导标准化数据共享、解决方案验证与长期存储库维护，解决排课研究中的可复现性问题。
- 提出 OPTHUB 作为一个集中化、经验证的平台，用于托管实例、解决方案与软件，以支持公平比较与未来基准测试。
- 为研究人员在选择合适基准以评估方法时提供指导，特别是针对比较新算法的“赛马式”论文。
提出的方法
- 基于其在国际竞赛中的出现情况与文献中的采纳程度，系统性地回顾六种标准排课公式——HTT、CTT、ETT 及其增强变体。
- 分析这些基准上的最先进成果，包括解的质量（上下界）、搜索技术、运行时间与统计分布。
- 评估现有数据集的实际可用性，识别出如存储库过时、文档质量差、缺乏解决方案等问题。
- 提出 OPTHUB，一个网络应用，支持用户上传、验证与检查实例与解决方案，并提供带时间戳的版本控制访问。
- 提出未来研究基础设施的框架，倡导社区层面协作，以维护稳健、标准化的基准与验证工具。
- 强调开源代码与可复现实验的重要性，OPTHUB 目标是支持算法的统计分析与公平比较。
实验结果
研究问题
- RQ1哪些教育排课问题公式在研究社区中已达到事实上的标准地位，原因是什么？
- RQ2不同公式之间的基准实例难度如何变化？尽管解法技术不断进步，哪些实例仍具挑战性？
- RQ3排课研究中可复现性的主要障碍是什么？如何通过标准化数据共享与验证来缓解这些问题？
- RQ4当前基准在多大程度上支持统计上可靠的算法调优，而非仅用于最终验证？
- RQ5像 OPTHUB 这类集中化、社区维护的平台，如何提升排课研究的透明度、可信度与进展？
主要发现
- 六种标准公式——HTT、CTT、ETT 及其增强变体——主要源自国际排课竞赛，现已成为广泛使用的基准。
- 部分基准实例，尤其是早期竞赛中的，如今已过于容易被最优求解，而另一些实例即使经过20余年仍极具挑战性。
- 大量已发表论文未提供公开的数据集、解决方案或源代码，严重损害了可复现性与公平比较。
- OPTHUB 已作为集中化、经验证的平台开发完成，托管了六种标准公式中的四种，支持实例与解决方案的验证、排行榜功能，以及未来软件执行。
- 本综述指出，亟需开发新的高质量基准以替代已不再具挑战性的基准，同时需要更好的实例生成器以支持算法的统计调优。
- 作者倡导开展协调一致的社区级努力，以维护稳健的研究基础设施，未来竞赛将作为推动标准化与采纳的关键驱动力。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。