무지개 연결성 문제의 난이도와 매개변수 알고리즘

초록

본 논문은 그래프의 (강한) 무지개 연결성 문제에 대한 계산 복잡성을 체계적으로 조사한다. 주요 결과는 다음과 같다. (1) 고정된 k ≥ 3에 대해 bipartite 그래프에서도 src(G) ≤ k 판정은 NP‑Complete이다. (2) k가 홀수인 경우 rc(G) ≤ k 판정이 NP‑Complete임을 보이며, 이는 기존에 알려진 짝수 k 경우의 난이도를 완전하게 메운다. (3) 두 색만을 사용해 최대 몇 쌍의 정점을 무지개 연결시킬 수 있는지를 파라미터로 두면 문제는 고정 파라미터 트랙터블(FPT)이다. (4) 방향 그래프에 대해 rc(G) ≤ 2 판정이 NP‑Complete임을 증명한다. 또한 강한 무지개 연결성의 근사화가 n^{1/2‑ε} 이하로는 불가능함을 보인다.

상세 분석

이 논문은 무지개 연결성(rainbow connectivity)과 강한 무지개 연결성(strong rainbow connectivity)의 복잡도 지형을 크게 네 갈래로 나눈다. 첫 번째 갈래는 src(G) ≤ k 문제의 NP‑완전성을 보이는 것으로, 저자는 k‑subset strong rainbow connectivity 문제를 정의하고 이를 기존의 k‑vertex‑coloring 문제에 다항식 시간 감소시킨다. 핵심 아이디어는 별(star) 구조를 이용해 각 원래 정점을 중심 정점 a와 연결하고, 원래 그래프의 간선을 정점 쌍 P에 대응시켜 “geodesic rainbow path”가 반드시 a‑v‑u 형태가 되도록 만든다. 이때 색 할당을 정점 색에 대응시키면 양방향 변환이 가능함을 보이며, 따라서 k‑subset strong rainbow connectivity가 NP‑hard임을 증명한다. 이후 이 문제와 src(G) ≤ k 문제 사이의 다항식 동치성을 구축하기 위해 각 리프 정점마다 보조 정점 u_i, u’i와, P에 포함되지 않은 정점 쌍마다 w{i,j}, w’_{i,j}를 추가하는 복잡한 그래프 G′를 만든다. 이 구조는 bipartite임을 명시적으로 확인하고, 강한 무지개 연결성을 만족하려면 원래 별에서의 색 배정이 그대로 유지돼야 함을 보인다. 결과적으로 src(G) ≤ k 판정이 bipartite 그래프에서도 NP‑Complete임을 얻는다.

두 번째 갈래는 rc(G) ≤ k 문제에 대한 홀수 k의 난이도이다. 기존 연구는 짝수 k에 대해서만 NP‑hard를 보여줬으며, 홀수 k는 미해결이었다. 저자는 k = 2m+1 형태의 k에 대해 k‑subset rainbow connectivity 문제를 k‑rainbow connectivity 문제로 변환한다. 변환 과정은 각 정점 v_i에 대해 2m개의 보조 정점 u_{i,1}…u_{i,2m}을 두 개의 체인으로 연결하고, 체인 사이에 교차 에지를 삽입해 P에 포함되지 않은 정점 쌍에 대한 “우회 경로”를 만든다. 또한 전역 정점 x, y를 도입해 모든 체인 끝점과 연결함으로써 색 1과 색 k가 반드시 특정 경로에 사용되도록 강제한다. 이 정교한 구성은 “P에 포함된 쌍은 짧은 경로(길이 2)만을 통해 무지개 연결될 수 있고, 다른 쌍은 길이 ≥ 4의 경로가 필요하다”는 성질을 이용한다. 따라서 원래 그래프가 k‑subset rainbow 연결 가능 ⇔ 변환 그래프가 rc ≤ k 를 만족한다는 양방향 논증을 완성한다.

세 번째 결과는 두 색만을 사용해 최대 몇 개의 정점 쌍을 무지개 연결시킬 수 있는지를 파라미터 k′(=연결된 쌍의 수)로 두는 문제에 대한 FPT 알고리즘이다. 저자는 이 문제를 “subset rainbow connectivity”의 특수 형태로 본 뒤, 커버링 문제와 매칭을 이용해 커널 크기를 O(k′²)로 제한한다. 이후 브랜치 앤 바운드 탐색을 통해 색 배정을 시도하면 전체 시간 복잡도는 f(k′)·poly(n) 형태가 되므로 고정 파라미터 트랙터블임을 보인다.

마지막으로 방향 그래프에 대한 rc(G) ≤ 2 문제를 다룬다. 여기서는 3‑SAT 인스턴스를 이용해 방향 그래프를 구성하고, 각 변수와 절을 정점으로 매핑한 뒤, 두 색만으로 모든 정점 쌍에 무지개 경로를 만들 수 있는지 여부가 원래 논리식의 만족 가능성과 일대일 대응함을 증명한다. 이로써 방향 그래프의 rc ≤ 2 판정이 NP‑Complete임을 확립한다.

추가적으로, 강한 무지개 연결성의 근사화에 대해 n^{1/2‑ε} 이하의 비율로는 근사할 수 없다는 강력한 비근사 결과를 도출한다. 이는 위의 복잡도 감소 과정에서 생성된 그래프의 정점 수가 O(n²)임을 이용해, 색 수 k와 정점 수 사이의 관계를 통해 색칠 문제의 근사 난이도를 전이시킨 것이다. 전체적으로 이 논문은 무지개 연결성 분야의 여러 미해결 난제들을 일관된 감소 프레임워크와 정교한 그래프 변환을 통해 해결하고, 매개변수화된 알고리즘까지 제시함으로써 이론적 컴퓨터 과학과 그래프 이론 사이의 교량 역할을 수행한다.