杰罗姆·勒鲁 向量加法系统可逆可达性问题。 （英语） Zbl 1260.68271号 日志。方法计算。科学。 9，第1号，第5号论文，16页（2013年）. 向量加法系统的可达性问题是网络理论的核心问题。众所周知，这个问题是可以决定的，但其复杂性仍不得而知。尽管问题是EXPSPACE-hard，但没有已知的基本上界复杂性。本文考虑可逆可达性问题。这个问题是要确定两个配置是否可以相互访问，或者等价地确定它们是否位于可达性图的相同强连接组件中。我们证明这个问题是EXPSPACE完备的。作为引入材料的应用，我们刻画了向量加成系统的可逆域。 引用于1审查引用于4文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：矢量加法系统;可达性;有界性;盖 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}，日志。方法计算。科学。9，第1号，第5号论文，16页（2013；Zbl 1260.68271） 全文： 内政部