[論文レビュー] Note on the Rainbow $k$-Connectivity of Regular Complete Bipartite Graphs

Xueliang Li, Yuefang Sun|arXiv (Cornell University)|Apr 14, 2010

Interconnection Networks and Systems参考文献 3被引用数 11

ひとこと要約

この論文は、$r \geq 2k\lceil k/2 \rceil$ および $k \geq 2$ のすべての整数 $r$ に対して、$r$-正則な完全二部グラフ $K_{r,r}$ のレインボーエッジ $k$-連結性が正確に 3 であることを証明することで、未解決の問題を解決している。著者らは、構造的サブグラフと偶奇に基づくエッジ割り当てを用いた3色エッジ彩色スキームを構築し、任意の頂点対間で $k$ 個の内部素なレインボーパスを保証することで、このクラスのグラフにおけるレインボーエッジ $k$-連結性のタイトな閾値を確立した。

ABSTRACT

A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is called a rainbow path if no two edges of the path are colored the same. For a $\\kappa$-connected graph $G$ and an integer $k$ with $1\\leq k\\leq \\kappa$, the rainbow $k$-connectivity $rc_k(G)$ of $G$ is defined as the minimum integer $j$ for which there exists a $j$-edge-coloring of $G$ such that any two distinct vertices of $G$ are connected by $k$ internally disjoint rainbow paths. Denote by $K_{r,r}$ an $r$-regular complete bipartite graph. Chartrand et al. in "G. Chartrand, G.L. Johns, K.A. McKeon, P. Zhang, The rainbow connectivity of a graph, Networks 54(2009), 75-81" left an open question of determining an integer $g(k)$ for which the rainbow $k$-connectivity of $K_{r,r}$ is 3 for every integer $r\\geq g(k)$. This short note is to solve this question by showing that $rc_k(K_{r,r})=3$ for every integer $r\\geq 2k\\lceil\\frac{k}{2}\ ceil$, where $k\\geq 2$ is a positive integer.

研究の動機と目的

• チャーランドらが提起した、$rc_k(K_{r,r}) = 3$ となるような閾値 $g(k)$ の存在に関する未解決問題を解決すること。
• $r$-正則な完全二部グラフにおいて、レインボーエッジ $k$-連結性が依然として 3 であるというサイズのタイトな上界を確立すること。
• 任意の二頂点間で $k$ 個の内部素なレインボーパスを保証する、構成的3色エッジ彩色法を提供すること。
• 完全グラフおよび二部グラフにおけるレインボーコネクティビティに関する先行研究を、より広いクラスの正則完全二部グラフへと拡張すること。

提案手法

• $g(k) = 2k\lceil k/2 \rceil$ を $r$ の閾値として定義し、$rc_k(K_{r,r}) = 3$ を保証する。
• $K_{r,r}$ の頂点集合 $U$ と $W$ を $2k$ 個のクラスタに分割し、$U'$ と $W'$ を最初の $k_1 \cdot (2k)$ 個の頂点とし、$U \setminus U'$ と $W \setminus W'$ を残りの $r_1$ 個の頂点とする。
• 3つの色付きサブグラフ $G_1$、$G_2$、$G_3$ を構築する：$G_1$ はクラスタ内での偶奇に基づくエッジ、$G_2$ はクラスタ間の巡回シフト接続、$G_3$ は残りのエッジ。
• $G_1$、$G_2$、$G_3$ にそれぞれ色 1、2、3 を割り当て、エッジの互いに素性とレインボーパスの可能性を保証する。
• 各頂点対について、頂点の位置（$G'$ 内か外部か）およびクラスタインデックスの偶奇に基づくケース別解析により、$k$ 個の内部素なレインボーパスの存在を検証する。
• $k$ が偶数のとき $k_1 \geq k/2$、奇数のとき $k_1 \geq (k+1)/2$ であることを利用して、各サブケースで少なくとも $2k_1 \geq k$ 個のパスが保証されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 2$ のもとで、$rc_k(K_{r,r}) = 3$ が成り立つ $r$ の値は何か？
• RQ2 $rc_k(K_{r,r}) = 3$ がすべての $r \geq g(k)$ で成り立つような一様な閾値 $g(k)$ を確立できるか？
• RQ3 正則完全二部グラフにおいて、$k$ 個の内部素なレインボーパスを保証する構造的および彩色的制約は何か？
• RQ4 偶奇と巡回シフトに基づくエッジ彩色の構成が、なぜレインボーコネクティビティを保証するのか？

主な発見

• $r \geq 2k\lceil k/2 \rceil$ および $k \geq 2$ であるすべての整数 $r$ に対して、$K_{r,r}$ のレインボーエッジ $k$-連結性は正確に 3 である。
• 閾値 $g(k) = 2k\lceil k/2 \rceil$ はタイトであり、$r = 2$ かつ $k = 2$ のとき $rc_k(K_{r,r}) = 4$ であるが、$r \geq 3$ では 3 に低下する。
• $k \geq 4$ の場合、構築された3色エッジ彩色により、グラフ内の任意の二頂点間で少なくとも $k$ 個の内部素なレインボーパスが保証される。
• この方法は偶数 $k$ および奇数 $k$ の両方で機能し、$k$ が偶数のとき $g(k) = k^2$、奇数のとき $g(k) = k(k+1)$ に応じて構成を調整する。
• 証明は、各サブケースで少なくとも $2k_1 \geq k$ 個のパスが存在することに依拠しており、$k_1 \geq \lceil k/2 \rceil$ であることから、十分なパスの多様性が保証される。
• この結果により、$r \geq 2k\lceil k/2 \rceil$ のすべての $r$ に対して $rc_k(K_{r,r}) = 3$ であることが確認され、チャーランドらが提起した未解決問題が解決された。