I have some questions about Lovasz's Local Lemma. There are two versions:
(symmetric version):symmetric Lovasz Local Lemma
(Asymmetric version):asymmetric Lovasz Local Lemma.
My questions are:
1.What is symmetric about the symmeteric version and what is asymmetric about the asymmetric version?
2.Why is the Lemma called "Local"?
Thanks for your help.
In the asymmetric version, there is a function $x\colon\mathcal{A}\to [0,1)$: its value depends on the event $A$ considered, and is not necessarily the same for all events.
In the symmetric version, that $x$ is constant: $x(A)=1/(d+1)$ for every event $A$ considered. That's symmetric (all events are "treated" the same.)
You only have local dependencies: no event depends globally on every other, only on a few.