Satz von Turán
Der Satz von Turán (nach Pál Turán) ist eine Aussage aus dem mathematischen Teilgebiet der Graphentheorie. Er macht eine Aussage über die maximale Anzahl von Kanten, die ein Graph mit gegebener Knotenzahl haben kann, ohne einen vollständigen Untergraphen mit <math>m</math> Knoten enthalten zu müssen.
Der Fall der Dreiecke
Es sei <math>G</math> ein ungerichteter Graph mit <math>n</math> Knoten. Ein Untergraph aus drei Knoten heißt in naheliegender Weise ein Dreieck, wenn je zwei dieser drei Knoten durch eine Kante verbunden sind. Der Satz von Turán präzisiert die Aussage, dass der Graph, wenn er keine Dreiecke enthalten soll, nicht zu viele Kanten haben kann:
- Satz von Turán (Dreiecke):<ref>Frank Harary: Graphentheorie. R. Oldenbourg, München 1974, ISBN 3-486-34191-X.</ref> Hat ein Graph <math>G</math> mit <math>n</math> Knoten keine Dreiecke, so hat er höchstens <math>\left\lfloor \frac{n^2}{4} \right\rfloor</math> Kanten.
Dabei ist <math>\lfloor x \rfloor</math> die größte ganze Zahl, die kleiner gleich <math>x</math> ist.
Für kleine <math>n</math> ist die Aussage klar:
- <math>n=1</math>: Dieser Graph hat weder Kanten noch Dreiecke und es ist <math>\left\lfloor \frac{1^2}{4} \right\rfloor = 0</math>.
- <math>n=2</math>: Solche Graphen haben keine Dreiecke und höchstens eine Kante; es ist <math>\left\lfloor \frac{2^2}{4} \right\rfloor = 1</math>.
- <math>n=3</math>: Solche Graphen haben genau dann ein Dreieck, wenn die Kantenzahl 3 ist; und es ist <math>\left\lfloor \frac{3^2}{4} \right\rfloor = 2</math>.
- <math>n=4</math>: Es ist <math>\left\lfloor \frac{4^2}{4} \right\rfloor = 4</math> und tatsächlich hat jeder 4er-Graph mit 5 Kanten mindestens ein Dreieck.
Für größere <math>n</math> führt man die Aussage auf Graphen mit <math>n-2</math> Knoten zurück, was dann einen Induktionsbeweis ermöglicht, wobei man gerade und ungerade <math>n</math> unterscheiden muss. Hier soll nur der Fall für gerade <math>n</math> kurz angedeutet werden:
Man entferne eine Kante, die zwei Knoten <math>a</math> und <math>b</math> verbindet, aus <math>G</math>. Der so erhaltene Untergraph enthält ebenfalls keine Dreiecke und nur <math>n-2</math> Knoten, also gemäß Induktionsvoraussetzung höchstens <math>\left\lfloor \frac{(n-2)^2}{4}\right\rfloor = \frac{(n-2)^2}{4}</math> Kanten. Der Graph <math>G</math> hat darüber hinaus noch die entfernte Kante und weitere Kanten, die von <math>a</math> oder <math>b</math> ausgehen und in <math>G\setminus\{a,b\}</math> enden. Gehen etwa <math>k</math> von <math>a</math> aus, so müssen die von <math>b</math> ausgehenden Kanten in anderen Knoten von <math>G\setminus \{a,b\}</math> enden, denn anderenfalls enthielte <math>G</math> ein Dreieck, das heißt von <math>b</math> können höchstens <math>n-2-k</math> Kanten in <math>G\setminus \{a,b\}</math> endende ausgehen. Die maximal mögliche Kantenzahl von <math>G</math> ist daher <math> \frac{(n-2)^2}{4}+1+k+(n-2-k) \,=\, \frac{n^{2}-4n+4}{4} + 1 + n - 2 \,=\, \frac{n^2}{4} - n +1 + 1 + n - 2 \,=\, \frac{n^2}{4}</math>. Daraus folgt die Behauptung für gerade <math>n</math>. Der Fall ungerader <math>n</math> kann ganz ähnlich behandelt werden.
Die durch den Satz von Turán angegebene Grenze ist scharf, wie das Beispiel des bipartiten Graphen <math>K_{n,n}</math> zeigt, denn dieser Graph hat <math>2n</math> Knoten und <math>n^2 = \frac{(2n)^2}{4}</math> Kanten.
Der Turán-Graph
Ein Dreieck ist der vollständige Graph <math>K_3</math>. Es stellt sich daher die Frage, ob man eine Obergrenze für die Anzahl von Kanten eines Graphen, der keinen zu <math>K_m</math> isomorphen Untergraphen enthält, angeben kann. Um diese Frage beantworten zu können, wird der so genannte Turán-Graph wie folgt definiert:
Der Turán-Graph <math>T_m(n)</math> ist der vollständige m-partite Graph, der in der k-ten Klasse <math>\left\lfloor \frac{n+k-1}{m} \right\rfloor</math> Elemente hat. Beachte dazu, dass
<math>\left\lfloor \frac{n}{m}\right\rfloor + \left\lfloor \frac{n+1}{m}\right\rfloor + \ldots + \left\lfloor \frac{n+m-1}{m}\right\rfloor = n </math>
gilt und <math>T_m(n)</math> daher <math>n</math> Knoten hat. Die Anzahl der Kanten von <math>T_m(n)</math> werde mit <math>t_m(n)</math> bezeichnet. Man kann zeigen, dass
<math>t_m(n) = \frac{(m-1)(n^2-r^2)}{2m} + \frac{r(r-1)}{2} </math>
wobei <math> r \equiv n \,\mathrm{mod} \,m,\,\, 0 \le r < m</math> ist und <math>\mathrm{mod}</math> für die Division mit Rest steht.
Der nebenstehende Turán-Graph <math>T_3(7)</math> hat demnach <math> \frac{(3-1)(49-1)}{2\cdot 3} + \frac{1\cdot(1-1)}{2} = \frac {2\cdot 48}{6} = 16</math> Kanten.
Eine leichte Rechnung zeigt <math>t_m(n) = \frac{n^2}{2}\left( 1 - \frac{1}{m} + \frac{r^2}{mn^2} - \frac{r}{n^2} \right) \le \frac{n^2}{2} \left( 1 - \frac{1}{m} \right)</math>. Diese obere Abschätzung der Kantenzahl des Turán-Graphen wird häufig verwendet.
Der allgemeine Fall
- Satz von Turán:<ref>Béla Bollobás: Graph Theory, An Introductory Course. Springer Verlag, New York 1979, ISBN 0-387-90399-2, IV, §2, Theorem 6</ref> Hat ein Graph <math>G</math> mit <math>n</math> Knoten keinen zu <math>K_m</math> isomorphen Untergraphen (<math> m \ge 3 </math>), so hat er höchstens <math>t_{m-1}(n)</math> Kanten. Jeder Graph ohne einen zu <math>K_m</math> isomorphen Untergraphen mit <math>n</math> Knoten und <math>t_{m-1}(n)</math> Kanten ist isomorph zum Turán-Graphen <math>T_{m-1}(n)</math>.
In der extremalen Graphentheorie definiert man zu einem Graphen <math>H</math> die Zahl <math>\mathrm{ex}(n,H)</math> als die maximale Kantenzahl, die ein Graph mit <math>n</math> Knoten und ohne einen zu <math>H</math> isomorphen Untergraphen haben kann. Der Satz von Turán hat daher folgendes Korollar:
<math> \mathrm{ex}(n,K_m) \,=\, t_{m-1}(n) \le \frac{n^2}{2}\left(1-\frac{1}{m-1}\right)</math>
Der Satz von Turán sagt aber mehr aus, nämlich dass je zwei Graphen mit <math>n</math> Knoten ohne einen zu <math>K_m</math> isomorphen Untergraphen, die diesen Extremwert realisieren, isomorph zu <math>T_{m-1}(n)</math> sind.
Ist <math>m=3</math> und <math>n</math> gerade, so ist <math> 0 \equiv n \,\mathrm{mod}\, 2 </math> und daher <math>t_2(n) = \frac{(2-1)(n^2-0^2)}{2\cdot 2} + 0 = \frac{n^2}{4}</math>. Ist <math>n</math> ungerade, so ist <math> 1 \equiv n \,\mathrm{mod}\, 2 </math> und daher <math>t_2(n) = \frac{(2-1)(n^2-1^2)}{2\cdot 2} + 0 = \frac{n^2-1}{4} = \left\lfloor \frac{n^2}{4}\right\rfloor </math>. Daher ist <math> \mathrm{ex}(n,K_3) \,=\, \left\lfloor \frac{n^2}{4} \right\rfloor</math> und man erhält den bereits oben besprochenen Spezialfall der Dreiecke.
Die im Satz vorgenommene Einschränkung <math>m\ge 3</math> kann zu <math>m\ge 2</math> abgeschwächt werden, auch wenn der dadurch entstehende Fall nicht sonderlich interessant ist. Ein Graph ohne einen zu <math>K_2</math> isomorphen Untergraphen ist ein kantenloser Graph und tatsächlich ist <math>t_1(n)=0</math> für alle <math>n</math>. Auch die Fälle <math>m \ge n</math> müssen nicht ausgeschlossen werden. Für <math>m=n</math> ist <math>r=1</math> in der oben für <math>t_m(n)</math> angegebenen Formel, und es ist daher <math>t_{n-1}(n) = \frac{(n-2)(n^2-1)}{2(n-1)}+0 = \frac{(n-2)(n+1)}{2} = \frac{n(n-1)}{2} - 1</math>; man erhält daher die triviale Aussage, dass ein Graph mit <math>n</math> Knoten genau dann einen zu <math>K_n</math> isomorphen Untergraphen enthält, wenn er vollständig ist, denn <math>K_n</math> hat <math>\frac{n(n-1)}{2}</math> Kanten. Ist <math>m=n+1</math>, so ist <math>r=0</math> und daher <math>t_m(n) = \frac{n(n-1)}{2}</math>, ist <math>m>n+1</math> so ist <math>r=n</math> und daher ebenfalls <math>t_{m-1}(n) = \frac{r(r-1)}{2} = \frac{n(n-1)}{2}</math>; das heißt, in den Fällen <math>m>n</math> kann der Graph so viele Kanten wie möglich haben, was klar ist, da er ohnehin keinen zu <math>K_m</math> isomorphen Untergraphen enthalten kann.
Literatur
- K. Wagner: Graphentheorie. Bibliographisches Institut, Mannheim 1970, ISBN 3-411-00248-4
- P. Turan: Eine Extremalaufgabe aus der Graphentheorie. In: Mat. Fiz. Lapok., 48, 1941, S. 436–452 (ungarisch)
Einzelnachweise
<references />