Динамическое программирование по подмножествам.

Задачи:

1. Задача о покрытии множествами $2^{|U|}(|U|+|\mathcal{F}|)^O(1)$.
2. Задача о дереве Штейнера $3^K n^{O(1)}$.

FPT-алгоритм для задачи о дисбалансе, параметризованной вершинным покрытием, с помощью линейного программирования.

Миноры и теорема Робертсона-Сеймура.