Zum Inhalt springen

Graph/Baum/Charakterisierung/Fakt

Aus Wikiversity
Charakterisierungssatz für Bäume

Es sei  G=(V,E)  ein Graph mit nichtleerer Knotenmenge V. Dann sind folgende Aussagen äquivalent.

  1. G ist ein Baum.
  2. Zwischen je zwei Punkten  u,vV  gibt es einen eindeutigen Verbindungsweg ohne Wiederholung.
  3. G ist zusammenhängend und es gilt  #(E)=#(V)1