[论文解读] Slicewise definability in first-order logic with bounded quantifier rank

Yijia Chen, J. Flum+1 more|arXiv (Cornell University)|Apr 11, 2017

Complexity and Algorithms in Graphs参考文献 8被引用 5

一句话总结

本文证明，某些参数化图问题，包括在有界超边大小的超图上的顶点覆盖和命中集问题，可以使用色彩编码技术在量化阶数独立于参数 k 的一阶逻辑中定义。关键结果是 p-VERTEX-COVER 在 FO₁₆ 中是逐片可定义的，更一般地，p-d-HITTING-SET 在 FOq 中可定义，其中 q = O(d²)，从而在具有内置算术的结构上建立了严格的层级关系 FOq ⊊ FOq+1。

ABSTRACT

For every $q\in \mathbb N$ let $ extrm{FO}_q$ denote the class of sentences of first-order logic FO of quantifier rank at most $q$. If a graph property can be defined in $ extrm{FO}_q$, then it can be decided in time $O(n^q)$. Thus, minimizing $q$ has favorable algorithmic consequences. Many graph properties amount to the existence of a certain set of vertices of size $k$. Usually this can only be expressed by a sentence of quantifier rank at least $k$. We use the color-coding method to demonstrate that some (hyper)graph problems can be defined in $ extrm{FO}_q$ where $q$ is independent of $k$. This property of a graph problem is equivalent to the question of whether the corresponding parameterized problem is in the class $ extrm{para-AC}^0$. It is crucial for our results that the FO-sentences have access to built-in addition and multiplication. It is known that then FO corresponds to the circuit complexity class uniform $ extrm{AC}^0$. We explore the connection between the quantifier rank of FO-sentences and the depth of $ extrm{AC}^0$-circuits, and prove that $ extrm{FO}_q \subsetneq extrm{FO}_{q+1}$ for structures with built-in addition and multiplication.

研究动机与目标

• 研究参数化图问题（如顶点覆盖和命中集）是否能以独立于参数 k 的有界量化阶数在一阶逻辑中表达。
• 通过有界量化阶数的一阶逻辑，建立参数化电路类 para-AC0 的描述复杂性表征。
• 证明在具有内置加法和乘法的结构上，量化阶数层级 FOq 的严格性。
• 探讨算术（加法和乘法）在实现原本需要高量化深度的问题的低量化阶数定义中的作用。

提出的方法

• 使用色彩编码方法，通过颜色分配编码顶点集合，将存在性集合问题转化为有界量化阶数的一阶句子。
• 采用具有内置加法和乘法的算术丰富结构，以模拟统一的 AC0 电路，利用已知的一阶逻辑与内置算术等价于统一 AC0 的结论。
• 通过归纳定义公式 ψℓ(x) 来构建 FO 句子的层级，这些公式捕捉图中深度 ℓ 以内的可达性，从而构造出量化阶数为 q+1 的句子 ϕq+1。
• 应用 Sipser 函数作为难题，以区分 FOq 和 FOq+1，证明在算术结构上，没有任何 FOq 句子能定义与 FOq+1 句子相同的类。
• 采用电路理论推理：假设某个句子 ϕ ∈ FOq 定义了集合 S，则可推导出一个深度为 q+2、底部扇入有界的统一 AC0 电路，与 Sipser 函数的已知电路下界矛盾。
• 采用逻辑约化技术：若一个问题在不被否定或存在量词作用的范围内使用二阶变量进行 Fagin 定义，则它在某个 FOq 中是逐片可定义的。

实验结果

研究问题

• RQ1 k-顶点覆盖问题能否在一阶逻辑中以独立于 k 的有界量化阶数定义？
• RQ2 是否存在一个统一的界 q，使得所有 d-超图上的参数化命中集问题都能在 FOq 中定义，而与 d 无关？
• RQ3 在具有内置加法和乘法的结构上，量化阶数层级 FOq 是否会坍缩，还是对所有 q ∈ ℕ 都有 FOq ⊊ FOq+1？
• RQ4 色彩编码方法能否用于实现原本需要高量化深度的问题的统一、低量化阶数定义？

主要发现

• 对每个 k ∈ ℕ，k-顶点覆盖问题在 FO₁₆ 中是逐片可定义的，意味着无论 k 取何值，它都能由一个量化阶数为 16 的一阶句子判定。
• 对于 d-超图，参数化 d-命中集问题在 FOq 中是逐片可定义的，其中 q = O(d²)，表明其对 d 的依赖关系为多项式。
• 层级 (FOq)q∈ℕ 是严格的：在具有内置加法和乘法的结构上，对所有 q ∈ ℕ 都有 FOq ⊊ FOq+1。
• 在有界量化阶数的一阶逻辑中逐片可定义的问题类，与 para-AC0 完全一致，从而为这一参数化电路类提供了描述复杂性表征。
• 大小为 (q+1) 的团的存在性无法在 FO⌊(q+1)/4⌋ 中表达，这意味着量化阶数层级不会坍缩。
• 内置算术是必不可少的：若无加法和乘法，即使 p-VERTEX-COVER 也无法在任何固定的 q 下于 FOq 中实现逐片可定义。