[논문 리뷰] On Rainbow-$k$-Connectivity of Random Graphs

Jing He, Hongyu Liang|arXiv (Cornell University)|2010. 12. 09.

Advanced Graph Theory Research참고 문헌 19인용 수 6

한 줄 요약

이 논문은 에르되시-레니 랜덤 그래프 $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$ 를 위한 날카로운 임계값임을 보여준다. 또한 높은 확률로 최적에 비해 최대 한 개 더 많은 색을 사용하면서 near-optimal 레이인보우-$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$)를 확장한다.
• rc_1(G(n,p)) \leq 2 를 위한 알려진 임계값 $p = \sqrt{\log n / n}$ 을 $k \leq O(\log n)$ 과 일반적인 $d \geq 2$ 로 일반화한다.
• 최적에 비해 최대 한 개 더 많은 색을 사용하면서도 높은 확률로 레이인보우-$k$-연결성을 달성하는 효율적인 알고리즘을 설계한다.
• 임의의 두 정점 사이에 다수의 내부 정점이 서로소인 레이인보우 경로가 존재할 수 있도록 하는 랜덤 그래프의 구조적 성질을 분석한다.

제안 방법

• 레이인보우 경로의 잠재적 구조를 모델링하기 위해, 정점 $u$ 를 루트로 하는 깊이 $d$ 의 트리 $T$ 를 구성하며, 각 수준 $i$ 는 약 $(pn/10)^i$ 개의 정점을 포함한다.
• 체르노프-후프딩 불등식을 활용한 확률적 분석을 통해, 목표 정점 $v$ 가 트리 $T$ 의 $d$-번째 수준에 $\Omega(\log n)$ 명의 이웃을 가질 확률이 높음을 보인다.
• 경로의 간선-독립성을 보장하기 위해, 수준 1의 정점들에서 루트를 가지는 '바이스 트리(vice-trees)' 를 정의한다.
• 합집합 추정을 적용하여, 어떤 바이스 트리도 $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 최적에 비해 최대 한 개 더 많은 색을 사용하면서도 높은 확률로 $G(n,p)$ 에 대해 레이인보우-$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$ 를 위한 날카로운 임계값이다.
• 이 임계값 함수는 $rc_1(G(n,p)) \leq 2$ 를 위한 기존 결과 $p = \sqrt{\log n / n}$ 을 $k$ 가 더 높고 $d$ 가 일반적인 경우로 일반화한다.
• 높은 확률로 $p$ 가 임계값을 초과하면 $rc_k(G(n,p)) = d$ 이고, $p$ 가 임계값 이하일 경우 $rc_k(G(n,p)) \geq d-1$ 이므로 날카로움이 확인된다.
• 최적에 비해 최대 한 개 더 많은 색을 사용하면서도 $d$ 개의 색으로 $G(n,p)$ 를 색칠하는 다항시간 알고리즘이 존재하며, 이는 확률 $1 - o(1)$ 으로 $rc_k(G(n,p)) \leq d$ 를 만족한다.
• $p = n^{-\epsilon(1 \pm o(1))}$ 이고 $\epsilon \in [0,1)$ 일 경우, 이 알고리즘은 높은 확률로 near-optimal 레이인보우-$k$-연결성을 달성한다.
• 임계값을 초과할 경우, 어떤 두 정점 사이의 내부 정점이 서로소인 레이인보우 경로의 수는 높은 확률로 최소 $2^{10d}c_0 \log n$ 개 이상이다.