[论文解读] Properties of Catlin's reduced graphs and supereulerian graphs

Weiguo Chen, Zhi‐Hong Chen+1 more|arXiv (Cornell University)|Jan 7, 2016

Advanced Graph Theory Research参考文献 13被引用 4

一句话总结

本文研究了 Catlin 的简化图的结构性质及其对满足度条件的广义欧拉图的影响。通过分析 3-边连通图在相邻顶点度数和的下界逐渐提高时（$¯{σ}_2(G) \geq \frac{2n}{p} - 2$）的简化过程，揭示了当 $p$ 从 10 增加到 15 和 16 时，简化图的演化规律，识别出 $G_a$、$G_b$ 和 $G_c$ 等极值图，这些图代表边界情况：图本身可能不是广义欧拉图，但其简化图分别为 $P$、$P_{14}$ 或 $P_{16}$。

ABSTRACT

A graph $G$ is called collapsible if for every even subset $R\subseteq V(G)$, there is a spanning connected subgraph $H$ of $G$ such that $R$ is the set of vertices of odd degree in $H$. A graph is the reduction of $G$ if it is obtained from $G$ by contracting all the nontrivial collapsible subgraphs. A graph is reduced if it has no nontrivial collapsible subgraphs. In this paper, we first prove a few results on the properties of reduced graphs. As an application, for 3-edge-connected graphs $G$ of order $n$ with $d(u)+d(v)\ge 2(n/p-1)$ for any $uv\in E(G)$ where $p>0$ are given, we show how such graphs change if they have no spanning Eulerian subgraphs when $p$ is increased from $p=1$ to 10 then to $15$.

研究动机与目标

• 分析通过 Catlin 简化方法导出的简化图的结构性质。
• 确定当度条件阈值 $p$ 从 10 增加到 15 时，3-边连通图的简化过程如何变化。
• 识别在不满足广义欧拉图条件但达到边界条件 $\u00af{σ}_2(G) \geq \frac{2n}{p} - 2$ 的极值图。
• 研究彼得森图及其变体 ($P_{14}, P_{16}$) 作为非广义欧拉图在度条件 $p$ 增加时的简化图所起的作用。
• 检验现有广义欧拉图度条件的有效性与紧致性，并提出潜在改进。

提出的方法

• 应用 Catlin 的简化方法，将所有非平凡可收缩子图收缩为单个顶点，从而得到图 $G$ 的简化图 $G'$。
• 利用关键等价关系：$G \in \mathcal{S\!L}$ 当且仅当 $G' \in \mathcal{S\!L}$，将广义欧拉图问题转化为对 $G'$ 的分析。
• 在条件 $\u00af{σ}_2(G) \geq \frac{2n}{p} - 2$ 下，分析随着 $p$ 增大时 $G'$ 的阶数与结构，其中 $n$ 为 $G$ 的阶数。
• 通过度数和界与二分图子图分析（如 $H_b$）推导矛盾，当 $G'$ 的围长至少为 5 且包含特定子结构时。
• 构造极值图 $G_a$、$G_b$ 和 $G_c$，其中每个连通分量为完全图 $K_s$ 或近乎完全图 $K_s - e$，并证明此时 $G^\prime = P_{14}$、$P_{16}$ 或 $P$。
• 利用大小界中的等式条件（如 $n = \sum |V(H(v))|$）证明：当等式成立时，各分量必须恰好为 $K_s$ 或 $K_s - e$

实验结果

研究问题

• RQ1 当度条件 $\u00af{σ}_2(G) \geq \frac{2n}{p} - 2$ 中的参数 $p$ 增大时，3-边连通图 $G$ 的简化图 $G'$ 的结构如何变化？
• RQ2 哪些极值图在不满足广义欧拉图条件但达到边界条件 $\u00af{σ}_2(G) \geq \frac{2n}{p} - 2$ 时被实现？它们的简化图是什么？
• RQ3 非广义欧拉图在满足 $\u00af{σ}_2(G) \geq \frac{2n}{p} - 2$ 时，其简化图能否为 $P_{14}$ 或 $P_{16}$？哪些结构约束会促成这种结果？
• RQ4 度条件 $\u00af{σ}_2(G) \geq \frac{2n}{p} - 2$ 对于 $p = 15$ 或 $16$ 是否紧致？若该条件被放宽，会发生什么？
• RQ5 若度阈值降低至 $\u00af{σ}_2(G) > \frac{n}{9} - 2$，是否仍存在 $G$ 可收缩为彼得森图 $P$ 的猜想？

主要发现

• 当 $p = 10$ 时，若 $\u00af{σ}_2(G) \geq \frac{2n}{10} - 2$，则 $G$ 要么是广义欧拉图，要么其简化图是 $P$；若 $\u00af{σ}_2(G) > \frac{2n}{10} - 2$，则 $G$ 必为广义欧拉图。
• 当 $\u00af{σ}_2(G) \geq \frac{2n}{14} - 2$ 时，简化图 $G'$ 要么是 $P$，要么是 $P_{14}$，且极值图 $G_b$（其中 $n=14s$，分量为 $K_s$ 或 $K_s-e$）实现了该边界。
• 当 $p = 15$ 时，若 $\u00af{σ}_2(G) > \frac{2n}{15} - 2$，则 $G$ 要么是广义欧拉图，要么其简化图属于 $\{P, P_{14}\}$，表明随着 $p$ 增大，结构发生转变。
• 极值图 $G_c$（$n=16s$，且 $G' = P_{16}$）表明，定理 4.1 中的条件 $\u00af{σ}_2(G) \geq \frac{2n}{16} - 2$ 无法放松为 $\frac{2n}{16} - 2$，因为 $G_c$ 不是广义欧拉图。
• 等式 $n = \sum_{v \in V(G')} |V(H(v))|$ 仅在每个 $H(v)$ 恰好为 $K_s$ 或 $K_s - e$ 时成立，这强制了 $G_a$、$G_b$ 和 $G_c$ 的极值结构。
• 猜想：若 $\u00af{σ}_2(G) > \frac{n}{9} - 2$，则 $G$ 是广义欧拉图或可收缩为 $P$，该猜想尚未被证明，但极值图的构造表明其可能成立。