[論文レビュー] A Visual Entity-Relationship Model for Constraint-Based University Timetabling

Islam Abdelraouf, Slim Abdennadher+1 more|arXiv (Cornell University)|Sep 28, 2011

Constraint Satisfaction and Optimization参考文献 5被引用数 3

ひとこと要約

本稿では、制約ベースの大学時間割作成のための視覚的エンティティリレーションシップモデリング手法を提案する。非専門家が、教員や学生グループといったリソース、および講義や実験などのイベントを表す直感的なノード・リンク図を用いてスケジューリング問題を指定できる。このシステムは、グローバル制約を用いてこれらの図を効率的な制約プログラムに自動コンパイルし、標準PC上で2233件のイベントと400以上のリソースを含む完全な時間割を3.5分未塔で生成する。

ABSTRACT

University timetabling (UTT) is a complex problem due to its combinatorial nature but also the type of constraints involved. The holy grail of (constraint) programming: "the user states the problem the program solves it" remains a challenge since solution quality is tightly coupled with deriving "effective models", best handled by technology experts. In this paper, focusing on the field of university timetabling, we introduce a visual graphic communication tool that lets the user specify her problem in an abstract manner, using a visual entity-relationship model. The entities are nodes of mainly two types: resource nodes (lecturers, assistants, student groups) and events nodes (lectures, lab sessions, tutorials). The links between the nodes signify a desired relationship between them. The visual modeling abstraction focuses on the nature of the entities and their relationships and abstracts from an actual constraint model.

研究の動機と目的

• 複雑な大学時間割作成問題を効果的な制約モデルに翻訳する課題に取り組むこと。これは従来、専門的なプログラミング知識を要する。
• 学術スタッフや時間割担当者などの非技術的ステークホルダーが、高水準で視覚的な抽象化を用いてスケジューリング問題をモデル化できるようにすること。
• 問題仕様と低レベルの制約実装を分離することで、アクセス性を向上させ、モデル作成エラーを低減すること。
• 動的更新とモデル構築中の整合性チェックをサポートするスケーラブルでモジュラーなシステムの開発。
• 2000件を超えるイベントと400以上のリソースを含む実世界の大学インスタンスにおいて、本アプローチの実現可能性と効率性を示すこと。

提案手法

• 教員、TA、学生グループといったリソースノード（リソースノード）と、講義、チュートリアル、実験セッションといったイベントノード（イベントノード）の2種類の主なノードタイプを用いて、大学時間割問題を視覚的エンティティリレーションシップ図でモデル化する。
• ノード間のリンクにより関係を表現し、リンクの意味的性質は接続されたノードの種別によって決定され、意味的認識に基づく制約生成を可能にする。
• ノードタイプとリンク関係に埋め込まれた豊富な意味的情報を活用して、モデル構築中にオンラインで整合性チェックを実施する。
• SICStus Prologを用いて、視覚的モデルを制約プログラミング（CP）モデルにコンパイルし、効率性を向上させるためにグローバル制約（例：count、cumulative）を自動統合する。
• 教員の希望（例：休日希望）をcountベースの制約としてエンコードし、ラベル付けヒューリスティクスを用いて満足度を最大化することで、ソフト制約を扱う。
• 視覚的構成要素を最適化されたCPコードにマッピングするドメイン固有のコンパイルパイプラインを用い、対称性の打破や制約伝播の強化を含む。

実験結果

リサーチクエスチョン

• RQ1 視覚的でエンティティリレーションシップに基づくインターフェースは、非専門家ユーザーにとって、制約ベースの大学時間割作成の複雑さを効果的に抽象化できるか？
• RQ2 ノードタイプとリンク関係からの意味的情報は、自動的に正しいかつ効率的な制約プログラミングモデルを生成するためにどのように活用できるか？
• RQ3 この視覚的モデリングアプローチは、現実世界の大規模時間割インスタンスにおいて、スケーラビリティとモularityをどの程度サポートできるか？
• RQ4 本システムは、ハード制約とソフト制約を含む複雑な現実世界の大学時間割問題において、高い解の品質とパフォーマンスを達成できるか？
• RQ5 プログラミング経験のないステークホルダーにとって、視覚的モデルは従来の制約ネットワーク表現と比べて、明確さと保守性に優れているか？

主な発見

• 視覚的エンティティリレーションシップモデルにより、カイロのドイツ大学（GUC）の完全な大学時間割インスタンスがわずか5時間で指定可能となり、手作業法と比較して大幅に時間短縮された。
• 視覚的モデルからSICStus Prolog制約プログラムがたったの7秒で生成され、高速かつ信頼性の高いコンパイルを実証した。
• 2233件のイベントと400人以上のリソースを含む大規模インスタンスにおいて、最初の5つの妥当解が3.5分以内に発見され、複雑な問題に対する優れたパフォーマンスを示した。
• 本アプローチは動的モデル更新をサポートする：ノードプロパティの変更やリンクの追加が自動的に制約モデルの再コンパイルを引き起こし、整合性が保たれる。
• 意味的豊富なノードとリンクタイプの使用により、グローバル制約（例：count、cumulative）の自動生成が可能となり、ソルバの効率性と解の品質が向上した。
• 最大化（SCONS）ラベル付け戦略とfccヒューリスティクスを用いて、教員の休日希望などのソフト制約の満足度を最大化することで、高品質な解が得られた。