KMI/ALGO3 Algoritmy 3
- Návrh algoritmů metodou rozděl a panuj, příklad algoritmu
- Návrh algoritmů žravou metodou, příklad algoritmu
- Návrh algoritmů metodou dynamického programování, příklad algoritmu
- Návrh algoritmů metodou iterativního zlepšování, příklad algoritmu
- Návrh algoritmů technikami backtracking a branch-and-bound, příklad algoritmu
KMI/VYTAL Vybraná témata z algoritmů
- SAT problém - Algoritmy založené na rezoluci
- Speciální příklady řešitelné v polynomickém čase
- DPLL a Monien-Speckenmeyer algoritmus
- Základní myšlenky CDCL solverů
KMI/KOMBI Seminář z kombinatoriky
- Základní kombinatorické principy, binomické koeficienty, binomická věta, multimnožiny
- Množinové rozklady a Stirlingova čísla, permutace a Stirlingova čísla prvního druhu, …
KMI/DASTR Datové struktury
- Amortizovaná analýza
- Prioritní fronty - binomická fronta, Fibonacciho fronta
- Splay stromy
- Červeno-černé stromy
- Van Emde Boas stromy
- Suffixové stromy a jejich konstrukce
KMI/POGR Počítačová grafika