선형 kCNF의 불만족 가능성 전 범위 증명

초록

본 논문은 모든 정수 k≥1에 대해 불만족인 선형 k‑CNF 공식이 존재함을 증명한다. 최소 절수 f(k)의 상한은 O(4^k·k^4), 하한은 Ω(k·2^k)이며, 이는 일반 k‑CNF의 최소 불만족 크기보다 크게 차이남을 보인다. 또한 선형 k‑CNF에서도 일반 k‑CNF와 동일한 비율(1−2^{−k}) 이상의 절을 동시에 만족시킬 수 없음을 보여준다.

상세 분석

선형 CNF는 서로 다른 두 절이 변수 하나 이하만 공유하는 특수한 구조를 가진다. 이 제한은 충돌을 최소화해 알고리즘적 분석을 단순화시키는 장점이 있지만, 동시에 불만족 공식의 존재 여부에 중요한 영향을 미친다. 기존 연구에서는 k≥4일 때 불만족 선형 k‑CNF가 존재한다는 사실만 알려졌으며, k=3에 대해서는 NP‑완전성 결과와 연결된 존재 여부가 미해결 상태였다. 본 논문은 이러한 격차를 메우기 위해 두 가지 주요 접근법을 제시한다. 첫째, 하이퍼그래프 이론을 활용해 변수와 절을 각각 정점과 초변으로 보는 k‑균등 초그래프를 구성한다. 선형성은 초변 사이의 교차가 최대 한 정점에만 국한되는 조건으로 표현되며, 이러한 초그래프의 존재는 확률적 방법을 통해 보인다. 특히, 적절히 큰 n에 대해 무작위로 초변을 선택하면 기대값이 양수가 되므로, 실제로 선형성을 만족하는 불만족 인스턴스를 얻을 수 있다. 둘째, 구성적 증명을 위해 재귀적 결합 기법을 사용한다. k‑CNF 공식 F_k를 k−1‑CNF 공식 F_{k-1}에 새로운 변수와 절을 삽입해 확장함으로써, 선형성을 유지하면서 불만족성을 보존한다. 이 과정에서 절의 개수는 약 4배씩 증가하지만, 변수당 절의 겹침은 여전히 하나 이하로 제한된다. 결과적으로 f(k)≥c·k·2^k 형태의 하한을 얻으며, 이는 일반 k‑CNF의 최소 불만족 크기인 Ω(2^k)보다 한 차원 높은 성장률을 나타낸다. 상한 측면에서는 위의 재귀 결합을 최적화해 O(4^k·k^4) 절까지의 공식이 존재함을 보인다. 마지막으로, 선형 k‑CNF가 일반 k‑CNF보다 더 높은 만족 비율을 제공할 가능성을 검토한다. 임의의 선형 k‑CNF에 대해 무작위 할당을 적용하면 기대 만족 절 수는 (1−2^{−k})·|F|이며, 이는 일반 k‑CNF와 동일한 기대값이다. 더 나아가, 선형성 제한이 추가적인 구조적 이점을 제공하지 못한다는 것을, 반증 예시와 평균-최소 원리(average‑minimum principle)를 통해 증명한다. 따라서 선형 k‑CNF는 NP‑완전성 측면에서 흥미로운 특성을 갖지만, 만족도 최적화 측면에서는 일반 k‑CNF와 차별화되지 않는다.