Maximale Spaltung (Zugstrecke)

Beschreibung

Wird an allen großen Zweigen mit dem größten Gewicht gleichzeitig gespalten, wird dies als maximale Spaltung bezeichnet.

Definition

Siehe oben. Geht $({\tau }_1,{\mu }_1)$ aus $({\tau }_0,{\mu }_0)$ durch maximale Spaltung hervor, schreibt man $({\tau }_0,{\mu }_0)\rightharpoonup ({\tau }_1,{\mu }_1)$ Mehrfache maximale Spaltungen werden mit $({\tau }_0,{\mu }_0){\rightharpoonup }^n({\tau }_n,{\mu }_n)\text{ oder }({\tau }_0,{\mu }_0){\rightharpoonup }^{\ast }({\tau }^{\prime },{\mu }^{\prime })$ angegeben.

Eigenschaften

Spaltung jedes Zweigs

Sei $e$ ein Zweig. Wenn man oft genug eine maximale Spaltung anwendet, wird auch irgendwann $e$ gespalten.