[论文解读] Power Circuits, Exponential Algebra, and Time Complexity

Alexei Myasnikov, Alexander Ushakov+1 more|arXiv (Cornell University)|Jun 13, 2010

Computability, Logic, AI Algorithms参考文献 5被引用 3

一句话总结

本文引入了幂电路——一种用于整数的新型压缩表示方法，可实现对指数级大数的高效计算。通过使用带操作 $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.

研究动机与目标

• 为解决在标准二进制形式下处理极大整数时的计算不可行性，特别是由迭代指数运算产生的整数。
• 开发一种压缩、唯一且可高效计算的整数表示方法，支持快速算术运算。
• 证明各种指数代数的无量词理论可在多项式时间内判定。
• 将该框架应用于求解组合群论中的困难算法问题，如某些单关系群的字问题。

提出的方法

• 使用幂电路表示整数——即带有常数和操作 $x \cdot 2^y$、$x \cdot 2^{-y}$、$+$、$-$ 的有向无环图。
• 定义幂电路的标准形式、约化形式与标准形，以确保唯一性并支持高效求值。
• 引入基于几何排序与顶点等价性的约化过程，以规范化电路并最小化其大小。
• 利用项求值与标准形计算，在多项式时间内执行加法、减法、幂运算与比较。
• 利用幂电路表示，高效编码并求值指数代数中的无量词公式。
• 表明在乘法操作下，电路大小可能呈指数级增长，揭示了内在的计算限制。

实验结果

研究问题

• RQ1 能否使用幂电路在多项式时间内求解某些单关系群的字问题？
• RQ2 结构 $\tilde{Z}$（包含加法、减法及以2为底的幂次指数运算）的无量词理论是否可在多项式时间内判定？
• 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$ 的无量词理论可在多项式时间内判定。
• 通过幂电路表示，某些单关系群的字问题可在多项式时间内求解。
• 求解形如 $3x = \mathcal{P}$ 的线性方程在最坏情况下可能需要超指数时间，这是由于电路大小膨胀所致。
• $n$ 个幂电路的乘积可能需要大小至少为 $2^{n-3}$ 的电路，表明乘法中存在固有的指数级增长。
• 给定整数的最小幂电路表示可能需要超指数时间才能计算，表明存在根本性的复杂度障碍。