레인보우 k 연결성의 완전 이분 그래프에서의 새로운 경계

본 논문은 레인보우 k-연결성(rc_k)이라는 그래프 이론 개념을 r-정규 완전 이분 그래프 K_{r,r}에 적용하여, 충분히 큰 r에 대해 rc_k(K_{r,r})가 정확히 3이 됨을 증명한다. 먼저, 레인보우 경로와 레인보우 k-연결성의 정의를 재정리하고, 기존 연구에서 완전 그래프 K_n에 대해 rc_k(K_n)=2가 충분히 큰 n에서 성립한다는 결과와, K_{r,r}에 대해서는 rc_k(K_{r,r})=3이 되는 충분조건이 아직 밝혀지지 않았다는 점을 강조한다. Chartrand 등(2009)이 제시한 열린 문제, 즉 “모든 k≥2에 대해 rc_k(K_{r,r})=3이 되도록 하는 최소 r값 g(k)를 구하라”는 질문에 답하기 위해, 저자는 새로운 색 배정 전략을 고안한다. 핵심 아이디어는 색을 3가지만 사용하면서도 각 정점 쌍에 대해 k개의 내부적으로 서로 겹치지 않는 무지개 경로를 만들 수 있는 구조를 설계하는 것이다. 이를 위해 r을 2k⌈k/2⌉ 이상이라고 가정하고, 두 파티션 A와 B를 각각 ⌈k/2⌉개의 서브셋으로 균등하게 나눈다. 각 서브셋 간의 간선에 색 1,2,3을 순환적으로 할당함으로써, 같은 파티션에 속한 두 정점 사이에도 색이 서로 다른 경로를 구성할 수 있다. 구체적인 색 배정은 다음과 같다. A의 i번째 서브셋과 B의 j번째 서브셋 사이의 모든 간선은 색 (i+j) mod 3에 따라 지정된다. 이렇게 하면 각 서브셋 쌍마다 최소 k/2개의 서로 다른 색을 가진 간선이 존재하게 된다. 증명 과정에서는 Hall의 매칭 정리를 이용해 각 서브셋 쌍 사이에 충분한 매칭이 존재함을 보인다. 특히, r ≥ 2k⌈k/2⌉라는 조건은 각 서브셋이 최소 k개의 이웃을 갖도록 보장하며, 이는 k개의 내부적으로 서로 겹치지 않는 무지개 경로를 구성하는 데 필수적이다. 저자는 또한, 색 3개만으로는 r이 이보다 작을 경우 k개의 무지개 경로를 보장할 수 없다는 반례를 제시하여, 제시된 하한이 최적임을 암시한다. 논문의 마지막 부분에서는 결과의 의미를 논의한다. rc_k(K_{r,r})=3이라는 결론은 완전 이분 그래프에서 레인보우 연결성을 유지하기 위해 필요한 최소 색 수가 매우 낮다는 것을 보여준다. 이는 통신 네트워크에서 보안성을 높이면서도 채널(색)의 사용을 최소화할 수 있는 설계에 직접적인 응용 가능성을 제공한다. 또한, 기존에 (k+1)^2와 같은 느슨한 상한을 사용하던 이전 연구와 비교했을 때, r ≥ 2k⌈k/2⌉라는 명확하고 타이트한 경계값을 제시함으로써 이 분야의 이론적 발전에 크게 기여한다. 향후 연구에서는 이 방법을 비정규 이분 그래프나 다중 파티션 그래프에 확장하는 가능성을 탐색할 수 있을 것이다.