Meno študenta: Andrej Filip Šouc
Kontakt souc5@fmph.uniba.sk
Meno školitela: doc. RNDr. Robert Lukoťka, PhD.
Kontakt: lukotka@dcs.fmph.uniba.sk
Názov projektu: Orezané(truncated) farbenie vrcholov v grafe.
Špecifikácia projektu: Cieľom projektu je skúmať, pre ktoré triedy grafov takéto farbenie existuje.
Skúmanie bude realizované pomocov programu, ktorý takéto farbenia bude hľadať.
Program sa bude vylepšovať postupným optimalizovaním a vylepšovaním techník.
(Zimný semester - backtracking, dynamické programovanie Letný semester - SAT solvery).