평면 그래프와 라인 그래프의 무지개 연결성 연구

초록

본 논문은 평면 이분 그래프와 라인 그래프에서의 무지개 연결성 문제의 복잡도를 분석한다. 색칠된 평면 이분 그래프가 무지개 연결인지 판단하는 문제가 NP‑Complete임을 증명하고, 외부 평면 그래프의 지름이 2·3인 경우에 대한 무지개 연결수 상한을 제시한다. 또한 정점 색칠 라인 그래프가 무지개 정점 연결인지 판단하는 문제 역시 NP‑Complete임을 보인다.

상세 분석

논문은 먼저 무지개 연결성(rainbow connection)과 무지개 정점 연결성(rainbow vertex‑connection)의 기본 정의와 기존 연구들을 정리한다. 기존에 rc(G)=2 판정이 NP‑Complete이며, 일반적인 색칠된 그래프에서 무지개 연결성을 확인하는 문제도 NP‑Complete임이 알려져 있었다. 저자들은 이러한 난이도 결과를 더 제한된 그래프 클래스, 즉 평면 이분 그래프와 라인 그래프에까지 확장한다.

첫 번째 주요 결과는 Lemma 1과 Lemma 2를 이용해 색칠된 일반 그래프를 평면 이분 그래프로 변환하는 다항식 감소를 구성한 것이다. 구체적으로, 원래 그래프의 각 교차점을 3×3 격자 구조로 교체하고, 새로 도입된 간선에 새로운 색을 할당한다. 이 변환은 그래프의 평면성을 보장하면서도 원래 그래프가 무지개 연결이면 변환된 그래프도 무지개 연결임을 보인다. 반대로, 변환된 그래프가 무지개 연결이면 원래 그래프도 무지개 연결임을 역으로 증명한다. 따라서 색칠된 평면 그래프에서 무지개 연결성을 판단하는 문제가 NP‑Complete임을 얻는다.

그 다음으로는 평면 이분 그래프에 대한 직접적인 NP‑Complete 결과를 Corollary 1로 도출한다. 이는 앞선 변환 과정에서 각 간선을 한 번씩 분할하면 자동으로 이분 그래프가 되기 때문이다.

두 번째 연구 영역은 외부 평면 그래프(outerplanar graph)에서의 무지개 연결수 상한이다. 저자들은 브리지를 갖지 않는 외부 평면 그래프의 지름이 2인 경우 rc(G)≤3, 지름이 3인 경우 rc(G)≤6이라는 새로운 상한을 제시한다. 이를 위해 지배 집합(dominating set)과 연결 지배 집합의 존재를 이용해 그래프를 작은 부분 그래프와 결합하는 방법(Lemma 4)을 적용하였다. 특히, 2‑연결 외부 평면 그래프는 외부면을 둘러싼 해밀턴 사이클을 갖고, 내부에 존재하는 코드(chord)들의 배치를 분석함으로써 경우별로 rc(G)의 정확한 값을 제한한다.

마지막으로 라인 그래프(line graph)에서의 무지개 정점 연결성 문제를 다룬다. 라인 그래프는 원래 그래프의 간선들을 정점으로 바꾸어 인접성을 유지하는 변환이다. 저자들은 임의의 색칠된 그래프 G를 그 라인 그래프 L(G)로 변환하고, 정점 색칠을 간선 색칠에 대응시키는 다항식 감소를 설계한다. 이 과정에서 L(G)가 무지개 정점 연결이면 원래 그래프 G가 무지개 연결인지와 동등함을 보이며, 따라서 색칠된 라인 그래프가 무지개 정점 연결인지 판단하는 문제가 NP‑Complete임을 증명한다.

전체적으로 논문은 무지개 연결성 문제의 난이도를 기존보다 더 제한된 그래프 클래스까지 확장함으로써, 그래프 이론과 계산 복잡도 사이의 깊은 연관성을 새롭게 조명한다. 특히 평면성, 이분성, 라인 그래프 구조라는 제약이 있음에도 불구하고 문제의 NP‑Complete 성질이 유지된다는 점은 무지개 연결성 연구에 중요한 이론적 기반을 제공한다.