[논문 리뷰] A short proof of Brooks' theorem

Mariusz Zając|arXiv (Cornell University)|2018. 05. 28.

Interconnection Networks and Systems인용 수 1

한 줄 요약

이 논문은 연결성의 복잡성을 피하기 위해 귀납법 기반의 간결한 브룩스 정리 증명을 제시한다. 그 방법은 탐욕적 경로 색칠을 사용하며, 리스트 색칠과 대응 색칠으로 일반화 가능하여, 최대 차수 k인 그래프의 k-색칠 가능성을 통합적이고 알고리즘적으로 증명한다. 클리크와 홀수 사이클을 제외한 그래프에 대해 적용된다.

ABSTRACT

We give a simple short proof of Brooks' theorem using only induction and greedy coloring, while avoiding issues of graph connectivity. The argument generalizes easily to some extensions of Brooks' theorem, including its variants for list coloring, signed graphs coloring and correspondence coloring.

연구 동기 및 목표

• 그래프의 연결성에 기반한 논증 없이도 브룩스 정리를 단순하고 자가 포함된 증명을 제공하는 것.
• 이 증명 기법을 그래프 색칠의 두 일반화인 리스트 색칠과 대응 색칠으로 확장하는 것.
• 최대 차수 k인 그래프에 대해 k-색칠을 구성하는 알고리즘을 제시하는 것.
• 기존 증명에서 복잡한 부분그래프 탐색(예: 이중연결 성분, 클리크, 세타 그래프)을 피하기 위해 단순화하는 것.

제안 방법

• 정점 수에 대한 귀납법을 사용하며, 작은 그래프에서 시작한다.
• 경로를 따라 정점을 순차적으로 색칠하면서 마지막 정점은 색칠하지 않는 탐욕적 경로 색칠 절차인 PathColor를 적용한다.
• 정점 v의 두 인접하지 않은 이웃에서 시작하는 최대 경로 P를 구성하여 구조적 유연성을 확보한다.
• 경우 1(P가 모든 정점을 포함함): 경로와 정점 v를 두 인접하지 않은 이웃이 공유하는 색으로 색칠한다.
• 경우 2(P가 포함하지 않음): 그래프에서 사이클 C를 삭제하고, 귀납적으로 나머지를 색칠한 후, 색상 공유 전략을 사용하여 C를 재통합한다.
• 제약 그래프 F를 통해 제약 조건을 모델링함으로써 방법을 대응 색칠로 확장하며, 각 이웃당 최대 한 개의 가능 색상만 유지한다.

실험 결과

연구 질문

• RQ1 브룩스 정리는 연결성 기반의 경우 분석 없이 귀납법과 탐욕적 색칠만으로 증명될 수 있는가?
• RQ2 제안된 방법은 각 정점이 k개의 허용 가능한 색상 목록을 가진 리스트 색칠로 일반화될 수 있는가?
• RQ3 이 방법은 서명 그래프 색칠을 포함하는 일반화된 대응 색칠으로 확장될 수 있는가?
• RQ4 결과로 도출된 색칠 알고리즘이 효율적이고 선형 시간 내에 실행 가능한가?
• RQ5 복잡한 부분그래프 탐지(예: 클리크, 세타 그래프)를 피하면서도 정확한가?

주요 결과

• 논문은 귀납법과 탐욕적 경로 색칠 뿐만을 사용하여 브룩스 정리에 대한 짧고 자가 포함된 증명을 제공한다.
• 복잡한 연결성 논증을 피하고 이중연결 성분이나 특수 부분그래프를 식별할 필요가 없다.
• 방법은 직접적으로 리스트 색칠로 일반화되며, 각 정점에 k개의 가능 색상이 있을 경우 적절한 색칠이 보장된다.
• 방법은 대응 색칠으로도 확장되며, |L(v)| = k인 임의의 제약 그래프 F를 고려할 때 색칠의 존재를 증명한다.
• 알고리즘은 O(m + n) 시간 내에 실행되며, 이는 이전 방법과 동일한 효율성을 가지지만, 보다 단순한 정당성과 구현을 제공한다.
• 결과로, 서명 그래프에 대한 브룩스 유형 정리의 새로운 증명이 대응 색칠의 특수한 경우로서 포함된다.