URL: /axel/disc_ss05_blatt6.html
Ein ungerichteter Graph G=(V,E) heißt zweifach zusammenhängend, wenn G\v für jeden Knoten v aus V zusammenhängend ist. Eine Zweifachzusammenhangskomponente (bcc) ist ein maximaler zweifach zusammenhängender Teilgraph.
Beweisen Sie folgendes Lemma:
Seien G1=(V1,E1) .... Gm=(Vm,Em) die
bcc des Graphen G=(V,E). Dann bilden die Kantenmengen E1,
...,
Em eine Partition von E, d.h. sie sind paarweise disjunkt
und
die Vereinigung ist E.