무지개 연결과 연결 지배 집합의 새로운 상한

초록

본 논문은 최소 차수가 2 이상인 연결 그래프 G에 대해 무지개 연결수 rc(G)를 연결 지배수 γ_c(G)와 연관시켜 rc(G) ≤ γ_c(G)+2 라는 상한을 제시한다. 이를 통해 구간 그래프·AT‑free 그래프·원형 호 그래프·임계 그래프·체인 그래프 등 여러 특수 그래프 클래스에 대해 rc(G)와 지름 사이의 상한‑하한 관계를 도출하고, 브릿지 없는 코흐랄 그래프에 대해서는 rc(G) ≤ 3·radius(G) 를 얻는다. 또한 두 단계 지배 집합을 이용해 최소 차수 δ인 n 정점 그래프에 대해 rc(G) ≤ 3n/(δ+1)+3 라는 일반적인 상한을 증명함으로써 기존 20n/δ 상한을 크게 개선하고, 이 결과가 거의 최적임을 보인다.

상세 분석

이 논문은 무지개 연결수(rc)와 그래프 이론에서 오래전부터 연구되어 온 지배 집합 개념을 정교히 연결한다는 점에서 큰 의미를 가진다. 먼저 최소 차수가 2 이상인 연결 그래프 G에 대해, 저자들은 연결 지배 집합(connected dominating set, CDS)의 크기 γ_c(G)를 이용해 rc(G) ≤ γ_c(G)+2 라는 상한을 증명한다. 여기서 핵심 아이디어는 CDS를 선택한 뒤, 그 내부와 외부를 각각 두 가지 색으로 채색하고, 남은 간선들을 추가 색으로 색칠함으로써 모든 정점 쌍이 색이 겹치지 않는 경로를 가질 수 있게 하는 구성적 방법이다. 이 과정에서 CDS가 그래프 전체를 연결시키는 역할을 하므로, CDS 내부의 경로는 이미 색이 겹치지 않으며, 외부 정점들은 CDS에 인접함으로써 두 단계 이내에 연결된다. 따라서 추가적인 두 색만으로 전체 그래프를 무지개 연결 상태로 만들 수 있다.

이 결과는 여러 특수 그래프 클래스에 즉시 적용된다. 예를 들어, 최소 차수가 2 이상인 구간 그래프, AT‑free 그래프, 원형 호 그래프, 임계 그래프, 체인 그래프는 모두 작은 연결 지배 집합을 가질 수 있기에, rc(G)와 지름(diameter) 사이에 rc(G) ≤ diameter(G)+c (c는 1~4 사이) 라는 강력한 상한을 얻는다. 특히 이러한 클래스들은 구조적으로 CDS가 지름에 비례하거나 그보다 작게 존재함을 보일 수 있어, 기존에 알려진 상한보다 훨씬 촘촘한 결과를 제공한다.

또한 브릿지 없는 코흐랄 그래프에 대해 rc(G) ≤ 3·radius(G) 라는 새로운 상한을 제시한다. 코흐랄 그래프는 완전 그래프와 트리 구조가 결합된 형태로, 브릿지가 없을 경우 모든 정점이 중심 반경 내에 위치한다는 특성을 이용한다. 저자들은 중심 정점을 기준으로 반경 내의 정점들을 단계별로 색칠하고, 각 단계 사이의 간선을 적절히 배분함으로써 최대 3·radius(G) 색만으로 무지개 연결을 달성한다. 이 상한은 기존에 알려진 rc(G) ≤ 2·diameter(G) 와 비교했을 때, 반경과 지름 사이의 관계를 활용해 더 강력한 결과를 제공한다.

가장 혁신적인 부분은 두 단계 지배 집합(two‑step dominating set)을 도입해 일반적인 최소 차수 δ를 갖는 n 정점 그래프에 대해 rc(G) ≤ 3n/(δ+1)+3 라는 상한을 얻은 것이다. 두 단계 지배 집합은 모든 정점이 선택된 집합으로부터 거리 2 이내에 존재하도록 하는 집합으로, 크기가 O(n/(δ+1)) 로 제한된다. 저자들은 이 집합을 기반으로 색칠 전략을 설계하고, 각 단계마다 최대 3개의 색을 사용해 전체 그래프를 무지개 연결 상태로 만든다. 이 결과는 Schiermeyer(2009)의 열린 문제를 해결했으며, Krivelevich와 Yuster(2010)의 rc(G) ≤ 20n/δ 상한을 크게 개선한다. 또한 Caro 등(2008)의 구성 예시를 통해 이 상한이 상수 항을 제외하고는 최적에 가깝다는 점을 확인한다. 전체적으로, 이 논문은 무지개 연결수와 지배 집합 사이의 깊은 관계를 밝히고, 다양한 그래프 클래스와 일반 그래프에 적용 가능한 강력한 상한들을 제공함으로써 그래프 색채 이론에 새로운 방향을 제시한다.