[论文解读] The existence of a path-factor without small odd paths

Yoshimi Egawa, Michitaka Furuya|arXiv (Cornell University)|Mar 30, 2015

Advanced Graph Theory Research参考文献 3被引用 3

一句话总结

本文建立了图 G 中存在 {P₂, P₅}-因子的充分条件：若对任意子集 X ⊆ V(G)，不等式 c₁(G−X) + (2/3)c₃(G−X) ≤ (4/3)|X| + 1/3 成立，则 G 具有 {P₂, P₅}-因子。该结果提供了紧致且最优的条件，推广了已知的路径因子理论，并为研究 {P₂, P₂ₖ₊₁}-因子提供了理论基础，尽管其判定问题为 NP-完全。

ABSTRACT

In this paper, we show that if a graph $G$ satisfies $c_{1}(G-X)+\frac{2}{3}c_{3}(G-X)\leq \frac{4}{3}|X|+\frac{1}{3}$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{5}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$.

研究动机与目标

• 建立图中存在 {P₂, P₅}-因子的充分条件，解决一个虽为 NP-完全但具有理论重要性的问题。
• 通过将分量计数条件扩展至排除小奇路径（特别是 P₃），推广已知的路径因子结果。
• 为研究 {P₂, P₂ₖ₊₁}-因子提供理论基础，这些因子的判定问题在 k ≥ 2 时为 NP-完全。
• 通过构造满足不等式但不具有 {P₂, P₅}-因子的图，证明充分条件中边界的紧致性。
• 提出关于 k ≥ 3 时 {P₂, P₂ₖ₊₁}-因子存在的猜想，并在边界中给出最优系数。

提出的方法

• 证明通过在删除顶点后对图进行结构分解，分析 G−X 中孤立点（c₁）和三顶点分量（c₃）的行为，适用于所有子集 X ⊆ V(G)。
• 应用已知等价关系：G 具有 {P₂, P₅}-因子当且仅当其具有不含 P₃ 分量的路径因子。
• 主要论证依赖于对 G−X 中分量结构的归纳法与情形分析，利用 P₅ 可分解为 P₂ 和 P₃ 的事实，但重点在于排除小奇路径。
• 通过构造辅助图并使用双重计数论证，将小分量的数量以 |X| 表示，从而导出涉及 c₁ 和 c₃ 的关键不等式。
• 通过一族从完全图和连接路径构造的图 H′ₙ，证明紧致性，这些图满足边界条件但不具有 {P₂, P₅}-因子。
• 该方法可扩展至 k ≥ 3 的猜想边界，通过分析阶为 2j+1 的分量（j < k），特别是当 k ≡ 0 (mod 3) 时。

实验结果

研究问题

• RQ1 在一般图中，满足什么条件时存在 {P₂, P₅}-因子，尽管 {P₂, P₂ₖ₊₁}-因子问题为 NP-完全？
• RQ2 是否可将涉及 c₁(G−X) 和 c₃(G−X) 的分量计数条件作为 {P₂, P₅}-因子存在的充分条件？
• RQ3 充分条件中的边界 (4/3)|X| + 1/3 是否最优，或可进一步改进？
• RQ4 对于 k ≥ 3，线性边界中 ∑₀≤ⱼ≤ₖ₋₁c₂ⱼ₊₁(G−X) 的最优系数是多少，可保证存在 {P₂, P₂ₖ₊₁}-因子？
• RQ5 能否利用无 {P₂, P₂ₖ₊₁}-因子图的结构，推导出紧致的必要与充分条件？

主要发现

• 对所有 X ⊆ V(G)，不等式 c₁(G−X) + (2/3)c₃(G−X) ≤ (4/3)|X| + 1/3 成立是 {P₂, P₅}-因子存在的充分条件。
• 边界 (4/3)|X| + 1/3 是最优的，因为存在无穷多组图满足该不等式但不具有 {P₂, P₅}-因子。
• 当 k ≥ 3 且 k ≡ 0 (mod 3) 时，存在无穷多组图不具有 {P₂, P₂ₖ₊₁}-因子，且对所有 X 满足 ∑₀≤ⱼ≤ₖ₋₁c₂ⱼ₊₁(G−X) ≤ (4k+6)/(8k+3)|X| + (2k+3)/(8k+3)。
• 边界中系数 (4k+6)/(8k+3) 对于此类图是紧致的，表明其在 {P₂, P₂ₖ₊₁}-因子的猜想充分条件中可能为最优。
• 该结果为 {P₂, P₂ₖ₊₁}-因子提供了理论框架，尽管当 k ≥ 2 时其判定问题为 NP-完全。
• 本文确认 {P₂, P₅}-因子问题在一般情况下并非多项式时间可解，但提供了既紧致又可推广的强充分条件。