이분 그래프에서 무지개 연결성 판정의 복잡도

초록

본 논문은 무지개 연결성 문제의 복잡도에 대해 연구한다. 일반 그래프에서 rc(G)=2 를 판정하는 것이 NP‑Complete인 반면, 그래프가 이분 그래프일 경우 다항시간 알고리즘으로 해결 가능함을 보인다. 또한 색이 제한되지 않은 임의의 색칠이 주어진 이분 그래프가 무지개 연결인지 여부는 여전히 NP‑Complete임을 증명한다. 기존에 NP‑Hard 로 알려졌던 여러 무지개 연결성 문제를 NP‑Complete 로 강화한다.

상세 분석

이 논문은 무지개 연결성(rainbow connectivity)과 강한 무지개 연결성(strong rainbow connectivity)의 계산 복잡도를 두 축으로 분석한다. 먼저 기존 연구에서 rc(G)=2 를 판정하는 문제가 일반 그래프에 대해 NP‑Complete임이 알려졌으며, rc(G)≤k (k≥3) 혹은 sr c(G)≤k (k≥3) 역시 NP‑Hard임이 증명되었다는 점을 상기한다. 논문은 이러한 “NP‑Hard” 결과를 “NP‑Complete” 로 끌어올리기 위해, 고정된 정수 k에 대해 해당 문제들이 NP에 속함을 보인다. 구체적으로, rc(G)≤k 를 만족하는 경우 색칠 자체가 증명서가 되며, 두 정점 사이의 모든 길이 ≤k 인 경로들을 다항시간 안에 열거하고 각 경로가 무지개인지 검증할 수 있음을 이용한다. 이는 증명서 검증이 다항시간에 가능함을 의미한다. 동일한 논리로 sr c(G)≤k 도 증명한다.

다음으로, 이분 그래프에 대한 특수한 결과를 제시한다. K_{s,t} 완전 이분 그래프에 대한 rc 값이 ⌈s√t⌉ 혹은 4 로 제한된다는 Lemma 2.5 를 이용해, 일반 이분 그래프 G가 rc(G)=2 인 경우는 오직 완전 이분 그래프 K_{s,t} (s≤t)이며, s와 t가 간단한 산술 관계를 만족하는지 확인하면 된다. 따라서 rc(G)=2 판정은 그래프가 완전 이분 그래프인지 여부와 s, t 값의 비교만으로 다항시간에 해결된다.

반면, 색이 임의로 주어진 경우에는 상황이 달라진다. 기존에 색칠된 일반 그래프가 무지개 연결인지 판정하는 문제가 NP‑Complete임을 이용해, 각 원래의 간선을 새로운 정점으로 분할하여 이분 그래프 G′ 를 만든다. 이 과정에서 원래 색은 유지하고, 새로 만든 간선에는 서로 다른 새로운 색을 부여한다. 이렇게 구성된 G′ 가 무지개 연결이면 원래 그래프 G 역시 무지개 연결이며, 그 역도 성립한다. 따라서 색이 제한되지 않은 임의의 색칠이 주어진 이분 그래프에 대한 무지개 연결성 판정도 NP‑Complete임을 보인다.

결과적으로, 논문은 (1) rc(G)=2 판정이 이분 그래프에서는 다항시간에 해결됨을, (2) 고정된 k에 대해 rc(G)≤k 와 sr c(G)≤k 가 NP‑Complete임을, (3) 임의 색칠이 주어진 이분 그래프의 무지개 연결성 판정이 NP‑Complete임을 입증한다. 이는 무지개 연결성 연구에서 이분 그래프가 갖는 복잡도 경계선을 명확히 제시하며, 기존에 “NP‑Hard” 로만 알려졌던 여러 문제를 “NP‑Complete” 로 강화함으로써 이론적 완전성을 확보한다.