[论文解读] Solutions of Word Equations Over Partially Commutative Structures

Volker Diekert, Artur Jeż+1 more|arXiv (Cornell University)|Jan 1, 2016

semigroups and automata theory参考文献 15被引用 7

一句话总结

该论文证明了在自由部分交换幺半群和群（如右-angled Artin 群和 Coxeter 群）上，带有可识别约束的字方程的解集是 EDT0L 语言，且可通过扩展幺半群上的非确定性有限自动机（NFA）识别。解集的可判定性在 NSPACE(n log n) 内，且满足性与有限性问题在此复杂度类中均可判定，推广了此前关于自由幺半群和自由群的结果。

ABSTRACT

Let $M(A,I)$ be a free partially commutative monoid with involution and $G(A,I)$ be its quotient group, e.g. a right-angled Artin or Coxeter group. Given a system of word equations over $M(A,I)$ with recognizable constraints with input size $n$ we show the structural result about the solution set of the system: the set of all solutions in $M(A,I)$ or in the group $G(A,I)$ is an EDT0L language. That is, it is given by an NFA $\mathcal{A}$ recognizing endomorphisms over some extended monoid. Moreover, $\mathcal{A}$ is effectively constructible by an NSPACE($n \log n$)-transducer. This implies that Satisfiability: `Is the system is solvable?' and Finiteness: `Are there infinitely many solutions?' can be decided in NSPACE($n \log n$). In the uniform version, these problems are PSPACE-complete, but for a suitable subclass of constraints we have more precise complexities and we conjecture that the decision problems above are NP-complete in this setting. Our results apply also to word equation over free monoids in the classical case where the involution is reading words right-to-left. This allows to specify that solutions are restricted to be palindromes.

研究动机与目标

• 研究部分交换幺半群和群（特别是右-angled Artin 群和 Coxeter 群）上字方程的可判定性。
• 将先前关于自由幺半群和自由群的结果推广至包含对合与部分交换关系的情形。
• 证明在可识别约束下，解集为 EDT0L 语言，从而提供统一且有效的描述。
• 在 NSPACE(n log n) 内建立满足性与解集有限性的紧致复杂度界。
• 提供一种构造性方法，用于构建识别所有编码解的自同态的 NFA。

提出的方法

• 引入覆盖字母表与同态，将原始幺半群中的方程提升至具有增强结构的自由资源幺半群。
• 定义步骤规范形式，并利用 T-约化方法，通过消除冗余或不可见的成分来简化方程组。
• 构建一个自动机 U，用于识别扩展幺半群上的自同态，通过 NFA 转移编码所有解。
• 应用压缩技术——块压缩与配对压缩——在保持解等价性的同时减小方程规模。
• 使用 T-分裂与 T-提升过程消除 S-T 与 T-T 弧，将系统转化为规范化且可解的形式。
• 通过证明自动机 U 通过正规展开过程生成语言，从而证明解语言为 EDT0L 语言。

实验结果

研究问题

• RQ1 在带有可识别约束的部分交换幺半群上，字方程的解集是否为 EDT0L 语言？
• RQ2 此类解集的满足性与有限性问题是否可在 NSPACE(n log n) 内判定？
• RQ3 是否存在一种有效构造方法，用于构建识别所有对应于解的自同态的 NFA？
• RQ4 对合与部分交换关系如何影响字方程的结构与可判定性？
• RQ5 能否使用统一的形式语言（如 EDT0L 语言）有效描述解集？

主要发现

• 在带有可识别约束的自由部分交换幺半群或群上，任意字方程组的解集均为 EDT0L 语言。
• 可在 NSPACE(n log n) 内有效构造一个 NFA，用于识别编码所有解的自同态。
• 解集的满足性与有限性问题在 NSPACE(n log n) 内可判定，其复杂度与构造过程一致。
• 对于一类自然的约束子类，作者推测这两个问题均为 NP-完全。
• 证明纯属组合方法，不依赖深刻定理，但其结果涵盖并推广了先前关于自由幺半群与群的研究成果。