[论文解读] Extremal graphs for clique-paths

Roman Glebov|arXiv (Cornell University)|Nov 30, 2011

Advanced Graph Theory Research参考文献 5被引用 12

一句话总结

本文确定了在避免团路径 $P_{k,r}$ 的 $n$-顶点图中，边数的极值——其中 $P_{k,r}$ 是一条 $k$ 条边的路径，且每条边被扩展为一个 $r$-团（$r \geq 3$）。对于足够大的 $n$，极值图被证明同构于 $G_{n,k,r}$，该图由大小为 $\lfloor (k-1)/2 \rfloor$ 的团与图论中的 Turán 图 $T_{n-f,r-1}$ 的连通图构成，并在 $k$ 为偶数时额外添加一条边。该结果不仅精确确定了极值边数，还唯一刻画了极值图的结构。

ABSTRACT

In this paper we deal with a Turán-type problem: given a positive integer n and a forbidden graph H, how many edges can there be in a graph on n vertices without a subgraph H? How does a graph look like if it has this extremal edge number? The forbidden graph in this article is a clique-path: a path of length k where each edge is extended to an r-clique, r >2. We determine both the extremal number and the extremal graphs for sufficiently large n.

研究动机与目标

• 确定在 $n$-顶点图中避免团路径 $P_{k,r}$（其中 $k$-路径的每条边被扩展为一个 $r$-团，$r \geq 3$）的边数的精确极值。
• 刻画在足够大的 $n$ 下，实现最大边数的所有 $P_{k,r}$-自由图的结构。
• 将已知的极值图论结果从团、星形或路径类结构，拓展到更复杂的、带有团扩展的结构。
• 确立极值图构造 $G_{n,k,r}$ 的唯一性，即在给定条件下，它是唯一实现极值边数的图。

提出的方法

• 将极值图 $G_{n,k,r}$ 构造为大小为 $f = \lfloor (k-1)/2 \rfloor$ 的团与 Turán 图 $T_{n-f,r-1}$ 的连通图，若 $k$ 为偶数则额外添加一条边。
• 应用稳定性方法与极值图论技术，证明任何边数接近最大值的 $P_{k,r}$-自由图必须同构于 $G_{n,k,r}$。
• 利用邻域与公共邻点分析，识别出‘罪犯’——即在大独立集 $S$ 上具有高邻接度的顶点——并通过度数与交集约束限制其数量。
• 通过构造三角形和边的 $P$-避免扩展，递归构建 $P_{k,r}$ 子图，证明过多此类顶点或边将导致出现禁止配置。
• 应用 Erd\'os-Stone 渐近结果与 Simonovits 的稳定性方法，将问题简化为最小度数较高的图。
• 通过反证法假设存在一个非 $G_{n,k,r}$ 的边数最大的图，然后通过连接器扩展构造出 $P_{k,r}$ 子图，从而违反 $P_{k,r}$-自由性。

实验结果

研究问题

• RQ1 对于 $r \geq 3$，$n$-顶点图中不包含团路径 $P_{k,r}$ 作为子图时，边数的最大值是多少？
• RQ2 在足够大的 $n$ 下，实现该最大边数的极值图的唯一结构是什么？
• RQ3 由大小为 $\lfloor (k-1)/2 \rfloor$ 的团与 Turán 图 $T_{n-f,r-1}$ 构成的极值图 $G_{n,k,r}$，其如何阻止 $P_{k,r}$ 的形成？
• RQ4 当 $k$ 为偶数时，添加一条额外边在何种条件下会影响极值结构？
• RQ5 极值图是否可唯一刻画为 $G_{n,k,r}$，且这是唯一实现极值边数的图？

主要发现

• 当 $n > 16k^8r^{11}$ 时，$n$ 个顶点的 $P_{k,r}$-自由图中，边数的极值当且仅当图同构于 $G_{n,k,r}$ 时被实现，其中 $G_{n,k,r}$ 是大小为 $f = \lfloor (k-1)/2 \rfloor$ 的团与 Turán 图 $T_{n-f,r-1}$ 的连通图，若 $k$ 为偶数则额外添加一条边。
• $G_{n,k,r}$ 不包含 $P_{k,r}$ 子图，因为其中每个 $r$-团至少包含一个来自附加团或额外边的顶点，且其支持的最大团路径长度为 $k-1$，未达到所需的 $k$ 条边。
• 任何边数超过 $g_{n,k,r}$ 的 $P_{k,r}$-自由图必然包含 $P_{k,r}$ 子图，从而证明了 $G_{n,k,r}$ 的极值性。
• '罪犯'——即在大独立集 $S$ 中邻接度高的顶点——的数量被限制在 $\lfloor (k-1)/2 \rfloor$ 以内，且该界是紧的。
• 当 $k$ 为偶数时，$L_i$ 集合（独立集中潜在的附加边）最多只能包含一条边；当 $k$ 为奇数时，$L_i$ 集合为独立集，这是由于形成 $P_{k,r}$ 子图的风险。
• 极值图在同构意义下唯一：$F$ 与 $S$ 之间的所有边必须存在，$S$ 必须是完全的 $(r-1)$-部 Turán 图，$F$ 必须是完全图，且当 $k$ 为偶数时需包含额外边。