부정 연산자 최소화와 부울 공식의 역전 복잡도

초록

**
본 논문은 부울 함수의 공식 표현에서 NOT 연산자의 최소 개수, 즉 공식의 역전 복잡도를 정의하고, 1958년 마코프가 회로에 대해 제시한 결과를 공식에도 그대로 적용할 수 있음을 증명한다. 논문은 회로 복잡도 이론을 기반으로, n 변수 함수에 대해 ⌈log₂(n+1)⌉개의 NOT만으로 모든 부울 함수를 공식으로 구현할 수 있음을 보이며, 이 한계가 최적임을 논증한다.

**

상세 분석

**
마코프(1958)는 모든 n 변수 부울 함수 f에 대해 최소 NOT 게이트 수, 즉 역전 복잡도가 ⌈log₂(n+1)⌉임을 증명하였다. 이는 회로 모델에서의 결과이며, 회로는 AND, OR, NOT 등 기본 게이트를 자유롭게 연결할 수 있는 반면, 공식(formula)은 트리 구조를 가져야 하므로 구조적 제약이 더 크다. 따라서 “공식에서의 역전 복잡도”가 회로와 동일하게 유지될지 여부는 즉각적으로 명확하지 않다.

논문은 먼저 공식과 회로 사이의 변환 관계를 정리한다. 임의의 Boolean 회로 C가 k개의 NOT 게이트를 사용한다면, C를 트리 형태의 공식 Φ로 변환할 때 NOT의 개수는 증가하지 않는다. 이는 각 NOT 게이트를 그대로 리프 혹은 내부 노드에 배치하고, AND/OR 게이트를 이진 트리 형태로 분해함으로써 가능하다. 반대로, 공식 Φ에 k개의 NOT가 포함되어 있으면, 이를 동일한 NOT 수를 갖는 회로로 바로 해석할 수 있다. 따라서 두 모델 간에 “NOT 개수”는 보존된다.

이러한 변환 가능성을 바탕으로 마코프의 상한 ⌈log₂(n+1)⌉가 공식에도 적용됨을 보인다. 구체적으로, 마코프가 제시한 “표준 형태” 회로는 각 레벨마다 부정이 한 번씩만 발생하도록 설계된다. 이 구조를 트리 형태로 전개하면, 각 레벨의 부정 연산이 그대로 유지되며, 추가적인 중복 NOT이 필요하지 않다. 따라서 n 변수 함수에 대해 ⌈log₂(n+1)⌉개의 NOT만을 포함하는 공식이 존재한다.

다음으로 하한을 논한다. 마코프는 “함수의 민감도”와 “역전 수” 사이의 관계를 이용해, 어떤 함수라도 ⌈log₂(n+1)⌉ 이하의 NOT으로는 구현할 수 없다는 하한을 증명한다. 이 논증은 회로 구조에만 의존하는 것이 아니라, 함수가 필요로 하는 “부정 깊이”(negation depth)라는 개념에 기반한다. 부정 깊이는 공식에서도 동일하게 정의될 수 있으며, 트리 구조라 하더라도 각 NOT이 함수값을 바꾸는 데 기여하는 최소 레벨 수는 변하지 않는다. 따라서 동일한 하한이 공식에도 적용된다.

결과적으로, 논문은 “공식의 역전 복잡도 = 회로의 역전 복잡도 = ⌈log₂(n+1)⌉”라는 식을 도출한다. 이는 기존에 공식 모델에 대해 알려지지 않았던 중요한 사실이며, 회로 복잡도 이론의 많은 도구를 공식 분석에 그대로 활용할 수 있음을 의미한다. 또한, 이 결과는 공식 최적화, 회로 설계 자동화, 그리고 논리 합성 분야에서 NOT 연산자 사용을 최소화하려는 실용적 목표에도 직접적인 영향을 미친다.

**