排列和相关决策问题在字母模式约束上的状态复杂度
摘要：对Alphabetical Pattern Constraints (APC)上的排列操作或可交换闭包进行状态复杂性研究。 在Straubing-Th{''e}rien层次结构的$3/2$级别上，这个类对应着包括有限语言、分段可测试或$mathcal J$-平凡语言，以及$mathcal R$-平凡和$mathcal L$-平凡语言。 我们给出了一个以相关有限语言的一元投影语言中最长字符串为基础的尖锐状态复杂度边界，并且对于有限语言子类已经是尖锐的。 此外，针对两个子类，我们给出了以识别输入自动机的大小和字母表的大小为基础的尖锐界限。 最后，我们对APCs的包含和普遍性问题进行研究，这两个问题在一般情况下已知对于固定字母表来说是PSPACE完全的，并且在这种情况下我们证明它们对于固定字母表是多项式时间可解的。
作者：Stefan Hoffmann
论文ID：2006.15178
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-08-17