Optimalizátor rozvrhu zkoušek na FIT

Abstract

Tématem této práce je automatizovaná tvorba rozvrhu zkoušek pro Fakultu informačních technologií Vysokého učení technického v Brně. Je zde popsán seznam požadavků (omezení), na které je nutné brát při návrhu rozvrhu ohled. Tyto omezení jsou dále klasifikována podle míry vlivu na kvalitu rozvrhu na nutné a volitelné. Problém plánování zkoušek je zde dekomponován na dílčí podproblémy a dále řešen pomocí Contraint logic programming. Výsledkem je množina řešení splňující všechna nutná omezení. Z nich je nakonec vybráno takové suboptimální řešení, které nejméně porušuje zbývající škálovatelná omezení.This paper describes automated examination scheduling for the Faculty of Information Technology of Brno University of Technology. It specifies a list of restrictions that must by satisfied. Furthermore, this limitations are classified due to their influence on a quality of the final version of the examination schedule. There are two types of restrictions; soft and hard. The task is to find such a solution that satisfies all hard constraints and breaks the minimum of soft constraints using techniques described in this paper.