[논문 리뷰] Genus, Treewidth, and Local Crossing Number

Vida Dujmović, David Eppstein외 1명|arXiv (Cornell University)|2015. 06. 14.

Computational Geometry and Mesh Generation인용 수 4

한 줄 요약

이 논문은 각 간선당 최대 $k$개의 교차를 가진 고리 수가 $g$인 표면에 통합된 그래프의 트리폭과 층상 트리폭에 대한 날카운 경계를 설정한다. 트리폭은 $O(\sqrt{gkn})$이고 층상 트리폭은 $O(gk)$이며, 이는 상수 인자 이내에서 최적이다. 특수한 경우로, $n$개의 정점을 가진 $k$-평면 그래프는 트리폭 $O(\sqrt{kn})$을 달성하며, 이는 이전의 결과를 향상시킨다.

ABSTRACT

We consider relations between the size, treewidth, and local crossing number (maximum crossings per edge) of graphs embedded on topological surfaces. We show that an $n$-vertex graph embedded on a surface of genus $g$ with at most $k$ crossings per edge has treewidth $O(\sqrt{gkn})$ and layered treewidth $O(gk)$, and that these bounds are tight up to a constant factor. As a special case, the $k$-planar graphs with $n$ vertices have treewidth $O(\sqrt{kn})$ and layered treewidth $O(k)$, which are tight bounds that improve a previously known $O(k^{3/4}n^{1/2})$ treewidth bound. Additionally, we show that for $g<m$, every $m$-edge graph can be embedded on a surface of genus $g$ with $O((m/g)\log^2 g)$ crossings per edge, which is tight to within a polylogarithmic factor.

연구 동기 및 목표

• 표면의 위상적 그래프 통합에서 그래프 크기, 고리 수, 국소 교차 수 간의 구조적 상호 교환 관계를 이해하기 위해.
• 국소 교차 수가 유계인 표면에 통합된 그래프에 대해 트리폭과 층상 트리폭에 대한 날카운 상한 경계를 유도하기 위해.
• $k$-평면 그래프는 국소 교차 수가 유계인 통합의 특수한 경우이므로, 기존의 트리폭 경계를 향상시키기 위해.
• 경계의 날카움을 상수 인자 이내에서 확인하여 점근적으로 최적임을 확인하기 위해.

제안 방법

• 위상적 및 조합 기법을 사용하여 각 간선당 최대 $k$개의 교차를 가진 고리 수가 $g$인 표면에 통합된 그래프의 통합을 분석하기 위해.
• 기존의 그래프 미니어와 트리폭 결과를 적용하여 $g$, $k$, $n$에 대한 점근적 상한 경계를 도출하기 위해.
• 모든 $m$개 간선 그래프가 고리 수가 $g$인 표면에 $O((m/g)\log^2 g)$개의 교차를 각 간선당 가지며 통합될 수 있음을 보여주는 구성적 통합 증명을 사용하기 위해.
• 일치하는 하한 경계를 통해 경계의 날카움을 증명하고, 상수 인자 이내에서 최적임을 확립하기 위해.
• 층상 트리폭 개념을 활용하여 희박한 그래프 가족에 대한 구조적 통찰을 강화하기 위해.
• 기존의 극한 그래프 이론과 평면 그래프 분해 기법으로 문제를 환원하여 고리 수가 더 높은 표면으로 일반화하기 위해.

실험 결과

연구 질문

• RQ1 고리 수가 $g$인 표면에 통합되고 각 간선당 최대 $k$개의 교차를 가진 $n$개 정점의 그래프의 최대 트리폭은 얼마인가?
• RQ2 이러한 그래프의 층상 트리폭은 $g$, $k$, $n$에 따라 어떻게 변화하는가?
• RQ3 $k$-평면 그래프의 트리폭 경계를 이전에 알려진 $O(k^{3/4}n^{1/2})$보다 향상시킬 수 있는가?
• RQ4 모든 $m$개 간선 그래프가 고리 수가 $g$인 표면에 통합될 때, 각 간선당 $O((m/g)\log^2 g)$개의 교차를 가지는 경계는 최적인가?
• RQ5 유도된 트리폭과 층상 트리폭 경계는 상수 인자 이내에서 점근적으로 최적인가?

주요 결과

• 고리 수가 $g$인 표면에 통합되고 각 간선당 최대 $k$개의 교차를 가진 $n$개 정점의 그래프의 트리폭은 $O(\sqrt{gkn})$이며, 이 경계는 상수 인자 이내에서 최적이다.
• 이러한 그래프의 층상 트리폭은 $O(gk)$이며, 이 경계 역시 상수 인자 이내에서 최적이다.
• $n$개 정점의 $k$-평면 그래프의 경우 트리폭은 $O(\sqrt{kn})$이며, 이는 이전의 경계인 $O(k^{3/4}n^{1/2})$를 향상시킨다.
• $k$-평면 그래프의 층상 트리폭은 $O(k)$이며, 이는 최적이다.
• 모든 $m$개 간선 그래프는 고리 수가 $g$인 표면에 통합될 수 있으며 (단, $g < m$일 때), 각 간선당 $O((m/g)\log^2 g)$개의 교차를 가지며, 이 경계는 다항로그 인자 이내에서 최적이다.
• 유도된 트리폭과 층상 트리폭 경계는 주어진 매개변수에 대해 점근적으로 더 나은 경계를 얻을 수 없음을 의미하여 최적이다.