[论文解读] Equivalence between Extendibility and Factor-Criticality

Zan‐Bo Zhang, Tao Wang+1 more|arXiv (Cornell University)|Nov 15, 2010

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

一句话总结

本文建立了非二分图中 $k$-可扩展性与 $2k$-因子临界性之间等价关系的紧下界，以及奇数阶图中 $k\frac{1}{2}$-可扩展性与 $(2k+1)$-因子临界性之间等价关系的紧下界。证明了当 $k \geq (\nu+2)/4$ 时，非二分图是 $k$-可扩展的当且仅当它是 $2k$-因子临界；当 $k \geq (\nu-3)/4$ 时，图是 $k\frac{1}{2}$-可扩展的当且仅当它是 $(2k+1)$-因子临界，且通过构造极值图证明了这两个界均为最优。

ABSTRACT

In this paper, we show that if $k\geq (ν+2)/4$, where $ν$ denotes the order of a graph, a non-bipartite graph $G$ is $k$-extendable if and only if it is $2k$-factor-critical. If $k\geq (ν-3)/4$, a graph $G$ is $k\ 1/2$-extendable if and only if it is $(2k+1)$-factor-critical. We also give examples to show that the two bounds are best possible. Our results are answers to a problem posted by Favaron [3] and Yu [11].

研究动机与目标

• 解决 Favaron 和 Yu 长期以来提出的关于在非二分图中是否存在一个非平凡函数将 $k$-可扩展性与 $n$-因子临界性联系起来的开放问题。
• 确定相对于图的阶 $\nu$，$k$ 的最小值，以确保 $k$-可扩展图是 $2k$-因子临界。
• 将等价关系扩展至 $k\frac{1}{2}$-可扩展图，并建立 $(2k+1)$-因子临界性的相应阈值。
• 通过构造极值图证明所推导出的 $k$ 的界是最优的，即当 $k$ 较小时等价关系不再成立。

提出的方法

• 使用归纳法和匹配扩展论证，证明满足 $k \geq (\nu+2)/4$ 的 $k$-可扩展非二分图是 $2k$-因子临界。
• 利用引理 1.8 推导出 $k$-可扩展图对所有 $m \leq k$ 也是 $m$-可扩展的这一事实，从而将问题简化为更小的情形。
• 通过假设存在一个大小为 $2k$ 的集合 $S$，使得 $G-S$ 没有完美匹配，应用因子临界性概念，并在 $G-v$ 中通过匹配扩展导出矛盾。
• 构造图族 $H^{(k)} = I_{k+2} \vee (K_{k+3} \cup K_{2k})$，以证明当 $k < (\nu-3)/4$ 时，$k\frac{1}{2}$-可扩展性不蕴含 $(2k+1)$-因子临界性。
• 通过奇偶性和顶点划分的大小分析，证明从 $H^{(k)}$ 中移除任意 $2k+1$ 个顶点后仍存在完美匹配，从而证明其 $k\frac{1}{2}$-可扩展性。
• 利用关于最小度和连通性的已知结果（如引理 1.10）来约束 $k$-可扩展图的结构特性。

实验结果

研究问题

• RQ1 相对于 $\nu$，$k$ 的哪些取值使得 $k$-可扩展性蕴含非二分图中的 $2k$-因子临界性？
• RQ2 $k \geq (\nu+2)/4$ 这一界对于 $k$-可扩展性与 $2k$-因子临界性之间的等价性是否最优？
• RQ3 能否在 $k\frac{1}{2}$-可扩展性与 $(2k+1)$-因子临界性之间建立类似的等价关系？其成立的最小 $k$ 值是多少？
• RQ4 所推导出的 $k$ 的界是否为最优，还是可以进一步改进？
• RQ5 能否通过极值构造证明这些界是紧的？

主要发现

• 当 $k \geq (\nu+2)/4$ 时，非二分图是 $k$-可扩展的当且仅当它是 $2k$-因子临界。
• 当 $k \geq (\nu-3)/4$ 时，图是 $k\frac{1}{2}$-可扩展的当且仅当它是 $(2k+1)$-因子临界。
• $k$-可扩展图的界 $k \geq (\nu+2)/4$ 是最优的，因为当 $k < (\nu+2)/4$ 时存在反例。
• $k\frac{1}{2}$-可扩展图的界 $k \geq (\nu-3)/4$ 同样是最优的，通过构造 $H^{(k)}$ 得到证明。
• 图 $H^{(k)} = I_{k+2} \vee (K_{k+3} \cup K_{2k})$ 是 $k\frac{1}{2}$-可扩展但不是 $(2k+1)$-因子临界，证明了该界是紧的。
• 本研究解决了 Favaron 和 Yu 提出的关于 $k$-可扩展性与 $n$-因子临界性之间存在非平凡函数联系的开放问题。