[論文レビュー] On Rainbow-$k$-Connectivity of Random Graphs

Jing He, Hongyu Liang|arXiv (Cornell University)|Dec 9, 2010

Advanced Graph Theory Research参考文献 19被引用数 6

ひとこと要約

本稿は、Erdős-Rényi確率的グラフ $G(n,p)$ におけるレインボウ-$k$-連結性の鋭い閾値関数を確立し、$k \leq O(\log n)$ かつ $d \geq 2$ のとき、$p = (\log n)^{1/d}/n^{(d-1)/d}$ が $rc_k(G(n,p)) \leq d$ の鋭い閾値であることを示している。さらに、最適解に1色以内で近いレインボウ-$k$-連結性を達成する多項式時間アルゴリズムを提示しており、高確率で最適に近い結果を得られる。

ABSTRACT

A path in an edge-colored graph is called a \emph{rainbow path} if all edges on it have pairwise distinct colors. For $k\geq 1$, the \emph{rainbow-$k$-connectivity} of a graph $G$, denoted $rc_k(G)$, is the minimum number of colors required to color the edges of $G$ in such a way that every two distinct vertices are connected by at least $k$ internally disjoint rainbow paths. In this paper, we study rainbow-$k$-connectivity in the setting of random graphs. We show that for every fixed integer $d\geq 2$ and every $k\leq O(\log n)$, $p=\frac{(\log n)^{1/d}}{n^{(d-1)/d}}$ is a sharp threshold function for the property $rc_k(G(n,p))\leq d$. This substantially generalizes a result due to Caro et al., stating that $p=\sqrt{\frac{\log n}{n}}$ is a sharp threshold function for the property $rc_1(G(n,p))\leq 2$. As a by-product, we obtain a polynomial-time algorithm that makes $G(n,p)$ rainbow-$k$-connected using at most one more than the optimal number of colors with probability $1-o(1)$, for all $k\leq O(\log n)$ and $p=n^{-ε(1\pm o(1))}$ for some constant $ε\in[0,1)$.

研究の動機と目的

• 確率的グラフ $G(n,p)$ におけるレインボウ-$k$-連結性の鋭い閾値関数を特定すること。これは、$k=1$ の場合のレインボウ接続性に関する先行研究を拡張する。
• レインボウ接続性の既知の閾値 $p = \sqrt{\log n / n}$ が $rc_1(G(n,p)) \leq 2$ を満たすのを、$k \leq O(\log n)$ および一般の $d \geq 2$ に対して一般化すること。
• 最適解に1色以内で近いレインボウ-$k$-連結性を達成する効率的なアルゴリズムを設計すること。
• 任意の頂点対間において複数の内部頂点に沿って互いに素なレインボーパスが存在できるようにする、確率的グラフの構造的性質を分析すること。

提案手法

• 頂点 $u$ を根とする深さ $d$ の木 $T$ を構築し、各レベル $i$ に $\sim (pn/10)^i$ 個の頂点を含める。これにより、潜在的なレインボーパスをモデル化する。
• チェルノフ・ハフディングの不等式を用いた確率的解析により、標的頂点 $v$ が $T$ の $d$ 階層に $\Omega(\log n)$ 個の隣接頂点を持つことが高確率で成立することを示す。
• 「バイスツリー」として、1階層目の頂点を根とする部分木を定義し、パスの辺に沿った互いに素な性質を保証することで、内部頂点に沿って互いに素なレインボーパスの構築を可能にする。
• 和集合の上限を用いて、各バイスツリーが $v$ の隣接頂点をあまり多く含まないことを示し、これによりパスの出発点の多様性とパスの独立性を保証する。
• $d$ 色によるランダムな辺彩色を適用し、$p$ が閾値を超える場合に、このような彩色が高確率でレインボウ-$k$-連結性を実現することを証明する。
• 既知の閾値関数と漸近的集中の結果を活用し、$p$ が指定された範囲内にある場合に $rc_k(G(n,p)) = d$ が高確率で成立することを確立する。

実験結果

リサーチクエスチョン

• RQ1 $k$ が $n$ に対して対数的に増加するとき、$d \geq 2$ が固定されている場合、$rc_k(G(n,p)) \leq d$ の鋭い閾値関数は何か？
• RQ2 最適解に1色以内で近いレインボウ-$k$-連結性を達成する多項式時間アルゴリズムを設計できるか？
• RQ3 確率的グラフ $G(n,p)$ の構造は、$k$ が大きい場合に、複数の内部頂点に沿って互いに素なレインボーパスの存在をどのように支援するか？
• RQ4 閾値 $p = (\log n)^{1/d}/n^{(d-1)/d}$ は、$rc_k(G(n,p)) > d$ から $rc_k(G(n,p)) \leq d$ への遷移を正確に特定するか？
• RQ5 閾値を上回る $p$ を用いたランダムな $d$ 色彩色において、$G(n,p)$ がレインボウ-$k$-連結性を示す確率は何か？

主な発見

• 任意の固定された $d \geq 2$ および $k \leq O(\log n)$ に対して、関数 $p = (\log n)^{1/d}/n^{(d-1)/d}$ は $rc_k(G(n,p)) \leq d$ の鋭い閾値である。
• この閾値関数は、既知の結果 $p = \sqrt{\log n / n}$ が $rc_1(G(n,p)) \leq 2$ を満たすのを、より高い $k$ および一般の $d$ に一般化している。
• $p$ が閾値を上回る場合に高確率で $rc_k(G(n,p)) = d$ となり、$p$ が下回る場合に高確率で $rc_k(G(n,p)) \geq d-1$ となることから、鋭さが確認された。
• 高確率で最適解に1色以内で近いレインボウ-$k$-連結性を達成する多項式時間アルゴリズムが存在し、$rc_k(G(n,p)) \leq d$ を確率 $1 - o(1)$ で満たす。
• パラメータ $\epsilon \in [0,1)$ に対して $p = n^{-\epsilon(1 \pm o(1))}$ のとき、アルゴリズムは高確率で近最適なレインボウ-$k$-連結性を達成する。
• $p$ が閾値を上回る場合、任意の2頂点間の内部頂点に沿って互いに素なレインボーパスの数は、高確率で $2^{10d}c_0 \log n$ 個以上である。