[논문 리뷰] Rainbow connection numbers of complementary graphs

Xueliang Li, Yuefang Sun|arXiv (Cornell University)|2010. 11. 20.

Advanced Graph Theory Research참고 문헌 4인용 수 8

한 줄 요약

이 논문은 그래프 G의 보완 그래프 $\overline{G}$에 대한 구조적 제약 조건을 분석하여 그래프의 레인보우 연결 수를 조사한다. 만약 $\overline{G}$가 직경 2 또는 3이거나, 정확히 두 개의 컴포넌트로 이루어져 있고 그 중 하나가 자명한 경우를 피한다면, $rc(G) \leq 4$임을 증명한다. 추가로 $\overline{G}$가 삼각형을 포함하지 않는 조건이 만족될 경우, $rc(G) \leq 6$임을 더 밝혀내며, 구성 방법을 통해 이 경계가 날카로운 것을 입증한다.

ABSTRACT

A path in an edge-colored graph, where adjacent edges may be colored the same, is a rainbow path if no two edges of it are colored the same. A nontrivial connected graph $G$ is rainbow connected if there is a rainbow path connecting any two vertices, and the rainbow connection number of $G$, denoted by $rc(G)$, is the minimum number of colors that are needed in order to make $G$ rainbow connected. In this paper, we provide a new approach to investigate the rainbow connection number of a graph $G$ according to some constraints to its complement graph $\bar{G}$. We first derive that for a connected graph $G$, if $\bar{G}$ does not belong to the following two cases: $(i)$~$diam(\bar{G})=2,3$, $(ii)~\bar{G}$ contains exactly two connected components and one of them is trivial, then $rc(G)\leq 4$, where $diam(G)$ is the diameter of $G$. Examples are given to show that this bound is best possible. Next we derive that for a connected graph $G$, if $\bar{G}$ is triangle-free, then $rc(G)\leq 6$.

연구 동기 및 목표

• 연결된 그래프 $G$에서 레인보우 연결 수 $rc(G)$가 유한함을 보장하는 보완 그래프 $\overline{G}$에 대한 충분한 조건을 설정하는 것.
• $\overline{G}$의 구조적 장애물—특히 직경 2 또는 3, 또는 자명한 컴포넌트를 가진 비연결성—이 $rc(G)$를 무한히 크게 만들 수 있음을 규명하는 것.
• $\overline{G}$가 삼각형을 포함하지 않는 추가 조건 하에서 $rc(G)$의 상한을 향상시켜 $rc(G) \leq 6$임을 보이는 것.
• 명시적인 구성 방법을 통해 이 경계의 날카로움을 입증하여, 더 이상 향상시킬 수 없음을 보여주는 것.

제안 방법

• $\overline{G}$의 구조를 분석하여 $rc(G)$가 유한해지는 조건을 도출하며, 특히 직경과 연결성에 중점을 둔다.
• 정점 분할을 이용한 레이마 2.2를 적용하여, 유도된 부분그래프의 $rc(H_i)$를 통해 $rc(G)$를 유계로 제한한다.
• 연결된 이중 지배 집합에 관한 정리 2.5를 활용하여 $rc(G)$를 유도된 부분그래프의 레인보우 연결 수와 연결한다.
• 정점의 원점 거리 및 이웃 구조에 기반한 간선 색칠 논증과 케이스 분석을 수행한다.
• 특정 간선 색칠을 $\overline{G}$에 적용하여 주장된 경계에 도달하며, 특히 삼각형을 포함하지 않는 성질을 유용하게 활용한다.
• 기존의 완전 다중분할 그래프에 관한 결과(예: $rc(K_{s,t}) \leq 4$)를 분석의 기초로 활용한다.

실험 결과

연구 질문

• RQ1 $\overline{G}$가 어떤 조건을 만족할 경우 $rc(G)$가 작은 상수, 특히 4 이내로 유계가 되는가?
• RQ2 $\overline{G}$의 어떤 구조적 특징—예를 들어 직경이나 컴포넌트 수—이 $rc(G)$를 무한히 크게 만들 수 있는가?
• RQ3 $\overline{G}$가 삼각형을 포함하지 않는 조건이 $rc(G)$의 상한에 어떤 영향을 미치는가?
• RQ4 $\overline{G}$가 삼각형을 포함하지 않는 조건 하에서 $rc(G) \leq 6$의 경계가 달성 가능한가? 그리고 이 경계는 날카로운가?
• RQ5 유도된 $rc(G)$ 경계의 날카로움을 입증하기 위한 명시적 구성이 존재하는가?

주요 결과

• 만약 $\overline{G}$가 직경 2 또는 3이 아니며, 정확히 두 개의 컴포넌트로 이루어져 있고 그 중 하나가 자명하지 않다면, $rc(G) \leq 4$이며, 이 경계는 최적임을 입증한다.
• $\overline{G}$가 삼각형을 포함하지 않는 경우, $rc(G) \leq 6$이며, 이는 $\overline{G}$의 직경이나 컴포넌트 구조와 무관하게 성립한다.
• $\overline{G}$의 직경이 3이면서 삼각형을 포함하지 않는 경우, $rc(G) \leq 5$임을 보여, 이 하위 케이스에서 더욱 날카로운 경계를 확보한다.
• $\overline{G}$의 직경이 2이거나 자명한 컴포넌트를 포함하는 비연결 그래프인 경우, 매달린 정점 수나 컷 에지의 수에 따라 $rc(G)$는 임의로 크게 증가할 수 있다.
• $rc(G) \leq 4$ 경계는 명시적인 구성 방법을 통해 $rc(G) = 4$인 예시를 제시함으로써 날카로움이 입증된다.
• $\overline{G}$가 삼각형을 포함하지 않는 조건은 $G$가 클로버리프 그래프가 아님을 보장하며, 이는 연결된 이중 지배 집합을 활용하여 $rc(G) \leq 6$ 결과를 도출하는 데 기여한다.