산술 회로의 단항식 문제: 카운팅 계층 완전성

초록

본 논문은 산술 회로가 나타내는 다항식에서 특정 단항식의 존재 여부와 전체 단항식의 개수를 판단하는 두 문제를 연구한다. 저자들은 이 문제들이 카운팅 계층의 하위 클래스인 C= P, PP^NP, PP^PP에 각각 완전함을 보이며, 특히 다항식이 다중선형일 때는 문제의 복잡도가 크게 낮아진다는 흥미로운 결과를 제시한다.

상세 분석

논문은 먼저 ZMC(zero monomial coefficient) 문제, 즉 주어진 산술 회로 C와 단항식 m에 대해 m의 계수가 0인지 여부를 판단하는 문제를 정의한다. 저자들은 곱셈이 서로 독립적인(multiplicatively disjoint) 회로나 공식(formula) 형태에 대해 ZMC가 C= P‑complete임을 증명한다. 이는 기존에 강력한 비결정적 튜링 감소에 의존하던 Koiran‑Perifel의 결과를 로그스페이스 many‑one 감소로 정제한 것으로, C= P 클래스에 자연스러운 완전 문제가 존재함을 보여준다. 또한, 일반 회로에 대해서는 ZMC가 coRP·PP에 속함을 보이며, 무작위 소수 선택과 CoeffSLP(계수 모듈러 연산) 오라클을 이용한 일방향 오류 알고리즘을 제시한다. 단조(monotone) 회로와 공식에 대해서는 ZMC가 coNP‑complete임을 증명, 이는 Exact‑3‑Cover와의 직접적인 감소를 통해 얻어진다.

다음으로 CountMon 문제, 즉 회로가 계산하는 다항식의 단항식 개수가 주어진 정수 d 이상인지 판단하는 문제를 다룬다. 저자들은 이 문제를 두 단계로 나누어 분석한다. 첫 단계는 ExistExtMon(확장 단항식 존재 여부) 문제로, 주어진 단항식 m을 포함하면서 변수 집합이 겹치지 않는 새로운 단항식 M이 존재하는지를 묻는다. 이 문제는 PP‑complete임을 보이며, 이를 이용해 CountMon이 PP^PP‑complete, 즉 카운팅 계층의 두 번째 레벨에 완전함을 증명한다. 흥미롭게도, 회로가 다중선형(multilinear)일 경우 CountMon은 PP‑complete으로 낮아진다. 이는 다중선형 회로가 변수의 거듭제곱을 방지해 구조적 제한을 제공하기 때문이다.

기술적 핵심은 파스 트리(parse tree)와 파스 트리 타입을 활용한 계수 분석이다. 곱셈 게이트가 독립적인 경우 파스 트리의 존재 여부와 부호(±)가 계수 0 여부를 결정하며, 이를 언어 L에 귀속시켜 C= P‑판단을 가능하게 한다. 또한, 소수 선택을 통한 모듈러 검증은 계수의 절대값이 지수적으로 제한됨을 이용해 확률적 완전성을 확보한다. 전체적으로 논문은 카운팅 계층에 자연스러운 완전 문제를 제공함으로써, 기존에 거의 비어 있던 이 계층의 실용적 의미를 크게 확장한다.