Краткое повторение определений, связанных с 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) \). Нижние оценки для описанных задач.