무지개 정점 연결수의 일반적 난이도 확장

초록

본 논문은 무지개 정점 연결수 (rvc) 문제에 대해, 임의의 정수 k (≥2) 에 대해 “rvc(G) ≤ k”를 판정하는 것이 NP‑Hard임을 증명하고, 고정된 k 에 대해서는 이 문제가 NP에 속함을 보임으로써 NP‑Complete임을 확립한다. 이를 위해 k‑subset 무지개 정점 연결 문제를 정의하고, 기존의 k‑정점 색칠 문제로부터 다항식 시간 감소를 구성한 뒤, 해당 문제와 rvc 판정 문제 사이의 다항식 시간 동등성을 보인다.

상세 분석

논문은 먼저 무지개 정점 연결수 rvc(G) 의 정의와 기본적인 경계값들을 정리한다. rvc(G)는 그래프의 정점에 색을 부여해 모든 정점 쌍이 내부 정점들의 색이 서로 다른 경로로 연결되도록 하는 최소 색 수이며, 완전 그래프에서는 0, 트리에서는 n‑2, 직경이 2인 그래프에서는 1이라는 간단한 특성을 가진다. 기존 연구에서 rvc(G)=2인 경우가 NP‑Complete임을 보였으나, 일반적인 k에 대한 복잡도는 미해결 상태였다.

저자는 “k‑subset 무지개 정점 연결 문제”(주어진 정점 쌍 집합 P에 대해, k색으로 모든 (u,v)∈P가 무지개 정점 연결되도록 색칠 가능한가?)를 도입하고, 이를 k‑정점 색칠 문제(그래프 색칠에서 인접 정점이 같은 색을 갖지 않도록 하는 문제)와 다항식 시간 감소시킨다. 구체적으로, 원 그래프 G의 각 정점 v에 새로운 정점 x_v를 추가하고, 원래의 간선을 (v,x_v) 형태로 연결한 새로운 그래프 G′를 만든다. P는 원 그래프의 간선에 대응하는 (x_u,x_v) 쌍으로 정의한다. 이 구성은 G가 k‑색으로 정상 색칠이 가능하면 G′도 k색으로 P에 속한 모든 쌍이 무지개 정점 연결이 되며, 역도 성립한다는 것을 보인다. 따라서 k‑정점 색칠 문제가 NP‑Hard(k≥3)인 점을 이용해 k‑subset 무지개 정점 연결 문제가 NP‑Hard임을 증명한다.

다음 단계에서는 k‑subset 문제와 “rvc(G)≤k” 판정 문제 사이의 다항식 시간 동등성을 구축한다. 저자는 k=2,3에 대해 구체적인 그래프 변환 G₂, G₃를 제시하고, 일반 k에 대해서는 귀납적으로 G_k를 구성한다. 변환 과정에서 원 그래프의 정점들을 여러 레이어에 복제하고, 각 레이어 사이에 특수한 연결 구조를 삽입해, P에 포함된 정점 쌍은 길이가 k+2 이상인 경로만 존재하도록, 포함되지 않은 쌍은 정확히 길이 k+1인 경로가 존재하도록 설계한다. 이렇게 하면 G_k가 k‑색으로 무지개 정점 연결이 가능하다는 것은 원 그래프가 P에 대해 k‑subset 무지개 정점 연결이 가능함과 동치가 된다.

이 동등성을 통해 “rvc(G)≤k” 문제가 k‑subset 문제와 동일한 난이도를 갖는다는 것을 보이고, 앞서 증명한 NP‑Hard성을 그대로 전달한다. 또한, 주어진 색칠이 k색으로 존재한다는 증명은 다항식 시간에 검증 가능하므로 문제는 NP에도 속한다. 따라서 모든 고정된 정수 k≥2에 대해 “rvc(G)≤k” 판정 문제는 NP‑Complete임을 최종적으로 결론짓는다.

이 논문의 핵심 기여는 (1) k‑subset 무지개 정점 연결 문제를 기존의 잘 알려진 k‑정점 색칠 문제와 연결시켜 NP‑Hard성을 확보한 점, (2) 복잡한 그래프 변환을 통해 k‑subset 문제와 rvc 판정 문제 사이의 다항식 시간 동등성을 체계적으로 구축한 점이다. 이러한 방법론은 무지개 연결성 문제 전반에 대한 복잡도 분석에 새로운 틀을 제공하며, 향후 다른 파라미터화된 그래프 연결 문제에도 적용 가능성을 시사한다.