Zum Inhalt springen

Probabilistische Methode

aus Wikipedia, der freien Enzyklopädie

Die probabilistische Methode ist ein nicht-konstruktives Beweisverfahren, das durch Paul Erdős geprägt wurde und vor allem in der Kombinatorik Anwendung findet. Die Methode<ref>Edmund Weitz: Paul Erdős und die probabilistische Methode auf YouTube, 12. März 2020, abgerufen am 22. März 2020.</ref> beruht auf folgendem einfachen Prinzip: Um zu zeigen, dass es ein Objekt mit einer bestimmten Eigenschaft gibt, reicht es, eine Wahrscheinlichkeitsverteilung zu finden, sodass die Wahrscheinlichkeit, dass ein zufällig gewähltes Objekt die gewünschte Eigenschaft besitzt, positiv ist.

Beispiel[Bearbeiten]

Die Ramsey-Zahl <math>R(r, r)</math> ist die kleinste Zahl <math>n</math>, sodass in jedem vollständigen Graphen mit <math>n</math> Ecken, dessen einzelne Kanten jeweils entweder rot oder blau gefärbt sind, eine monochromatische <math>r</math>-Clique existiert, also <math>r</math> Ecken, sodass alle Kanten zwischen ihnen die gleiche Farbe haben. Während Ramsey eine obere Schranke für <math>R(r, r)</math> angab, fand Erdős mit der probabilistischen Methode eine untere Abschätzung.

Dazu betrachten wir einen vollständigen Graph mit <math>n</math> Ecken und färben seine Kanten alle unabhängig voneinander mit der Wahrscheinlichkeit <math>\tfrac{1}{2}</math> rot, sonst blau. Die Wahrscheinlichkeit, dass <math>r</math> gegebene Ecken dieses Graphen untereinander alle mit roten Kanten verbunden sind, ist dann <math>2^{-{r \choose 2}}</math>. Die Wahrscheinlichkeit, dass irgendeine Auswahl von <math>r</math> Ecken eine monochromatische Clique bilden, ist dann höchstens <math>{n \choose r}\cdot 2\cdot 2^{-{r \choose 2}}</math>. Ist also <math>{n \choose r}2^{1-{r \choose 2}} < 1</math>, so ist die Wahrscheinlichkeit, dass ein nach diesem Verfahren zufällig gefärbter Graph keine monochromatische <math>r</math>-Clique besitzt, positiv. Diese Ungleichung ist insbesondere für <math>n \leq 2^{r/2}</math> erfüllt, sodass <math>2^{r/2} \leq R(r, r)</math> gilt.

Literatur[Bearbeiten]

Einzelnachweise[Bearbeiten]

<references />