非耐冷VASS的普适性问题

Universality Problem for Unambiguous VASS

Wojciech Czerwiński, Diego Figueira, Piotr Hofman

摘要：

我们研究无歧义VASS语言，即具有状态的向量加法系统，其转换从有限字母表中读取字母，并且其接受条件由一组最终状态定义（即，的语言）。我们表明，明确的VASS的普遍性的问题是ExpSpace完整的，在纯粹的对比，阿克曼完整的任意VASS，即使在1维。当维数d固定时，如果d至少为2，则普适性问题是PSpace完全的，并且对于1维VASS（也称为单计数器网）是coNP困难的。

英文摘要：

We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defined by a set of final states (i.e., the coverability language). We show that the problem of universality for unambiguous VASS is ExpSpace-complete, in sheer contrast to Ackermann-completeness for arbitrary VASS, even in dimension 1. When the dimension d is fixed, the universality problem is PSpace-complete if d is at least 2, and coNP-hard for 1-dimensional VASSes (also known as One Counter Nets).

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于无歧义上下文无关文法的普遍性和包含问题的复杂性（技术报告）

On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)

研究了无二义性有限自动机和上下文无关文法的普适性和包含问题的计算复杂性。我们观察到，几个这样的问题可以减少到明确的上下文无关文法的普遍性问题。后一个问题一直被认为是可判定的，我们提出了一个PSPACE算法，其工作原理是通过减少到卷积递归方程的零问题。我们不知道任何非平凡的复杂性下限。然而，我们表明，计算明确的上下文无关语言的硬币翻转度量（普遍性的定量概括）对于长期存在的开放问题SQRTSUM来说是困难的。

2020-06-11cs.FL

关于非相容上下文无关文法的普适性和包含问题的复杂性

On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars

2020-08-07cs.FL

二维线性递归序列与无二义性寄存器自动机的普适性

Bidimensional linear recursive sequences and universality of unambiguous register automata

研究了寄存器自动机在相等数据上的普适性和包含问题。我们表明，通用性和包含问题可以解决2-EXPTIME复杂性时，输入自动机是没有猜测和明确的，目前最有名的2-EXPSPACE上限由Mottet和Mittas的改进。当两个自动机的寄存器数目固定时，我们得到了较低的EXPTIME复杂度，也改进了Mottet和Rumas在寄存器数目固定时的EXPSPACE上界。我们把包容性归结为普适性，然后把普适性归结为计算自动机运行轨道数的问题。我们发现，轨道计数函数满足系统的二维线性递归方程与多项式系数（linrec），这概括了类似的递归的第二类斯特林数，然后我们表明，普遍性降低到零的linrec序列的问题。虽然这样的计数方法是经典的，并已成功地应用于明确的有限自动机和文法在有限的字母表，其应用程序注册自动机在无限的字母表是新颖的。给出了两个判定由轨道计数函数产生的二维线性递归序列的无零性问题的算法。这两种算法都依赖于线性非交换代数的技术。第一个算法执行变量消除，并具有基本的复杂性。第二个算法是第一个算法的改进版本，它依赖于斜多项式域上矩阵的Hermite范式的计算。第二个算法产生一个EXPTIME决策过程的linrec序列的零问题，这反过来又产生了声称的范围的寄存器自动机的普遍性和包含问题。

2021-01-04cs.FL

无约束寄存器自动机通用性的新技术

New Techniques for Universality in Unambiguous Register Automata

寄存器自动机是有限自动机，配备了一组有限的寄存器，范围覆盖某些关系结构（如$(\mathbb N;=)$或$(\mathbb Q;<)$）的域。寄存器自动机处理域上的字，并且沿着自动机的运行，寄存器可以存储来自输入字的数据以供稍后比较。众所周知，普遍性问题，即，决定给定寄存器自动机是否接受域上的所有词的问题是不可判定的。最近，我们证明了在2-ExpSpace中，如果所研究的寄存器自动机是在$(\mathbb N;=)$上的并且是无歧义的，即，每个输入单词最多有一次接受运行; Barloy和Clemente不久后将该结果改进为2-ExpTime。在本文中，我们更进一步，证明了问题是在ExpSpace中，并在PSpace中，如果寄存器的数量是固定的。我们的证明是基于新的技术，另外使我们能够表明，问题是在PSpace的单寄存器自动机超过$(\mathbb Q;<)$。作为第三个技术贡献，我们证明了这个问题是可判定的（在ExpSpace）的一个更有表现力的模型，明确的寄存器自动机，其中的寄存器可以采取值nondeterministically，如果定义在$(\mathbb N;=)$和只有一个寄存器使用。

2021-02-16cs.FL

单计数器网的参数化普适性问题

Parametrized Universality Problems for One-Counter Nets

我们研究了单计数器网络的语言通用性问题，也称为1维向量加法系统与状态（1-VASS），参数化的初始计数器值，或在运行过程中允许的计数器值的上限。OCN接受的语言（通过达到最终控制状态来定义）在两个参数中都是单调的。这就产生了两个自然的问题：1）是否存在一个初始的计数器值，使语言的普遍性？2)是否存在一个足够高的天花板，使有界语言是普遍的？虽然普通的普遍性问题是可判定的（和阿克曼完全），这些参数化的问题似乎减少到检查基本的结构属性的基本自动机，我们表明，事实上这两个问题是不可判定的。我们还研究了几个可判定子类的问题的复杂性，即明确的，确定性的系统，并为那些在一个单字母表。

2020-07-04cs.FL

偏序NFA普适性的复杂性及相关问题

Complexity of Universality and Related Problems for Partially Ordered NFAs

偏序非确定有限自动机（poNFAs）是指其转移关系导致状态偏序的NFAs，也就是说，其循环仅以自循环的形式出现在单个状态上。如果poNFA接受其输入字母表上的所有单词，则它是通用的。决定普遍性是PSPACE完成的poNFA，我们表明，即使限制到一个固定的字母表，这仍然是正确的。这是不平凡的，因为字母符号的标准编码，例如，二进制可以将自循环变成更长的循环。如果我们要求poNFA中的所有自循环都是确定性的，则可以获得较低的coNP完全复杂度界限，即循环中读取的符号不能发生在从该状态的任何其他转换中。我们发现，这样的限制poNFA（rpoNFA）的类的$\mathcal{R}$-平凡的语言，我们建立的复杂性，决定如果一个NFA的语言是$\mathcal{R}$-平凡。然而，即使在受限的情况下，对固定字母的限制也是必不可少的：决定具有无界字母的rpoNFA的普遍性是PSPACE完全的。基于普适性与包含问题和等价问题之间的密切关系，我们还得到了这两个问题的复杂性结果。最后，我们表明，语言的rpoNFA是可定义的确定性（一个明确的）正则表达式，这使得他们感兴趣的模式语言的XML数据。

2017-06-23cs.FL