[論文レビュー] 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

ひとこと要約

この論文は、頂点被覆や有界ハイパーエッジサイズのハイパーグラフ上のヒッティングセットといった特定のパラメータ付きグラフ問題が、色分け技法を用いて、パrameter kとは無関係に有界された量化子ランクをもつ一階論理で定義可能であることを示している。主な結果は、p-VERTEX-COVER が FO₁₆ でスライスごとに定義可能であり、より一般に、p-d-HITTING-SET が q = O(d²) の FOq で定義可能であることであり、組み込み算術を備えた構造上での厳密な階層 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 が崩壊するか、それともすべての q ∈ ℕ に対して FOq ⊊ FOq+1 が成り立つかを証明すること。
• 加法および乗法が、そうでなければ高量化子深さを要する問題を低量化子ランクで定義可能にする役割を明らかにすること。

提案手法

• 頂点集合を色割り当てで符号化することで、存在的集合問題を低量化子ランクの一階文に変換する色分け法を用いる。
• 組み込み加法および乗法を備えた算術的拡張構造を用い、既知の FO と一様 AC0 の同値性を活用して一様 AC0 回路をシミュレートする。
• グラフ内での深さ ℓ までの到達可能性を捉える帰納的定義による論理式 ψℓ(x) を構築し、量化子ランク q+1 の文 ϕq+1 を得る。
• FOq と FOq+1 を分離するために Sipser 関数をハード問題として適用し、任意の FOq 文が算術的構造上ですべての FOq+1 文と同一のクラスを定義できないことを証明する。
• 回路論的推論を用いる：ある文 ϕ ∈ FOq が集合 S を定義すると仮定し、深さ q+2 で底のファンインが有界な一様 AC0 回路を導出し、Sipser 関数に対する既知の回路下界と矛盾することを示す。
• 論理的還元技術を用いる：ある問題が、否定や存在的量化子のスコープ外にある第二階変数を用いて Fagin で定義可能であれば、ある FOq でスライスごとに定義可能である。

実験結果

リサーチクエスチョン

• RQ1 k-頂点被覆問題は、k とは無関係に有界された量化子ランクをもつ一階論理で定義可能か？
• RQ2 すべての d に対して、d-ハイパーグラフ上のパラメータ付きヒッティングセット問題が、ある一様な上限 q で FOq に定義可能か？
• RQ3 組み込み加法および乗法を備えた構造上での量化子ランク階層 FOq は崩壊するか、それともすべての q ∈ ℕ に対して FOq ⊊ FOq+1 が成り立つか？
• RQ4 色分け法を用いることで、そうでなければ高量化子深さを要する問題に対し、一様かつ低量化子ランクの定義が可能か？

主な発見

• すべての k ∈ ℕ に対して、k-頂点被覆問題は FO₁₆ でスライスごとに定義可能であり、これは k の値に関係なく、量化子ランク 16 の一階文で決定可能であることを意味する。
• d-ハイパーグラフにおいて、パラメータ付き d-ヒッティングセット問題は q = O(d²) の FOq でスライスごとに定義可能であり、d に対して多項式的依存関係があることを示している。
• 階層 (FOq)q∈ℕ は厳密である：組み込み加法および乗法を備えた構造上では、すべての q ∈ ℕ に対して FOq ⊊ FOq+1 が成り立つ。
• 有界された量化子ランクをもつ FO でスライスごとに定義可能な問題のクラスは、para-AC0 と一致する。これにより、このパラメータ付き回路クラスの記述的複雑度の特徴づけが得られた。
• (q+1)-クリークの存在は、FO⌊(q+1)/4⌋ で表現できないため、量化子ランク階層は崩壊しない。
• 組み込み算術の存在は本質的である：加法および乗法がなければ、p-VERTEX-COVER ですら、任意の固定された q に対して FOq でスライスごとに定義可能でない。