[논문 리뷰] Asymptotically Optimal Vertex Ranking of Planar Graphs

Prosenjit Bose, Vida Dujmović외 2명|arXiv (Cornell University)|2020. 07. 13.

Graph Labeling and Dimension Problems참고 문헌 27인용 수 4

한 줄 요약

이 논문은 평면 그래프에서 ℓ-랭킹에 대한 渐近적으로 최적의 경계를 확립한다. 임의의 고정된 ℓ ≥ 2에 대해, 모든 n-정점 평면 그래프는 O(log n / log(3) n)가지 색을 사용하여 ℓ-랭킹을 가지며, 이 경계는 ℓ = 2일 때 정확히 날카롭다. 이 접근법은 곱 구조 정리와 트리폭 기반 분해를 활용하여, 유사한 渐近 경계를 갖는 유한 성질을 가진 평면 그래프, 야생점-소거 가능한 그래프, k-평면 그래프로 확장된다.

ABSTRACT

A (vertex) $\ell$-ranking is a colouring $φ:V(G) o\mathbb{N}$ of the vertices of a graph $G$ with integer colours so that for any path $u_0,\ldots,u_p$ of length at most $\ell$, $φ(u_0) eqφ(u_p)$ or $φ(u_0)<\max\{φ(u_0),\ldots,φ(u_p)\}$. We show that, for any fixed integer $\ell\ge 2$, every $n$-vertex planar graph has an $\ell$-ranking using $O(\log n/\log\log\log n)$ colours and this is tight even when $\ell=2$; for infinitely many values of $n$, there are $n$-vertex planar graphs, for which any 2-ranking requires $Ω(\log n/\log\log\log n)$ colours. This result also extends to bounded genus graphs. In developing this proof we obtain optimal bounds on the number of colours needed for $\ell$-ranking graphs of treewidth $t$ and graphs of simple treewidth $t$. These upper bounds are constructive and give $O(n)$-time algorithms. Additional results that come from our techniques include new sublogarithmic upper bounds on the number of colours needed for $\ell$-rankings of apex minor-free graphs and $k$-planar graphs.

연구 동기 및 목표

• 이전 연구에서 열어두었던 평면 그래프의 2-랭킹에 대한 알려진 상한과 하한 사이의 격차를 메우기 위해.
• 평면 그래프와 그 일반화된 형태인 유한 성질 그래프, 야생점-소거 가능한 그래프에 대해 ℓ-랭킹의 날카로운 渐近 경계를 확립하기 위해.
• 유한 트리폭을 갖는 그래프 및 관련 클래스에서 ℓ-랭킹을 계산하는 구조적, 선형 시간 알고리즘을 개발하기 위해.
• 데이비드 우드의 통찰을 통해 도입된 단순 트리폭 개념을 활용하여 ℓ-랭킹의 분석을 통합하고 단순화하기 위해.

제안 방법

• 최근에 제안된 곱 구조 정리인, 모든 평면 그래프가 H ⊠ K₃ ⊠ P의 부분그래프임을 보여주는 정리를 활용한다. 여기서 H는 트리폭이 3 이하이다.
• 핵심 보조정리인 χℓ-vr(G₁ ⊠ G₂) ≤ χℓ-vr(G₁) · χ̄ℓ(G₂)를 적용한다. 여기서 χ̄ℓ(G₂)는 G₂의 거리-ℓ 색칠 수이다.
• 단순 트리폭이 t인 그래프에 대해, χℓ-vr(G) ∈ O(log n / log(t) n)임을 증명하며, 평면 그래프에서 t = 3일 때 이 경계가 날카롭다는 것을 보여준다.
• 트리폭 t에 대한 귀납법을 사용한다. 기저 사례 t = 1(해당 정점 간 거리가 1인 경로)는 O(log ℓ)가지 색을 필요로 하며, 하위그래프에 대해 색 사용량을 순환적으로 제한한다.
• 정련된 경계 χℓ-vr(H) ∈ O(ℓ^{t−1} log^t ℓ · log n / log(t) n)를 적용하여 평면, 유한 성질, k-평면 그래프에 대한 결과를 도출한다.
• 기존의 곱 구조 정리와 정련된 트리폭 경계를 활용하여, 야생점-소거 가능한 그래프와 (g,k)-평면 그래프로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 n-정점 평면 그래프의 2-랭킹에 필요한 渐近적으로 최적의 색 수는 얼마인가?
• RQ2 평면 그래프의 ℓ-랭킹에 대한 상한 O(log n)은 향상시킬 수 있으며, 만약 가능하면 어느 정도까지 향상될 수 있는가?
• RQ3 소멸성 폐쇄 그래프 가족에서 ℓ-랭킹 수는 ℓ과 트리폭에 따라 어떻게 변화하는가?
• RQ4 이 경계는 유한 성질 또는 k-평면 그래프와 같은 더 넓은 그래프 클래스로 확장될 수 있는가?
• RQ5 유한 트리폭을 갖는 그래프에서 ℓ-랭킹을 계산하는 구조적 선형 시간 알고리즘이 존재하는가?

주요 결과

• 임의의 고정된 ℓ ≥ 2에 대해, 모든 n-정점 평면 그래프는 O(log n / log(3) n)가지 색을 사용하여 ℓ-랭킹을 가지며, 이 경계는 ℓ = 2일 때 渐近적으로 날카롭다.
• 무한히 많은 n에 대해, 어떤 2-랭킹에서도 Ω(log n / log(3) n)가지 색이 필요한 n-정점 평면 그래프가 존재함을 보여, 상한의 최적성 확인.
• 이 경계는 단순 트리폭 t를 갖는 그래프로 확장 가능하다: χℓ-vr(G) ∈ O(log n / log(t) n), 평면 그래프에서 t = 3일 때 날카로움을 입증.
• 트리폭이 t인 그래프에 대해 ℓ-랭킹 수는 O(ℓ^t log^t ℓ · log n / log(t+1) n)이며, 이는 평면 그래프 결과를 일반화한다.
• 상한은 구조적이며, 평면 3-트리와 외부평면 그래프를 포함한 유한 트리폭을 갖는 그래프에서 ℓ-랭킹을 위한 O(n)-시간 알고리즘을 이끌어낸다.
• 결과는 오일러 성질 ≤ g인 그래프로 확장되며, O(g log n / log(3) n)의 경계를 갖는다. 또한 야생점-소거 가능한 그래프와 (g,k)-평면 그래프로 확장되며, 상수 b, c가 클래스에 따라 정의되는 O(b ℓ^{c−1} log^c ℓ · log n / log(c) n)의 경계를 갖는다.