[논문 리뷰] Note on the Rainbow $k$-Connectivity of Regular Complete Bipartite Graphs

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

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.

연구 동기 및 목표

• Chartrand 등이 제기한 문제, 즉 $rc_k(K_{r,r}) = 3$ 가 모든 $r \geq g(k)$ 에 대해 성립하는 임계값 $g(k)$ 가 존재하는지 여부를 해결하기 위해.
• 레인보우 $k$-연결성이 여전히 3로 유지되는 $r$-정규 완전 이분할 그래프의 크기에 대한 날카로운 상한을 확립하기 위해.
• 임의의 두 정점 사이에 $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$ 개의 정점으로 구성된다.
• 세 개의 색 간선 부분그래프를 구성한다: $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$ 일 때, 어떤 $r$ 값에 대해 $rc_k(K_{r,r}) = 3$ 가 성립하는가?
• 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$ 일 때 $rc_k(K_{r,r}) = 3$ 임을 확인함으로써 Chartrand 등이 제기한 열린 문제를 해결한다.