Граф называется ациклическим, если в нем нетциклов.
Дерево – это связный ациклический граф.
Для любого графа G(X,U)
Остовным деревом называется подграф-деревографа G, содержащий все его
являющегося деревом, справедливо равенство: n = m + 1.
Один и тот же граф может иметь несколько остовов.