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

본 논문은 불리언 함수의 본질적 차수 차이(arity gap)를 중심으로 함수 간소화와 회로 구현의 효율성을 탐구한다. 먼저, B={0,1} 위의 n-ary 함수 f: Bⁿ→B를 정의하고, 변수 x_i가 f에 본질적으로 의존하는지를 Ess(f) 집합을 통해 정의한다. 비본질적 변수는 Fic(f)라 명명한다. 변수 식별 연산 fᵢ←ⱼ는 x_i를 x_j와 동일하게 두어 새로운 함수 g를 만든다. 이때 g는 f의 식별 마이너(minor)이며, 모든 마이너 집합을 Mᵢⱼ(f)라 표기한다. 차수 차이 gap(f)=ess(f)−max_{g∈Mᵢⱼ(f)}ess(g) 로 정의되며, 기존 연구에 따르면 Boolean 함수에 대해 gap(f)≤2가 성립한다. 저자는 기존 제갈킨 다항식 대신 Full Conjunctive Normal Form(FCNF)를 채택한다. FCNF는 각 입력 조합을 x_{α₁}…x_{αₙ} 형태의 항으로 표현하고, 이 항들을 XOR(⊕)로 결합한다. Theorem 2.1에 의해 모든 Boolean 함수는 유일하게 FCNF로 나타낼 수 있다. Theorem 2.2는 변수 x_i가 비본질적임을 함수가 두 개의 보조 함수 f₁, f₂로 분해되는 형태와 동치임을 보인다. Lemma 2.1은 두 함수 f, g가 동일한 식별 마이너를 가질 때, 해당 항들의 계수 a_m, b_m이 일치함을 증명한다. Lemma 2.2는 n≥3일 때 모든 변수 쌍에 대해 식별 마이너가 동일하면 f=g임을 보인다. 이 두 보조정리는 차수 차이가 2인 함수들의 식별 마이너 구조를 분석하는 핵심 도구가 된다. 다음으로 차수 차이의 불변성에 대한 Proposition 3.1을 제시한다. 함수의 입력을 전부 부정하거나, 출력 전체를 부정하거나, 변수 순열을 적용해도 gap은 변하지 않는다. 또한 식별 마이너의 본질적 변수 수는 대칭성을 가진다. 그 후, 특정 입력 벡터 집합을 정의한다. Oddₙ은 1의 개수가 홀수인 모든 n-비트 문자열, Evenₙ은 짝수인 경우이다. Proposition 3.2는 n≥4일 때 f=⊕_{α∈Oddₙ}x_{α} 혹은 f=⊕_{α∈Evenₙ}x_{α}가 G_{n,2}에 속함을 보인다. 즉, 이러한 함수들은 차수 차이가 정확히 2이며, 식별 마이너를 취하면 본질적 변수 수가 n−2 이하가 된다. 구체적인 경우 분석으로 n=2,3,4를 다룬다. Theorem 3.1은 n=2인 경우 G_{2,2}에 속하는 함수가 a₀·(x₀₁x₀₂⊕x₁₁x₁₂)⊕a₁·x₀₁x₁₂⊕a₂·x₁₁x₀₂ 형태이며, a₁≠a₀ 또는 a₂≠a₀이어야 함을 증명한다. Corollary 3.1에 의해 이러한 함수는 정확히 6개임을 확인한다. n=3에 대해서는 Theorem 3.2가 두 가지 표준형을 제시한다. 첫 번째는 f=x_{α₃}(x₀₁x₁₂⊕x₁₁x₀₂)⊕x_{β₁}x_{β₂} 형태이며, 두 번째는 f=x_{α₃}(x₀₁x₀₂⊕x₁₁x₁₂)⊕x_{¬α₃}(x₀₁x₁₂⊕x₁₁x₀₂) 형태이다. 변수 순열을 고려하면 총 10개의 비동형 함수가 존재한다(Corollary 3.4). 각 경우에 대해 식별 마이너를 직접 계산해 ess(g)≤1임을 확인한다. n=4 이상에 대해서는 Lemma 3.1을 통해 f=x₀₄·g(x₁,x₂,x₃)⊕x₁₄·h(x₁,x₂,x₃) 형태의 함수가 G_{4,2}에 속하려면 g와 h의 모든 식별 마이너가 본질적 변수 수 2 미만이어야 함을 보인다. 이를 일반화하면 n≥4인 경우에도 Oddₙ·Evenₙ 형태가 차수 차이 2를 만족한다는 결론에 도달한다. 마지막으로, 차수 차이가 2인 함수들의 개수를 정리하고, 이러한 함수들이 회로 설계에서 변수 식별을 통한 간소화에 유리함을 강조한다. 전체적으로 FCNF를 활용함으로써 기존 제갈킨 기반 증명보다 직관적이고 조합론적 해석이 가능해졌으며, 차수 차이 2인 불리언 함수들의 정확한 구조와 개수를 제공함으로써 이론 컴퓨터 과학 및 실용 회로 최적화에 기여한다.