Краткое пояснение:
Основное свойство дерева, вытекающее из его структуры (связность и отсутствие циклов), заключается в том, что между любыми двумя вершинами существует единственный путь. Удаление ребра нарушает связность.
Теорема: Любые две вершины в дереве соединены единственной цепью.
Доказательство от противного:
- Предположение: Допустим, что между двумя вершинами (например, A и B) в дереве существует более одной цепи.
- Следствие: Если есть две разные цепи, соединяющие A и B, то, идя по одной цепи от A до B, а затем возвращаясь по другой цепи от B до A, мы образуем цикл.
- Противоречие: Однако, по определению, дерево не может содержать циклов.
- Вывод: Наше первоначальное предположение неверно. Следовательно, между любыми двумя вершинами в дереве существует только одна единственная цепь.
Свойство 1: Если из дерева удалить ребро, то граф перестанет быть связным.
Доказательство:
- Рассмотрим ребро: Пусть удаляемое ребро соединяет вершины X и Y.
- Предположим обратное: Если после удаления ребра XY граф остался связным, то между вершинами X и Y всё ещё существует путь.
- Следствие: Этот путь, состоящий из других рёбер, вместе с удалённым ребром XY, образует цикл (X → ... → Y → X).
- Противоречие: Как мы знаем из теоремы, в дереве циклов быть не может.
- Вывод: Следовательно, удаление любого ребра из дерева разрушает его связность.