从交替计算到FPRAS：近似计数问题的复杂性分类

计数问题是数学和计算机科学中的基本问题。其中最微妙的是那些其关联的判定问题可在多项式时间内求解，但其精确计数版本看似不可解的问题。然而，对于某些此类问题，仍然可以通过完全多项式随机近似方案（FPRAS）获得高效的随机近似。现有的 FPRAS 存在性证明通常高度技术化且依赖于具体问题，对近似可计算性的系统性复杂性理论解释提供有限的洞察。在本工作中，我们提出了一种基于机器的框架，用于建立 FPRAS 的存在性，超越了先前的统一准则。我们的起点是交替计算：我们引入了一种通过为交替图灵机配备类似转录器的输出机制而得到的计数模型，并用它来定义相应的计数类 spanALP。我们证明 spanALP 中的每个问题都 admits 一个 FPRAS，从而给出一个可复用的充分条件，该条件可通过归约应用于交替对数空间、多项式时间带输出计算。我们将 spanALP 置于计数复杂性版图中，在假设 RP ≠ NP 的条件下，它严格介于 #L 和 TotP 之间，并观察到当前计数复杂性工具中存在有趣的概念和技术空白。此外，作为说明性应用，我们获得了对边标号图中 Dyck 约束路径查询的答案进行计数的 FPRAS，即计算其标签序列关于类 Dyck 语言是良定义的 s-t 游走所实现的不同标签化的数量。据我们所知，此前该场景下尚无已知的 FPRAS。我们期望交替-转录器特征化可为建立更多计数问题的 FPRAS 存在性提供一个广泛适用的工具。