[논문 리뷰] The structure of k-planar graphs.

Vida Dujmović, Pat Morin외 1명|arXiv (Cornell University)|2019. 07. 11.

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

한 줄 요약

이 논문은 평면 그래프에서의 구조적 분해 결과를 k-평면 그래프로 일반화하며, 모든 k-평면 그래프가 트리폭 O(k⁵)인 그래프와 경로의 강한 곱의 부분그래프임을 증명한다. 이는 비-미니처 닫힘 그래프 클래스에 대한 첫 번째 such 곱 구조를 제공하며, 단순 반복이 없는 색칠 수의 유계성을 이끌어내고, 단순 반복이 없는 색칠과 그래프 인코딩에 응용된다. 이는 스피드업 체계를 통해 임의의 표면으로 일반화된다.

ABSTRACT

Dujmovic et al. (FOCS 2019) recently proved that every planar graph is a subgraph of the strong product of a graph of bounded treewidth and a path. This tool has been used to solve longstanding problems on queue layouts, non-repetitive colouring, $p$-centered colouring, and implicit graph encoding. We generalise this result for $k$-planar graphs, where a graph is $k$-planar if it has a drawing in the plane in which each edge is involved in at most $k$ crossings. In particular, we prove that every $k$-planar graph is a subgraph of the strong product of a graph of treewidth $O(k^5)$ and a path. This is the first result of this type for a non-minor-closed class of graphs. It implies, amongst other results, that $k$-planar graphs have non-repetitive chromatic number upper-bounded by a function of $k$. All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a much more general setting based on so-called shortcut systems that are of independent interest.

연구 동기 및 목표

• 이전에 평면 그래프에서만 알려진 강한 곱 구조 정리—이를 확장하여 k-평면 그래프로 확장한다.
• 유계된 트리폭을 가진 그래프와 경로를 사용하여 k-평면 그래프의 구조적 분해를 수립한다.
• k-평면 그래프로 큐 레이아웃, 단순 반복이 없는 색칠, 암시적 인코딩에 관한 결과를 일반화한다.
• k-평면 그래프를 초월하여 적용 가능한 일반적인 프레임워크를 스피드업 체계를 기반으로 개발한다.
• 결과를 평면 외의 임의의 표면에 그래프가 통합된 경우로 확장한다.

제안 방법

• 스피드업 체계를 기반으로 하는 일반적 프레임워크를 도입하고 체계화하여 그래프 그림의 구조적 성질을 포괄한다.
• 각 변이 최대 k개의 교차를 가진다는 기하적 성질을 활용하여 계층적 분해를 정의한다.
• 간선 교차 패턴을 통해 k-평면 그래프의 국소적 구조를 포착하는 트리폭 O(k⁵)인 그래프를 구성한다.
• 모든 k-평면 그래프가 이 유계된 트리폭 그래프와 경로의 강한 곱의 부분그래프임을 증명한다.
• 곱 구조를 활용하여 단순 반복이 없는 색칠 수와 기타 그래프 매개변수에 대한 경계를 유도한다.
• 스피드업 체계를 표면의 위상적 제약 조건에 맞게 조정하여, 임의의 표면에 통합된 그래프로 프레임워크를 확장한다.

실험 결과

연구 질문

• RQ1 강한 곱 구조 정리가 평면 그래프에서 비-미니처 닫힘 클래스인 k-평면 그래프로 확장될 수 있는가?
• RQ2 k-평면 그래프의 곱 구조 분해에 있어 트리폭은 k에 대해 어떤 의존성을 가지는가?
• RQ3 k-평면 그래프에 대해 단순 반복이 없는 색칠 및 기타 조합적 매개변수는 k에 대한 함수로 유계가 될 수 있는가?
• RQ4 프레임워크는 평면 외의 표면에 그려진 그래프로 일반화될 수 있는가?
• RQ5 k-평면 그림의 어떤 구조적 성질이 이러한 분해를 가능하게 하는가?

주요 결과

• 모든 k-평면 그래프는 트리폭 O(k⁵)인 그래프와 경로의 강한 곱의 부분그래프이다.
• 이것은 비-미니처 닫힘 클래스에 대한 첫 번째 곱 구조 정리이다.
• k-평면 그래프는 k에 대한 함수로 유계된 단순 반복이 없는 색칠 수를 가진다.
• 동일한 스피드업 체계 프레임워크를 사용하여, 임의의 표면에 통합된 그래프로 결과를 확장할 수 있다.
• 스피드업 체계 프레임워크는 별개의 관심사이며, k-평면 그래프를 초월하여 일반화될 수 있다.
• 이 방법은 k-평면 그래프에 대해 큐 레이아웃, p-중심 색칠, 암시적 그래프 인코딩에 대한 새로운 경계를 가능하게 한다.