[논문 리뷰] Power Circuits, Exponential Algebra, and Time Complexity

Alexei Myasnikov, Alexander Ushakov외 1명|arXiv (Cornell University)|2010. 06. 13.

Computability, Logic, AI Algorithms참고 문헌 5인용 수 3

한 줄 요약

이 논문은 지수적으로 큰 수를 효율적으로 다룰 수 있도록 허용하는 정수의 새로운 압축 표현 방식인 파wr 회로(power circuits)를 소개한다. 방향성 비순환 그래프를 통해 정수를 표현하고, 연산 $x \mapsto x \cdot 2^y$를 사용함으로써, 저자들은 기본 산술 및 비교 연산, 그리고 지수 대수의 무비결 이론이 다항시간 내에 결정가능하다는 것을 보여주며, 기존 이진 표현 방식에서 발생하는 초초기수적 증가 문제를 해결한다.

ABSTRACT

Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that in this case very large numbers, which are obtained as n towers of exponentiation in the base 2 can be realized as n applications of the operation x2^y, so working with such numbers given in the usual binary expansions requires super exponential space. We define a new compressed representation for integers by power circuits (a particular type of straight-line programs) which is unique and easily computable, and show that the operations above can be performed in polynomial time if the numbers are presented by power circuits. We mention several applications of this technique to algorithmic problems, in particular, we prove that the quantifier-free theories of various exponential algebras are decidable in polynomial time, as well as the word problems in some "hard to crack" one-relator groups.

연구 동기 및 목표

• 표준 이진 형식에서 매우 큰 정수를 다루는 데 발생하는 계산의 비효율성, 특히 반복 거듭제곱에서 유래하는 정수들을 다루기 위해.
• 빠른 산술 연산을 지원하는 압축형, 유일형, 효율적으로 계산 가능한 정수 표현 방식을 개발하기 위해.
• 다양한 지수 대수의 무비결 이론이 다항시간 내에 결정가능하다는 것을 증명하기 위해.
• 조합적 군론에서의 어려운 알고리즘 문제, 예를 들어 특정 일-relator 군에서의 단어 문제를 해결하기 위해 이 틀을 적용하기 위해.

제안 방법

• 상수와 연산 $x \cdot 2^y$, $x \cdot 2^{-y}$, $+$, $-$를 라벨로 갖는 방향성 비순환 그래프인 파워 회로를 사용하여 정수를 표현하기.
• 유일성 확보와 효율적 평가를 위해 표준형, 축소형, 정규형 파워 회로를 정의하기.
• 기하적 순서와 정점 동치성을 기반으로 한 축소 과정을 도입하여 회로를 정규화하고 크기를 최소화하기.
• 항 평가 및 정규형 계산을 사용하여 다항시간 내에 덧셈, 뺄셈, 거듭제곱, 비교 연산을 수행하기.
• 파워 회로 표현 방식을 활용하여 지수 대수에서의 무비결 공식을 효율적으로 인코딩하고 평가하기.
• 승수의 곱셈에 따라 회로 크기가 초기수적으로 증가할 수 있음을 보여주며, 이는 본질적인 계산 한계를 드러낸다.

실험 결과

연구 질문

• RQ1 일부 일-relator 군에서의 단어 문제는 파워 회로를 사용하여 다항시간 내에 해결될 수 있는가?
• RQ2 덧셈, 뺄셈, 2의 거듭제곱에 의한 거듭제곱을 포함하는 구조 $\tilde{Z}$의 무비결 이론은 다항시간 내에 결정가능한가?
• RQ3 파워 회로 모델에서 $3x = \mathcal{P}$와 같은 선형 방정식을 풀기 위한 시간 복잡도는 얼마인가?
• RQ4 주어진 자연수에 대해 최소 크기의 상수 파워 회로를 효율적으로 계산할 수 있는가?
• RQ5 구조 $\tilde{N} = \langle \mathbb{N}_{>0}; +, \cdot 2^y, \leq, 1 \rangle$의 존재 이론은 결정가능한가?

주요 결과

• 파워 회로를 사용하여 $\tilde{Z}$의 무비결 이론은 다항시간 내에 결정가능하다.
• $\tilde{N} = \langle \mathbb{N}; +, \cdot 2^y, \cdot 2^{-y}, \leq, 0, 1 \rangle$의 무비결 이론은 다항시간 내에 결정가능하다.
• 일부 일-relator 군에서의 단어 문제는 파워 회로 표현을 통해 다항시간 내에 해결 가능하다.
• $3x = \mathcal{P}$와 같은 선형 방정식을 풀기 위해서는 회로 크기의 증가로 인해 최악의 경우 초초기수 시간이 소요될 수 있다.
• $n$개의 파워 회로 곱은 최소 $2^{n-3}$의 크기를 갖는 회로가 필요할 수 있으며, 이는 곱셈에서 본질적인 초기수적 성장의 증거이다.
• 주어진 정수의 최소 파워 회로 표현을 계산하는 데 초초기수 시간이 소요될 수 있으며, 이는 본질적인 복잡도 장벽을 시사한다.