Kantengewichteter Graph

Kantengewichte sind im Allgemeinen durch eine Kantengewichtsfunktion gegeben. Eine solche Gewichtsfunktion ist eine Abbildung der Form

${\displaystyle d\colon E\to \mathbb {R} }$ ,

die jeder Kante eine reelle Zahl als Gewicht zuordnet. Das Kantengewicht einer Kante ${\displaystyle e\in E}$  wird dann mit ${\displaystyle d(e)}$  oder ${\displaystyle d_{e}}$  bezeichnet.

Ein vollständiger kantengewichteter Graph heißt metrisch, falls für alle Knoten ${\displaystyle a,b,c}$  des Graphen

${\displaystyle d({a,c})\leq d({a,b})+d({b,c})}$ 

gilt. Das heißt, der Weg von ${\displaystyle a}$  über ${\displaystyle b}$  nach ${\displaystyle c}$  darf nicht kostengünstiger sein als der direkte Weg von ${\displaystyle a}$  nach ${\displaystyle c}$ .^[1] Ein Beispiel für metrische Graphen sind Distanzgraphen.

Für viele graphentheoretische Probleme benötigt man zusätzliche Parameter, zum Beispiel eine Kostenfunktion für die Bestimmung kürzester Pfade oder eine Kapazitätsfunktion zur Bestimmung maximaler Flüsse. Eine Probleminstanz wird in einem solchen Fall oft durch ein Tupel der Form ${\displaystyle (G,d)}$  beschrieben, welches neben dem Graph die gewünschte Gewichtsfunktion beinhaltet.

• Magischer Graph

1. ↑ Hartmut Noltemeier: Graphentheoretische Konzepte und Algorithmen. 3. Auflage. Vieweg+Teubner Verlag, Wiesbaden 2012, ISBN 978-3-8348-1849-2, S. 74 f.