组合问题的参数化非确定性完备性：通过短对数空间归约和线性空间假设的立即推论
摘要：基于空间限制的可计算性的概念在处理受内存限制的计算设备上的大型数据集方面变得非常重要。为了补充现有的仅由对数空间大小参数决定实例大小的NL-完备问题的简短列表，我们提出了新的补充问题，这些问题直接从三个典型的NP-完备问题（顶点覆盖问题，由3个集合的精确覆盖问题和三维匹配问题）的自然参数化中获得。通过对它们的实例施加适当的限制，通过“短”对数空间约简，我们证明了由适当大小参数参数化的提出的决策问题在计算复杂性上与参数化的3有界2CNF布尔公式可满足性问题或参数化的度为3的有向s-t连接性问题等价。此外，在线性空间假设的前提下，如果内存使用受限于次线性空间，则无法在多项式时间内解决任何提出的问题。
作者：Tomoyuki Yamakami
论文ID：2206.10389
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-06-22