희소 발생 변수와 절 집합의 구조적 한계

초록

본 논문은 불리언 합성 정규형(CNF) 절-집합에서 변수의 최소 발생 횟수(mvd)를 연구한다. 저자는 ‘lean’ 절-집합(비자명한 자동자(autarky)가 없는 집합)에 대해 서플러스(surplus) k에 대한 비머신(non‑Mersenne) 수 nM(k) 이하의 상한 mvd(F) ≤ nM(surplus(F)) ≤ surplus(F)+1+log₂(surplus(F)) 를 증명한다. 이는 최소 불만족 절-집합(minimally unsatisfiable, MU)의 결함(deficiency)과도 연결되며, mvd가 이 한계를 초과하면 자동자가 존재함을 보인다.

상세 분석

논문은 먼저 변수 발생도(variable degree)를 정의한다. 변수 x의 발생도는 F 내에서 x 또는 ¬x 가 등장하는 절의 총 개수이며, mvd(F)는 모든 변수에 대한 최소값이다. 이 개념은 절-집합의 구조적 복잡성을 측정하는 핵심 지표로, 특히 최소 불만족 절-집합(MU)에서 중요한 역할을 한다. 저자는 ‘lean’ 절-집합을 ‘자동자(autarky)가 존재하지 않는’ 집합으로 정의하고, 이러한 집합은 MU를 포함하는 더 일반적인 클래스임을 강조한다.

핵심 정리는 서플러스 surp(F)와 비머신 수 nM(k) 사이의 관계를 이용해 mvd(F)의 상한을 제시한다. 서플러스는 c(F)−n(F) (절 수 − 변수 수)보다 작거나 같으며, 이는 전통적인 결함 δ(F)와 동일한 의미를 갖는다. 비머신 수 nM(k)는 자연수열에서 2ⁿ−1 형태의 수(예: 1, 3, 7, 15, …)를 제외한 k번째 수로 정의된다. 이 정의는 기존의 Mersenne 수열과는 달리 ‘갭(gap)’을 만들면서도 단조 증가한다는 특성을 가진다.

증명은 크게 두 단계로 진행된다. 첫째, lean 절-집합에 대해 변수 발생도를 감소시키는 ‘축소 연산(reduction)’을 설계하고, 이를 반복 적용해 서플러스가 감소하지 않으면서 변수 수가 줄어드는 과정을 보인다. 둘째, 축소 과정에서 발생하는 최소 변수 발생도가 반드시 nM(surplus(F)) 이하임을 귀류법으로 증명한다. 여기서 중요한 관찰은, 서플러스 k 에 대해 가능한 최소 발생도는 정확히 비머신 수 nM(k)와 일치한다는 점이다. 이는 k 가 커질수록 log₂(k) 정도만큼의 여유가 존재함을 의미한다.

또한, 저자는 이 상한이 MU 절-집합에 대해 거의 정확하다고 conjecture한다. 즉, 실제로 mvd(F) = nM(surplus(F)) 또는 nM(surplus(F))+1 정도가 관측된다는 실험적 증거를 제시한다. 이와 더불어, mvd(F) 가 nM(surplus(F)) 보다 크게 되면 자동자가 반드시 존재한다는 강력한 반례를 제공한다. 자동자는 일부 절을 만족시키면서 나머지 절에는 영향을 주지 않는 변수 할당이며, 이를 이용하면 절-집합을 만족도 동등하게 간소화할 수 있다. 현재 자동자를 다항시간에 찾을 수 있는 알고리즘은 알려지지 않았으며, 이는 향후 연구 과제로 남는다.

마지막으로, 저자는 결함 δ(F) 에 기반한 MU 절-집합의 분류 체계를 제안한다. 서플러스와 비머신 수의 관계를 이용해, 특정 결함값에 대해 가능한 최소 발생도와 구조적 특성을 예측할 수 있다. 이는 SAT 이론에서 MU 절-집합의 복잡도와 해석 가능성을 이해하는 데 중요한 도구가 될 것으로 기대된다.