Изменения
→Попарно непересекающиеся остовные деревья
{{Утверждение
|id = max_spanning_tree
|statement=Максимальное количество попарно непересекающихся [[Остовные деревья: определения, лемма о безопасном ребре#spanning_tree| остовных деревьев]] в графе с <tex>n</tex> вершинами равно не более <tex> \left \lfloor {\dfrac{n}{2}}\right \rfloor </tex>
|proof =
Очевидно, что среди графов с <tex>n</tex> вершинами наибольшее количество непересекающихся остовных деревьев может быть только в полном графе. Количество ребер в таком графе равно <tex> \dfrac{n(n - 1)}{2}</tex>, а в каждом дереве <tex>n -