불만족 CNF 공식은 많은 충돌을 필요로 한다

본 논문은 부정적인 충돌(conflict) 개념을 중심으로 k‑CNF 공식의 불만족성을 전역적으로 분석한다. 충돌은 두 절이 동일 변수에 대해 서로 반대 부호를 가질 때 발생하며, 충돌 그래프 C_G(F)의 간선 수 e(F)가 전체 충돌 수가 된다. 로프사즈 로컬 렘마는 “각 절이 2^k/e‑1개 이하와만 충돌하면 만족 가능”이라는 국소 조건을 제공하지만, 전체 충돌 수가 얼마나 큰지에 대한 전역적 기준은 제공하지 않는다. 이를 보완하기 위해 저자는 두 함수 lc(k)와 gc(k)를 정의한다. lc(k)는 최대 차수 기준의 최댓값, gc(k)는 전체 충돌 수 기준의 최댓값이다. 기존 연구에서는 lc(k)≈2^k, gc(k)는 2^k와 4^k 사이에 존재한다는 정도만 알려졌다. 논문의 첫 번째 주요 결과는 모든 불만족 k‑CNF 공식이 최소 Ω(2.69^k)개의 충돌을 가져야 한다는 하한이다. 이를 증명하기 위해 변수 x에 대해 occ_F(x)·occ_F(¬x)≥e(F)/k라는 기본 부등식을 이용한다. 모든 변수에 대해 occ_F(¬x)≤occ_F(x)라고 가정하고, 각 변수에 대해 확률 p(x)=max(½, k·occ_F(x)/16e(F))를 정의한다. 독립적인 무작위 할당 α를 만든 뒤, 각 절이 만족되지 않을 확률을 분석한다. Lemma 4(로프사즈 로컬 렘마의 SAT 버전)를 적용하면, e(F) < 2.69^k이면 모순이 발생함을 보인다. 이 과정에서 이항계수의 상·하한을 정밀히 다루는 Lemma 6이 핵심 역할을 한다. 두 번째 주요 결과는 Ω(3.51^k) 이하의 충돌만으로도 불만족 k‑CNF 공식이 존재한다는 상한이다. 저자는 (ℓ,k)-CNF 공식을 도입한다. ℓ‑절은 양 리터럴만, k‑절은 음 리터럴만 포함한다. ℓ와 k를 적절히 선택하고, ℓ‑절을 2^{k‑ℓ}개의 완전 k‑CNF로 확장(k‑CNFification)한다. Proposition 9은 이 확장 과정에서 발생하는 새로운 충돌 수를 정확히 계산한다. Lemma 10은 무작위로 선택된 ℓ‑절과 k‑절을 조합해 불만족 공식을 구성하는 방법을 제시한다. ℓ≈0.333k, ρ≈0.6298(ℓ와 k 사이 비율)인 경우, 최종 공식의 충돌 수는 e(F)≤3.51^k가 된다. 이 구성은 부분적으로 확률적이며, 에르되시가 제시한 비 2‑색 불가능 k‑균일 초그래프 구성에서 영감을 얻었다. 또한 논문은 변수별 발생 횟수의 불균형을 이용한 추가 결과를 제공한다. Theorem 2는 임의의 a>1, b≥a^{a‑1}에 대해 occ_F(¬x)≤c·k·2^{a k}, occ_F(x)≤c·k·2^{b k}인 불만족 공식이 존재함을 보이며, 반대로 특정 a,b 조합에 대해 이러한 불균형이 있으면 공식은 만족 가능함을 증명한다. 이는 변수별 충돌 강도가 전체 충돌 수와 직접 연결되지 않음을 시사한다. Theorem 3은 모든 변수에 대해 occ_F(x)·occ_F(¬x)=O(3.01^k)인 불만족 공식이 존재함을 보여, 충돌 그래프의 밀도와 변수별 불균형 사이의 복잡한 관계를 드러낸다. 증명 기법은 크게 두 부분으로 나뉜다. 첫 번째는 확률적 할당과 로프사즈 로컬 렘마를 결합해 충돌 수가 작을 경우 만족 가능성을 보이는 하한 증명이다. 여기서 변수별 확률 p(x)를 적절히 조정해 각 절이 불만족될 확률을 1/4 이하로 제한한다. 두 번째는 (ℓ,k)-CNF와 k‑CNFification을 이용해 충돌 수를 제어하면서도 불만족성을 유지하는 상한 구성이다. 절을 트렁케이션(truncation)하고, 양·음 절을 별도로 다루어 충돌을 최소화한다. 이 과정에서 Lemma 6(이항계수 상·하한)과 Proposition 9(충돌 수 계산)가 핵심적인 역할을 한다. 결과적으로, 논문은 로컬 충돌 한계와 전역 충돌 수 사이의 격차를 크게 좁히며, 충돌 그래프 관점에서 CNF 불만족성을 이해하는 새로운 도구와 기법을 제공한다. 특히, 확률적 할당, 절의 트렁케이션, k‑CNFification을 결합한 증명 전략은 향후 복잡도 이론, 초그래프 색채 문제, 그리고 SAT 알고리즘의 구조적 분석에도 적용 가능할 것으로 기대된다.