불리언 CSP의 두 번째 모멘트 방법과 1‑in‑k‑SAT 임계값 분석

초록

이 논문은 변수 순열에 대해 닫힌(인버리언트) 관계들로 구성된 불리언 CSP 하위 클래스를 정의하고, “특성 해”(characteristic solutions)를 이용해 두 번째 모멘트 방법을 적용한다. 이를 통해 모든 문제에 대해 비자명한 하한을 얻으며, 특히 양의 1‑in‑k‑SAT에 대해 하한 log k/k와 상한 (log k)²/k를 제시한다.

상세 분석

논문은 먼저 임의의 불리언 CSP를 변수 집합 X (크기 n)와 k‑arity 관계 R 으로 정의하고, R이 모든 좌표 순열에 대해 닫혀 있는 경우를 “inv”라 명명한다. 이러한 관계는 0과 1의 개수만으로 등가류를 구분하므로, 각 관계는 정수 집합 I_k ⊆ {1,…,k‑1} 으로 완전히 기술된다. 예를 들어 I_4={1,3} 은 “정확히 하나 혹은 세 개가 1”인 제약을 의미한다.

임의 인스턴스 I_k(m,n) 은 n 개의 변수 위에 m 개의 k‑tuple 제약을 독립적으로 균등 샘플링해 만든다. 여기서 비율 r=m/n 이 핵심 파라미터가 된다. 저자들은 기존의 “전체 해의 수” X 에 대한 두 번째 모멘트 분석이 대부분 0이라는 트리비얼한 하한만 주는 문제점을 지적하고, 대신 δ‑해(즉, 정확히 δn 개의 변수에 1을 할당한 할당)들의 개수 X_δ 를 랜덤 변수로 삼는다.

특성 해는 δ 값이 g_{I_k}(δ)=∑{i∈I_k}C(k,i)δ^i(1‑δ)^{k‑i} 를 극대화하는 경우로 정의한다. 즉, 무작위 제약을 만족할 확률이 가장 큰 δ‑할당을 선택한다는 의미다. 이때 δ∈Δ{I_k} 이라 하면 δ‑해는 “특성 해”가 된다.

첫 번째 모멘트는
E