[论文解读] Tightening the Complexity of Equivalence Problems for Commutative Grammars

Christoph Haase, Piotr Hofman|arXiv (Cornell University)|Jun 25, 2015

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

一句话总结

本文证明了正则与上下文无关的交换性语法的语言等价性问题为 coNEXP-完全，解决了长期悬而未决的开放问题。通过将 Presburger 算术的 Π₂ 片段的可满足性问题归约至正则交换性语法的语言包含问题，作者证明了 coNEXP-难性，并将上界收紧至 coNEXP，同时将结果扩展至无通信 Petri 网和反转有界计数自动机。

ABSTRACT

We show that the language equivalence problem for regular and context-free commutative grammars is coNEXP-complete. In addition, our lower bound immediately yields further coNEXP-completeness results for equivalence problems for communication-free Petri nets and reversal-bounded counter automata. Moreover, we improve both lower and upper bounds for language equivalence for exponent-sensitive commutative grammars.

研究动机与目标

• 解决关于正则与上下文无关交换性语法语言等价性精确复杂度的长期开放问题。
• 弥合此前已知的 Π²⁰-难与 coNEXP 上界之间的差距。
• 将复杂度结果扩展至相关形式化模型，包括无通信 Petri 网与反转有界计数自动机。
• 将指数敏感交换性语法的上界从 2-EXPSPACE 改进至 co-2NEXP。
• 阐明在交换性与非交换性设置下，等价性问题复杂度行为的非单调性。

提出的方法

• 从 Presburger 算术的 Π₂ 片段（已知为 coNEXP-完全）归约至正则交换性语法的语言包含问题。
• 利用 ‘HH14’ 中关于 ℤ-VASS 的已知构造，建立整数向量加法系统与交换性语法之间的对应关系。
• 通过非终结符编码计数器操作，以模拟状态转移与符号生成。
• 将交换性语法中的语言包含问题投影至 Parikh 图像，以便在自由交换幺半群中进行处理。
• 应用 Hague 和 Lin 关于反转有界计数自动机的研究结果，通过存在性 Presburger 公式推导出 coNEXP 上界。
• 利用反转有界计数自动机中可达集的等价性，与 Presburger 算术中 Π₂ 句子的可满足性建立联系。

实验结果

研究问题

• RQ1 正则与上下文无关交换性语法的语言等价性的精确复杂度是什么？
• RQ2 正则交换性语法的 Π²⁰-难性结果能否推广至上下文无关情形？
• RQ3 指数敏感交换性语法的等价性问题的精确复杂度是多少？能否改进 2-EXPSPACE 上界？
• RQ4 交换性语法的复杂度结果如何映射至无通信 Petri 网与反转有界计数自动机？
• RQ5 当字母表大小无界时，为何语言等价性的复杂度会从非交换情形的 PSPACE 急剧跃升至交换情形的 coNEXP？

主要发现

• 正则与上下文无关交换性语法的语言等价性问题为 coNEXP-完全，解决了 Huynh 于 1985 年提出的开放问题。
• 通过从 Presburger 算术的 Π₂ 片段归约，确立了 coNEXP-难性结果，该片段已知为 coNEXP-完全。
• 指数敏感交换性语法等价性的上界从 2-EXPSPACE 改进至 co-2NEXP。
• 0-反转有界计数自动机的等价性问题为 coNEXP-完全，且即使在常数为一进制编码时，其难解性依然成立。
• 无通信 Petri 网与反转有界计数自动机由于与交换性语法具有紧密对应关系，因而继承了 coNEXP-完全性结果。
• 语言等价性的复杂度是非单调的：当字母表大小固定时，其复杂度为 Π²⁰-完全，但当字母表无界时，复杂度跃升至 coNEXP-完全。