[论文解读] Simplified existence theorems on all fractional [a,b]-factors

Hongliang Lu|arXiv (Cornell University)|Mar 21, 2011

Limits and Structures in Graph Theory参考文献 5被引用 5

一句话总结

本文建立了图中所有分数阶 $[a,b]$-因子存在的简化且紧致的充分条件。证明了若图 $G$ 的最小度至少为 $\frac{1}{4a}\left((a+b-1)^2 + 4b\right)$，且每对非邻接顶点的公共邻域大小至少为 $\frac{bn}{a+b}$，则 $G$ 拥有所有分数阶 $[a,b]$-因子，且这些界是最优的。该结果通过新颖地应用 Anstee 的分数阶因子刻画方法，推广了关于 $(g,f)$-因子和分数阶因子的先前定理。

ABSTRACT

Let $G$ be a graph with order $n$ and let $g, f : V (G) ightarrow N$ such that $g(v)\leq f(v)$ for all $v\in V(G)$. We say that $G$ has all fractional $(g, f)$-factors if $G$ has a fractional $p$-factor for every $p: V (G) ightarrow N$ such that $g(v)\leq p(v)\leq f (v)$ for every $v\in V(G)$. Let $a<b></b>

研究动机与目标

• 推导图具有所有分数阶 $(g,f)$-因子的必要与充分条件。
• 建立图中所有分数阶 $[a,b]$-因子存在的紧致充分条件。
• 通过提供更紧、最优的界，推广先前关于 $(g,f)$-因子和分数阶因子的结果。
• 通过显式构造证明最小度与邻域并集条件的最优性。

提出的方法

• 将 Anstee 关于单个分数阶 $(g,f)$-因子的必要与充分条件适配，用于刻画所有此类因子的存在性。
• 定义 $T = \{v \in V(G) \setminus S \mid d_{G-S}(v) < f(v)\}$，以分析邻域结构中的关键顶点集。
• 在假设不存在性下，对顶点集 $S$ 与 $T$ 进行双重计数与极值情形分析，导出矛盾。
• 应用非邻接顶点 $u,v$ 的邻域并集条件 $|N_G(u) \cup N_G(v)| \geq \frac{bn}{a+b}$，以界定 $T$ 的大小及其外部连接。
• 构造极值图（如 $K_{bm} + (am+1)K_1$ 和 $K_m + (K_r \cup K_{(a+b+1)/2})$）以证明界的紧致性。
• 通过代数变形与二次不等式推导矛盾，当界被违反时，确认条件的必要性。

实验结果

研究问题

• RQ1 图具有所有分数阶 $(g,f)$-因子的必要与充分条件是什么？该问题推广了 Anstee 关于单个分数阶因子的定理。
• RQ2 何种最小度条件可保证图中所有分数阶 $[a,b]$-因子的存在？
• RQ3 在结合度条件时，何种邻域并集条件可确保所有分数阶 $[a,b]$-因子的存在？
• RQ4 所提出的分数阶 $[a,b]$-因子的最小度与邻域界是否最优？
• RQ5 能否通过显式图构造证明所推导界的紧致性？

主要发现

• 图 $G$ 拥有所有分数阶 $(g,f)$-因子当且仅当对每个子集 $S \subseteq V(G)$，不等式 $g(S) - f(T) + \sum_{x \in T} d_{G-S}(x) \geq 0$ 成立，其中 $T = \{v \in V(G) \setminus S \mid d_{G-S}(v) < f(v)\}$。
• 最小度界 $\delta(G) \geq \frac{1}{4a}\left((a+b-1)^2 + 4b\right)$ 是图 $G$ 拥有所有分数阶 $[a,b]$-因子的必要且充分条件。
• 当与度条件结合时，邻域并集条件 $|N_G(u) \cup N_G(v)| \geq \frac{bn}{a+b}$ 对所有非邻接 $u,v$ 成立，也是必要且充分的。
• 最小度与邻域并集的界是紧致的，通过显式构造证明：当任一条件被违反时，图将不具有所有分数阶 $[a,b]$-因子。
• 构造 $G = K_{bm} + (am+1)K_1$ 表明，邻域并集界无法再减弱，因为该图不具有分数阶 $h$-因子（其中 $h \equiv a$ 在 $K_{bm}$ 上，$h \equiv b$ 在其余部分）。
• 另一构造 $G = K_m + (K_r \cup K_{(a+b+1)/2})$，其中 $m < \frac{1}{4a}((a+b-1)^2 + 4b) - \frac{a+b-1}{2}$，确认了最小度界的紧致性。