2CNF布尔公式可满足性问题与线性空间假设
摘要：使用同时的多项式时间和亚线性空间研究参数化自然大小参数的非确定性对数空间（NL）决策、搜索和优化问题的可解性/不可解性。我们特别关注m_vbl（phi）的总数 - 在给定的2CNF公式中的每个变量的形式中出现不超过3次的2CNF布尔（命题）公式的受限变体mathrm{2SAT}_3。我们提出了一个新的实用的工作假设，称为线性空间假设（LSH），它断言（mathrm{2SAT}_3，m_vbl）不能在所有实例x上仅使用“亚线性”空间（即$m_vbl(x)^\epsilon，polylog(|x|)$空间）在多项式时间内解决，其中ε是一个常数，ε∈[0,1)。LSH的直接结果包括Ll≠NL，LOGDCFL≠LOGCFL和SC≠NSC。在我们的调查中，我们充分利用了“短缩减”的关键概念，在这个概念下，所有参数化的多项式时间亚线性空间可解问题的类PsubLIN确实是封闭的。
作者：Tomoyuki Yamakami
论文ID：1709.10453
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-03-08