[논문 리뷰] Choosability of planar graphs of girth 5

Zdenĕk Dvořák, Ken‐ichi Kawarabayashi|arXiv (Cornell University)|2011. 09. 14.

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

한 줄 요약

이 논문은 1995년 Thomassen의 결과를 강화하여, 리스트 크기가 2인 정점에 대한 제약 조건을 완화함으로써, 임의의 5사이클을 가진 평면 그래프의 3-선택 가능성(3-choosability)을 보장한다. 특히, 다섯 개의 정점으로 이루어진 경로 중에서 정점 1, 2, 4, 5에 리스트 크기가 2인 특정 패턴이 존재하지 않으면, 해당 그래프는 여전히 3-선택 가능하다는 것을 증명한다. 주요 기여는 2-리스트 정점의 조밀한 구성이 허용되는 새로운 선택 가능성의 충분조건을 제시한 것으로, 사전에 색칠된 면이 있는 3-리스트 색칠 임계 그래프에 대한 더 강한 경계를 도출할 수 있게 하였다.

ABSTRACT

Thomassen proved that any plane graph of girth 5 is list-colorable from any list assignment such that all vertices have lists of size two or three and the vertices with list of size two are all incident with the outer face and form an independent set. We present a strengthening of this result, relaxing the constraint on the vertices with list of size two. This result is used to bound the size of the 3-list-coloring critical plane graphs with one precolored face.

연구 동기 및 목표

• 리스트 크기가 2인 정점에 대한 제약 조건을 줄임으로써, girth 5인 평면 그래프의 3-선택 가능성에 대한 Thomassen의 결과를 강화하는 것.
• girth 5이면서 사전에 색칠된 외부 면을 가진 3-리스트 색칠 임계 평면 그래프의 구조를 규명하는 것.
• 사전에 색칠된 면의 길이 ℓ(F)에 대해, 이러한 임계 그래프의 정점 수에 상한을 도출하는 것.
• 금지된 구성 요소를 기반으로 하는 구조적 분해와 귀납법을 활용한 임계 그래프 생성 및 분석 프레임워크를 개발하는 것.

제안 방법

• 다섯 개의 정점으로 이루어진 경로에서 정점 1, 2, 4, 5에 리스트 크기가 2인 경우가 존재하지 않는 새로운 리스트 할당 조건을 도입한다.
• 그래프 크기 기반 귀납법을 사용하며, 구조적 분해를 통해 더 작은 부분그래프로 축소한다.
• 임계 그래프를 정의하고, 부분그래프의 색칠이 전체 그래프로 확장되지 않지만, 모든 진부분그래프에서는 확장될 수 있는 경우로 간주한다.
• 면에 대해 가중치 함수 w(x)를 정의하고, 총 가중치를 바탕으로 총 가중치를 제한함으로써 정점 수의 부등식을 유도한다.
• 귀납 단계에서 비트리비얼 감소를 처리하기 위해, 특히 Lemma 20의 구성 (g) 및 (h)에 대해 순환과 면 구조를 고려한다.
• 가중치 함수를 활용하여, ℓ(F) — 사전에 색칠된 면의 길이 — 에 대한 |V(G)|의 선형 상한을 유도한다.

실험 결과

연구 질문

• RQ1 girth 5인 평면 그래프에 대한 Thomassen의 리스트 색칠 결과에서 2-리스트 정점에 대한 제약 조건을 완화해도 3-선택 가능성은 유지되는가?
• RQ2 girth 5이면서 사전에 색칠된 외부 면을 가진 3-리스트 색칠 임계 평면 그래프는 어떤 구조적 성질을 가진다?
• RQ3 사전에 색칠된 면의 길이에 따라 이러한 임계 그래프가 가질 수 있는 정점 수의 최대값은 얼마인가?
• RQ4 금지된 구성 요소를 기반으로 하는 분해 규칙을 통해 임계 그래프의 구조를 알고리즘적으로 생성할 수 있는가?

주요 결과

• 논문은 리스트 크기가 2인 정점 1, 2, 4, 5를 가진 다섯 정점 경로가 존재하지 않는 한, girth가 5 이상인 평면 그래프는 3-선택 가능하다는 것을 증명한다.
• girth 5인 F-임계 그래프의 정점 수에 대한 상한은 (37ℓ(F) - 320)/3 이다. 여기서 ℓ(F)는 사전에 색칠된 면의 길이이다.
• 이 상한은 ℓ(F)에 대해 선형이므로, 이러한 임계 그래프의 크기가 경계 길이에 따라 선형적으로 증가함을 확인한다.
• 증명은 이러한 임계 그래프의 수가 ℓ(F)에 대해 지수함수적으로 최대일 뿐만 아니라, 트리 기반 구성에서의 하한과 일치함을 보여준다.
• 가중치 함수 방법을 통해 면의 길이와 구조적 제약 조건을 바탕으로 간선 및 정점 수에 대한 날카로운 부등식을 도출할 수 있다.
• 결과적으로, 사전에 색칠된 면이 있는 3-리스트 색칠 임계 그래프의 클래스는 구조적으로 제약이 있으며, 작은 면 길이에서는 알고리즘적으로 생성 가능하다는 것을 시사한다.