Satz von Reiman

Der Satz von Reiman, Vorlage:EnS, ist ein Lehrsatz aus dem mathematischen Teilgebiet der Kombinatorik, welche auf den ungarischen Mathematiker István Reiman (1927–2012) zurückgeht. Der Satz formuliert eine notwendige Bedingung dafür, dass ein endlicher einfacher Graph keine Kreise der Länge 4 als Teilgraphen enthält.

Formulierung des Satzes

Der Satz von Reiman lässt sich formulieren wie folgt:

Gegeben sei ein endlicher einfacher Graph $𝒢=(V,E)$ mit $|V|=n$ Knoten und $|E|=m$ Kanten.   $(n,m\in \mathbb{N})$

Weiter sei vorausgesetzt:

(B) In $𝒢$ sind keine Viererkreise als Teilgraphen enthalten.

Dann gilt die Ungleichung:

(U) $m\le \lfloor \frac{n}{4}(1+\sqrt{4n-3})\rfloor$   .

Mit anderen Worten:

Hat $𝒢$ eine Kantenzahl $m$ , welche die reelle Zahl $\frac{n}{4}(1+\sqrt{4n-3})$ echt übersteigt, so muss in $𝒢$ mindestens ein Viererkreis als Teilgraph enthalten sein.

Beweisskizze

Der Beweis beruht auf einer Anwendung der Methode des doppelten Abzählens, dem Handschlaglemma und der Ungleichung von Cauchy-Schwarz.

Hierbei geht man aus von der man die Menge

$S=\{(v_0,\{v,w\})\mid (v_0,v,w\in V)\wedge (v\ne w)\wedge (\{v_0,v\},\{v_0,w\}\in E)\}$.

$S$ besteht also exakt aus all jenen Paaren $(v_0,\{v,w\})$ in dem Graphen $𝒢$, für die der Knoten $v_0$ mit den zwei weiteren Knoten $v$ und $w$ benachbart ist.

Für diese ergibt sich aufgrund von (B) im Zusammenhang mit den Graden der einzelne Knoten nacheinander

$\sum _{v\in V}(\genfrac{}{}{0ex}{}{d_{𝒢}(v)}{2})=|S|\le (\genfrac{}{}{0ex}{}{n}{2})$

und damit

$n\cdot \sum _{v\in V}{d_{𝒢}(v)}^2\le n^2(n-1)+n\cdot \sum _{v\in V}{d}_{𝒢}(v)$

und dann

${\left(\sum _{v\in V}{d}_{𝒢}(v)\right)}^2\le n^2(n-1)+n\cdot \sum _{v\in V}{d}_{𝒢}(v)$

und schließlich

$4m^2\le n^2(n-1)+2nm$  .

Aus der letzten Ungleichung jedoch gelangt man mittels quadratischer Ergänzung unmittelbar zur Ungleichung (U) .

Anmerkung

Die mit dem Satz gegebene Ungleichung ist scharf in dem Sinne, dass für $n=5$ ein Graph $𝒢$ mit fünf Knoten und sechs Kanten existiert, bei dem die Ungleichung zu einer Gleichung wird. Es handelt sich um einen Windmühlengraphen (Vorlage:EnS), der aus zwei Dreiecksgraphen (als Teilgraphen) gebildet wird, welche genau einen Knoten als Schnittpunkt haben.

Siehe auch

• Satz von Mantel

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur