正则语言布尔层次中成员资格的高效算法
摘要：对于几个布尔层级的问题，本文旨在提供有效的算法来判断成员资格，而这些层级以前并不知道是否有效（或者甚至是否决定性）。我们为这些层级的单一层级开发了新的禁用链特征，并获得以下结果：- 布尔层级在点深度层级的$Sigma\_1$级别上是在NL中可决定的（先前仅知道其可决定性）。如果允许固定$d$的谓词模块，则相同的结果保持不变。- 如果允许任意$d$的模块化谓词，则布尔层级在$Sigma\_1$级别上可决定。- 对于有限的两个字母的情况，斯特劳宾-特里恩层级的布尔层级在NL中可决定。这是该层级的首个可决定性结果。- 所有提到的布尔层级类的成员资格问题对于NL来说都是logspace many-one硬的。- 拟周期语言和$d$-拟周期语言的成员资格问题对于PSPACE来说是logspace many-one完全的。
作者：Christian Glasser, Heinz Schmitz, Victor Selivanov
论文ID：0802.2868
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-02-21