[論文レビュー] The vertex Folkman numbers $F_v(a_1, ..., a_s; m - 1) = m + 9$, if $\max\{a_1, ..., a_s\} = 5$

Aleksandar Bikov, Nedyalko Nenov|arXiv (Cornell University)|Mar 29, 2015

Limits and Structures in Graph Theory参考文献 16被引用数 4

ひとこと要約

本稿では、$[ a_1, \dots, a_s \u005d$ の最大値が 5 であるとき、頂点フォルクマン数 $F_v(a_1, \dots, a_s; m-1) = m + 9$ が成り立つことを確立し、このような標準的フォルクマン数の正確な値を証明する。計算的検証とグラフ理論的構成を用いて、$F_v(2,2,5;6) = 16$ を確認し、一般式に拡張する。また、最大クリークサイズが 6 の場合、$m+9 \leq F_v(\dots; m-1) \leq m+10$ の境界を確立する。

ABSTRACT

For a graph $G$ the expression $G \overset{v}{ ightarrow} (a_1, ..., a_s)$ means that for any $s$-coloring of the vertices of $G$ there exists $i \in \{1, ..., s\}$ such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman numbers $$F_v(a_1, ..., a_s; m - 1) = \min\{\vert V(G) \vert : G \overset{v}{ ightarrow} (a_1, ..., a_s) \mbox{ and } K_{m - 1} ot\subseteq G\}.$$ are considered, where $m = \sum_{i = 1}^{s}(a_i - 1) + 1$. With the help of computer we show that $F_v(2, 2, 5; 6) = 16$ and then we prove $$F_v(a_1, ..., a_s; m - 1) = m + 9,$$ if $\max\{a_1, ..., a_s\} = 5$. We also obtain the bounds $$m + 9 \leq F_v(a_1, ..., a_s; m - 1) \leq m + 10,$$ if $\max\{a_1, ..., a_s\} = 6$. Keywords: Folkman number, Ramsey number, clique number, independence number, chromatic number

研究の動機と目的

• タプル内の最大クリークサイズが 5 であるとき、頂点フォルクマン数 $F_v(a_1, \dots, a_s; m-1)$ の正確な値を特定すること。
• $F_v(2,2,5;6)$ の計算という未解決問題を解き、一般ケースの基盤を提供すること。
• $\max\{a_1, \dots, a_s\} = 5$ を満たすすべての標準的頂点フォルクマン数に対して、$F_v(\dots; m-1) = m + 9$ を証明すること。
• 最大クリークサイズが 6 の場合のタイトな境界を確立し、$m+9 \leq F_v(\dots; m-1) \leq m+10$ を示すこと。

提案手法

• 16 頂点の極値グラフの構築と解析により、$F_v(2,2,5;6) = 16$ を計算的検証で確認する。
• 特定のサイズの単色クリークを強制するが $K_q$ を部分グラフとして含まないグラフの集合 $\mathcal{H}(a_1, \dots, a_s; q)$ を定義・分析する。
• 補グラフや結合演算の使用を含む、極値グラフを生成するためのグラフ構成技法を適用する。
• 既知の極値グラフから辺の削除・追加を繰り返す再帰的手続きを用いて、$\mathcal{H}(a_1, \dots, a_s; q; n)$ 内の最大グラフを生成する。
• 既存の文献からの既知の結果（特に定理 1.1 と定理 7.2）を活用し、境界と等号成立ケースを導出する。
• $m = 7$ と $m = 8$ の場合にそれぞれ $\Gamma_1$ と $\Gamma_2$ と呼ばれる 17 頂点のグラフを構築することで、$m = 7$ と $m = 8$ に対する上界を確認し、一般化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 頂点フォルクマン数 $F_v(2,2,5;6)$ の正確な値は何か？
• RQ2 すべての標準的タプルについて、$\max\{a_1, \dots, a_s\} = 5$ のとき、$F_v(a_1, \dots, a_s; m-1) = m + 9$ が成り立つか？
• RQ3 最大クリークサイズが 6 の場合、$F_v(a_1, \dots, a_s; m-1)$ のタイトな境界は何か？
• RQ4 最大クリークサイズが 5 の場合、$F_v(a_1, \dots, a_s; m-1)$ の極値グラフを体系的に構築できるか？
• RQ5 $\mathcal{H}(a_1, \dots, a_s; q)$ 内の最大グラフおよび双臨界グラフの性質は、フォルクマン数の特定にどのように寄与するか？

主な発見

• 頂点フォルクマン数 $F_v(2,2,5;6)$ は正確に 16 であり、16 頂点の極値グラフのコンピュータ支援的構築により確認された。
• すべての標準的タプルについて $\max\{a_1, \dots, a_s\} = 5$ のとき、頂点フォルクマン数は $F_v(a_1, \dots, a_s; m-1) = m + 9$ を満たす。ここで $m = \sum_{i=1}^s (a_i - 1) + 1$ である。
• 最大クリークサイズが 6 の場合、上界 $F_v(a_1, \dots, a_s; m-1) \leq m + 10$ が確立され、下界 $m + 9$ と一致する。
• 極値グラフ $F_v(2,2,5;6)$ は一意的であり、$m = 8$ のとき $K_{m+9} - C_{11}$ と同型である。これは既知の極値グラフ構造と整合的である。
• 著者らは、$m = 7$ と $m = 8$ の場合にそれぞれ $\Gamma_1$ と $\Gamma_2$ と呼ばれる明示的な 17 頂点のグラフを構築し、一般式を確認した。
• 証明は、$\mathcal{H}(a_1, \dots, a_s; q; n)$ 内の最大グラフの存在に依拠しており、反復的辺変更による一貫した方法でそれらを生成・検証する。