Деревом называется связный граф, не имеющий циклов.
Лесом называется несвязный граф, являющийся объединением деревьев.
Если граф состоит из одной изолированной вершины, то его также считают деревом, хотя рёбер у такого графа нет.
Свойство деревьев и лесов:
1. Любое ребро в дереве и в лесу является мостом.
2. Для любых двух вершин дерева существует единственный путь, соединяющий эти вершины (по первому свойству моста.)
Теорема 7 (о деревьях):
