[论文解读] An extremal problem on potentially $K_{m}-C_{4}$-graphic sequences

Chunhui Lai|ArXiv.org|Sep 3, 2004

Digital Image Processing Techniques参考文献 8被引用 3

一句话总结

本文研究了确定保证图序列包含 $K_m - C_4$ 子图的最小度和的极值问题。证明了 $\sigma(K_m - C_4, n)$ 的下界，并在 $m=5$ 时确认等式成立，确立了当 $n \geq 5$ 时 $\sigma(K_5 - C_4, n) = 4n - 4$，支持了关于所有 $n \geq m \geq 4$ 的精确阈值的更广泛猜想。该结果将极值图论扩展至包含禁止子结构的潜在 $H$-图序列。

ABSTRACT

A sequence $S$ is potentially $K_{m}-C_{4}$-graphical if it has a realization containing a $K_{m}-C_{4}$ as a subgraph. Let $σ(K_{m}-C_{4}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-C_{4}, n)$ is potentially $K_{m}-C_{4}$-graphical. In this paper, we prove that $σ(K_{m}-C_{4}, n)\geq (2m-6)n-(m-3)(m-2)+2,$ for $n \geq m \geq 4.$ We conjecture that equality holds for $n \geq m \geq 4.$ We prove that this conjecture is true for $m=5$.

研究动机与目标

• 确定最小度和 $\sigma(K_m - C_4, n)$，使得每个具有该度和的 $n$ 项图序列均为潜在 $K_m - C_4$-图序列。
• 为 $n \geq m \geq 4$ 的 $\sigma(K_m - C_4, n)$ 建立下界。
• 证明当 $m = 5$ 时，$\sigma(K_m - C_4, n)$ 的猜想精确公式成立。
• 将极值图论结果从强制 $H$-图序列扩展至涉及 $K_m - C_4$ 子图的潜在 $H$-图序列。

提出的方法

• 通过构造图 $H = K_{m-3} + \overline{K_{n-m+3}}$ 作为不包含 $K_m - C_4$ 的实现，推导出 $\sigma(K_m - C_4, n)$ 的下界。
• 对 $n$ 使用归纳法，证明所有满足 $\sigma(S) \geq 4n - 4$ 的 $n$ 项图序列在 $n \geq 5$ 时均为潜在 $K_5 - C_4$-图序列。
• 通过度序列分析和顶点移除，将问题简化为更小的情形，利用关于 $K_4$-包含实现的已知结果。
• 使用边交换技术修改图实现，必要时构造 $K_5 - C_4$ 子图。
• 应用先前研究（如 [4], [6]）中关于 $K_4$-包含实现和度序列性质的结果，以支持归纳论证。
• 利用 $K_5 - C_4$ 是从 $K_5$ 中移除一个四元环的四条边形成的事实，通过有策略的顶点与边分析构造此类子图。

实验结果

研究问题

• RQ1 对于 $n \geq m \geq 4$，保证图序列为潜在 $K_m - C_4$-图序列的最小度和 $\sigma(K_m - C_4, n)$ 是多少？
• RQ2 下界 $\sigma(K_m - C_4, n) \geq (2m - 6)n - (m - 3)(m - 2) + 2$ 是否对所有 $n \geq m \geq 4$ 取等？
• RQ3 猜想公式 $\sigma(K_m - C_4, n) = (2m - 6)n - (m - 3)(m - 2) + 2$ 在 $m = 5$ 时是否成立？
• RQ4 潜在 $K_m - C_4$-图序列的极值阈值是否可通过度和与归纳构造来刻画？

主要发现

• 本文建立了下界：对所有 $n \geq m \geq 4$，有 $\sigma(K_m - C_4, n) \geq (2m - 6)n - (m - 3)(m - 2) + 2$。
• 当 $m = 5$ 时，精确值已证明：对所有 $n \geq 5$，有 $\sigma(K_5 - C_4, n) = 4n - 4$。
• 通过构造图 $H = K_{m-3} + \overline{K_{n-m+3}}$ 且其不包含 $K_m - C_4$ 子图，经度和计算确认了该下界。
• 对 $m = 5$ 的归纳证明依赖于对顶点度的分析，并利用边交换技术构造所需的 $K_5 - C_4$ 子图。
• 结果证实了 $m = 5$ 时的猜想，支持了更广泛的猜想：对所有 $n \geq m \geq 4$，有 $\sigma(K_m - C_4, n) = (2m - 6)n - (m - 3)(m - 2) + 2$。
• 证明表明，任何满足 $\sigma(S) \geq 4n - 4$ 的 $n$ 项图序列均存在一个包含 $K_5 - C_4$ 的实现，即使在度约束如 $d_n \geq 3$ 下也成立。