[论文解读] Connectivity of Direct Products of Graphs

Wei Wang, Ni-Ni Xue|arXiv (Cornell University)|Feb 25, 2011

Graph Labeling and Dimension Problems参考文献 2被引用 9

一句话总结

该论文证明了Guji和Vumar的猜想，确立了任意图$G$与完全图$K_n$（$n \geq 3$）的直接积的连通度为$\kappa(G \times K_n) = \min\{n\kappa(G), (n-1)\delta(G)\}$。证明使用归纳法，通过顶点集$S_i = \{u_i\} \times V(K_n)$对图进行分解，并分析在顶点移除下积图的连通性结构，利用了直接积的性质和最小度约束。

ABSTRACT

Let $κ(G)$ be the connectivity of $G$ and $G imes H$ the direct product of $G$ and $H$. We prove that for any graphs $G$ and $K_n$ with $n\ge 3$, $κ(G imes K_n)=min\{nκ(G),(n-1)δ(G)\}$, which was conjectured by Guji and Vumar.

研究动机与目标

• 解决Guji和Vumar关于任意图与完全图的直接积连通度的猜想。
• 将先前仅限于二分图的结果推广到一般图。
• 建立一个关于$G \times K_n$连通度的一般公式，该公式依赖于$G$的连通度和最小度。
• 为分析直接积图的连通性提供一个统一框架，超越如完全图或二分图等特殊情况。

提出的方法

• 对$G$的顶点数使用归纳法，从$|G| = 1$开始。
• 定义$S_i = \{u_i\} \times V(K_n)$为$G \times K_n$中的纤维集，以划分顶点集。
• 构建一个辅助图$G^*$，其顶点为$S_i$中非空的部分$S_i' = S_i \setminus S$，边由$G \times K_n - S$中这些部分之间的交叉边定义。
• 应用引理1，证明若两个因子均连通且至少一个含有奇圈，则$G \times K_n$连通。
• 基于顶点度和连通度界使用反证法，表明当$|S| < \min\{n\kappa(G), (n-1)\delta(G)\}$时，$G \times K_n - S$保持连通。
• 使用结构分解：若$S$完全包含某个$S_i$，则$G \times K_n - S$同构于$(G - u_i) \times K_n - (S \setminus S_i)$，从而可进行归纳应用。

实验结果

研究问题

• RQ1 该公式$\kappa(G \times K_n) = \min\{n\kappa(G), (n-1)\delta(G)\}$是否对所有有限图$G$（而不仅限于二分图）成立，如Guji和Vumar所猜想？
• RQ2 哪些$G \times K_n$的结构性质可确保在移除少量顶点后仍保持连通？
• RQ3 如何依赖于$\kappa(G)$和$\delta(G)$来决定$G \times K_n$的连通度？这两类不变量之间的确切相互作用是什么？
• RQ4 能否仅使用$\kappa(G)$和$\delta(G)$对直接积的连通度进行统一有界，而独立于$G$的具体结构？

主要发现

• 图$G \times K_n$的连通度恰好为$\min\{n\kappa(G), (n-1)\delta(G)\}$。
• 该公式对所有有限图$G$和所有$n \geq 3$均成立，证实了Guji和Vumar的猜想。
• 证明依赖于归纳论证，通过从$G$中移除一个顶点并分析所得积图，将问题简化为更小的图。
• 在给定假设下，从$S_i$的非空部分构造的辅助图$G^*$被证明是连通的。
• 关键技术洞见是：若$S$不完全包含任何$S_i$，则由于$G^*$的连通性和纤维的局部结构，$G \times K_n - S$仍保持连通。