[論文レビュー] 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完全であることを確立し、長年の未解決問題を解決した。著者らは、プレスバーガー算術の Π₂ フラグメントにおける妥当性を、正則可換文法における言語包含問題へ還元することで、​coNEXP 困難性を証明し、上界を ​coNEXP に厳密化した。また、この結果は通信フリーのペトリ・ネットおよび反転有界カウンターオートマトンへも拡張された。

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 上界の間のギャップを埋めること。
• 関連する形式的モデル、特に通信フリーのペトリ・ネットおよび反転有界カウンターオートマトンへ複雑さの結果を拡張すること。
• 指数的感度を持つ可換文法の同値性の上界を 2-EXPSPACE から co-2NEXP に改善すること。
• 可換と非可換設定における同値性問題の非単調な複雑さの挙動を明確にすること。

提案手法

• プレスバーガー算術の Π₂ フラグメント（既知の coNEXP 完全）から、正則可換文法における言語包含問題への還元。
• 『HH14』で知られている ℤ-VASS からの構成を活用し、整数ベクトル加法システムと可換文法との間の対応関係を構築する。
• 非終端記号を用いてカウンター操作をエンコードし、状態遷移と記号生成をシミュレートする。
• 言語包含を自由可換モノイド内に射影するために、パリフ像へと投影する。
• ヘイグとリンの反転有界カウンターオートマトンに関する結果を応用し、存在論的プレスバーガー論理式を介して coNEXP 上界を導出する。
• 反転有界カウンターオートマトンにおける到達可能集合の同値性が、プレスバーガー算術における Π₂ 文の妥当性と等価であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 正則および文脈自由な可換文法の言語同値性の正確な複雑さは何か？
• RQ2 正則可換文法における Π²⁰ 困難性の結果を文脈自由なものへ拡張できるか？
• RQ3 指数的感度を持つ可換文法の同値性の正確な複雑さは何か？ また、2-EXPSPACE 上界を改善できるか？
• RQ4 可換文法における複雑さの結果は、通信フリーのペトリ・ネットおよび反転有界カウンターオートマトンへどのように伝播するか？
• RQ5 アルファベットサイズが無限大であると、言語同値性の複雑さが非可換設定では PSPACE から可換設定では coNEXP に急激に上昇するのはなぜか？

主な発見

• 正則および文脈自由な可換文法の言語同値性問題は ​coNEXP 完全である。これは、1985 年にフアンによって提起された未解決問題を解決する。
• ​coNEXP 困難性は、既に coNEXP 完全であることが知られているプレスバーガー算術の Π₂ フラグメントからの還元によって確立された。
• 指数的感度を持つ可換文法の同値性の上界は、2-EXPSPACE から co-2NEXP に改善された。
• 0 反転有界カウンターオートマトンの同値性問題は ​coNEXP 完全であり、定数が一進法で符号化されていても困難性は保たれる。
• 通信フリーのペトリ・ネットおよび反転有界カウンターオートマトンは、可換文法と密接な対応関係にあるため、​coNEXP 完全性の結果を継承する。
• 言語同値性の複雑さは非単調的である：アルファベットサイズが固定されていると Π²⁰ 完全であるが、無限大になると ​coNEXP 完全にジャンプする。