[论文解读] Parallel Algorithms for Power Circuits and the Word Problem of the Baumslag Group

Caroline Mattes, A. Weiss|arXiv (Cornell University)|Jan 1, 2021

semigroups and automata theory被引用 2

一句话总结

该论文提出了一种并行算法，用于使用幂电路（power circuits）解决 Baumslag 群 G₁,₂ 的词问题，幂电路是一种能够实现整数非初等压缩的数据结构。尽管一般的幂电路比较问题属于 P-完全，作者证明当幂电路具有对数深度（在此背景下常见）时，比较和算术运算可在 NC 中完成，从而在 TC² 中解决词问题。

ABSTRACT

Power circuits have been introduced in 2012 by Myasnikov, Ushakov and Won as a data structure for non-elementarily compressed integers supporting the arithmetic operations addition and (x,y) ↦ x⋅2^y. The same authors applied power circuits to give a polynomial-time solution to the word problem of the Baumslag group, which has a non-elementary Dehn function. In this work, we examine power circuits and the word problem of the Baumslag group under parallel complexity aspects. In particular, we establish that the word problem of the Baumslag group can be solved in NC - even though one of the essential steps is to compare two integers given by power circuits and this, in general, is shown to be 𝖯-complete. The key observation is that the depth of the occurring power circuits is logarithmic and such power circuits can be compared in NC.

研究动机与目标

• 该论文旨在分析具有非初等 Dehn 函数的 Baumslag 群的词问题的并行复杂度。
• 研究尽管幂电路操作具有固有复杂性，词问题是否能在并行计算中高效求解。
• 研究重点在于通过幂电路表示的整数之间的比较，这是并行计算中的关键瓶颈。
• 旨在确定在幂电路表示下，词问题的精确并行复杂度类。
• 作者旨在厘清一般幂电路比较（P-完全）与受限情况（NC/TC）之间的复杂度边界。

提出的方法

• 作者使用幂电路作为数据结构，以紧凑方式表示大整数，其中数值被计算为 2 的幂的带符号和。
• 他们定义了一种归约过程，将幂电路归一化为规范形式，以实现高效的比较和算术运算。
• 该论文证明，对于具有对数深度的幂电路，其数值比较可在 TC¹ 中完成，而 TC¹ 是 NC 的子类。
• 通过将电路值问题归约到幂电路比较，证明了一般比较属于 P-完全。
• 词问题算法利用 Britton 归约和幂电路算术，所有中间幂电路的深度均被限制在 O(log n) 以内。
• 作者使用 LOGSPACE 和 AC⁰-Turing 归约，证明了各种子问题的完备性结果。

实验结果

研究问题

• RQ1 尽管其 Dehn 函数具有非初等性，Baumslag 群的词问题是否仍可在低并行复杂度类中求解？
• RQ2 一般情况下属于 P-完全的幂电路值比较，当电路具有对数深度时，是否可在 NC 中求解？
• RQ3 当整数通过幂电路表示时，词问题的精确并行复杂度是什么？
• RQ4 对幂电路中标记进行相等性比较是否也是 P-完全，还是比不等性比较更容易？
• RQ5 Baumslag 群的词问题是否可在 LOGSPACE 中求解，还是 TC² 是可能达到的最佳复杂度？

主要发现

• Baumslag 群 G₁,₂ 的词问题可在 TC² 中求解，这是一个低并行复杂度类。
• 当电路具有对数深度时，幂电路比较属于 TC¹，尽管一般比较属于 P-完全。
• 对幂电路中两个标记的比较属于 P-完全，这是通过从电路值问题归约得出的。
• 验证给定有向无环图是否为有效幂电路的问题属于 P-完全，表明其结构验证具有固有复杂性。
• 对幂电路中标记相等性的测试是 NL-难的，表明其显著低于不等性比较的复杂度。
• 对深度为 logᵏn 的幂电路进行比较的问题，在 AC⁰-Turing 归约下属于 TCᵏ 完全，从而建立了深度受限电路的复杂度层级。