Meno študenta: Martin Ďurík
email: durik17@uniba.sk
Meno školiteľa: doc. RNDr. Ján Mazák, PhD.
email: jan.mazak@fmph.uniba.sk
Názov projektu: Acyklické farbenia
Špecifikácia projektu: Implementácia a porovnanie algoritmov na určenie acyklického chromatického indexu. Následne ich použitie na zaujímavé triedy grafov.
Algoritmy:
SAT solver: formula pre regulárne farbenie, doplnená o zákaz dvojfarebnosti pre každú kružnicu párnej dĺžky v grafe (zahŕňa rôzne variácie);
ILP: formulácia ako úloha typu mixed integer linear programming;
Constraint satisfaction solver;
Ďalšie solvery, algoritmy a heuristiky.
Reporty: