정규 무작위 kSAT 임계값 경계

초록

본 논문은 정규 무작위 CNF 생성 모델에 대해 만족성 및 NAE‑만족성 임계값의 상한과 하한을 분석한다. 첫 번째 모멘트를 이용해 얻은 상한은 균등 모델과 동일함을 보였으며, 두 번째 모멘트를 적용한 하한은 큰 k에 대해 균등 모델의 기존 하한에 수렴한다. 이를 통해 정규 무작위 공식에 대한 두 번째 모멘트 방법의 효율성을 입증한다.

상세 분석

정규 무작위 k‑SAT 모델은 각 변수와 절이 동일한 등장 횟수를 갖도록 설계된 특수한 확률적 생성 방식이다. 이 모델은 Boufkhad 등(2005)이 제안했으며, 변수당 리터럴 수 d와 절당 리터럴 수 k에 의해 완전히 규정된다. 논문은 먼저 첫 번째 모멘트(기대값) 분석을 통해 만족 가능한 할당의 평균 개수를 구하고, 이를 이용해 임계밀도 α = m/n(절 수 대비 변수 수)의 상한을 도출한다. 이 상한은 기존 균등 무작위 k‑SAT 모델에서 알려진 α ≤ 2^k · ln 2 · (1 + o(1))와 정확히 일치한다는 점에서 의미가 크다. 이어서 두 번째 모멘트(분산) 분석을 수행한다. 만족 할당 X의 제곱 기대값 E