17.10.2014 Views

Chapter 3: Optimal Trees and Branchings - UKP

Chapter 3: Optimal Trees and Branchings - UKP

Chapter 3: Optimal Trees and Branchings - UKP

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!