함수의 핵심 분해와 응용

초록

본 논문은 불 대수 함수의 전통적 샤논 분해를 일반 함수 클래스에 확대한 ‘핵심(pivotal) 분해’를 제안한다. 함수의 모든 단항 절(section)이 두 특정 원소에서의 함수값만을 이용해 결정되는 구조를 정의하고, 격자 다항식, 다중선형 다항식 등 여러 함수군에서 이 분해가 성립함을 보인다. 또한, 핵심 분해에 의해 특징지어지는 함수 클래스와 단항 함수만으로 정의되는 클래스 사이의 관계를 탐구한다.

상세 분석

논문은 먼저 샤논 분해가 불 함수 f(x₁,…,xₙ) 를 변수 x_k에 대해 f = x_k·f|{x_k=1} + ¬x_k·f|{x_k=0} 형태로 전개함을 상기한다. 이를 일반화하기 위해 저자들은 ‘핵심 원소(pivot)’ a와 b를 선택하고, 임의의 변수 x_k에 대해 f(x) = φ_k(x_k)·f|{x_k=a} + ψ_k(x_k)·f|{x_k=b} 라는 형태를 요구한다. 여기서 φ_k, ψ_k는 x_k만을 변수로 하는 보조 함수이며, 핵심 분해는 모든 단항 절이 두 값 a, b에만 의존한다는 의미다. 이 정의는 기존의 샤논 분해를 a=1, b=0, φ_k(x_k)=x_k, ψ_k(x_k)=1−x_k 로 특수화한 경우와 일치한다.

핵심 분해가 가능한 함수군을 조사한 결과, 격자(Lattice) 위에서 정의된 다항식 함수는 각 변수에 대해 최소·최대 연산을 이용해 a=0, b=1 로 선택하면 자연스럽게 핵심 분해가 성립한다. 또한, 실수 변수에 대한 다중선형(multilinear) 다항식은 변수별로 선형 보간 형태 f = (1−x_k)·f|{x_k=0} + x_k·f|{x_k=1} 로 표현될 수 있어 역시 핵심 분해에 포함된다. 이러한 예시는 핵심 분해가 단순히 불 함수에 국한되지 않고, 연산 구조가 보존되는 넓은 클래스에 적용될 수 있음을 보여준다.

다음으로 저자들은 ‘핵심 분해에 의해 특징지어지는 함수 클래스’를 정의한다. 즉, 특정 a, b와 보조 함수 집합 {φ_k, ψ_k}가 존재하여 모든 변수에 대해 위 형태를 만족하는 함수들의 집합이다. 이와 대비해 ‘단항 함수에 의해 특징지어지는 클래스’는 각 변수에 대한 단항 절만을 고려해 전체 함수를 재구성할 수 있는 경우를 말한다. 논문은 두 개념 사이에 포함 관계와 동등성 조건을 정리하고, 특히 격자 다항식과 다중선형 다항식이 두 정의 모두에 의해 동일하게 기술된다는 점을 강조한다. 마지막으로, 핵심 분해가 함수의 복합성 분석, 최소 표현 찾기, 그리고 알고리즘 설계에 제공할 수 있는 잠재적 활용 방안을 제시한다.