[논문 리뷰] Queue Layouts of Graphs with Bounded Degree and Bounded Genus

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

Advanced Graph Theory Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 최대 차수 Δ인 평면 그래프의 큐 수에 대한 상한을 이전의 O(Δ⁶)에서 O(Δ²)로 향상시켰으며, 유계 유진수와 유계 차수를 가진 그래프로 결과를 확장하여 큐 수가 O(g + Δ²)임을 보였다. 이 접근법은 평면 부분그래프 구축과 계층 기반 큐 레이아웃 확장 기법을 사용하여, 평면 그래프의 큐 수 상한과 유진수가 유계인 그래프 간의 일반적인 연결 고리를 확립한다.

ABSTRACT

Motivated by the question of whether planar graphs have bounded queue-number, we prove that planar graphs with maximum degree $Δ$ have queue-number $O(Δ^{2})$, which improves upon the best previous bound of $O(Δ^6)$. More generally, we prove that graphs with bounded degree and bounded Euler genus have bounded queue-number. In particular graphs with Euler genus $g$ and maximum degree $Δ$ have queue-number $O(g+Δ^{2})$. As a byproduct we prove that if planar graphs have bounded queue-number, then graphs of Euler genus $g$ have queue-number $O(g)$.

연구 동기 및 목표

• 최대 차수가 유계인 평면 그래프의 큐 수에 대한 기존 상한을 향상시키는 것.
• 해결책을 유진수가 유계이고 차수가 유계인 그래프로 확장하는 것.
• 평면 그래프와 유진수가 유계인 그래프 간의 큐 수 상한 간의 일반적인 연결 고리를 확립하는 것.
• 최대 차수가 유계인 평면 그래프의 큐 수가 유계일 경우, 이로부터 고유진수 유계인 그래프의 큐 수가 유계인지 여부를 조사하는 것.

제안 방법

• 주어진 그래프 G의 유진수가 g이고 최대 차수가 Δ일 때, 각 BFS 레이어당 최대 2g개의 정점으로 이루어진 집합 Z를 제거하여 평면 부분그래프 G′를 구성한다.
• 정리 2(최대 차수가 Δ인 평면 그래프에 대한 새로운 O(Δ²) 큐 레이아웃)를 블랙박스로 적용하여, k = 12Δ² + 16Δ + 3일 때 G′에 대해 3k-큐 레이아웃을 확보한다.
• G의 BFS 계층화 V₀, V₁, ..., Vₜ를 정점의 순서를 정리하고, 간선을 상대적 위치에 따라 큐에 할당하는 데 사용한다.
• Z에 속한 정점에 인접한 간선을 4g개의 새로운 큐에 체계적인 번갈아가르기 방식(Sᵢ 및 Tᵢ 큐)을 사용하여 겹침을 방지한다.
• 레이어링이 존재하는 k-큐 레이아웃이 정점들을 레이어 순서로 정렬할 경우 3k-큐 레이아웃으로 유도됨을 보여주는 레마 10을 활용한다.
• 모든 평면 그래프가 큐 수 ≤ k를 갖는 유전적 클래스 𝒢에 대해, 모든 유진수가 g인 그래프가 큐 수 ≤ 3k + 4g를 갖는다는 것을 증명하는 정리 4를 제시한다.

실험 결과

연구 질문

• RQ1 Bekos 등이 제시한 O(Δ⁶) 상한을 초월하여 최대 차수가 Δ인 평면 그래프의 큐 수를 향상시킬 수 있는가?
• RQ2 유진수가 유계이고 차수가 유계인 그래프는 유계 큐 수를 갖는가?
• RQ3 평면 그래프의 큐 수와 고유진수를 가진 그래프 간에 일반적인 관계가 존재하는가?
• RQ4 만약 평면 그래프가 유계 큐 수를 갖는다면, 이는 유진수가 유계인 그래프의 큐 수가 유계임을 의미하는가?

주요 결과

• 최대 차수가 Δ인 임의의 평면 그래프의 큐 수는 12Δ² + 16Δ + 3 이하이며, 이는 이전의 O(Δ⁶) 상한을 향상시킨 결과이다.
• 유진수가 g이고 최대 차수가 Δ인 그래프의 큐 수는 최대 4g + 36Δ² + 48Δ + 9 이며, 이는 O(g + Δ²)이다.
• 모든 평면 그래프가 큐 수 ≤ k를 갖는다면, 모든 유진수가 g인 그래프는 큐 수 ≤ 3k + 4g를 갖는다. 이는 평면 그래프와 고유진수 그래프 간의 직접적인 연결 고리를 확립한다.
• 결과는 유진수가 유계이고 차수가 유계인 그래프가 유계 트랙 수를 갖으며, 선형 부피 3D 격자 도식을 갖는다는 것을 암시한다.
• 증명 기법은 각 BFS 레이어당 O(g)개의 정점을 제거하여 평면 부분그래프를 구성하고, 계층화 및 체계적인 큐 할당을 통해 큐 레이아웃을 확장하는 데 기반한다.
• 최대 차수가 Δ인 평면 그래프에 대한 O(Δ²) 상한은 상수 요소를 제외하고 최적임이 입증되었으며, 일반적인 유계 차수 그래프에 대해 Ω(√Δ n^{1/2−1/Δ})의 하한이 존재한다.