Na kurzu bude probrán úvod do teorie grafových minorů a dobrých kvaziuspořádání, m.j. bude dokázána Kruskalova věta o dobrém kvaziuspořádání na třídě konečných stromů. Těžiště kurzu je založeno na pojmu stromového zdvihu a na jeho vztahu k teorii grafových minorů.
Kurz zaměřený na teorii grafových minorů a zvláště na aplikace souvisejícího pojmu stromového zdvihu pro návrh algoritmů. Vhodné pro studenty mat. a inf. od 3.r. i pro doktorandy (M a I).