[論文レビュー] The minimal size of a graph with generalized connectivity $κ_3 = 2$

Shasha Li, Xueliang Li+1 more|arXiv (Cornell University)|Jan 20, 2011

Interconnection Networks and Systems参考文献 1被引用数 15

ひとこと要約

本稿では、一般化3連結性 $κ_3 = 2$ を達成するためのグラフに必要な辺の最小数を確立し、順序 $n$ の任意のこのようなグラフが少なくとも $×frac{6}{5}n$ 条の辺を持つ必要があることを証明している。著者らは、この境界に達するグラフの族を構成し、それがタイトであることを示し、$κ_3 = 2$ のグラフに対する鋭い下界を提供している。

ABSTRACT

Let $G$ be a nontrivial connected graph of order $n$ and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$. This paper mainly focuses on the minimal number of edges of a graph $G$ with $κ_{3}(G)= 2$. For a graph $G$ of order $v(G)$ and size $e(G)$ with $κ_{3}(G)= 2$, we obtain that $e(G)\geq 6/5v(G)$, and the lower bound is sharp by showing a class of examples attaining the lower bound.

研究の動機と目的

• 一般化3連結性 $\kappa_3 = 2$ を満たすグラフにおける辺数の最小値を特定すること。
• そのようなグラフのサイズをその順序に関して鋭い下界として確立すること。
• 理論的な辺数最小値に達する明示的なグラフ族を構成すること。
• 下界が達成される構造的条件を特定すること。
• 辺数と $\kappa_3$ 値の不一致を解消し、$\frac{6}{5}n$ 条の辺が十分でない場合（例：順序10のグラフ）を同定すること。

提案手法

• すべての3頂点集合 $S$ について、$S$ のみを共通点として持つ辺素な木の最大数の最小値を $\kappa_3(G)$ と定義する。
• 次数制約を用いる：$\kappa_3(G) = 2$ であるため、最小次数 $\delta(G) \geq 2$ であり、次数2の頂点は安定集合をなす。
• 頂点を $X$（次数2）と $Y$（次数 $\geq 3$）に分割し、$e(G) = 2|X| + m'$ と表す。ここで $m'$ は $Y$ 内部の辺数である。
• 次数和の制約から得られる不等式 $5|X| + 2m' \geq 3n$ を用いて、$e(G) \geq \frac{6}{5}n$ を導出する。
• $5k$ 頂点と $6k$ 辺を持つグラフ族 $H_k$ を構成し、$k \neq 2$ の場合に境界が達成されることを示す。
• 3頂点集合 $S$ についてのケース解析を行い、各 $S$ に対して2本の内部素性をもつ木を明示的に構成することで、$\kappa_3(H_k) = 2$ を確認する。

実験結果

リサーチクエスチョン

• RQ1 一般化3連結性 $\kappa_3(G) = 2$ を維持できるグラフの辺数の最小値は何か？
• RQ2 下界 $e(G) \geq \frac{6}{5}v(G)$ は達成可能か？ もしそうなら、どのような構造的条件下で達成されるか？
• RQ3 順序10のグラフが12本の辺を持つ場合、$e(G) = \frac{6}{5}v(G)$ を満たしているにもかかわらず、なぜこの境界が成立しないのか？
• RQ4 一般化3連結性 $\kappa_3(G) = 2$ の辺数下界における等号成立の必要十分条件は何か？
• RQ5 次数分布と頂点の分割は、3集合に対する内部素性をもつ木の存在にどのように影響するか？

主な発見

• 一般化3連結性 $\kappa_3(G) = 2$ を持つグラフの最小サイズは $e(G) \geq \frac{6}{5}v(G)$ であり、この下界は鋭い。
• 等号が成り立つのは、正確に $\frac{3}{5}v(G)$ 個の次数2の頂点が安定集合をなしており、残りのすべての頂点が次数3であり、高次度集合内に辺が存在しない場合に限る。
• すべての $k \neq 2$ に対して、$5k$ 頂点と $6k$ 辺を持つグラフ族 $H_k$ が境界に達しており、それがタイトであることを示している。
• $k = 2$ の場合、$H_2$ は10頂点と12辺を持つが、$\kappa_3(H_2) = 1$ であるため、$\frac{6}{5}n$ 条の辺が $\kappa_3 = 2$ を保証するとは限らない。
• $k \neq 2$ のとき、すべての3頂点集合 $S$ に対して2本の内部素性をもつ木を構成することで、$\kappa_3(H_k) = 2$ であることが確認されている。
• 順序10のグラフでは、この下界は達成不可能であり、10頂点で12辺を持つ任意の連結グラフが $\kappa_3 = 1$ を満たす反例により示されている。