[論文レビュー] The generalized connectivity of complete bipartite graphs

Shasha Li, Wei Li+1 more|arXiv (Cornell University)|Dec 28, 2010

Interconnection Networks and Systems参考文献 2被引用数 37

ひとこと要約

本稿では、一般化接続性の概念を拡張し、すべての $k \in [2, a+b]$ に対して完全二部グラフ $K_{a,b}$ の $k$-連結性を決定する。まず、$K_{a,b}$ が正確に $\lfloor ab/(a+b-1) \rfloor$ 個の辺素な全域木を含むことを確立し、$a-b+k$ の偶奇および $k$ と $b-a+2$ の大小関係に基づいて $\kappa_k(K_{a,b})$ の閉形式表現を導出する。これにより、任意の $k$ 頂点部分集合を接続する最小の辺素な木の数が正確に得られる。

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$. Moreover, $κ_{n}(G)$ is the maximum number of edge-disjoint spanning trees of $G$. This paper mainly focus on the $k$-connectivity of complete bipartite graphs $K_{a,b}$. First, we obtain the number of edge-disjoint spanning trees of $K_{a,b}$, which is $\lfloor\frac{ab}{a+b-1} floor$, and specifically give the $\lfloor\frac{ab}{a+b-1} floor$ edge-disjoint spanning trees. Then based on this result, we get the $k$-connectivity of $K_{a,b}$ for all $2\leq k \leq a+b$. Namely, if $k>b-a+2$ and $a-b+k$ is odd then $κ_{k}(K_{a,b})=\frac{a+b-k+1}{2}+\lfloor\frac{(a-b+k-1)(b-a+k-1)}{4(k-1)} floor,$ if $k>b-a+2$ and $a-b+k$ is even then $κ_{k}(K_{a,b})=\frac{a+b-k}{2}+\lfloor\frac{(a-b+k)(b-a+k)}{4(k-1)} floor,$ and if $k\leq b-a+2$ then $κ_{k}(K_{a,b})=a. $

研究の動機と目的

• すべての $k \in [2, a+b]$ に対して完全二部グラフにおける $k$-連結性 $\kappa_k(K_{a,b})$ を決定すること。
• $K_{a,b}$ に含まれる辺素な全域木の正確な数、すなわち $\lfloor ab/(a+b-1) \rfloor$ を確立すること。
• $K_{a,b}$ に $\lfloor ab/(a+b-1) \rfloor$ 個の辺素な全域木を明示的に構成すること。
• $a$, $b$, $k$ の値に基づいて $\kappa_k(K_{a,b})$ の閉形式表現を導出すること。特に、$a-b+k$ の偶奇および $k \leq b-a+2$ の閾値に基づく場合分けを行うこと。

提案手法

• 著者らは、$k$ 頂点部分集合 $S$ を接続する最大の辺素な木の数を $\kappa(S)$ と定義し、木が $S$ の外では内部的に素性を持つものとする。
• 隣接度リストを用いて、$K_{a,b}$ に $\lfloor ab/(a+b-1) \rfloor$ 個の辺素な全域木を明示的に構成し、すべての頂点がカバーされ、辺が重複しないように保証する。
• $k$-連結性 $\kappa_k(G)$ は、すべての $k$ 部分集合 $S$ における $\kappa(S)$ の最小値として計算され、対称性の議論により $\kappa(S_{k-i}) \geq \kappa(S_i)$ が示され、探索範囲は $i \leq \lfloor k/2 \rfloor$ に削減される。
• $k$ と $b-a+2$ の関係および $a-b+k$ の偶奇に基づく3つのケースを分析し、床関数と不等式を用いて木の数を束縛するための区分的式を導出する。
• 導出は、$\kappa(S_i)$ と $\kappa(S_{i+1})$ の比較に基づき、単調性を示し、最小値が $k$-連結性として特定されることに依拠する。
• 最終的な式は、$k = a+b$ の場合に既知の結果 $\kappa_{a+b}(K_{a,b}) = \lfloor ab/(a+b-1) \rfloor$ と整合することを示すことにより検証される。

実験結果

リサーチクエスチョン

• RQ1 完全二部グラフ $K_{a,b}$ に含まれる辺素な全域木の最大数は何か？
• RQ2 すべての $2 \leq k \leq a+b$ に対して、$k$-連結性 $\kappa_k(K_{a,b})$ は $k$, $a$, $b$ にどのように依存するか？
• RQ3 $a-b+k$ の偶奇および $k$ と $b-a+2$ の大小関係に基づいて、$\kappa_k(K_{a,b})$ の閉形式表現を導出できるか？
• RQ4 任意の $k$ 頂点部分集合を接続する辺素な木の最小数は何か？ それはどのように特定されるか？

主な発見

• $K_{a,b}$ に含まれる辺素な全域木の数は正確に $\lfloor ab/(a+b-1) \rfloor$ 個であり、これは $\kappa_{a+b}(K_{a,b})$ に一致する。
• $k \leq b - a + 2$ の場合、$K_{a,b}$ の $k$-連結性は $\kappa_k(K_{a,b}) = a$ であり、$k$ にかかわらず一定である。
• $k > b - a + 2$ で $a - b + k$ が奇数のとき、$\kappa_k(K_{a,b}) = \frac{a+b-k+1}{2} + \left\lfloor \frac{(a-b+k-1)(b-a+k-1)}{4(k-1)} \right\rfloor$ である。
• $k > b - a + 2$ で $a - b + k$ が偶数のとき、$\kappa_k(K_{a,b}) = \frac{a+b-k}{2} + \left\lfloor \frac{(a-b+k)(b-a+k)}{4(k-1)} \right\rfloor$ である。
• 導出された $\kappa_k(K_{a,b})$ の式は、$k = a+b$ の場合の既知の結果と整合しており、正しさが確認される。
• すべての $k$ 部分集合 $S$ における $\kappa(S)$ の最小値は対称的配置で達成され、解析は対称性と単調性を活用して探索範囲を削減する。