Projekt sa zaoberá známymi problémami z teórie algoritmov. Prvým z nich je problém existencie regulárneho hranového 3-ofarbenia kubického grafu. Sústreďuje sa na vývoj a implementáciu algoritmov, ktoré budú riešiť tento problém v reálnom čase. Okrem štandardných algoritmov riešitelia implementujú a otestujú aj prístupy s využitím teórie tokov, heuristík, randomizovaných algoritmov a paralelného spracovania....