Obsah CD

• v adresáři text se nachází text diplomové práce ve formátu PDF a PostScript.
   
• v adresáři spring2005v1 se nachází datová sada pro semestr Spring 2005, její stručný popis lze nalézt zde.
   
• řešič rozvrhovacího problému Purdue University se nachází v adresáři purdue. Podrobnější informace o spouštění řešiče lze nalézt zde. Řešič je možné šířit a modifikovat podle ustanovení GNU Lesser General Public License.
   

• soubor course.pl popisuje jednotlivé předměty, formát záznamů je následující:
  

  csid(Id,base(Pocet_setkani,Delka_setkani,csroom(Kapacita,Pozadavky_a_preference_na_mistnost),
       instr(Instruktor),dept(Subjekt)),_,faculty(Casove_pozadavky_a_preference),_,_).

• soubor room.pl popisuje jednotlivé místnosti, formát záznamů je následující:
  

  room(id(Budova,Cislo_mistnosti),Identifikator,Kapacita,Vybaveni,_,Poloha).

• soubor student.pl obsahuje požadavky jednotlivých studentů na předměty, každý požadavek je uveden ve tvaru:
  

  student(Id_predmetu,Id_Studenta).

• soubor jenr.pl obsahuje informace o počtu společných studentů pro jednotlivé dvojice předmětů, formát záznamů je následující:
  

  jenr(Id_predmetu_1,Id_predmetu_2,Pocet_studentu).

• soubor add.pl obsahuje speciální požadavky na rozvržení předmětů, např. předměty musí mít přiděleny různé časy, musí být vyučovány po sobě atd. Formát záznamů je následující:
  

  cbs(btb,[Id_predmetu1,Id_predmetu2],Pozadavek).

  cbs(same_days,[Id_predmetu1,Id_predmetu2],Pozadavek).

  cbs(diff_time,[Id_predmetu1,Id_predmetu2],Pozadavek).

Pro spuštění řešiče je nutné mít nainstalovaný SICStus Prolog (doporučujeme verzi 3.11.2 nebo vyšší), tex a awk. Cesta k těmto programům musí být uložena v proměnné prostředí PATH. Řešič se pak spustí příkazem ./run_solver v adresáři purdue.

Parametry řešiče jsou uloženy v souboru parameters.pl v adresáři purdue/pl.

• Pro změnu vah w_tsc, w_dsc a w_dept slouží postupně predikáty w_sc/1, w_btb/1 a soft_dept_prefs/2
• Nastavení funkce pro posílení vah pro omezení nad jednosekčními předměty (wss) zajišťují predikáty weight_ss_sc/3 a weight_ss_btb/3 (funkce pro posílení vah se nastavuje zvlášť pro časové a prostorové studentské konflikty)
• Nastavení multiplikátoru limitu a způsobu výpočtu limitů pro rovnoměrné přidělování časů subjektům se provádí predikáty soft_dept_multiplier/1, soft_dept_limits/1 a soft_dept_constant_limits/1

Parametry použité při experimentech prezentovaných v diplomové práci jsou uloženy v adresáři purdue/parameters. Jméno souboru vždy označuje, pro který experiment je soubor určen, např. const_1.0.pl je soubor s parametry pro experiment, ve kterém jsou nastaveny konstatní limity s multiplikátorem limitu 1.0, wtsc_0.5.pl je soubor s parametry pro experiment, ve kterém je váha kritéria w_tsc nastavena na hodnotu 0.5.

Hodnoty optimalizačních kritérií nalezeného řešení vypisuje řešič na standardní výstup¹, přiřazené časy a místnosti jednotlivým předmětům ukládá řešič do souboru solution.pl v adresáři s datovou sadou. Formát záznamu je podobný jako u souboru course.pl:

solution(Id,base(Pocet_setkani,Delka_setkani,csroom(Kapacita,Pozadavky_a_preference_na_mistnost),
         instr(Instruktor),dept(Subjekt)),advice(ok,Pocatecni_Casy,ok,Pridelene_Mistnosti),
         faculty(Casove_pozadavky_a_preference),_,_).

Výsledky pro tři vybrané experimenty jsou uloženy v adresáři purdue/results. Pro každý experiment je uveden výpis řešiče v souboru solver_output.txt, řešení v souboru solution.pl a grafické zobrazení rozvrhu v souborech table_meeting.pdf a table_meeting.ps. Rozvrh je zde zobrazen v tabulce, ve které je v záhlaví uveden den, počáteční časy výuky a čísla časových slotů, v prvním sloupci tabulky je uveden název místnosti, kapacita a identifikátor místnosti. Buňky tabulky pak obsahují identifikátory předmětů a další informace, jako jsou počet zapsaných studentů, časové preference (minimální a aktuální), počet studentských konfliktů s ostatními předměty a počet setkání za týden.

¹ Optimalizační kritéria f_time, f_room a f_{fs_sc} byla získána z aplikace, která provádí final sectioning. Tato aplikace je součástí jiného řešiče (viz [35] v textu práce), a proto není obsažena na CD.