# Zkouška - Medvěd 21. 1. 2019 odpoledne

<{ForumPost(poster="domestomas", timestamp=2019-01-21 18:23:41)}>
1) Dinicův algoritmus - Jak funguje, důkaz korektnosti a časové složitosti  
2) 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  
3) Převést 3-obarvitelnost grafu na SAT
<{/ForumPost}>