그래프의 무지개 정점 연결성 복잡도 연구

본 논문은 정점에 색을 부여한 그래프에서 무지개 정점 연결성(rainbow vertex‑connection, rvc)의 계산 복잡성을 연구한다. 무지개 정점 연결성은 그래프 G의 모든 정점 쌍 u, v 사이에 내부 정점들의 색이 서로 다른 경로가 존재하도록 하는 최소 색 수를 의미한다. 기존 연구에서는 무지개 연결성(rc, 즉 간선에 색을 부여한 경우)의 NP‑Hard와 NP‑Complete 결과가 알려졌지만, 정점 버전인 rvc에 대해서는 아직 정식 증명이 부족했다. 저자들은 이 공백을 메우고자, rvc(G)를 구하는 문제가 NP‑Hard이며, 특히 rvc(G)=2인지를 판정하는 문제가 NP‑Complete임을 증명한다. 또한, 주어진 정점 색칠이 그래프를 무지개 정점 연결하게 만드는지 여부도 NP‑Complete임을 보인다. 논문의 전개는 다음과 같다. 먼저, 무지개 정점 연결성의 정의와 기본적인 성질을 소개한다. rvc(G)는 그래프의 정점 수 n에 대해 0 ≤ rvc(G) ≤ n‑2이며, 완전 그래프에서는 0, 트리에서는 n‑2가 된다. 또한, 그래프의 지름(diam)과의 관계 rvc(G) ≥ diam(G)‑1가 성립한다. 첫 번째 주요 결과는 “주어진 정점 색칠이 그래프를 무지개 정점 연결하게 만드는가?” 문제를 정의하고, 이를 NP‑Complete임을 증명한다. 이를 위해 두 보조 문제를 도입한다. Problem 1은 특정 두 정점 s, t 사이에 무지개 정점 경로가 존재하는지를 묻고, Problem 2는 전체 그래프가 무지개 정점 연결인지 판정한다. Lemma 1에서는 Problem 1을 Polynomial 시간에 Problem 2로 변환한다. 변환 과정에서 원래 그래프 G에 보조 정점 s′, t′와 a, b를 추가하고, 색을 새롭게 배정한다. 이 구조는 s′와 t′ 사이의 모든 무지개 정점 경로가 반드시 G의 s‑t 무지개 정점 경로를 포함하도록 만든다. 따라서 s‑t 경로 존재 여부와 전체 그래프의 무지개 정점 연결성은 동치가 된다. 다음으로 Lemma 2에서는 3‑SAT 인스턴스를 Problem 1에 다항식 시간 내에 감소시킨다. 변수와 절마다 특수한 경로와 색 집합을 구성하고, 각 절에 해당하는 경로가 선택될 경우 해당 변수에 대한 진리값이 결정된다. 만족 가능한 할당이 존재하면, 선택된 경로들의 조합이 s‑t 무지개 정점 경로를 형성한다. 반대로 s‑t 무지개 정점 경로가 존재하면, 경로에 포함된 색 배정으로부터 변수의 진리값을 복원할 수 있다. 따라서 3‑SAT ≤_p Problem 1 ≤_p Problem 2가 성립하고, Problem 2가 NP‑Complete임을 얻는다. 두 번째 주요 결과는 rvc(G)=2 판정의 NP‑Completeness이다. 이를 위해 세 단계의 중간 문제를 정의한다. Problem 3은 그래프 전체에 두 색만으로 무지개 정점 연결을 만들 수 있는지를 묻는다. Problem 4는 주어진 정점 쌍 집합 P에 대해서만 두 색으로 무지개 정점 연결을 요구한다. Problem 5는 두 개의 정점 집합 V₁, V₂와 일대일 대응 f가 주어졌을 때, V₁의 각 정점과 대응되는 V₂의 정점이 서로 다른 색을 갖도록 하면서 전체 그래프를 무지개 정점 연결하게 할 수 있는지를 묻는다. Lemma 3은 Problem 4를 Problem 3으로, Lemma 4는 Problem 5를 Problem 4로 각각 다항식 시간에 감소시킨다. 변환 과정에서는 새로운 보조 정점과 간선을 삽입하고, 색을 조절함으로써 요구되는 제약을 강제한다. 마지막으로 Lemma 5에서 3‑SAT을 Problem 5로 감소시켜 전체 연쇄를 완성한다. 변수와 절을 나타내는 정점들을 연결하고, 두 복제 집합 V₁, V₂를 동일한 변수 정점으로 설정한다. 색 배정이 두 집합 사이에서 서로 다르게 되도록 강제함으로써, 만족 가능한 할당이 존재하면 두 색만으로 무지개 정점 연결이 가능하고, 반대로 무지개 정점 연결이 가능하면 만족 가능한 할당을 복원할 수 있다. 따라서 rvc(G)=2 판정이 NP‑Complete이며, rvc(G) 자체를 계산하는 문제는 NP‑Hard임을 결론짓는다. 논문은 또한 기존 연구와의 연관성을 언급한다. 무지개 연결성(rc)과 무지개 정점 연결성(rvc) 사이의 차이점, 최소 차수와 rvc 사이의 관계(예: rvc(G) < 11n/δ) 등을 정리하고, 네트워크 라우팅 등 실용적 응용 가능성을 제시한다. 결론적으로, 이 연구는 무지개 정점 연결성 문제의 복잡도 지형을 명확히 그리며, 색 기반 그래프 연결성 문제에 대한 이론적 기반을 확장한다. 제시된 다항식 감소 기법은 향후 유사한 색 할당 및 경로 제약 문제에 적용될 수 있는 강력한 도구가 될 것이다.