Graph/Paarung/Größte/Charakterisierung/Aufgabe

Zeige, dass für einen Graphen folgende Eigenschaften äquivalent sind.

  1. Es gibt unter allen (durch Inklusion geordneten) Paarungen eine größte Paarung.
  2. ist selbst eine Paarung
  3. Alle Wege in haben die Länge oder .
  4. Die Zusammenhangskomponenten sind (leer oder) ein- oder zweielementig.