Cayley-Formel

Alle bezeichneten Bäume der Größen 2,3 und 4.

Alle 16 aufspannenden Bäume des vollständigen Graphen mit 4 Knoten.

Die Cayley-Formel (benannt nach Arthur Cayley), manchmal auch Satz von Cayley genannt, ist ein Satz aus der abzählenden Kombinatorik. Er besagt, dass es <math>n^{n-2}</math> verschiedene bezeichnete Bäume mit <math>n</math> Knoten gibt.

Formulierungen

Es gibt <math>n^{n-2}</math> verschiedene bezeichnete Bäume mit <math>n</math> Knoten.
Der bezeichnete vollständige Graph mit <math>n</math> Knoten hat <math>n^{n-2}</math> verschiedene aufspannende Bäume.

Beweise

Für die Cayley-Formel gibt es unzählige Beweise, einige davon werden von vielen Mathematikern als besonders schön angesehen. Das spiegelt sich unter anderem in der Tatsache, dass der Cayley-Formel ein Kapitel in Das Buch der Beweise gewidmet ist. Dort werden vier verschiedene Beweise präsentiert:

mittels einer Bijektion von der Menge aller Bäume in eine einfacher zu zählende Menge (siehe Prüfer-Code),
unter Verwendung des Satzes von Kirchhoff,
mittels Rekursion,
durch doppeltes Abzählen.

Geschichte

Die Formel wurde zuerst von Carl Wilhelm Borchardt (1860) publiziert. 1889 erweiterte Cayley die Formel und formulierte sie in der Graphenterminologie, weshalb sie seitdem mit seinem Namen verbunden wird.

Auch erwähnenswert ist, dass James Joseph Sylvester schon (1857) ein äquivalentes Resultat publizierte.

Literatur