Beschreibung
Ein Tor ist eine Äquivalenzrelation, die genutzt wird, um zu prüfen, ob zwei Kanten eines Graphen unter einer Graphabbildung als Pfade rückwärts laufen.
Definition
Seien zwei Kanten, die im gleichen Knoten beginnen. Wir definieren eine Äquivalenzrelation durch: wenn es ein gibt, sodass Also, wenn nach wiederholter Anwendung die Pfade irgendwann in die gleiche Richtung zeigen.
Eigenschaften
Eigenschaft