二维带状态向量加法系统的可达性：一次零测试免费
计算机科学中的逻辑
2020-07-20 v1 形式语言与自动机理论
摘要
带状态向量加法系统是一种普遍的计算模型，在计算机科学中有广泛应用。向量加法系统的可达性问题是核心问题，因为许多其他问题都可归约到该问题。该问题可判定，且最近被证明向量加法系统的维数是复杂性的重要参数。在大于二的固定维数中，复杂性未知（存在巨大的复杂性鸿沟）。在二维中，Blondin 等人于 2015 年证明可达性问题是 PSPACE-完全的。我们考虑该模型的扩展，称为 2-TVASS，其中第一个计数器可被测试为零。该模型自然扩展了单计数器自动机（OCA）的经典模型。我们证明对于 2-TVASS，可达性仍可在多项式空间中求解。如同 Blondin 等人的工作，我们的方法依赖于通过连接多项式多个循环所获得的小可达性证书的存在性。
引用
@article{arxiv.2007.09096,
title = {Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free},
author = {Jérôme Leroux and Grégoire Sutre},
journal= {arXiv preprint arXiv:2007.09096},
year = {2020}
}
备注
Full version of the paper with the same title and authors in the proceedings of CONCUR 2020