[논문 리뷰] Obstructions for three-coloring graphs without induced paths on six vertices

Maria Chudnovsky, Jan Goedgebeur외 2명|arXiv (Cornell University)|2015. 04. 27.

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

한 줄 요약

이 논문은 $P_6$-free 그래프에서 3-색칠 가능성의 장애물로 작용하는 4-비판적 그래프가 정확히 24개 있음을 증명하며, $P_6$-free 그래프에서 3-색칠 가능성에 대한 완전한 분류를 제공한다. 저자들은 삼각형으로 압축 가능한 특수한 하위구조인 트립오드 압축 기반의 새로운 구조적 접근법과 컴퓨터 기반의 열거를 사용하여 골로바치 등과 세이모어가 제기한 열린 문제들을 해결한다. 이 결과는 4-비판적 $H$-free 그래프가 $H$가 $P_6$의 부분그래프일 때이고 그때에만 유한함을 보여주는 이분법을 수립한다. 이 결과는 $P_6$-free 그래프에서 3-색칠 가능성에 대한 증명 가능한 알고리즘을 가능하게 한다.

ABSTRACT

We prove that there are 24 4-critical $P_6$-free graphs, and give the complete list. We remark that, if $H$ is connected and not a subgraph of $P_6$, there are infinitely many 4-critical $H$-free graphs. Our result answers questions of Golovach et al. and Seymour.

연구 동기 및 목표

• 골로바치 등과 세이모어가 제기한, 4-비판적 $P_6$-free 그래프의 수가 유한한가라는 열린 문제를 해결하기 위해.
• 3-색칠 가능성의 장애물로 작용하는 모든 4-비판적 $P_6$-free 그래프에 대한 완전한 분류를 제공하기 위해.
• 이분법 정리 수립: 4-비판적 $H$-free 그래프가 유한함은 $H$가 $P_6$의 부분그래프일 때이고 그때에만 성립함을 보이기 위해.
• 장애물 집합의 유한성에 기반하여 $P_6$-free 그래프에서 3-색칠 가능성 문제를 결정할 수 있는 증명 가능한 알고리즘을 개발하기 위해.

제안 방법

• 저자들은 4-비판성에 영향을 주지 않으면서 삼각형으로 압축 가능한 특수한 하위구조인 트립오드의 개념을 도입하고 이를 활용한다.
• 모든 최대 트립오드가 삼각형인 경우(다이아몬드 없는 경우)와 아닌 경우로 나누어 4-비판적 $P_6$-free 그래프를 분류한다.
• 다이아몬드 없는 경우에 대해, 황 등의 기법을 강화한 컴퓨터 기반 방법을 사용하여 이러한 그래프를 모두 열거한다.
• 트립오드가 아닌 경우에 대해, 정점 순서와 색칠 제약 조건에 기반한 강력한 가지치기 규칙을 사용한 체계적 컴퓨터 검색을 수행하여, 최대 18개의 정점을 가진 그래프로 제한한다.
• 다이아몬드를 허용하는 두 번째 컴퓨터 검색을 통해, 최대 28개의 정점을 가진 모든 4-비판적 $P_6$-free 그래프가 제공된 24개 그래프 목록에 포함됨을 검증한다.
• 포크로브스키의 구성 방법을 사용하여 $P_7$-free 그래프가 무한히 많은 4-비판적 그래프를 포함함을 증명함으로써 이분법을 완성한다.

실험 결과

연구 질문

• RQ1 골로바치 등이 제안한 바와 같이, 4-비판적 $P_6$-free 그래프가 유한한가?
• RQ2 모든 4-비판적 $P_6$-free 그래프의 완전한 목록을 구성할 수 있으며, 그 크기는 얼마인가?
• RQ3 4-비판적 $H$-free 그래프가 유한한가에 대한 구조적 이분법이 존재하는가? 즉, 4-비판적 $H$-free 그래프가 유한한 것은 $H$가 $P_6$의 부분그래프일 때이고 그때에만 성립하는가?
• RQ4 3-색칠 가능성 문제에 대해, 유한한 장애물 집합에 기반한 증명 가능한 알고리즘으로 $P_6$-free 그래프에서 결정할 수 있는가?

주요 결과

• 정확히 24개의 4-비판적 $P_6$-free 그래프가 존재하며, 논문에서 $F_1$부터 $F_{24}$까지의 목록으로 제공되며, 부록에 인접 리스트가 포함되어 있다.
• 목록에는 $K_4$, 5-휠, 모저 스파이널, 그로츠흐 그래프($F_{18}$)와 같은 잘 알려진 그래프들이 포함되어 있다.
• 정확히 80개의 4-정점-비판적 $P_6$-free 그래프가 존재하며, 이는 더 정교한 분류를 확인한다.
• 논문은 이분법을 수립한다: 연결된 $H$에 대해, 4-비판적 $H$-free 그래프가 유한한 것은 $H$가 $P_6$의 부분그래프일 때이고 그때에만 성립한다.
• 논문은 포크로브스키의 구성 방법을 사용하여 $P_7$-free 그래프가 무한히 많은 4-비판적 그래프를 포함함을 증명함으로써, $P_6$가 장애물 집합이 유한한 최장 경로임을 보여준다.
• 결과적으로, 장애물 집합의 유한성 덕분에 $P_6$-free 그래프에서 3-색칠 가능성에 대한 증명 가능한 알고리즘이 존재함을 암시한다.