bad events A defined on mutually independent random variables X E vbl(A):set of variables on which A is defined neighborhood r(A)and inclusive neighborhood I+(A) RandomSolver: sample all X∈C; while]anon-violated bad event A∈： resample all XE vbl(A); Moser-Tardos 2010: a:A→[0,1) RandomSolver finds values of VA∈A: allX∈X avoiding all A∈ QA Pr[A≤aAΠ(1-aB) within expected B∈T(A) resamples. AEA 1-0Asample all X ∈ X; while ∃ a non-violated bad event A ∈ A: resample all X ∈ vbl(A); RandomSolver: bad events A ∈ A defined on mutually independent random variables X ∈ X vbl(A): set of variables on which A is defined neighborhood Γ(A) and inclusive neighborhood Γ+(A) Moser-Tardos 2010: RandomSolver finds values of all X ∈ X avoiding all A ∈ A within expected resamples. 8A 2 A : 9↵ : A ! [0, 1) Pr[A]  ↵A Y B2￾(A) (1 ￾ ↵B) X A2A ↵A 1 ￾ ↵A