Graph/Baum/Charakterisierung/Fakt

Charakterisierungssatz für Bäume

Es sei ein Graph mit nichtleerer Knotenmenge . Dann sind folgende Aussagen äquivalent.

  1. ist ein Baum.
  2. Zwischen je zwei Punkten gibt es einen eindeutigen Verbindungsweg ohne Wiederholung.
  3. ist zusammenhängend und es gilt .