价值系统中双向可达性的复杂性
摘要：无限状态系统中的可达性问题通常具有极高的复杂性。这促使我们研究高效的上界逼近方法，通过添加转换来获得一个能够更有效地决定可达性的系统。我们考虑双向无限状态系统，其中对于每个转换，存在一个相反效果的转换。 我们研究了一种称为value systems的双向可达性框架，这个抽象模型具有有限数量的控制状态和由有限图指定的无限状态存储器。通过选择合适的图，value systems能够统一地模拟计数器，如向量加法系统，推栈机，整数计数器以及它们的组合。 我们提供了双向可达性的综合复杂性概况，并且展示了对于几乎每个已知可达性可判定的存储机制，复杂性下降（通常降至多项式时间）比一般可达性复杂性更低。
作者：Moses Ganardi, Rupak Majumdar, Georg Zetzsche
论文ID：2110.03654
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-28