Lovasz Local Lemma 。 Vi,Pr[Al≤p ep(d+1)≤1 Pr[As]=21-() for some n =ck2k/2 "6t with constant c e21-()(d+1)≤1 To prove:Pr s∈() R(k,)≥n=2(k2k/2) Pr ⇧ ⇤ ⌥ S( [n] k ) AS ⇥ ⌃ To prove: ⌅ > 0 Pr[AS] = 21( k 2) d ⇥ k 2 ⇥ n k 2 ⇥ Lovász Local Lemma • ∀i, Pr[Ai] ≤ p • ep(d + 1) ≤ 1 Pr ⇤ n i=1 Ai ⇥ > 0 R(k,k) ≥ n = (k2k/2) for some e21( k 2) (d + 1) 1 with constant c n = ck2k/2