Краткое повторение определений, связанных с treewidth (treewidth, nice tree). Сut & count — общий принцип. Дерево Штейнера (Shteiner Tree) на $|V| = n$, $|E| = m$ графе для множества $T$. Решения для $|T| = k$ за $3^k \cdot m$, использование cut & count, решение за $3^{tw} \cdot \operatorname{poly}(n)$. Покрытие ориентированными циклами (Directed Cycle Cover): решения за $3^n$ и $2^n \cdot \operatorname{poly}(n)$, использование cut & count, решение за $6^{tw} \cdot \operatorname{poly}(n)$. Нижние оценки для описанных задач.