[논문 리뷰] New Hardness Results in Rainbow Connectivity

Prabhanjan Ananth, Meghana Nasre|arXiv (Cornell University)|2011. 04. 11.

Graph theory and applications참고 문헌 7인용 수 19

한 줄 요약

이 논문은 모든 $k \geq 3$에 대해 $rc(G) \leq k$를 판단하는 것이 NP-난이도임을 증명하며, 오랫동안 남아있던 추측을 해결한다. 또한 이중 레인보우 연결 수 $src(G) \leq k$를 판단하는 것이 이분 그래프일지라도 NP-난이도임을 입증하며, 정점 색칠 문제에서의 감소와 경로 제약 조건을 유지하는 특수한 그래프 기반 도구를 구축하여 이를 실현한다.

ABSTRACT

A path in an edge colored graph is said to be a rainbow path if no two edges on the path have the same color. An edge colored graph is (strongly) rainbow connected if there exists a (geodesic) rainbow path between every pair of vertices. The (strong) rainbow connectivity of a graph $G$, denoted by ($src(G)$, respectively) $rc(G)$ is the smallest number of colors required to edge color the graph such that the graph is (strong) rainbow connected. It is known that for \emph{even} $k$ to decide whether the rainbow connectivity of a graph is at most $k$ or not is NP-hard. It was conjectured that for all $k$, to decide whether $rc(G) \leq k$ is NP-hard. In this paper we prove this conjecture. We also show that it is NP-hard to decide whether $src(G) \leq k$ or not even when $G$ is a bipartite graph.

연구 동기 및 목표

• 모든 $k \geq 3$에 대해 $rc(G) \leq k$를 판단하는 것이 NP-난이도임을 증명하는 것.
• 강력 레인보우 연결 수 $src(G)$에 대한 난이도 결과를 이분 그래프에까지 확장하는 것.
• $k$-정점 색칠 문제에서 부분집합 레인보우 연결 문제로의 다항시간 감소를 수립하는 것.
• 간선 색칠 하에 지오데식 레인보우 경로 제약 조건을 유지하는 그래프 기반 도구를 구축하는 것.
• 레인보우 연결성 및 강력 레인보우 연결성 문제의 계산적 비가역성은 이전에 알려진 사례를 초월하여 입증하는 것.

제안 방법

• 기존 정점에 대응하는 중심 정점과 잎 정점으로 구성된 별 기반 구조를 사용하여 $k$-정점 색칠 문제를 $k$-부분집합 강력 레인보우 연결 문제로 감소시키는 것.
• $k$개의 레이어로 구성된 계층적 그래프 $H_k$를 구축하며, 각 레이어는 기본 정점들을 나타내는 정점들을 포함하고, 간선은 레인보우 경로 제약 조건을 강제하기 위해 색칠된다.
• 원래 그래프 $G$와 동형인 기본 그래프 $G_k$를 정의하며, 더 큰 그래프 $G'$ 내에 통합되어 간선 관계를 유지한다.
• 하이브리드 간선 색칠 기법을 활용: 내부 경로에는 $H_k$의 색상, 기본 간선에는 원래 그래프의 색상 사용으로 경로 무결성을 확보한다.
• 귀납적 추론과 경로 분해를 통해, 기본 정점 간의 짧은 레인보우 경로는 반드시 기본 그래프 $G_k$ 내에 존재해야 한다는 것을 증명한다.
• 특히 $H_k$의 간선을 사용하는 경로는 최소 $k$개의 간선이 필요하므로, 길이 $\leq k$인 경로 요구 조건과 모순됨을 이용한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 3$에 대해 $rc(G) \leq k$를 판단하는 것이 NP-난이도인가?
• RQ2 이분 그래프일 경우에도 강력 레인보우 연결 수 $src(G) \leq k$를 판단하는 것이 NP-난이도인가?
• RQ3 부분집합 레인보우 연결 문제를 사용하여 정점 색칠 문제에서 레인보우 연결성의 난이도를 증명할 수 있는가?
• RQ4 계층적 구조를 가진 그래프 구축이 간선 색칠 하에 필요한 레인보우 경로 제약 조건을 유지하는가?
• RQ5 색칠된 그래프에서 두 정점 간 길이 $\leq k$의 경로가 존재할 수 있는 경우, 이 경로는 반드시 기본 간선만을 사용하는 경우에 한해 기본 그래프 내에 존재하는가?

주요 결과

• 모든 $k \geq 3$에 대해 $rc(G) \leq k$를 판단하는 것은 NP-난이도이며, 이는 문제의 난이도가 모든 $k \geq 3$에 대해 성립한다는 추측을 확인한다.
• $src(G) \leq k$를 판단하는 것이 이분 그래프일지라도 NP-난이도임을 입증하며, 이는 제한된 그래프 클래스로의 난이도 결과 확장을 의미한다.
• $k$-부분집합 강력 레인보우 연결 문제의 NP-난이도는 $k$-정점 색칠 문제로부터의 감소를 통해 증명된다.
• 구축된 그래프 $G'$에서 두 기본 정점 간의 길이 최대 $k$인 레인보우 경로는 반드시 기본 그래프 $G_k$ 내에 존재해야 하며, 이는 $H_k$ 내 경로의 길이 제약 조건 때문이다.
• 구축된 그래프 $G'$는 $G$의 $k$-간선 색칠이 $k$-부분집합 레인보우 연결성을 갖는다면, 이는 $G'$의 $k$-간선 색칠이 $k$-레인보우 연결성을 갖도록 보장한다.
• 감소 과정은 특정 쌍 간의 레인보우 경로 존재성을 유지하며, 이는 구축된 인스턴스에서 부분집합 레인보우 연결성과 전체 레인보우 연결성 문제 간의 동치성을 입증한다.