[论文解读] An Extremal Problem On Potentially $K_{r+1}-H$-graphic Sequences

Chunhui Lai, Lili Hu|arXiv (Cornell University)|Mar 11, 2006

Digital Image Processing Techniques被引用 4

一句话总结

该论文确定了极端函数 σ(K_{r+1}−H,n) 的精确值，该函数给出了确保图形序列包含 K_{r+1}−H 子图所需的最小度数之和，其中 r ≥ 3 且 n 足够大。研究发现，当 H 是一个包含 4 个顶点的树但不含三角形的 k ≥ 4 个顶点的图时，σ(K_{r+1}−H,n) = (r−1)(2n−r)−2(n−r)；同样地，当 H = P₂（3 个顶点的路径）时，在类似条件下该等式也成立。

ABSTRACT

Let $K_k$, $C_k$, $T_k$, and $P_{k}$ denote a complete graph on $k$ vertices, a cycle on $k$ vertices, a tree on $k+1$ vertices, and a path on $k+1$ vertices, respectively. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $σ(K_{r+1}-H, n)$ for $n\geq 4r+10, r\geq 3, r+1 \geq k \geq 4$ where $H$ is a graph on $k$ vertices which contains a tree on 4 vertices but not contains a cycle on 3 vertices. We also determine the values of $σ(K_{r+1}-P_2, n)$ for $n\geq 4r+8, r\geq 3$. There are a number of graphs on $k$ vertices which containing a tree on 4 vertices but not containing a cycle on 3 vertices (for example, the cycle on $k$ vertices, the tree on $k$ vertices, and the complete 2-partite graph on $k$ vertices, etc).

研究动机与目标

• 确定极端函数 σ(K_{r+1}−H,n) 的精确值，即确保每个 n 项图形序列都包含 K_{r+1}−H 子图所需的最小度数之和。
• 将先前关于潜在 H-图形序列的研究结果扩展到 H 是 K_{r+1} 缺少少量边的子图的情形，特别是当 H 包含一个 4 个顶点的树但不含三角形时。
• 通过利用 Yin-Li 方法和度数序列分析，解决了一类广泛图 H 的极端问题，包括路径 P₂ 和树 T₃。
• 在明确的 n 和 r 条件下建立 σ(K_{r+1}−H,n) 的紧致界，特别是当 n ≥ 4r+10 且 r ≥ 3 时。

提出的方法

• 使用 Yin-Li 方法，一种系统性技术，用于确定极端图形序列阈值，以分析度数序列的结构。
• 应用通过‘卸下’一个度数 d_k 从序列 π 得到的余数序列 π′_k 的概念，以减小问题规模并分析可实现性。
• 采用潜在 K_{r+1}−H-图形性的充分条件：若 d_r ≥ r，d_{r+1} ≥ r−2，或 d_{2r+2} ≥ r−1，则 π 是潜在 K_{r+1}−H-图形的。
• 在与所需极端阈值矛盾的假设下，通过度数分布的案例分析推导出 σ(π) 的上界。
• 应用极端图论概念，特别是 Turán 型结果，以限制避免特定子图的图的最大边数。
• 使用反证法：假设 σ(π) 足够大以强制产生 K_{r+1}−H 子图，若 σ(π) 低于阈值，则导出矛盾。

实验结果

研究问题

• RQ1 对于包含一个 4 个顶点的树但不含三角形的 k ≥ 4 个顶点的图 H，σ(K_{r+1}−H,n) 的精确值是什么？
• RQ2 当 r ≥ 3 且 n 较大时，极端函数 σ(K_{r+1}−P₂,n) 的行为如何？
• RQ3 Yin-Li 方法能否扩展到单一边删除之外的广泛图 H，以确定 σ(K_{r+1}−H,n)？
• RQ4 确保图形序列包含 K_{r+1} 减去一个小型子图 H 作为子图的度数之和阈值是多少？
• RQ5 对于哪些 n 和 r 的取值，边界 σ(K_{r+1}−H,n) = (r−1)(2n−r)−2(n−r) 是紧致且可实现的？

主要发现

• 当 r ≥ 3 且 n ≥ 4r+10 时，若 H 是一个包含 4 个顶点的树但不含三角形的 k ≥ 4 个顶点的图，则 σ(K_{r+1}−H,n) = (r−1)(2n−r)−2(n−r)。
• 当 r ≥ 3 且 n ≥ 4r+8 时，σ(K_{r+1}−P₂,n) = (r−1)(2n−r)−2(n−r)+2，其中 P₂ 是一个 3 个顶点的路径。
• 当 r ≥ 3 且 n ≥ 4r+10 时，σ(K_{r+1}−T₃,n) = (r−1)(2n−r)−2(n−r) 成立，其中 T₃ 是一个 4 个顶点的树。
• 极端函数 σ(K_{r+1}−H,n) 与 H 的具体结构无关，只要 H 包含一个 4 个顶点的树且不含三角形，且 k ∈ [4,r+1]。
• 结果是紧致的：低于阈值的度数之和序列可能无法成为潜在 K_{r+1}−H-图形序列，这一点通过反证法得以证明。
• Yin-Li 方法成功扩展至非边删除的完全图，使得能够精确计算复杂子图包含的极端阈值。