거듭제곱 회로와 지수 대수의 시간 복잡도

초록

이 논문은 2를 밑으로 하는 거듭제곱 연산 x·2^y와 그 역연산을 포함하는 정수 체계에 대해, 기존의 이진 표현이 요구하는 초지수적 공간을 피하기 위한 압축 방식인 파워 회로(power circuit)를 제안한다. 파워 회로는 직선 프로그램 형태의 고유한 표현으로, 덧셈·뺄셈·거듭제곱·역거듭제곱·비교 연산을 다항 시간 내에 수행할 수 있다. 이를 바탕으로 여러 지수 대수의 무량화 이론과 일부 어려운 일단어군의 단어 문제를 다항 시간에 해결할 수 있음을 보인다.

상세 분석

논문은 먼저 전통적인 이진 표현이 2의 거듭 제곱을 n번 적용한 수, 즉 2^{2^{⋯^{2}}} 형태의 “탑”을 저장하려면 입력 길이가 2^{n}에 비례해 급격히 커진다는 사실을 지적한다. 이러한 초대형 수를 직접 다루는 대신, 저자들은 파워 회로라는 새로운 압축 구조를 정의한다. 파워 회로는 유향 그래프 형태의 직선 프로그램으로, 각 노드는 정수 값을 저장하고, 간선은 해당 노드가 다른 노드의 2배(또는 2의 거듭제곱) 형태로 계산된다는 관계를 나타낸다. 핵심은 회로가 고유하고 쉽게 정상화(normal form)될 수 있다는 점이다. 즉, 같은 정수를 표현하는 두 회로가 존재한다면, 알고리즘을 통해 동일한 표준 형태로 변환할 수 있다.

연산 측면에서, 저자들은 다음과 같은 절차를 제시한다. 덧셈은 두 회로를 병합하고, 중복된 노드를 합치는 과정에서 선형 시간에 수행된다. 뺄셈은 덧셈과 부호 전환을 조합해 구현한다. 거듭제곱 연산 z = x·2^y는 y를 회로 형태로 표현한 뒤, x의 회로에 y번의 “두 배” 변환을 순차적으로 적용함으로써 다항 시간에 계산된다. 역거듭제곱 z = x·2^{-y}는 y가 양수일 때 x를 2^{-y} 배하는 것으로, 이는 y를 이진 형태로 분해해 각 비트에 대응하는 역연산을 수행함으로써 구현된다. 비교 연산 <와 =는 회로를 정규화한 뒤, 최상위 노드들의 값을 순차적으로 비교함으로써 O(|C|) 시간에 결정된다. 여기서 |C|는 회로의 크기(노드와 간선 수)이다.

복잡도 분석에서는 모든 기본 연산이 회로 크기에 대해 다항 시간, 즉 O(|C|^k) (k는 상수) 안에 수행됨을 증명한다. 특히, n번의 거듭제곱 연산이 연속적으로 적용되더라도 회로 크기는 선형적으로 증가하므로, 전통적인 이진 표현이 요구하는 초지수적 메모리와는 근본적으로 다른 스케일을 가진다. 이러한 특성은 지수 대수의 무량화 이론(decidable quantifier‑free theories)과 복잡한 일단어군의 단어 문제(word problem) 해결에 직접 활용된다. 예를 들어, Baumslag‑Solitar 군 ⟨a,b | a^{-1}b a = b^2⟩와 같은 그룹에서 원소를 파워 회로로 표현하면, 군 연산과 동치 판정이 모두 다항 시간에 가능함을 보인다. 이는 기존에 PSPACE‑hard 혹은 EXPTIME‑hard 로 알려졌던 문제들을 새로운 차원에서 효율적으로 다룰 수 있음을 의미한다.

결과적으로, 파워 회로는 “거대한” 정수를 압축하면서도 연산적 폐쇄성을 유지하는 강력한 도구이며, 이는 알고리즘적 군 이론, 자동화 이론, 그리고 복잡도 이론에서 새로운 연구 방향을 제시한다.