Effiziente Algorithmen

Sichere Kanten Die Kante e={u,v} , in T eingefügt ergibt einen Kreis pin T∪{e}. u und v liegen auf verschiedenen Seiten des Schnitts Es gibt also noch eine Kante e‘ in T, die den Schnittkreuzt. e‘ liegt nicht in A, da A den Schnitt respektiert Entferne e‘, dadurch bricht T in zwei Teile Zufügen von e verbindet T wieder, zu einem Baum T‘ W(e)=W(e‘) für die Gewichtsfunktion W, daher ist T‘minimal Somit ist A∪ {e} eine Teilmenge von T ‘ D.h. e ist sicher für A