Chapter 3: Optimal Trees and Branchings - UKP
Chapter 3: Optimal Trees and Branchings - UKP
Chapter 3: Optimal Trees and Branchings - UKP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Optimal</strong> <strong>Trees</strong> <strong>and</strong> <strong>Branchings</strong><br />
Correctness of Reverse Kruskal<br />
Regard an arbitrary edge e = (v, w) that is removed during the algorithm<br />
At the time of removal, e is part of a cycle C.<br />
Amongst all edges within C, e is the first edge to consider, that is e is the<br />
most expensive edge on C<br />
Due to the cycle property, the removal has been done deservedly.<br />
The output T of the algorithm T is connected due to the fact that at no<br />
time an edge is removed from T that would destroy connectivity (only<br />
edges from cycles are removed).<br />
In the end, T does not contain a cycle anymore because the most<br />
expensive edge on this cycle would have been removed.<br />
Efficient Graph Algorithms | Wolfgang Stille | WS 2011/2012 | <strong>Chapter</strong> III - <strong>Optimal</strong> <strong>Trees</strong> <strong>and</strong> <strong>Branchings</strong> | 25