불리언 함수의 본질적 차수 차이와 완전 합성표현

초록

본 논문은 불리언 함수의 본질적 차수 차이(arity gap)를 2로 갖는 함수들을 전면 합성표현(FCNF)을 이용해 체계적으로 분류한다. 차수 차이가 2인 함수들의 구조를 명확히 규정하고, 변수 개수 n에 따라 가능한 함수의 개수를 정확히 계산한다. 특히 n=2,3,4인 경우에 대한 완전한 목록과 일반 n≥4에 대한 일반형을 제시한다.

상세 분석

논문은 먼저 불리언 함수 f∈Pⁿ₂의 본질적 변수 집합 Ess(f)와 비본질적(가짜) 변수 집합 Fic(f)를 정의하고, 변수 식별(minor) 연산 fᵢ←ⱼ를 도입한다. 차수 차이 gap(f)=ess(f)−max_{g∈Mᵢⱼ(f)}ess(g) 로 정의되며, 기존 연구에서 gap(f)≤2임이 알려져 있다. 저자는 기존의 제갈킨 다항식 대신 모든 변수에 대한 합성곱 형태인 Full Conjunctive Normal Form(FCNF)을 사용한다. FCNF는 각 입력 조합을 하나의 항(∧)으로 표현하고, 이항들을 XOR(⊕)로 결합한다는 점에서 Zhegalkin 다항식과 동형이지만, 변수 식별 시 항들의 일치 여부를 직접 확인할 수 있어 증명이 간결해진다.

핵심 정리는 다음과 같다.

1. n≥4인 경우, 입력 벡터가 홀수(짝수) 개의 1을 갖는 집합 Oddₙ, Evenₙ에 속하는 모든 단항 x_{α₁}…x_{αₙ}의 XOR 조합은 gap=2를 만족한다. 즉, f=⊕{α∈Oddₙ}x{α} 혹은 f=⊕{α∈Evenₙ}x{α}는 G_{n,2}에 속한다.
2. n=2인 경우, G_{2,2}는 정확히 6개의 함수이며, 형태는 a₀·(x₀₁x₀₂⊕x₁₁x₁₂)⊕a₁·x₀₁x₁₂⊕a₂·x₁₁x₀₂ (a₁≠a₀ 또는 a₂≠a₀) 로 기술된다.
3. n=3인 경우, gap=2를 갖는 함수는 두 가지 표준형으로 귀결된다. 첫 번째는 f=x_{α₃}(x₀₁x₁₂⊕x₁₁x₀₂)⊕x_{β₁}x_{β₂} 형태이며, 두 번째는 f=x_{α₃}(x₀₁x₀₂⊕x₁₁x₁₂)⊕x_{¬α₃}(x₀₁x₁₂⊕x₁₁x₀₂) 형태이다. 변수 순열에 의해 동형인 경우를 포함해 총 10개의 함수가 존재한다.
4. n=4 이상에서는 위의 일반형을 이용해 모든 gap=2 함수를 구성할 수 있으며, 각 변수 식별 후 남는 본질적 변수 수가 n−2 이하임을 보인다.

또한, 식별 마이너가 동일하면 해당 항들의 계수가 일치한다는 Lemma 2.1, 모든 변수 쌍에 대해 식별 마이너가 동일하면 원 함수가 동일하다는 Lemma 2.2를 증명한다. 이를 통해 차수 차이가 2인 함수들의 완전한 동치류를 구분한다.

결과적으로, FCNF를 활용함으로써 기존 제갈킨 기반 증명보다 직관적이고 조합론적 해석이 가능해졌으며, 차수 차이가 2인 불리언 함수들의 정확한 개수와 구조를 명시함으로써 회로 최적화 및 함수 간소화 문제에 실용적인 가이드를 제공한다.