[논문 리뷰] Hardness and Algorithms for Rainbow Connectivity

Sourav Chakraborty, Eldar Fischer외 2명|ArXiv.org|2009. 02. 07.

Interconnection Networks and Systems인용 수 10

한 줄 요약

이 논문은 그래프의 레인보우 연결성 2를 결정하는 것이 NP-완전임을 입증하여, 레인보우 연결성을 계산하는 것이 NP-난이도임을 보여준다. 또한 최소 차수 Ω(n)을 갖는 그래프는 유계 레인보우 연결성을 갖는다고 보여주며, 최소 차수 분수 ε에만 의존하는 명시적 상한을 갖는 다항시간 알고리즘을 제시한다.

ABSTRACT

An edge-colored graph G is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connectivity of a connected graph G, denoted rc(G), is the smallest number of colors that are needed in order to make G rainbow connected. In addition to being a natural combinatorial problem, the rainbow connectivity problem is motivated by applications in cellular networks. In this paper we give the first proof that computing rc(G) is NP-Hard. In fact, we prove that it is already NP-Complete to decide if rc(G) = 2, and also that it is NP-Complete to decide whether a given edge-colored (with an unbounded number of colors) graph is rainbow connected. On the positive side, we prove that for every $ε$ > 0, a connected graph with minimum degree at least $εn$ has bounded rainbow connectivity, where the bound depends only on $ε$, and the corresponding coloring can be constructed in polynomial time. Additional non-trivial upper bounds, as well as open problems and conjectures are also pre sented.

연구 동기 및 목표

• 레인보우 연결성의 계산 복잡도를 해결하기 위해 그것이 NP-난이도임을 증명하는 것.
• rc(G) = 2인지 여부를 결정하는 것이 NP-완전인지 여부를 밝혀내어 이전 연구에서 제기된 추측을 해결하는 것.
• 특히 고최소차수 그래프에 대해 레인보우 연결성이 유계임을 보장하는 충분조건을 설정하는 것.
• 이러한 그래프에서 유계 레인보우 색칠을 구성하기 위한 다항시간 알고리즘을 개발하는 것.
• 그래프의 지름, 최소 차수, 레인보우 연결성 간의 관계를 탐구하고, 증명 가능 보장이 있는 알고리즘적 구성 방법을 제공하는 것.

제안 방법

• 특정 정점 쌍 집합에 대해 2-edge-coloring 문제와의 동치성을 이용한 일련의 축소를 통해 rc(G) = 2를 결정하는 것이 NP-완전임을 증명한다.
• s-t 레인보우 경로 문제로부터의 축소를 통해, 주어진 간선 색칠이 그래프를 레인보우 연결하게 하는지 확인하는 것이 NP-완전임을 보여준다.
• 고정된 ε에 대해 알고리즘적 구성이 가능한, 간선 색칠 문제에 특화된 수정된 Szemerédi의 Regularity Lemma를 적용한다.
• 정점 분할의 클러스터 내에서 a- 및 b-레인보우 연결성을 보장하기 위해 여덟 가지 다른 색상(a1–a4, b1–b4)을 사용하는 이중 색칠 기법을 활용한다.
• 초기 색칠을 개선하기 위해 크기가 유계인 스패닝 서브트리의 간선에 고유한 신규 색상을 할당함으로써 전역 레인보우 연결성을 확보한다.
• 고최소차수가 작은 지름(≤ 3/ε)을 암시하므로, 색칠을 개선하기 위해 작은 스패닝 서브트리를 구성할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 그래프의 레인보우 연결성이 정확히 2인지 여부를 결정하는 것이 NP-완전 문제인가?
• RQ2 주어진 간선 색칠이 그래프를 레인보우 연결하게 하는지 여부를 검증하는 것이 NP-완전 문제인가?
• RQ3 최소 차수가 Ω(n)인 그래프에 대해 레인보우 연결성이 유계로 보장될 수 있으며, 만약 그렇다면 ε에 대한 상한은 무엇인가?
• RQ4 ε의 함수로 유계인 색상 수를 갖는 레인보우 색칠을 다항시간 내에 계산할 수 있는가?
• RQ5 밀도 높은 그래프에서 지름, 최소 차수, 레인보우 연결성 간의 관계는 어떠한가?

주요 결과

• rc(G) = 2인지 여부를 결정하는 것이 NP-완전임을 입증하여, Caro 등이 제기한 추측을 해결하고 rc(G) 계산이 NP-난이도임을 증명한다.
• 간선 색칠된 그래프에서 레인보우 연결성을 검증하는 것은, 색상 수가 유계가 아니어도 NP-완전임을 보여준다.
• 모든 ε > 0에 대해, 최소 차수가 적어도 εn인 모든 연결 그래프는 최대 C(ε)의 레인보우 연결성을 갖는다. 여기서 C(ε)는 ε에만 의존한다.
• 고정된 ε > 0에 대해, 최대 C(ε)개의 색상을 갖는 레인보우 색칠을 다항시간 내에 구성할 수 있는 알고리즘이 존재한다.
• 지름이 2이고 최소 차수가 적어도 8 log n이면, rc(G) ≤ 3이며, 3-coloring은 다항시간 내에 찾을 수 있다.
• 이러한 그래프에 대한 랜덤 3-edge-coloring은 높은 확률로 레인보우 색칠을 제공하며, 최소 차수가 n/2인 모든 그래프에 대해 rc(G) ≤ 3이 성립한다.