[論文レビュー] 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]$-因子の存在に関する簡素化され、鋭い十分条件を確立する。最小次数が $\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]$-因子の存在に関する鋭い十分条件を確立すること。
• Ansteeの定理を一般化し、よりきつい最適な境界を提供することで、既存の $(g,f)$-因子および分数量的因子に関する結果を拡張すること。
• 明示的な構成を用いて、最小次数および近傍和の条件の最適性を証明すること。

提案手法

• 単一の分数量的 $(g,f)$-因子の存在を特徴付けるAnsteeの必要十分条件を、すべてのこのような因子の存在を特徴付けるように適応すること。
• 臨界な頂点集合の近傍構造を分析するために、$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,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]$-因子をもつために必要かつ十分である。
• すべての非隣接な $u,v$ に対して $|N_G(u) \cup N_G(v)| \geq \frac{bn}{a+b}$ が成り立つ近傍和条件は、最小次数条件と組み合わせると、すべての分数量的 $[a,b]$-因子の存在を保証する必要十分条件である。
• 最小次数および近傍和の境界は、それぞれの条件を満たさない場合にすべての分数量的 $[a,b]$-因子をもたないグラフが構成可能なことから、鋭いことが示された。
• 構成 $G = K_{bm} + (am+1)K_1$ は、近傍和の境界を弱めることが不可能であることを示しており、$K_{bm}$ 上で $h \equiv a$、それ以外で $h \equiv b$ となるような分数量的 $h$-因子を持たないグラフが得られる。
• もう一つの構成 $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}$ である場合、最小次数境界の鋭さが確認される。