[논문 리뷰] Three-coloring graphs with no induced seven-vertex path I : the triangle-free case

Maria Chudnovsky, Peter Maceli외 1명|arXiv (Cornell University)|2014. 09. 17.

Advanced Graph Theory Research참고 문헌 9인용 수 16

한 줄 요약

이 논문은 삼각형이 없고, 유도된 일곱 정점 경로(P7-free)인 그래프에서 3-색칠 가능성을 다항시간 내에 결정하는 알고리즘을 제시한다. 구조적 분해, 파alette 업데이트, 2-SAT로의 환원을 통해, 5-사이클에 대한 체계적 사례 분석과 통제된 부분palette 순열을 이용하여 효율적으로 3-색칠 가능성을 테스트한다. P7-와 C3-free 그래프 전반에 대해 O(|V|¹⁸)의 런타임을 달성한다.

ABSTRACT

In this paper, we give a polynomial time algorithm which determines if a given triangle-free graph with no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists.

연구 동기 및 목표

• 삼각형이 없고 유도된 P7가 없는 그래프에서 3-색칠 문제를 해결하기 위해.
• P5-와 P6-free 그래프에 대한 기존의 다항시간 결과를 P7-free 경우로 확장하기 위해.
• ℓ ≥ 7인 Pℓ-free 그래프에서의 3-색칠 문제에 대한 열린 문제를 해결하기 위해.
• H가 경로일 때 H-free 그래프에 대한 구조적 알고리즘 프레임워크를 개발하기 위해.
• 3-색칠 가능성을 다항시간 내에 생성하거나 존재하지 않음을 결정하는 구조적 알고리즘을 제공하기 위해.

제안 방법

• 구조적 분석을 단순화하기 위해 깔끔한 그래프 변환을 사용한다.
• 5-사이클(C5), 7-사이클(C7), 쉘을 기반으로 하는 재귀적 분해를 적용하여 정점 집합을 분할한다.
• 고정된 색상이 부여된 정점에 기반해 색상 선택을 줄이기 위해 palette 업데이트를 시행한다.
• 부분palette 순열을 통해 문제를 다수의 2-SAT 인스턴스로 환원한다.
• Aspvall-Plass-Tarjan를 통한 2-SAT 솔버를 적용하여 각 정점의 최대 두 가지 색상으로 구성된 palette의 색칠 가능성을 테스트한다.
• 5-사이클의 3-색칠에 대한 체계적 사례 분석과 부분palette 정제를 결합하여 탐색 공간을 제한한다.

실험 결과

연구 질문

• RQ1 삼각형이 없고 P7-free인 그래프에서 3-색칠 가능성이 다항시간 내에 결정될 수 있는가?
• RQ2 P7-free 삼각형-free 그래프의 어떤 구조적 성질이 효율적 색칠을 가능하게 하는가?
• RQ3 palette 업데이트와 부분palette 순열은 3-색칠의 탐색 공간을 어떻게 줄일 수 있는가?
• RQ4 P7-free 그래프의 3-색칠 문제는 다항수의 2-SAT 인스턴스로 환원될 수 있는가?
• RQ5 5-사이클, 쉘, 7-사이클은 이러한 그래프의 알고리즘적 분해에서 어떤 역할을 하는가?

주요 결과

• P7-와 C3-free 그래프에 대해 알고리즘이 O(|V|¹⁸) 시간 내에 실행되어 다항시간 해법이 성립함을 입증한다.
• P7-, C3-, C7-, 쉘-free 그래프 중 5-사이클을 포함하는 경우, 알고리즘은 O(|V|⁶) 시간 내에 실행된다.
• 전역 3-색칠 가능성을 테스트하기 위해 5-사이클 색칠에서 유도된 유한한 부분palette 집합(O(|V|⁴))을 사용한다.
• Palette 업데이트를 통해 초기 제약 조건 적용 후 모든 정점의 palette 크기가 최대 2로 제한된다.
• 알고리즘은 5-사이클의 53가지 가능한 3-색칠과 그에 호환되는 확장을 모두 테스트하여 3-색칠 가능성을 정확히 결정한다.
• 해결책은 P7-free, 삼각형-free 그래프에서 C7나 쉘을 포함하지 않는 경우 이분 그래프이므로 O(|V|³) 시간 내에 2-색칠이 가능하다는 사실에 기반한다.