단조 깊이 삼 회로의 다수결 하한 최적화

초록

이 논문은 단조 3‑CNF 식에 대해 Hamming 무게가 정확히 t인 만족 할당을 모두 열거하는 로컬 열거 문제 Enum⁺(3, t)를 해결하는 최적 알고리즘을 제시하고, 이를 통해 바텀 팬‑인이 3인 단조 깊이‑3 회로가 다수결 함수를 계산하는 데 필요한 최소 크기를 (2/6^{1/4})·n ≈ 1.277 n − o(n) 로 정확히 규명한다.

상세 분석

본 연구는 두 가지 핵심 아이디어를 결합한다. 첫째, 다수결 함수의 깊이‑3 단조 회로 복잡도와 로컬 열거 문제 Enum⁺(k, t) 사이의 정량적 연결 고리를 이용한다. Gurumuhkani 등