Для яких непрямих графіків усі дерева глибини першого пошуку (для всіх можливих вершин вершин і для всіх варіантів вибору сусідів, які шукають першими) спрямовані шляхи? Тобто кожне дерево DFS повинно мати лише один листочок, а кожна інша вершина повинна мати рівно одну дитину.
Наприклад, це справедливо для циклів, повних графіків і збалансованих повних двосторонніх графіків.
Знайти дерево DFS, яке не є контуром, очевидно, є NP. Це NP-повний, або многочлен?