[논문 리뷰] Fast and Simple Edge-Coloring Algorithms

Corwin Sinnamon, Rotenberg, Eva외 1명|arXiv (Cornell University)|2019. 07. 06.

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

한 줄 요약

이 논문은 단순 그래프에 대한 새로운 결정적 및 확률적 간선 색칠 알고리즘을 제안하며, 이는 이전까지 알려진 최적의 런타임인 O(|E|√|V| log |V|)보다 향상된 O(|E|√|V|) 시간 복잡도를 달성한다. 이 방법은 αβ-경로와 팬 활성화 기반의 재귀 전략을 사용하여 최대 정점 차수 d에 대해 d+1가지 색을 효율적으로 할당하며, 랜덤화를 통해 구현을 단순화하면서도 점근적 성능를 손상시키지 않는다.

ABSTRACT

We develop sequential algorithms for constructing edge-colorings of graphs and multigraphs efficiently and using few colors. Our primary focus is edge-coloring arbitrary simple graphs using $d+1$ colors, where $d$ is the largest vertex degree in the graph. Vizing's Theorem states that every simple graph can be edge-colored using $d+1$ colors. Although some graphs can be edge-colored using only $d$ colors, it is NP-hard to recognize graphs of this type [Holyer, 1981]. So using $d+1$ colors is a natural goal. Efficient techniques for $(d+1)$-edge-coloring were developed by Gabow, Nishizeki, Kariv, Leven, and Terada in 1985, and independently by Arjomandi in 1982, leading to algorithms that run in $O(|E| \sqrt{|V| \log |V|})$ time. They have remained the fastest known algorithms for this task. We improve the runtime to $O(|E| \sqrt{|V|})$ with a small modification and careful analysis. We then develop a randomized version of the algorithm that is much simpler to implement and has the same asymptotic runtime, with very high probability. On the way to these results, we give a simple algorithm for $(2d-1)$-edge-coloring of multigraphs that runs in $O(|E|\log d)$ time. Underlying these algorithms is a general edge-coloring strategy which may lend itself to further applications.

연구 동기 및 목표

• 비제임스의 정리에 의해 보장되는 d+1가지 색을 사용한 단순 그래프의 간선 색칠을 위한 더 빠르고 간단한 알고리즘을 개발하는 것.
• 이전 알고리즘이 복잡한 부하정렬 때문에 추가적인 log|V| 요소를 필요로 하여 비효율적인 문제를 해결하는 것.
• 결정적 복잡한 절차를 랜덤화된 대안으로 대체하여 d+1-간선 색칠 알고리즘의 구현을 단순화하는 것.
• 다른 그래프 클래스와 간선 색칠 문제에 적용 가능한 일반적인 재귀적 간선 색칠 전략을 수립하는 것.

제안 방법

• αβ-경로와 팬 구조(정점-팬과 유닛-팬)를 기반으로 한 재귀적 간선 색칠 전략을 제안하여 간선을 체계적으로 재색칠한다.
• 서로소 경로와 팬을 처리하기 위해 Activate-Collection 절차를 도입하여, 각 활성화가 적어도 하나의 새로운 간선을 칠하도록 보장한다.
• Gabow 등이 제안한 알고리즘의 수정된 버전을 사용하고 분석을 정교화하여 √log|V| 요소를 제거함으로써 O(|E|√|V|) 시간을 달성한다.
• 경로 뒤집기 방향을 랜덤 선택으로 안내함으로써 복잡한 부하정렬을 피하는 랜덤화된 변형인 Random-Euler-Color를 설계한다.
• 세 단계 과정을 적용: 후보 팬을 식별하는 Build-Collection, 이를 처리하는 Activate-Collection, 색칠 무결성을 유지하는 Disconnect-Vertex.
• 특정 색 α를 갖지 못하는 정점 집합에서 7개의 정점 제거 시마다 적어도 한 개의 간선이 칠해진다는 핵심 보조정리를 적용한다.

실험 결과

연구 질문

• RQ1 단순 그래프에 대한 d+1-간선 색칠 알고리즘의 런타임을 O(|E|√|V| log |V|)를 초월하여 향상시킬 수 있는가?
• RQ2 랜덤화된 알고리즘이 결정적 버전과 동일한 점근적 런타임을 확보하면서도 구현이 훨씬 단순화될 수 있는가?
• RQ3 다양한 그래프 클래스와 간선 색칠 문제에 적용 가능한 일반적인 재귀적 간선 색칠 전략이 존재하는가?
• RQ4 이전 알고리즘에서 사용된 복잡한 부하정렬을 성능 저하 없이 랜덤화된 대안으로 대체할 수 있는가?

주요 결과

• 결정적 알고리즘인 Euler-Color는 이전 연구의 분석을 정교화하고 √log|V| 요소를 제거함으로써 O(|E|√|V|) 시간 복잡도를 달성한다.
• 랜덤화된 알고리즘인 Random-Euler-Color는 확률 1−e−poly(n)로 O(|E|√|V|) 시간 내에 실행되며, 동일한 런타임을 확보하면서도 훨씬 단순한 구현을 가능하게 한다.
• 주요 절차에서 사용된 알고리즘 Color-Many는 ℓ이 미색된 간선의 수일 때 O(|E|) 시간 내에 Ω(ℓ/d)개의 간선을 칠한다.
• Activate-Collection 절차는 O(|E|) 시간 내에 실행되며, c-팬이나 u-팬이 누락되지 않도록 보장한다.
• 특정 색을 갖지 못하는 정점 집합에서 매 7개의 정점 제거 시마다 적어도 한 개의 간선이 칠해진다는 것을 증명한다.
• 다중그래프에 대한 더 단순한 (2d−1)-간선 색칠 알고리즘이 O(|E| log d) 시간 내에 실행되며, 핵심 전략의 유연성을 입증한다.