▲
1
Does the Lovasz Local Lemma imply a single cluster of solutions?
Suppose a CSP instance satisfies the conditions of the Lovasz Local Lemma (LLL). For example, in kSAT where clauses do not repeat variables, we require the maximum degree $D$ is at most $$ D \le \fr...