다수결 함수 공식 크기 상한 연구

초록

이 논문은 n개의 불리언 변수에 대한 카운팅 함수와 다수결 함수를 2입력 기본 논리 연산자 집합 위에서 O(n³·⁰⁶) 크기의 공식으로 구현할 수 있음을 보인다. 표준 논리 기초에서는 O(n⁴·⁵⁴)의 상한을 얻으며, 이 결과는 모든 임계값 대칭 함수와 이진 곱셈의 비트 계산에도 동일하게 적용된다. 또한 대칭 함수 전체에 대한 O(n³·²³)와 O(n⁴·⁸²) 크기 상한도 제시한다.

상세 분석

본 연구는 공식 복잡도 이론에서 오래된 난제였던 다수결(majority) 함수의 공식 크기 상한을 크게 개선한다. 기존에는 다수결 함수를 구현하는 공식의 크기가 O(n⁴) 수준으로 알려져 있었으며, 특히 표준 논리 기초(AND, OR, NOT)에서는 더 높은 차수의 상한이 제시되었다. 저자들은 먼저 n개의 변수에 대한 카운팅 함수(즉, 입력 1의 개수를 세는 함수)를 효율적으로 구현하는 새로운 구성 방식을 제안한다. 이 방식은 2입력 모든 부울 함수가 허용되는 완전 기초와, 전통적인 {AND, OR, NOT} 기초 두 경우에 대해 각각 다른 파라미터를 적용한다. 핵심 아이디어는 입력을 적절히 블록으로 나누어 작은 규모의 카운터를 재귀적으로 결합하고, 각 단계에서 사용되는 공식의 크기를 엄격히 분석하여 전체 복잡도가 다항식 차수의 최소값에 수렴하도록 설계한다는 것이다. 특히, 완전 기초에서는 블록 크기를 n^{0.53} 정도로 잡아 O(n^{3.06})의 상한을 얻고, 표준 기초에서는 블록 크기를 n^{0.71} 정도로 조정해 O(n^{4.54})를 달성한다. 이러한 결과는 카운팅 함수가 임계값 대칭 함수(Threshold Symmetric Function)의 기본 구성 요소임을 이용해, 다수결 함수뿐 아니라 모든 임계값 대칭 함수에 동일하게 적용된다. 나아가, 이진 곱셈의 각 비트를 계산하는 문제에 대해서도 카운팅 함수를 활용해 O(n^{4.06})(완전 기초)와 O(n^{5.54})(표준 기초)의 공식 크기 상한을 도출한다. 마지막으로, 대칭 함수 전체에 대한 일반적인 상한을 O(n^{3.23})와 O(n^{4.82})로 제시함으로써, 대칭 함수 군에 대한 공식 복잡도 연구에 새로운 기준을 제공한다. 이 논문은 복잡도 이론과 회로 설계 분야에서 공식 기반 구현의 효율성을 크게 향상시킬 수 있는 실용적인 방법론을 제시한다는 점에서 의의가 크다.