Nápověda

Dynamická analýza rozvrhu

Shromažďování údajů o škole za účelem vytvoření rozvrhu přináší řadu výzev a úskalí. Samotný počet subjektů vstupujících do procesu, jako jsou předměty, učitelé a učebny, všechny s různými požadavky, ztěžuje nejen dokončení rozvrhu, ale také zjišťování problémů, které tomu brání.

Skolaris představuje dvoustupňový přístup k problému. Provádí statickou analýzu rozvrhu při každém otevření nebo vytváření rozvrhu a dynamickou analýzu jako součást průvodce tvorbou rozvrhu.

Dynamická analýza trvá podstatně déle, protože se ve skutečnosti snaží sestavit mnoho částečných rozvrhů. Zdůvodnění tohoto přístupu spočívá v tom, že dílčí rozvrhy trvají exponenciálně méně času než celý rozvrh a pokud nelze vytvořit částečný rozvrh, nelze skoro jistě vytvořit ani rozvrh úplný.

Dokončením dynamické analýzy uživatel rychle získá užitečné informace o zadaných školních datech. Pokud analýzou neprojde, je potřeba před tvorbou rozvrhu data změnit. To uživateli ušetří spoustu času. Pokud analýzou projde, je vyšší pravděpodobnost, že zadaná data jsou správná.

Výsledky dynamické analýzy nelze považovat za úplné. Lze vymyslet příklad, kdy dynamická analýza uspěje, ale rozvrh nelze sestavit. Obecně je problém, zda rozvrh lze nalézt nebo ne, stejný jako problém skutečného nalezení. Analýzy jsou proto užitečné nástroje, ale nikdy nemohou být zcela spolehlivé.