[論文レビュー] Educational Timetabling: Problems, Benchmarks, and State-of-the-Art Results

Sara Ceschia, Luca Di Gaspero+1 more|arXiv (Cornell University)|Jan 19, 2022

Scheduling and Timetabling Solutions参考文献 107被引用数 64

ひとこと要約

本論文は、標準的な教育時間割設定問題の定式化とベンチマークに関する包括的なサーベイを提供しており、国際コンペティションで使用された6つの主要な問題定式化（HTT、CTT、ETTおよびその拡張形）を特定している。最新の研究結果をレビューし、再現可能性の課題を浮き彫りにした上で、OPTHUBと呼ばれるウェブプラットフォームを紹介している。このプラットフォームは、インスタンス、解決策、コードの検証と共有を可能にし、分野における研究の透明性と比較可能性を向上させることを目的としている。

ABSTRACT

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.

研究の動機と目的

• 研究コミュニティで事実上標準となった6つの教育時間割設定問題の定式化を特定・分析すること。
• これらの定式化において、公開されているベンチマークインスタンスの使いやすさ、関連性、難易度の水準を評価すること。
• 標準化されたデータ共有、解決策の検証、長期的なリポジトリ保守を推進することで、時間割設定研究における再現性の問題を是正すること。
• 公平な比較と将来のベンチマーク作成を支援するため、OPTHUBを中央集権的で検証済みのプラットフォームとして提案すること。
• 特に新規アルゴリズムを比較する「馬券競争」論文向けに、適切なベンチマークの選定を研究者にガイドすること。

提案手法

• 国際コンペティションでの登場と文献における採用を根拠に、HTT、CTT、ETTおよびその拡張形を含む6つの標準的時間割設定定式化を体系的にレビューする。
• これらのベンチマークにおける最新の研究結果を分析し、解の質（上限・下限）、探索手法、実行時間、統計的分布を含む。
• 既存データセットの実用的使いやすさを評価し、古くなったリポジトリ、不十分なドキュメンテーション、解決策の非公開といった問題を特定する。
• OPTHUBを導入し、タイムスタンプ付きでバージョン管理されたアクセスを可能にするウェブアプリケーションとして、インスタンスと解決策のアップロード、検証、検査を可能にする。
• 今後の研究基盤のためのフレームワークを提案し、コミュニティ全体での協力による、強固で標準化されたベンチマークおよび検証ツールの保守を提唱する。
• オープンソースコードと再現可能な実験の重要性を強調し、OPTHUBがアルゴリズムの統計的分析と公平な比較を支援することを目的とする。

実験結果

リサーチクエスチョン

• RQ1 どの教育時間割設定問題の定式化が研究コミュニティで事実上標準として定着したのか、その理由は何か？
• RQ2 定式化ごとにベンチマークインスタンスの難易度はどのように異なるのか。また、解法技術の進歩にもかかわらず、依然として困難なインスタンスはどれなのか？
• RQ3 時間割設定研究における再現性の主な障壁は何であり、標準化されたデータ共有と検証によってどのように是正できるか？
• RQ4 現在のベンチマークは、アルゴリズムの統計的チューニングと最終的検証の両方にどの程度適しているか？
• RQ5 OPTHUBのような中央集権的でコミュニティが維持するプラットフォームは、時間割設定研究における透明性、信頼性、進展をどの程度向上させられるか？

主な発見

• HTT、CTT、ETTおよびその拡張形を含む6つの標準的定式化は、主に国際時間割設定コンペティションから発展し、現在では広くベンチマークとして使用されている。
• 一部のベンチマークインスタンス、特に初期のコンペティション由来のものについては、最適解が容易に得られるほど簡単になっており、一方で20年以上にわたり依然として困難なインスタンスも存在する。
• 多くの出版論文が、公開可能なデータセット、解決策、ソースコードを提供していないため、再現性や公平な比較が損なわれている。
• OPTHUBは、6つの標準的定式化のうち4つをカバーする中央集権的で検証済みのプラットフォームとして開発され、インスタンスおよび解決策の検証、スコアボード、将来的なソフトウェア実行機能を備えている。
• 本サーベイでは、もはや挑戦的でなくなったインスタンスに代わる、高品質な新規ベンチマークの必要性を明らかにした。また、アルゴリズムの統計的チューニングを支援するための、より優れたインスタンス生成ツールの開発も必要である。
• 今後の研究基盤を強固に維持するため、コミュニティレベルでの協力的取り組みを提唱する。今後のコンペティションが、標準化と採用の主要な駆動要因となるべきである。