[논문 리뷰] Rainbow matchings and partial transversals of Latin squares

András Gyárfás, Gábor N. Sárközy|arXiv (Cornell University)|2012. 08. 28.

graph theory and CDMA systems참고 문헌 10인용 수 4

한 줄 요약

이 논문은 적절하게 간선으로 칠해진 그래프에서 레인보우 매칭의 크기와 라틴 제곱에서 부분 전치의 크기에 대해 새로운 하한을 설정한다. 색상 간에 서로소인 매칭을 분석하고 짧은 사이클을 피하는 것으로, 적절하게 칠해진 그래프가 최소 $4\delta(G) - 3$ 개의 정점을 가진다면 레인보우 매칭의 크기가 $\delta(G)$임을 증명하며, $2\delta(G)$ 개의 정점을 가진 그래프의 경우 레인보우 매칭의 크기가 최소 $\delta(G) - 2\delta(G)^{2/3}$임을 보장한다. 이는 라틴 제곱과 전치에 관한 渐近 결과를 확장한다.

ABSTRACT

In this paper we consider properly edge-colored graphs, i.e. two edges with the same color cannot share an endpoint, so each color class is a matching. A matching is called \it rainbow m if its edges have different colors. The minimum degree of a graph is denoted by $δ(G)$. We show that properly edge colored graphs $G$ with $|V(G)|\ge 4δ(G)-3$ have rainbow matchings of size $δ(G)$, this gives the best known estimate to a recent question of Wang. Since one obviously needs at least $2δ(G)$ vertices to guarantee a rainbow matching of size $δ(G)$, we investigate what happens when $|V(G)|\ge 2δ(G)$. We show that any properly edge colored graph $G$ with $|V(G)|\ge 2δ$ contains a rainbow matching of size at least $δ- 2δ(G)^{2/3}$. This result extends (with a weaker error term) the well-known result that a factorization of the complete bipartite graph $K_{n,n}$ has a rainbow matching of size $n-o(n)$, or equivalently that every Latin square of order $n$ has a partial transversal of size $n-o(n)$ (an asymptotic version of the Ryser - Brualdi conjecture). In this direction we also show that every Latin square of order $n$ has a {\em cycle-free partial transversal} of size $n-o(n)$.

연구 동기 및 목표

• 적절하게 간선으로 칠해진 그래프에서 레인보우 매칭의 크기가 $\delta(G)$가 되도록 보장하기 위해 필요한 최소 정점 수를 결정하는 왕의 질문을 해결하기 위해.
• 특히 라틴 제곱과 전치의 맥락에서 $|V(G)| \geq 2\delta(G)$ 인 그래프에서 레인보우 매칭의 크기에 대한 기존 하한을 향상시키기 위해.
• 라틴 제곱에서 짧은 사이클(길이 $\leq k$)을 피하는 큰 사이클 없는 부분 전치의 존재를 확립하기 위해.

제안 방법

• 각 색상 클래스가 매칭이 되는 적절하게 간선으로 칠해진 그래프를 분석하며, 반복적인 간선 선택과 금지된 간선 제거를 통해 레인보우 매칭을 구성한다.
• 선형 레인보우 부분다이그래프를 유지하고 길이 $\leq k$ 인 레인보우 사이클을 피하기 위해 정점 집합 $A_i$ 및 $B_i$ 의 재귀적 구성 방법을 사용한다.
• 기존의 길이 $\leq k-1$ 인 레인보우 경로를 기반으로 한 금지된 간선 기준을 적용하여 사이클 형성을 방지하고, 작은 사이클에 대해 $G_i$ 가 무사이클로 유지되도록 보장한다.
• 각 정점당 금지된 간선의 수를 제한하기 위한 수세기적 추론을 사용하여, 새로운 색상 클래스당 제거되는 간선 수의 하한을 도출한다.
• 경로의 구조와 분리성을 유지하기 위해 $B_i \setminus B_{i-1}$ 에서부터 새로운 집합 $A_i \setminus A_{i-1}$ 을 정의하는 이동 메커니즘을 도입한다.
• 부분 전치의 크기에 대한 하한을 확립하기 위해 $n - t \leq 6n^{(k-1)/k}$ 와 같은 핵심 부등식을 유도한다. 여기서 $t$ 는 전치의 크기를 의미한다.

실험 결과

연구 질문

• RQ1 적절하게 간선으로 칠해진 그래프에서 레인보우 매칭의 크기가 $\delta(G)$ 가 되도록 보장하기 위해 필요한 최소 정점 수는 얼마인가?
• RQ2 만약 $|V(G)| \geq 2\delta(G)$ 라면, 레인보우 매칭의 크기가 $\delta(G) - 2\delta(G)^{2/3}$ 가 되도록 보장할 수 있는가?
• RQ3 주어진 $k$ 에 대해, 라틴 제곱은 길이 $\leq k$ 인 사이클을 피하는 큰 부분 전치를 갖는가?
• RQ4 사이클 없는 전치로 제한함으로써 渐近적 부분 전치 하한의 오차 항을 개선할 수 있는가?
• RQ5 순서 $n$ 의 라틴 제곱에서 어떤 경우에도 사이클이 전혀 없는 크기 $n - 2$ 의 부분 전치를 구성하는 것이 가능한가?

주요 결과

• 적절하게 간선으로 칠해진 그래프가 최소 $4\delta(G) - 3$ 개의 정점을 가진다면, 레인보우 매칭의 크기가 $\delta(G)$ 임을 보장한다. 이는 이전의 하한을 향상시킨다.
• 그래프가 $|V(G)| \geq 2\delta(G)$ 를 만족할 경우, 최소 $\delta(G) - 2\delta(G)^{2/3}$ 크기의 레인보우 매칭이 존재하며, 이는 라틴 제곱에 관한 渐近 결과를 확장한다.
• 모든 순서 $n$ 의 라틴 제곱은 길이 $\leq k$ 인 사이클이 없는 부분 전치를 최소 $n - 6n^{(k-1)/k}$ 크기로 가진다. 여기서 $k \geq 2$ 이다.
• 이 결과를 $k = \lfloor \log n / (3\log\log n) \rfloor$ 로 적용하면, 사이클 없는 부분 전치의 크기가 최소 $\left(1 - \frac{4\log\log n}{\log n}\right)n$ 이 된다.
• 이 결과는 라틴 제곱이 선형 크기에서 로그 이하의 오차 항을 갖는 사이클 없는 부분 전치를 가짐을 시사하며, Ryser-Brualdi 추측의 강화된 형태를 지지한다.
• 논문은 짧은 레인보우 사이클을 피하면서 간선을 반복적으로 추가함으로써 큰 레인보우 매칭과 사이클 없는 전치를 구성하는 구조적 프레임워크를 제공한다.