[论文解读] 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

一句话总结

该论文证明了当 $ \max\{a_1, \dots, a_s\} = 5$  时，顶点 Folkman 数 $F_v(a_1, \dots, a_s; m-1) = m + 9$，从而确定了所有此类标准 Folkman 数的精确值。通过计算验证与图论构造，作者确认了 $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 时，顶点 Folkman 数 $F_v(a_1, \dots, a_s; m-1)$ 的精确值。
• 解决计算 $F_v(2,2,5;6)$ 的开放问题，该问题是推广到一般情况的基础。
• 将结果扩展到所有满足 $\max\{a_1, \dots, a_s\} = 5$ 的标准顶点 Folkman 数，证明 $F_v(\dots; m-1) = m + 9$。
• 为 $\max\{a_1, \dots, a_s\} = 6$ 的情况建立紧致边界，表明 $m+9 \leq F_v(\dots; m-1) \leq m+10$。

提出的方法

• 通过构建并分析一个 16 个顶点的极值图，使用计算验证确认了 $F_v(2,2,5;6) = 16$。
• 作者定义并分析了图集 $\mathcal{H}(a_1, \dots, a_s; q)$，该图集能强制产生指定大小的单色团，但不包含 $K_q$ 子图。
• 应用图构造技术以生成极值图，包括补图和图的联接运算。
• 采用递归过程，通过从已知极值图中删减或添加边，生成 $\mathcal{H}(a_1, \dots, a_s; q; n)$ 中的最大图。
• 证明利用了先前文献中的已知结果，包括定理 1.1 和定理 7.2，以推导边界和等式情形。
• 构造了特定的 17 个顶点图 $\Gamma_1$ 和 $\Gamma_2$，分别确认了 $m = 7$ 和 $m = 8$ 时的上界，从而支持了公式的推广。

实验结果

研究问题

• RQ1 顶点 Folkman 数 $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 当 $\max\{a_1, \dots, a_s\} = 6$ 时，$F_v(a_1, \dots, a_s; m-1)$ 的最紧边界是什么？
• RQ4 能否系统地构造出 $\max\{a_i\} = 5$ 时 $F_v(a_1, \dots, a_s; m-1)$ 的极值图？
• RQ5 集合 $\mathcal{H}(a_1, \dots, a_s; q)$ 中极大图与双临界图的性质如何有助于确定 Folkman 数？

主要发现

• 顶点 Folkman 数 $F_v(2,2,5;6)$ 恰好为 16，通过计算机辅助构造一个 16 个顶点的极值图得到确认。
• 对于所有满足 $\max\{a_1, \dots, a_s\} = 5$ 的标准元组，顶点 Folkman 数满足 $F_v(a_1, \dots, a_s; m-1) = m + 9$，其中 $m = \sum_{i=1}^s (a_i - 1) + 1$。
• 当 $\max\{a_1, \dots, a_s\} = 6$ 时，建立了上界 $F_v(a_1, \dots, a_s; m-1) \leq m + 10$，并匹配了下界 $m + 9$。
• $F_v(2,2,5;6)$ 的极值图是唯一的，且同构于 $K_{m+9} - C_{11}$，其中 $m = 8$，与已知极值图结构一致。
• 作者显式构造了 17 个顶点的图 $\Gamma_1$ 和 $\Gamma_2$，分别对应 $m = 7$ 和 $m = 8$ 的极值情况，从而确认了通用公式。
• 证明依赖于 $\mathcal{H}(a_1, \dots, a_s; q; n)$ 中极大图的存在性，并通过迭代边修改系统化地生成和验证这些图。