Lovász-Local-Lemma

Das Lovász-Local-Lemma ist ein Hilfssatz aus der Wahrscheinlichkeitstheorie. Es verallgemeinert das Argument, dass die stochastische Unabhängigkeit von Ereignissen mit positiver Wahrscheinlichkeit eine positive Wahrscheinlichkeit für das Eintreten aller Ereignisse impliziert, auf Situationen, in denen nicht alle Ereignisse unabhängig sind. Sein Name beruht darauf, dass es lokale Eigenschaften zu einem globalen Ergebnis zusammensetzt. Es findet am häufigsten Anwendung in probabilistischen Ansätzen, um Existenzbeweise zu führen. 1975 wurde es von László Lovász und Paul Erdős bewiesen.

Einen konstruktiven Beweis und eine algorithmische Version gaben Robin A. Moser und Gábor Tardos 2008/09 und erhielten dafür den Gödel-Preis (2020). Zusätzlich konnten sie die Algorithmen für die Verwendung von LLL vollständig de-randomisieren.

Aussage des Lemmas

Allgemeine Version

Sei ${\mathcal {E}}=\{A_{1},A_{2},\dots ,A_{n}\}$ eine Menge von Ereignissen über einem beliebigen Wahrscheinlichkeitsraum, so dass jedes Ereignis $A_{i}$ stochastisch unabhängig von allen Ereignissen in jeweils einem ${\mathcal {D}}_{i}\subseteq {\mathcal {E}}$ ist.

Falls reelle Zahlen $x_{1},x_{2},\dots ,x_{n}\in [0,1)$ existieren, so dass für alle $i\in \{1,2,\dots ,n\}$ gilt:

Pr(A_{i})\leq x_{i}\prod _{A_{k}\in {\mathcal {D}}_{i}}(1-x_{k})

,

so folgt: $Pr(\bigcap _{i=1}^{n}{\overline {A}}_{i})\geq \prod _{j=1}^{n}(1-x_{j})>0$ .

In vielen Beweisen wird der folgende symmetrische Spezialfall verwendet.

Symmetrische Version

Sei ${\mathcal {E}}=\{A_{1},A_{2},\dots ,A_{n}\}$ eine Menge von Ereignissen über einem beliebigen Wahrscheinlichkeitsraum, so dass jedes Ereignis aus ${\mathcal {E}}$ von höchstens $d$ anderen Ereignissen stochastisch abhängig ist. Definiere $p:=\max _{i\in \{1,\dots ,n\}}Pr(A_{i})$ .

Gilt $e\cdot p\cdot (d+1)\leq 1,\quad$ ( $e$ bezeichnet die eulersche Zahl)
so folgt $Pr(\bigcap _{i=1}^{n}{\overline {A}}_{i})>0$ .

Anwendungsbeispiel

Sei ${\mathcal {H}}$ ein Hypergraph, so dass jede Hyperkante mindestens $k$ Knoten enthält und sich mit höchstens $2^{k-3}$ weiteren Hyperkanten schneidet und $k\geq 5$ . Dann ist ${\mathcal {H}}$ 2-färbbar.

Färbe die Knoten von ${\mathcal {H}}$ zunächst zufällig, unabhängig und gleichverteilt mit zwei Farben (d. h. die Wahrscheinlichkeit, dass ein Knoten beispielsweise rot oder blau ist, beträgt jeweils ${\frac {1}{2}}$ ). Setze $N_{e}:=\{f\in E({\mathcal {H}})|f\cap e\neq \emptyset \}$ für alle Hyperkanten $e\in E({\mathcal {H}})$ : Wende nun das symmetrische Local-Lemma auf die Menge ${\mathcal {E}}:=\{A_{e}|e\in E({\mathcal {H}})\}$ an. Dabei ist $A_{e}$ das Ereignis, dass alle Knoten einer Kante $e$ in der gleichen Farbe gefärbt worden sind. Zunächst ist jedes Ereignis $A_{e}$ stochastisch abhängig von $N_{e}$ , da sich jede Kante aus $N_{e}$ per Definition mindestens einen Knoten mit $e$ teilt. Nach Voraussetzung gilt: $|N_{e}|\leq 2^{k-3}=:d$ für alle Kanten $e\in E({\mathcal {H}})$ . Andererseits ist jedes Ereignis $A_{e}$ stochastisch unabhängig von $\{A_{f}|f\in E({\mathcal {H}}),f\cap e=\emptyset \}$ , da die Knoten unabhängig voneinander gefärbt wurden. Da $Pr(A_{e})\leq 2\left({\frac {1}{2}}\right)^{k}=2^{1-k}=:p$ ist, gilt: $e\cdot p\cdot (d+1)<1$ . Also ist $Pr\left(\bigcap _{e\in E({\mathcal {H}})}{\overline {A}}_{e}\right)>0$ , das heißt: ${\mathcal {H}}$ ist 2-färbbar.

In einer weiteren Version des Lovász-Local-Lemmas genügt die Anforderung $4\cdot p\cdot d\leq 1$ . Mit dieser Aussage folgt die 2-Färbbarkeit auch für $k\geq 3$ . Es gilt dann nämlich $4\cdot p\cdot d=4\cdot {\frac {2^{k-3}}{2^{k-1}}}=1$ .

Literatur

Michael Molloy; Bruce Reed: Graph Colouring and the Probabilistic Method. Springer, 2002, ISBN 3-540-42139-4, S. 221–229.

Einzelnachweise

↑ P. Erdős, L. Lovász, Problems and results on 3-chromatic hypergraphs and some related questions, in: A. Hajnal; R. Rado; V. T. Sós (Hrsg.). Infinite and Finite Sets (to Paul Erdős on his 60th birthday), Band 2, North-Holland, 1975, S. 609–627
↑ Robin A. Moser: A constructive proof of the Lovasz Local Lemma, Arxiv 2008
↑ R. A. Moser, G. Tardos, A constructive proof of the general Lovasz Local Lemma, Journal of the ACM, Band 47, 2010, Heft 2, S. 1–11, Arxiv 2009,
↑ Noga Alon; Joel H. Spencer. The Probabilistic Method. 3. Auflage, 2008. Seite 70
↑ Michael Molloy; Bruce Reed. Graph Colouring and the Probabilistic Method. 2002, Kapitel 4

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] P. Erdős, L. Lovász, Problems and results on 3-chromatic hypergraphs and some related questions, in: A. Hajnal; R. Rado; V. T. Sós (Hrsg.). Infinite and Finite Sets (to Paul Erdős on his 60th birthday), Band 2, North-Holland, 1975, S. 609–627

[2] Robin A. Moser: A constructive proof of the Lovasz Local Lemma, Arxiv 2008

[3] R. A. Moser, G. Tardos, A constructive proof of the general Lovasz Local Lemma, Journal of the ACM, Band 47, 2010, Heft 2, S. 1–11, Arxiv 2009,

[4] Noga Alon; Joel H. Spencer. The Probabilistic Method. 3. Auflage, 2008. Seite 70

[5] Michael Molloy; Bruce Reed. Graph Colouring and the Probabilistic Method. 2002, Kapitel 4