불만족스러운 k와 4곱하기 2의 k제곱 나누기 k CNF 공식 존재 증명

초록

이 논문은 모든 충분히 큰 k에 대해 각 절이 정확히 k개의 변수로 구성되고, 각 변수가 최대 4·2^k/k개의 절에만 등장하는 (k, 4·2^k/k)-CNF 공식이 존재함을 보인다. 기존 결과와 비교해 상수 계수 4가 최적에 가깝다는 점을 강조한다.

상세 분석

논문은 (k, s)-CNF 공식이라는 개념을 도입하고, 변수당 절의 최대 등장 횟수 s가 작을수록 만족 가능성이 높아지는 기존 이론을 재조명한다. 특히 Kratochvíl·Savický·Tuza의 결과에 따르면 (k, 2·e·k)-CNF는 항상 만족 가능하지만, 본 연구는 그 한계를 넘어서는 상수 계수 4를 갖는 (k, 4·2^k/k)-CNF가 불만족임을 증명한다. 핵심은 하이퍼그래프와 이진 트리를 이용한 구성법이다. 저자는 C라는 하이퍼그래프 클래스(정점이 이진 트리 형태로 배열되고, 각 초과는 트리의 경로인 경우)를 정의하고, (k, s)-트리라는 특수한 k-균등 하이퍼그래프를 도입한다. Lemma 1.2는 충분히 큰 k에 대해 최대 차수가 2·2^k/k인 (k, 2·2^k/k)-트리가 존재함을 보이며, 이는 최종 CNF 공식의 변수당 절 수를 2·2^k/k로 제한한다.

구성 과정은 세 단계로 나뉜다. 첫 단계(Lemma 1.4)에서는 각 완전한 가지에 대해 로그 d(=log (2^k/k)) 수준의 하이퍼엣지를 배치해 최대 차수를 2d 이하로 유지한다. 여기서 d=2^k/k이며, k가 2의 거듭 제곱이라고 가정해 d도 2의 거듭 제곱이 된다. 두 번째 단계(Lemma 1.5)에서는 각 잎에 추가적인 이진 트리를 붙여 하이퍼엣지의 크기를 로그 d+⌊log log d⌋까지 늘리면서 차수를 유지한다. 세 번째 단계(Lemma 1.6)는 다시 잎에 이진 트리를 부착해 모든 완전한 가지에 정확히 하나의 “바닥” 하이퍼엣지를 만들고, 그 크기를 log d+1+⌊log log d⌋로 고정한다. 이 과정을 통해 얻어진 최종 하이퍼그래프 H″는 최대 차수가 2d이며, 각 하이퍼엣지는 정확히 k개의 정점을 포함한다.

이 하이퍼그래프를 논리식으로 변환할 때, 각 하이퍼엣지를 변수들의 리터럴 집합으로 보고 OR 연산으로 절을 만든다. 변수 x_i와 그 부정 ¬x_i를 형제 정점 쌍으로 매핑해 각 변수는 최대 2·Δ(F)개의 절에 등장한다(Δ(F)=d). 따라서 얻어진 CNF는 (k, 2·2^k/k)-CNF가 된다. 만족 불가능성을 보이기 위해 임의의 할당 α에 대해, 트리의 완전한 가지 중 하나가 모든 리터럴을 FALSE로 만든다. 그 가지는 반드시 하이퍼엣지를 포함하므로 해당 절이 FALSE가 되어 전체 공식이 만족되지 않는다.

결과적으로, 저자는 기존 상한인 (k, 2·e·k)와 비교해 상수 계수 4만큼만 차이가 나는 (k, 4·2^k/k) 불만족 CNF를 구성함으로써, 변수당 절 수에 대한 하한이 거의 최적임을 증명한다. 이 방법은 하이퍼그래프와 트리 구조를 활용한 구성 기법이 SAT 문제의 복잡도 경계 분석에 강력한 도구가 될 수 있음을 시사한다.