bad events A∈几defined on mutually independent random variables X E vbl(A):set of variables on which A is defined neighborhood T(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: ·HA∈，PrLA]≤p RandomSolver finds values of ep(d+l)≤1 allX∈violating all A∈ where d=maxA IT(A)I within expected I.l/d resamples.Moser-Tardos 2010: RandomSolver finds values of all X ∈ X violating all A ∈ A within expected |A| /d resamples. • ∀ A ∈ A, Pr[A] ≤ p • ep(d + 1) ≤ 1 where d=maxA |Γ(A)| 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) sample all X ∈ X; while ∃ a non-violated bad event A ∈ A: resample all X ∈ vbl(A); RandomSolver: