[논문 리뷰] Clustered Graph Coloring and Layered Treewidth

Chun‐Hung Liu, David R. Wood|arXiv (Cornell University)|2019. 05. 22.

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

한 줄 요약

이 논문은 트리분해와 계층적 색칠 기반의 새로운 알고리즘적 접근을 통해, 둥근 트리너비가 유계이고 $K_{s,t}$ 부분그래프를 포함하지 않는 그래프가 $(s+2)$-색칠 가능하며, 이 경우 단색 성분의 크기가 유계임을 증명한다. 주요 결과는 이중 부분그래프를 배제하는 희박한 그래프 클래스로 집합 색칠을 일반화하며, 각 간선당 교차 수가 유계인 평면 및 표면에 매립된 그래프에 대한 이전 결과를 일반화한다.

ABSTRACT

A graph coloring has bounded clustering if each monochromatic component has bounded size. This paper studies such a coloring, where the number of colors depends on an excluded complete bipartite subgraph. This is a much weaker assumption than previous works, where typically the number of colors depends on an excluded minor. This paper focuses on graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, amongst other examples. Our main theorem says that for fixed integers $s,t,k$, every graph with layered treewidth at most $k$ and with no $K_{s,t}$ subgraph is $(s+2)$-colorable with bounded clustering. The $s=3$ case implies that every graph with a drawing on a fixed surface with a bounded number of crossings per edge is 5-colorable with bounded clustering. Our main theorem is also a critical component in two companion papers that study clustered coloring of graphs with no $K_{s,t}$ subgraph and excluding a fixed minor, odd minor or topological minor.

연구 동기 및 목표

• . 이 논문은 미니어스를 배제하는 그래프 클래스를 넘어서, 단지 완전이분부분그래프 $K_{s,t}$만을 배제하는 그래프 클래스로 집합 색칠 결과를 일반화하고자 한다.
• . 배제된 미니어스보다 약한 구조적 가정 하에서, 둥근 트리너비를 핵심 매개변수로 삼아, 클러스터링이 유계로 달성 가능한지 탐구한다.
• . 단색 성분의 크기가 유계가 되도록 하기 위해 필요한 색의 수를 최소화하고자 한다.
• . 최대 차수가 유계인 그래프 및 각 간선당 교차 수가 유계인 평면 그래프에 대한 이전 결과를 통합하고 확장하고자 한다.
• . 이 작업은 이후의 집합 색칠 연구에 있어 배제된 부분그래프, 미니어스, 위상 미니어스를 다루는 기초 도구를 제공한다.

제안 방법

• . 둥근 트리너비를 핵심 구조적 매개변수로 삼는 트리분해 프레임워크를 사용한다.
• . 단일 성분 크기를 제어하기 위해 트리분해 내의 '휀스'와 '파레이드' 기반의 재귀적 알고리즘 색칠 과정을 도입한다.
• . 각 정점에 $(s+2)$-색 리스트와 호환성 조건을 부여하여 제약 조건 하에서 적절한 색칠을 보장하는 리스트 색칠 설정을 활용한다.
• . '가짜성분'과 '블록'을 통해 단색 성분 크기를 추적하고 유계로 제한하기 위해 서명 기반 분석을 적용한다.
• . 정점 복제와 간선 교체를 통한 그래프 변환을 통해 $K_{s,t}$-자유성을 유지하면서도 알고리즘적 색칠을 가능하게 한다.
• . 알고리즘 과정의 단계와 게이트에 대한 귀납적 주장 분석을 통해 단색 성분의 크기가 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 . 둥근 트리너비가 유계일 때, 모든 고정된 $s$와 $t$에 대해 $K_{s,t}$-자유인 그래프에 대해 유계 클러스터링을 가지는 상수 개의 색을 사용한 집합 색칠이 가능할 수 있는가?
• RQ2 . 집합 색칠에서 색의 수가 $t$와 둥근 트리너비 매개변수에 독립적으로, 배제된 $K_{s,t}$ 부분그래프에 의해 결정되는가?
• RQ3 . 각 간선당 교차 수가 유계인 평면 그래프는 둥근 트리너비가 유계임이 알려져 있으므로, 이 결과가 그에 대해 확장되는가?
• RQ4 . 동반 논문들이 제안한 바와 같이, 고정된 미니어스, 홀수 미니어스, 또는 위상 미니어스를 배제하는 그래프로 이 접근이 일반화될 수 있는가?
• RQ5 . $K_{2,t}$-자유인 둥근 트리너비가 유계인 그래프에 대해 3색칠이 유계 클러스터링을 가지는가? 이는 분야 내 열린 질문이다.

주요 결과

• . 둥근 트리너비가 $k$ 이하이고 $K_{s,t}$ 부분그래프를 포함하지 않는 모든 그래프는 $s+2$-색칠 가능하며, 이 경우 클러스터링 크기는 $s$, $k$, $t$에 따라 달라지는 함수 $\eta^*$에 의해 유계이다.
• . $s=3$일 경우, 고정된 표면 위에 그릴 수 있고 각 간선당 교차 수가 유계인 그래프는 5색칠 가능하며, 이 경우 클러스터링 크기가 유계이다.
• . 클러스터링 유계값 $\eta^*$는 트리분해, 펄스, 단계별 색칠을 포함하는 알고리즘 과정을 통해 명시적으로 구성된다.
• . 증명은 단색 성분의 크기가 $\eta^* = \max\{\eta_1, \eta_2\}$로 유계임을 보이며, 여기서 $\eta_1 = h_{s+1}(k + \xi)$ 이고 $\eta_2$는 주요 보조정리의 재귀적 적용으로 유도된다.
• . 알고리즘은 각 단색 성분이 원래 그래프 또는 정점 복제를 거친 변환된 그래프 내의 크기가 최대 $\eta^*$인 부분그래프에 포함되도록 보장한다.
• . $s \geq 2$일 경우, 둥근 트리너비와 같은 추가적인 구조적 가정 없이도, 어떤 유계 클러스터링 결과도 도출될 수 없으며, 이 결과는 최적임을 의미한다.