[论文解读] Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version

Laura Ciobanu, Volker Diekert+1 more|arXiv (Cornell University)|Feb 11, 2015

semigroups and automata theory参考文献 11被引用 3

一句话总结

该论文证明了在自由群上，当以约化单词形式表示时，词方程的解集是 EDT0L 语言，这是一类高度结构化的形式语言。通过将 Jeürs 的压缩技术与线性丢番图方程求解相结合，作者构建了一个 NFA，该 NFA 在准线性非确定性空间中生成所有解，从而将非交换自由群的存在理论的复杂度界改进为 NSPACE(n log n)。

ABSTRACT

We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer could hold. Nevertheless, our answer goes far beyond: they are EDT0L, which is a proper subclass of indexed languages. We can additionally handle the existential theory of equations with rational constraints in free products $\star_{1 \leq i \leq s}F_i$, where each $F_i$ is either a free or finite group, or a free monoid with involution. In all cases the result is the same: the set of all solutions in reduced words is EDT0L. This was known only for quadratic word equations by Ferté, Marin and Sénizergues (ToCS 2014), which is a very restricted case. Our general result became possible due to the recent recompression technique of Jeż. In this paper we use a new method to integrate solutions of linear Diophantine equations into the process and obtain more general results than in the related paper (arXiv 1405.5133). For example, we improve the complexity from quadratic nondeterministic space in (arXiv 1405.5133) to quasi-linear nondeterministic space here. This implies an improved complexity for deciding the existential theory of non-abelian free groups: NSPACE($n\log n$). The conjectured complexity is NP, however, we believe that our results are optimal with respect to space complexity, independent of the conjectured NP.

研究动机与目标

• 解决长期悬而未决的开放问题：自由群上词方程的解集是否可被描述为索引语言，重点在于 EDT0L 结构。
• 将解的形式语言表征从二次方程扩展到带理性约束的一般词方程。
• 将非阿贝尔自由群的存在理论的求解空间复杂度从二次方改进为准线性非确定性空间。
• 开发一种将线性丢番图方程求解集成到词方程压缩框架中的方法。
• 提供一种可有效构造的 NFA 表示形式，用于表示约化单词中的解集，从而支持结构与复杂度理论分析。

提出的方法

• 利用 Jeürs 的压缩技术对单词中的重复模式进行压缩，以实现对解集的高效操作。
• 提出一种新颖的压缩策略——非标准块压缩，专门针对形如 $c\overline{c}(c\overline{c})^\ell$ 的因子，以减少冗余，同时保持解的结构。
• 使用替换弧将重复模式替换为新符号，通过同态扩展保持解关系。
• 应用字母表约简以消除冗余字母，简化单词结构，同时保持可解性。
• 采用递归压缩过程，结合标准块压缩、非标准块压缩和对压缩，以减少单词长度，同时控制膨胀。
• 在自由幺半群中构造一个带有特殊符号 \# 的非确定性有限自动机（NFA），使得生成的语言恰好对应于约化单词中的解集。

实验结果

研究问题

• RQ1 任何自由群上的词方程的解集是否都可以被描述为 EDT0L 语言？
• RQ2 是否可以基于形式语言框架，有效构造一个 NFA，以生成约化单词中的所有解？
• RQ3 能否将压缩技术扩展以处理词方程解中出现的线性丢番图约束？
• RQ4 决定非阿贝尔自由群的存在理论的最优空间复杂度是多少？
• RQ5 在自由群与有限群的自由积中，带有理性约束的词方程的解集是否仍为 EDT0L？

主要发现

• 在有限生成自由群上，任何词方程的解集在以约化单词表示时都是 EDT0L 语言。
• 本文提供了一种有效算法，可在准线性非确定性空间 $\mathsf{NSPACE}(n\log n)$ 内计算出生成解集的 NFA。
• 结果表明，该解集是索引语言的一个真子类，确认了比以往更强的结构结果。
• 该方法可扩展至自由积 $\star_{1\leq i\leq s}F_i$，其中每个 $F_i$ 为自由群、有限群或带有对合的自由幺半群，且解集仍为 EDT0L。
• 决定非阿贝尔自由群存在理论的复杂度被优化至 $\mathsf{NSPACE}(n\log n)$，该复杂度在不依赖 $\mathsf{NP}$ 猜想的前提下为最优空间复杂度。
• 递归压缩过程确保每轮迭代中单词长度保持线性，尽管中间存在膨胀，但压缩后整体长度仍保持 $\mathcal{O}(n)$ 的界。