반지 색칠 수와 반경의 최적 경계

초록

연결 그래프 G가 다리(bridge)가 없을 때, 그 반경 r에 대해 무지개 연결 수 rc(G)는 r(r+2) 이하임을 보이고, 이 상한이 강한 연결성까지 포함한 모든 경우에 최적임을 증명한다. 또한 최대 유도 사이클 길이 k(코드얼리티)라면 rc(G) ≤ r·k가 성립한다. 마지막으로 rc(G) 계산이 NP‑Hard인 점을 감안해, 반경 r과 직경 d에 기반한 (r+3)· 및 (d+3)· 근사 알고리즘을 각각 O(nm)와 O(dm) 시간에 제시한다.

상세 분석

본 논문은 무브릿지 그래프(bridgeless graph)의 반지 색칠 수(rainbow connection number, rc)와 그래프의 반경(radius) 사이의 정량적 관계를 최초로 명확히 규정한다. 저자들은 모든 다리 없는 연결 그래프 G에 대해 rc(G) ≤ r(r+2)라는 상한을 증명한다. 여기서 r은 G의 반경이며, 반경은 중심 정점에서 가장 먼 정점까지의 거리 최솟값이다. 증명은 중심 정점으로부터 거리별 레이어를 구성하고, 각 레이어 사이에 색을 할당하는 단계적 방법을 사용한다. 레이어 i와 i+1 사이의 모든 간선에 서로 다른 색을 부여함으로써, 임의의 두 정점 사이에 색이 겹치지 않는 경로가 존재하도록 보장한다. 특히, 레이어 i 내부의 간선은 추가적인 색을 사용해 사이클을 방지하고, 전체 색 수는 i가 0부터 r‑1까지 진행될 때 r(r+2)개의 색으로 제한된다.

상한의 최적성은 반지 색칠 수가 반경의 함수로서 r(r+2)보다 작아질 수 없음을 보이는 반례를 통해 입증한다. 저자들은 완전 이분 그래프, 완전 그래프, 그리고 고차원 하이퍼큐브와 같은 다양한 구조에서 동일한 상한이 달성됨을 확인한다. 특히, 강한 연결성(예: 2‑연결, k‑연결) 그래프에서도 동일한 상한이 유지되므로, 이 결과는 단순히 “다리 없음”이라는 조건에 국한되지 않는다.

또 다른 주요 결과는 코드얼리티(k, 즉 가장 큰 유도 사이클의 길이)와 반경 r을 결합한 rc(G) ≤ r·k라는 부등식이다. 이는 그래프가 큰 사이클을 포함할수록 색칠에 필요한 색 수가 감소할 수 있음을 시사한다. 증명은 사이클을 중심으로 하는 레이어 구조를 재구성하고, 사이클 내부에서 색을 재사용함으로써 전체 색 수를 r·k 이하로 압축한다.

마지막으로, rc(G)의 계산이 NP‑Hard임을 감안해 두 가지 근사 알고리즘을 제시한다. 첫 번째는 반경 r에 기반해 (r+3)배 근사를 제공하며, 시간 복잡도는 O(nm)이다. 두 번째는 직경 d에 기반해 (d+3)배 근사를 제공하고, O(dm) 시간에 실행된다. 두 알고리즘 모두 BFS 트리와 최소 스패닝 트리를 활용해 색 할당 과정을 효율적으로 수행한다. 이들 근사는 실제 대규모 네트워크에서 무지개 연결을 빠르게 구현하는 실용적 방법을 제공한다.

전체적으로, 본 연구는 무지개 연결 수와 기본적인 거리 파라미터 사이의 근본적인 관계를 밝히고, 이론적 최적 상한과 실용적 근사 알고리즘을 동시에 제시함으로써 그래프 이론과 네트워크 설계 분야에 중요한 기여를 한다.