Beschreibung

Mit dem Konzept einer Beziehung ist es möglich, Stark zusammenhängende Komponenten in Graphen zu finden. Wir werden diese später nutzen, um den Graph in solche maximalen Komponenten zu zerlegen.

Definition

Sei eine nicht-negative, Quadratische Matrix. Sei die Indexmenge der Zeilen und Spalten. Definiere eine Relation durch , wenn es mit und gibt. Beobachte, dass dies keine Äquivalenzrelation ist, da ein Transienter Index Index nicht notwendigerweise mit sich selbst in Relation stehen muss.

Graphentheoretische Charakterisierung

genau dann, wenn es einen Pfad von zu und von zu gibt.

Eigenschaften

Eigenschaft

lit_kitchensSymbolicDynamicsOnesided2012