[논문 리뷰] Layered Separators in Minor-Closed Families with Applications

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

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

한 줄 요약

이 논문은 소수성 닫힘 가족, 특히 유계 오일러 유전도 그래프를 포함한 가족에서 크기가 n에 대해 선형일 수 있지만 너비가 유계인 그래프 분리자인 계층적 분리자를 소개한다. 이러한 분리자를 활용하여 저자들은 큐 수와 비반복 색칠 수에 대해 O(log n)의 경계를 확보하였으며, 오랜 기간 동안 유지되어 온 O(√n) 경계를 향상시켰고, 모든 적절한 소수성 닫힘 가족에 대해 O(log^O(1) n)로 확장하여 n log^O(1) n 부피를 갖는 향상된 3차원 격자 그림을 가능하게 한다.

ABSTRACT

Graph separators are a ubiquitous tool in graph theory and computer science. However, in some applications, their usefulness is limited by the fact that the separator can be as large as Ω ( √ n) in graphs with n vertices. This is the case for planar graphs, and more generally, for proper minor-closed families. We study a special type of graph separator, called a layered separator, which possibly has linear size in n, but has constant size with respect to a different measure, called the breadth. We prove that a wide class of graphs admit layered separators of bounded breadth, including graphs of bounded Euler genus. We use these results to prove O(log n) bounds for a number of problems where O ( √ n) was a long standing previous best bound. This includes queue-number and nonrepetitive chromatic number of bounded Euler genus graphs. We extend these results, with a log O(1) n bound, to all proper minor-closed families. This result also implies that every graph from a proper minor-closed class has a 3-dimensional grid drawing in n log O(1) n volume, where the previous best bound was O(n 3/2). Only for planar graphs was a log O(1) n bound on the queue-number previously known.

연구 동기 및 목표

• 소수성 닫힘 가족, 예를 들어 평면 그래프에서 표준 분리자가 Ω(√n)에 이르는 크기를 가질 수 있는 한계를 극복하기 위해.
• 크기 n에 대해 선형일 수 있지만 새로운 척도인 너비에 대해 유계인 크기를 유지하는 새로운 분리자 유형인 계층적 분리자를 개발하기 위해.
• 유계 오일러 유전도 그래프에서 큐 수와 비반복 색칠 수와 같은 핵심 그래프 매개변수에 대해 O(log n) 경계를 확립하기 위해.
• 계층적 분리자를 사용하여 모든 적절한 소수성 닫힘 가족으로 이러한 결과를 확장하기 위해.
• 계층적 분리자를 활용하여 3차원 격자 그림의 부피 경계를 O(n^{3/2})에서 n log^{O(1)} n으로 향상시키기 위해.

제안 방법

• 계층적 분리자를 너비가 유계인 분리자로 정의하며, 여기서 너비는 계층적 그래프 분해에서의 층 수를 측정한다.
• 유계 오일러 유전도를 가진 그래프가 유계 너비의 계층적 분리자를 가짐을 증명한다.
• 분할 정복과 동적 색칠 기법을 통해 계층적 분리자를 활용하여 큐 수와 비반복 색칠 수를 경계한다.
• 구조적 그래프 이론과 소수 제거 분해를 사용하여 모든 적절한 소수성 닫힘 가족으로 이 프레임워크를 확장한다.
• 3차원 격자 그림에 분리자 프레임워크를 적용하기 위해 계층적 분리자를 사용하여 그래프를 임베딩하여 부피를 최소화한다.
• 소수성 닫힘 가족에 대한 기존 결과를 활용하여 log^O(1) n 부피 경계가 이러한 클래스 전반에 걸쳐 일반적으로 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 소수성 닫힘 가정에서, 특히 유계 오일러 유전도를 가진 가정에서 너비가 유계인 계층적 분리자를 구성할 수 있는가?
• RQ2 계층적 분리자가 큐 수와 비반복 색칠 수의 경계 향상에 미치는 영향은 무엇인가?
• RQ3 큐 수에 대한 O(log n) 경계는 평면 그래프를 초월하여 모든 적절한 소수성 닫힘 가정으로 확장될 수 있는가?
• RQ4 소수성 닫힘 가정의 그래프에 대해 계층적 분리자를 사용한 3차원 격자 그림에 필요한 최소 부피는 얼마인가?
• RQ5 계층적 분리자의 너비가 그래프 매개변수의 점근적 복잡도에 미치는 영향은 무엇인가?

주요 결과

• 유계 오일러 유전도를 가진 그래프는 유계 너비의 계층적 분리자를 가짐을 보여주며, 이는 핵심 그래프 매개변수에 대한 향상된 경계를 가능하게 한다.
• 유계 오일러 유전도 그래프의 큐 수와 비반복 색칠 수는 O(log n) 이하로 경계되며, 이는 이전의 O(√n) 경계를 향상시킨다.
• 이러한 O(log n) 경계는 모든 적절한 소수성 닫힘 가정으로 확장되어 동일한 매개변수에 대해 O(log^O(1) n) 복잡도를 달성한다.
• 모든 적절한 소수성 닫힘 가정에 속하는 그래프는 n log^{O(1)} n 부피의 3차원 격자 그림을 가짐을 보여주며, 이는 이전의 O(n^{3/2}) 경계를 향상시킨다.
• 결과는 평면 그래프가 3차원 격자 그림에서 log^O(1) n 부피를 달성하는 데 유일한 그래프가 아니라는 것을 확인한다. 이는 모든 소수성 닫힘 가정으로 확장된다.
• 계층적 분리자는 소수성 닫힘 가정의 여러 그래프 문제에서 향상된 점근적 경계를 달성하기 위한 통합 프레임워크를 제공한다.