Abzählende Kombinatorik

Die abzählende Kombinatorik ist ein Teilbereich der Kombinatorik. Sie beschäftigt sich mit der Bestimmung der Anzahl möglicher Anordnungen oder Auswahlen
 unterscheidbarer oder nicht unterscheidbarer Objekte (d. h. „ohne“ bzw. „mit“ Wiederholung derselben Objekte) sowie
 mit oder ohne Beachtung ihrer Reihenfolge (d. h. „geordnet“ bzw. „ungeordnet“).

In der modernen Kombinatorik werden diese Auswahlen oder Anordnungen auch als Abbildungen betrachtet, so dass sich die Aufgabe der Kombinatorik in diesem Zusammenhang im Wesentlichen darauf beschränken kann, diese Abbildungen zu zählen.

Anwendungen 
Für das Rechnen mit Wahrscheinlichkeiten auf der Basis des Wahrscheinlichkeitsbegriffs von Laplace bildet die Kombinatorik eine wichtige Grundlage.

Ein verblüffendes Phänomen der Kombinatorik ist, dass sich oftmals wenige Objekte auf vielfältige Weise kombinieren lassen. Beim Zauberwürfel können beispielsweise die 26 Elemente auf rund 43 Trillionen Arten kombiniert werden. Dieses Phänomen wird oft als kombinatorische Explosion bezeichnet und ist auch die Ursache für das Geburtstagsparadoxon.

Permutationen, Variationen und Kombinationen

Begriffsabgrenzungen 
Aufgrund der Vielfalt der Herangehensweisen sind die Schreibweisen und Begrifflichkeiten im Bereich der Kombinatorik leider oft recht uneinheitlich. Zwar bezeichnen übereinstimmend alle Autoren die Vertauschung der Reihenfolge einer Menge von  unterscheidbaren Elementen als Permutation. Wählt man dagegen von diesen  Elementen nur  Elemente aus, deren Reihenfolge man anschließend vertauscht, bezeichnen viele Autoren das nun als Variation, geordnete Stichprobe bzw. Kombination mit Berücksichtigung der Reihenfolge, andere dagegen (namentlich im englischsprachigen Raum) weiter als Permutation. Lässt man schließlich in einer solchen Auswahl von Elementen deren Reihenfolge außer Acht, wird solch eine Auswahl nun für gewöhnlich ungeordnete Stichprobe, Kombination ohne Berücksichtigung der Reihenfolge oder einfach nur Kombination genannt. Kombinationen sind also, sofern nichts weiter zu ihnen gesagt wird, in der Regel ungeordnet, Permutationen und/oder Variationen dagegen geordnet, wobei die Frage, ob man Permutationen als Sonderfälle von Variationen (oder umgekehrt) betrachtet, gegebenenfalls von Autor zu Autor unterschiedlich beantwortet wird.

Alles in allem gibt es also zunächst einmal drei (oder auch nur zwei) verschiedene Fragestellungen, die ihrerseits noch einmal danach unterteilt werden, ob es unter den ausgewählten Elementen auch Wiederholungen gleicher Elemente geben darf oder nicht. Ist ersteres der Fall, spricht man von Kombinationen, Variationen oder Permutationen mit Wiederholung, andernfalls solchen ohne Wiederholung. Stellt man sich schließlich vor, dass die ausgewählten Elemente dabei einer Urne oder Ähnlichem entnommen werden, wird dementsprechend auch von Stichproben mit oder ohne Zurücklegen gesprochen.

Anzahlen 
Im Folgenden bezeichnet  die Zahl der vorhandenen Elemente und  die Zahl ausgewählten Elemente bzw.  die jeweiligen Anzahlen der Elemente, die nicht unterscheidbar sind.

Bälle und Fächer 
Eine Verallgemeinerung des Urnenmodells ist ein von Gian-Carlo Rota popularisiertes Modell mit Bällen und Fächern, im Englischen nach einem Vorschlag von Joel Spencer auch Twelvefold Way („Zwölffacher Weg“) genannt. Gesucht ist dabei die Anzahl der Möglichkeiten,  Bälle auf  Fächer zu verteilen, wobei die Bälle und Fächer jeweils entweder unterscheidbar oder nicht unterscheidbar sind und entweder keine weitere Bedingung gilt oder in jedes Fach höchstens ein Ball kommen darf oder mindestens ein Ball kommen muss. Man erhält folgende Übersicht:

Dabei ist  die Anzahl der Möglichkeiten, eine -elementige Menge in  nichtleere disjunkte Teilmengen aufzuteilen (Stirling-Zahl zweiter Art), und  die Anzahl der Möglichkeiten, die Zahl  als Summe von  positiven ganzen Zahlen ohne Beachtung der Reihenfolge darzustellen (siehe Partitionsfunktion).

Äquivalente Darstellungen 
Wird in einem diskreten Wahrscheinlichkeitsraum  die Anzahl der möglichen Ereignisse durch eine der obigen kombinatorischen Formeln gegeben, dann können über die vollständige Zerlegung des Ereignisraums äquivalente Darstellungen für sie abgeleitet werden. Die folgenden beiden Modelle verdeutlichen dies. Es werden  Bälle zufällig auf  Fächer verteilt. Man betrachte die Ereignisse , dass  Fächer, , mindestens einen Ball enthalten unter der Prämisse:
 Kein Ball wird von vornherein einem Fach zugeordnet.
 Jeder Ball wird von vornherein einem Fach zugeordnet, kann aber in einem anderen Fach landen.

Der erste Fall entspricht der Variante „nicht unterscheidbare Bälle, unterscheidbare Fächer“. Die vollständige Zerlegung des Ereignisraums in die disjunkten Ereignisse  ergibt dann

.

Der zweite Fall entspricht der Variante „unterscheidbare Bälle, unterscheidbare Fächer“. Die vollständige Zerlegung des Ereignisraums analog zum ersten Fall ergibt die äquivalente Darstellung

,

wobei sich die zweite Summe durch Umkehrung der Summierungsreihenfolge (bzw. ) aus der ersten ergibt.

Für  ist das Ereignis, dass alle Fächer mindestens einen Ball besitzen, gleich dem Ereignis, dass alle Fächer genau einen Ball besitzen, und enthält  Elemente. Daraus folgt

.

Literatur

Weblinks 

 
 Modul Kombinatorik beim MathePrisma
 Michael Stoll: Abzählende Kombinatorik (PDF; 554 kB) Vorlesungsskript
 Empfehlungen zur Kombinatorik in der Schule (PDF; 612 kB) aus: Stochastik in der Schule, 33, 2013, 1, S. 21–25

Einzelnachweise 

 Abzahlende Kombinatorik
Teilgebiet der Mathematik