This is not the full Lovsz Local Lemma but captures the main principle. 정리 n개의 변수와 m개의 절로 구성된 kCNF 공식이 있고 각 절이 최대 r개의 다른 절과 변수를 공유한다고 가정합니다. Then there is a constant d such that if r kd then is satisfiable.