Доказательство от противного для ребра в дереве - PullRequest
2 голосов
/ 14 марта 2019

У меня есть проблема из моего учебника, которая выглядит следующим образом;Предположим, что у меня есть матрица кратчайшего пути S, которая может выглядеть следующим образом:

enter image description here

И дерево T, состоящее из кратчайшегопути, построенные из матрицы кратчайших путей S (как минимальное остовное дерево).

Дерево обладает следующими свойствами;n - 1 ребра, все узлы связаны друг с другом.

Задача состоит в том, чтобы доказать противоречие, что если запись S_{ij} имеет минимальное значение, то эта запись должна быть ребром в деревеT.Я не совсем понимаю, что есть доказательства.Я вижу это так: если мы предположим, что T не содержит наименьший элемент из S, то в конце мы получим противоречие, поскольку будет путь, который больше, чем выбранный с помощьюсамый маленький элемент.Это не кажется мне большим доказательством, и даже если это так, я не понимаю, как можно обобщить это доказательство.

1 Ответ

0 голосов
/ 11 апреля 2019

Поскольку T - дерево, между каждой парой узлов существует только один путь.Если узлы i и j не соединены ребром, то путь, соединяющий их, должен иметь хотя бы еще один узел, назовите его k.Чем для S_{ij} (имеет место длина пути между i и j):

S_{ij} = S_{ik} + S_{kj} >= S_{ij} + S_{ij} = 2 * S_{ij}

Что противоречит.

...