Grad (Graphentheorie)
# Grad (Graphentheorie)

Grad (auch Knotengrad oder Valenz) ist ein grundlegender Begriff der Graphentheorie, eines Teilgebiets der Mathematik. Der Grad eines Knotens ist die Anzahl von Kanten, die an ihn angrenzen.

## Definition

### Ungerichtete Graphen

In einem ungerichteten Graphen $G$ ist für jeden Knoten $v$ der Grad $d_{G}(v)$ definiert als die Anzahl aller Kanten von $G$, die an $v$ angrenzen. Sofern vorhanden werden Schlingen dabei doppelt gezählt.

Statt $d_{G}(v)$ wird oft auch die Notation $\deg _{G}(v)$ verwendet. Der Index $G$ kann weggelassen werden, falls klar ist, um welchen Graphen es sich handelt.

Den kleinsten Grad eines Knotens in $G$ nennt man den Minimalgrad von $G$ und bezeichnet diesen mit $\delta (G)$, den größten Grad eines Knotens in $G$ nennt man den Maximalgrad von $G$, dieser wird meist mit $\Delta (G)$ bezeichnet. Der Durchschnitt aller Knotengrade von $G$ wird Durchschnittsgrad genannt und mit $d(G)$ bezeichnet.

### Gerichtete Graphen

In einem gerichteten Graphen $G$ wird unterschieden, ob eine Kante an einem Knoten beginnt oder endet. Mit $d_{G}^{-}(v)$ bezeichnet man den Eingangsgrad des Knotens $v$ in einem gerichteten Graphen $G$ und mit $d_{G}^{+}(v)$ dessen Ausgangsgrad.

Dabei ist $d_{G}^{-}(v)$ die Anzahl aller Kanten, die in $v$ enden und $d_{G}^{+}(v)$ die Anzahl aller Kanten, die in $v$ starten.

Einen Knoten ohne Eingangskanten ($d_{G}^{-}(v)=0$) nennt man Quelle, einen Knoten ohne Ausgangskanten ($d_{G}^{+}(v)=0$) nennt man Senke.

## Verwandte Begriffe

* Man nennt einen Knoten isoliert, wenn er:
   * in einem ungerichteten Graphen: keine Nachbarn besitzt $d_{G}=0$.
   * in einem gerichteten Graphen: keine Vorgänger und keine Nachfolger besitzt. $d_{G}^{+}=d_{G}^{-}=0$.
* Ein ungerichteter Graph oder Hypergraph $G$ heißt regulär, falls alle seine Knoten denselben Grad besitzen. Besitzen alle seine Knoten Grad $k$, so bezeichnet man $G$ als k-regulär. Einen 3-regulären Graphen bezeichnet man auch als kubisch.
* Ein gerichteter Graph $G$ heißt regulär, falls alle seine Knoten denselben Eingangs- und Ausgangsgrad besitzen. Besitzen alle seine Knoten Eingangs- und Ausgangsgrad $k$, so bezeichnet man $G$ als k-regulär.
* Ein Hypergraph $G$ heißt uniform, wenn alle Kanten von $G$ die gleiche Anzahl Knoten enthalten. Enthalten alle Kanten von $G$ genau $k$ Knoten, so nennt man $G$ k-uniform.

## Eigenschaften

* Stets gilt $\delta (G)\leq d(G)\leq \Delta (G)$. Gleichheit tritt z. B. bei vollständigen Graphen, allgemein bei regulären Graphen ein.
* Es gilt $2\cdot |E|=\sum _{v\in V(G)}d_{G}(v)$, wobei $|E|$ die Anzahl der Kanten des Graphen bezeichnet. Da die Summe der Knotengrade also stets gerade ist, ist auch die Anzahl der Knoten mit ungeradem Grad stets gerade.

### Planare Graphen

Zusammenhängende planare Graphen mit $|V|$ Knoten, $|E|$ Kanten und $|F|$ Flächen erfüllen die Ungleichung $2\cdot |E|\geq 3\cdot |F|$, weil jede Fläche benachbart zu mindestens drei Kanten und jede Kante genau zwei Flächen begrenzt. Daraus und aus der Gleichung $|V|-|E|+|F|=2$ (Eulerscher Polyedersatz) folgt $|E|\leq 3\cdot |V|-6$ und daraus folgt für den durchschnittlichen Knotengrad

    $d(G)={\frac {\sum _{v\in V}d_{G}(v)}{|V|}}={\frac {2\cdot |E|}{|V|}}\leq {\frac {2\cdot (3\cdot |V|-6)}{|V|}}={\frac {6\cdot |V|-12}{|V|}}<6$

Das heißt, dass für endliche planare Graphen der durchschnittliche Knotengrad kleiner als 6 ist. Graphen mit höherem durchschnittlichen Knotengrad können nicht planar sein.

## Verwendung

Der Grad gehört zu den Grundbegriffen der Graphentheorie und liefert viele wichtige Abschätzungen für Grapheneigenschaften wie z. B. die Kantenfärbungszahl.

## Programmierung

Das folgende Beispiel in der Programmiersprache C# zeigt die Implementierung eines ungerichteten Graphen mit Adjazenzlisten. Der ungerichtete Graph wird als Klasse UndirectedGraph deklariert. Bei der Ausführung des Programms wird die Methode Main verwendet, die den Minimalgrad, den Maximalgrad und die entsprechenden Knoten des Graphen auf der Konsole ausgibt.

