24.12.2012 Views

V - CISE

V - CISE

V - CISE

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Find a safe edge<br />

Proof: Let T be a MST that includes A<br />

� Case 1: (u, v) T => done.<br />

� Case 2: (u, v) not in T:<br />

� Exist edge (x, y) T cross the cut, (x, y) A<br />

� Removing (x, y) breaks T into two components.<br />

� Adding (u, v) reconnects 2 components<br />

� T´ = T - {(x, y)} {(u, v)} is a spanning tree<br />

� w(T´) = w(T) - w(x, y) + w(u, v) w(T) => T’ is a MST => done<br />

My T. Thai<br />

mythai@cise.ufl.edu<br />

7

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

Saved successfully!

Ooh no, something went wrong!