Dinicův algoritmus - Jak funguje, důkaz korektnosti a časové složitosti
Vytvořit hradlovou síť nad abecedou {0, 1} hloubky O(log n), která pro n-bitové číslo ve dvojkové soustavě spočítá, zda je dělitelné pěti
Převést 3-obarvitelnost grafu na SAT
