[논문 리뷰] Bipartite Rainbow Numbers of Matchings

Xueliang Li, Jianhua Tu외 1명|ArXiv.org|2006. 10. 30.

Limits and Structures in Graph Theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 모든 $ m \geq n \geq 1 $ 및 $ k \geq 1 $ 에 대해 정확한 이분할 레인보우 수 $ rb(K_{m,n}, kK_2) $ 를 결정하며, $ m > k $ 일 때는 $ K_{m,n} $ 에서 크기 $ k $ 의 레인보우 매칭을 보장하는 데 필요한 최소 색 수가 $ m(k-2) + 2 $ 임을 밝혀내고, 그렇지 않을 경우 $ k $ 라는 값을 갖는다. 이 결과는 완전 그래프에서의 레인보우 매칭에 대한 슈이어마이어의 이전 작업을 이론적 그래프 이론과 구조적 케이스 분석을 통해 이분할 설정으로 확장한다.

ABSTRACT

Given two graphs $G$ and $H$, let $f(G,H)$ denote the maximum number $c$ for which there is a way to color the edges of $G$ with $c$ colors such that every subgraph $H$ of $G$ has at least two edges of the same color. Equivalently, any edge-coloring of $G$ with at least $rb(G,H)=f(G,H)+1$ colors contains a rainbow copy of $H$, where a rainbow subgraph of an edge-colored graph is such that no two edges of it have the same color. The number $rb(G,H)$ is called the {\it rainbow number of $H$ with respect to $G$}, and simply called the {\it bipartite rainbow number of $H$} if $G$ is the complete bipartite graph $K_{m,n}$. Erdős, Simonovits and Sós showed that $rb(K_n,K_3)=n$. In 2004, Schiermeyer determined the rainbow numbers $rb(K_n,K_k)$ for all $n\geq k\geq 4$, and the rainbow numbers $rb(K_n,kK_2)$ for all $k\geq 2$ and $n\geq 3k+3$. In this paper we will determine the rainbow numbers $rb(K_{m,n},kK_2)$ for all $k\geq 1$.

연구 동기 및 목표

• 완전 그래프에서의 레인보우 수에 대한 슈이어마이어의 결과를 이분할 설정으로 확장하기 위해.
• 모든 $ m \geq n \geq 1 $ 및 $ k \geq 1 $ 에 대해 이분할 레인보우 수 $ rb(K_{m,n}, kK_2) $ 의 정확한 값을 결정하기 위해.
• $ K_{m,n} $ 에서 크기 $ k $ 의 레인보우 매칭을 피하는 극한 간선 색채우기의 특성을 규명하기 위해.
• 이론적 그래프 이론과 구조적 케이스 분석을 통해 완전 이분할 그래프에서 매칭에 대한 레인보우 수의 완전한 분류를 수립하기 위해.

제안 방법

• 이론적 그래프 이론을 사용하여 $ (k-1)K_2 $ 부분그래프를 포함하지 않는 이분할 그래프의 최대 간선 수 $ ext(m,n,(k-1)K_2) $ 를 결정한다.
• 레마 2.1 을 통해 할의 결혼 정리를 적용하여 결함이 주어진 이분할 그래프에서 최대 매칭의 크기를 근사한다.
• 최대 매칭과 이웃 집합의 구조에 기반한 케이스 분석을 통해 레인보우 $ kK_2 $ 를 피하는 색채우기의 간선 수를 근사한다.
• 핵심 간선에 색을 고정하고 귀납법을 사용하여 극한 구성에서 레인보우 매칭의 존재를 유도한다.
• 특수한 그래프 구조, 예를 들어 $ SG_1 $ (팔다리가 붙은 $ K_{m-1,m-1} $) 과 $ SG_2 $ (고립 정점이 하나 더 있는 $ K_{m-1,m-1} $) 를 극한 케이스로 고려한다.
• 모순 증명을 사용한다: 레인보우 $ kK_2 $ 가 존재하지 않는다고 가정하면 간선 수의 상한이 도출되며, 이는 결국 그러한 매칭의 존재를 강제한다.

실험 결과

연구 질문

• RQ1 모든 $ m \geq n \geq 1 $ 및 $ k \geq 1 $ 에 대해 이분할 레인보우 수 $ rb(K_{m,n}, kK_2) $ 의 정확한 값은 무엇인가요?
• RQ2 완전 이분할 그래프 $ K_{m,n} $ 에서 매칭에 대한 레인보우 수는 매개변수 $ m $, $ n $, $ k $ 에 따라 어떻게 달라지나요?
• RQ3 크기 $ k $ 의 레인보우 매칭을 피하는 $ K_{m,n} $ 의 극한 간선 색채우기의 형태는 무엇인가요?
• RQ4 $ m \geq n $ 전반에 걸쳐 $ K_{m,n} $ 에서 $ kK_2 $ 의 레인보우 수는 통일적으로 결정될 수 있는가, 아니면 상대적 크기에 따라 달라지는가?

주요 결과

• 이분할 레인보우 수 $ rb(K_{m,n}, kK_2) $ 는 $ m > k $ 일 때 정확히 $ m(k-2) + 2 $ 이다.
• $ m = k $ 일 때, 레인보우 수는 $ k $ 이며, 이 값은 오직 $ m = n = k $ 일 때에만 달성된다.
• $ m \geq 3 $ 이고 $ n \geq 2 $ 일 때, $ rb(K_{m,n}, 2K_2) = 2 $ 이지만, $ rb(K_{2,2}, 2K_2) = 3 $ 이므로 $ m=n=2 $ 에서는 작은 예외가 존재한다.
• $ ext(m,n,(k-1)K_2) $ 를 달성하는 극한 그래프는 $ K_{m,k-1} $ 이며, 이 구조는 레인보우 수를 근사하는 데 핵심적인 역할을 한다.
• $ K_{m,n} $ 에 대해 $ m(k-2) + 2 $ 개를 초과하는 색을 사용하는 모든 간선 색채우기는 반드시 크기 $ k $ 의 레인보우 매칭을 포함하며, 이 상한은 날카로운 경계이다.
• 증명은 $ m(k-2)+2 $ 개 간선에 도달하는 모든 극한 색채우기가 $ SG_1 $ 또는 $ SG_2 $ 와 동형이며, 이러한 모든 경우에서 레인보우 $ kK_2 $ 는 피할 수 없다는 것을 보여준다.