[論文レビュー] Succinct Definitions in the First Order Theory of Graphs II: No Quantifier Alternation

Oleg Pikhurko, Joel Spencer+1 more|arXiv (Cornell University)|May 17, 2004

Limits and Structures in Graph Theory被引用数 1

ひとこと要約

この論文は、量化子の入れ替えなしでグラフを同型を除いて定義するために必要な最小の量化子深さを調査し、すべての位数 $ n $ のグラフに対してその最小深さ $ q_0(n) $ について、タイトな境界を確立する。$ \log^*n - \log^*\log^*n - 1 \leq q_0(n) \leq \log^*n + 22 $ を証明し、深さが小さいモジュラー分解を持つグラフを用いて上界を達成する。

ABSTRACT

Let $D(G)$ be the minimum quantifier depth of a first order sentence $\Phi$ that defines a graph $G$ up to isomorphism. Let $D_0(G)$ be the version of $D(G)$ where we do not allow quantifier alternations in $\Phi$. Define $q_0(n)$ to be the minimum of $D_0(G)$ over all graphs $G$ of order $n$. We prove that for all $n$ we have $\log^*n-\log^*\log^*n-1\le q_0(n)\le \log^*n+22$, where $\log^*n$ is equal to the minimum number of iterations of the binary logarithm needed to bring $n$ to 1 or below. The upper bound is obtained by constructing special graphs with modular decomposition of very small depth.

研究の動機と目的

• 第一階論理を用いて量化子の入れ替えなしでグラフ $ G $ を同型を除いて定義するために必要な最小の量化子深さ $ D_0(G) $ を特定すること。
• 位数 $ n $ のすべてのグラフ $ G $ における $ D_0(G) $ の最小値として定義される関数 $ q_0(n) $ を分析し、タイトな漸近的境界を確立すること。
• モジュラー分解が、量化子の入れ替えなしで短い第一階定義を許容するグラフの構築において果たす役割を調査すること。

提案手法

• 量化子の入れ替えなしに制限された文に限定して、グラフ $ G $ を同型を除いて定義する最小の量化子深さ $ D_0(G) $ を定義する。
• 位数 $ n $ のすべてのグラフ $ G $ における $ D_0(G) $ の最小値として $ q_0(n) $ を定義し、その漸近的挙動を分析する。
• 量化子の入れ替え制約下での区別可能なグラフの数に基づく組合せ的議論を用いて下界を確立する。
• 深さが小さいモジュラー分解を持つ特別なグラフを構築し、その構造的性質を活用して、$ q_0(n) $ の上界を達成する。
• $ n $ を 1 やそれ未満にまで減らすために繰り返し二進対数を適用する回数として定義される反復対数関数 $ \log^*n $ を中心的な漸近的測度として用いる。
• 構築されたグラフを一意に定義する第一階文を明示的に構成することで、上界 $ q_0(n) \leq \log^*n + 22 $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 位数 $ n $ の任意のグラフを定義するために必要な、量化子の入れ替えなしの最小の量化子深さ $ q_0(n) $ の漸近的成長率は何か？
• RQ2 その第一階定義が $ \log^*n $ に近い深さに達するようなグラフを構築できるか？
• RQ3 モジュラー分解の深さは、量化子の入れ替えなしの文脈において、第一階グラフ定義の短さにどのように関係するか？
• RQ4 $ q_0(n) $ のタイトな下界は何か？ そしてそれは反復対数関数と比較してどうなるか？
• RQ5 量化子の入れ替えの欠如は、同型を除いてグラフを定義する第一階論理の表現力に、どの程度制限を及えるか？

主な発見

• 論文は、$ q_0(n) $ に対して $ \log^*n - \log^*\log^*n - 1 $ の下界を確立し、これは、位数 $ n $ のいかなるグラフも、量化子の入れ替えなしでは、これより少ない量化子深さでは定義できないことを示している。
• 上界 $ \log^*n + 22 $ が $ q_0(n) $ に対して証明され、これは、位数 $ n $ のグラフのうち、同型型を最大 $ \log^*n + 22 $ の量化子深さで、かつ入れ替えなしに定義可能なものが存在することを示している。
• 上界は、非常に浅い深さのモジュラー分解を持つグラフを構築することで達成され、これにより短い第一階定義の作成が可能になる。
• 境界は定数の加法的項を除いて漸近的にタイトであるため、$ q_0(n) $ は $ \log^*n $ と正確に同じ速度で成長し、僅かな対数的補正項しか持たないことが示された。
• 結果として、第一階グラフ定義において近似的に最適な短さを達成するには、量化子の入れ替えが本質的ではないことが示された。なぜなら、同じ漸近的複雑性は、入れ替えなしでも達成可能だからである。