[논문 리뷰] Proof of the Goldberg-Seymour Conjecture on Edge-Colorings of Multigraphs

Guantao Chen, Guangming Jing외 1명|arXiv (Cornell University)|2019. 01. 29.

Advanced Graph Theory Research참고 문헌 18인용 수 12

한 줄 요약

이 논문은 골드버그-세이머 콘JECTURE를 증명하며, 임의의 다중그래프의 색인수(chromatic index)가 max{Δ(G)+1, ⌈Γ(G)⌉} 이하임을 입증한다. 여기서 Δ(G)는 최대 차수이고, Γ(G)는 그래프의 밀도이다. 이 증명은 간선 색칠 이론에서 50년 넘게 미해결된 문제를 해결하며, 색인수는 오직 두 가지 값 중 하나이며, 분수 간선 색칠의 완화는 정수 해와 최대 한도 이내임을 보여주며, 강력한 정수 반올림 성질을 확인한다.

ABSTRACT

Given a multigraph $G=(V,E)$, the {\em edge-coloring problem} (ECP) is to color the edges of $G$ with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of $G$, denoted by $χ'(G)$ (resp. $χ^*(G)$). Let $Δ(G)$ be the maximum degree of $G$ and let \[Γ(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm { m and \hskip 2mm odd} \Big\},\] where $E(U)$ is the set of all edges of $G$ with both ends in $U$. Clearly, $\max\{Δ(G), \, \lceil Γ(G) ceil \}$ is a lower bound for $χ'(G)$. As shown by Seymour, $χ^*(G)=\max\{Δ(G), \, Γ(G)\}$. In the 1970s Goldberg and Seymour independently conjectured that $χ'(G) \le \max\{Δ(G)+1, \, \lceil Γ(G) ceil\}$. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for $χ'(G)$, so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is $NP$-hard in general to determine $χ'(G)$, we can approximate it within one of its true value, and find it exactly in polynomial time when $Γ(G)>Δ(G)$; third, every multigraph $G$ satisfies $χ'(G)-χ^*(G) \le 1$, so FECP has a fascinating integer rounding property.

연구 동기 및 목표

• 다중그래프의 간선 색칠에 관한 그래프 이론에서 오랫동안 미해결된 문제인 골드버그-세이머 콘JECTURE를 해결하기 위해.
• 최대 차수 Δ(G)와 간선 밀도 Γ(G)를 바탕으로 색인수 χ′(G)의 날카로운 경계를 설정하기 위해.
• χ′(G) ∈ {⌈max{Δ(G), Γ(G)}⌉, ⌈max{Δ(G), Γ(G)}⌉ + 1}임을 증명하여 단순 그래프에 대한 비징의 정리와 유사성을 보여주기 위해.
• 분수 색인수 χ*(G)가 정수 색인수와 최대 한 칸 이내임을 보여주며, 깊은 정수 반올림 성질을 확인하기 위해.

제안 방법

• 간선 색칠 문제를 정수 프로그래밍으로 공식화하고, 그 선형계획법 완화를 분수 간선 색칠 문제(FECP)로 정의한다.
• 색인수의 정수 해를 유계화하기 위해, 세이머의 결과 χ*(G) = max{Δ(G), Γ(G)}를 기초로 삼는다.
• 매칭 이론과 다면체 조합론의 고급 기법, 특히 엔드모스의 매칭 다면체 정리 등을 적용한다.
• 간선 색칠의 안정성 논증을 케임프 변화와 간선 색칠 트리(ETT)의 경로 분석을 통해 수행한다.
• 반례에 대한 최소성 논증을 통해 퇴화 경로와 색상의 교환 가능성에 기반해 모순을 이끌어낸다.
• (T, D, φ)-안정 색칠을 도입하고, 케임프 변화에 대한 그 행동을 분석하여 색인수 증가를 통제한다.

실험 결과

연구 질문

• RQ1 모든 다중그래프에 대해 색인수 χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉}를 만족하는가?
• RQ2 다중그래프의 색인수는 비징의 정리에 따라 단순 그래프와 유사하게 오직 두 값만 가질 수 있는가?
• RQ3 분수 색인수 χ*(G)와 색인수 χ′(G) 사이의 격차는 최대 한 칸 이내인가?
• RQ4 정확한 값에 대해 다항시간 내에 색인수를 참값에서 한 칸 이내로 근사할 수 있는가?
• RQ5 어떤 간선 색칠의 구조적 성질이 χ′(G)가 max{Δ(G)+1, ⌈Γ(G)⌉} 이하로 유계임을 보장하는가?

주요 결과

• 골드버그-세이머 콘JECTURE가 증명됨: 모든 다중그래프 G에 대해 χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉}이다.
• 색인수 χ′(G)는 오직 두 가지 값만 가질 수 있다: ⌈max{Δ(G), Γ(G)}⌉ 와 ⌈max{Δ(G), Γ(G)}⌉ + 1이며, 이는 비징의 정리를 다중그래프로 확장한 것이다.
• 분수 색인수는 χ*(G) = max{Δ(G), Γ(G)}를 만족하며, χ′(G) − χ*(G) ≤ 1이므로 강력한 정수 반올림 성질을 확인한다.
• Γ(G) > Δ(G)일 경우, 색인수 χ′(G)는 다항시간 내에 정확히 계산할 수 있다.
• 정확한 계산이 NP-난이도임에도 불구하고, 참값에서 한 칸 이내로 근사하는 알고리즘이 존재한다.
• 증명은 간선 색칠 트리에서의 퇴도 경로와 케임프 변화에 대한 안정성에 기반한 새로운 최소성 논증에 의존한다.