[논문 리뷰] Linear Size Universal Point Sets for Classes of Planar Graphs

Stefan Felsner, Hendrik Schrezenmaier외 2명|arXiv (Cornell University)|2023. 01. 01.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 이분 그래프 및 3-정점 차수를 가진 평면 그래프를 위한 선형 크기의 보편 점 집합으로서 크기 $2n - 2$인 터널링 이중 체인 점 집합을 제안한다. 주요 기여는 한쪽 방향 해밀턴 사이클을 갖는 평면 그래프(POSH 그래프)가 이 점 집합 위에 교차 없이 임베딩될 수 있음을 증명한 것으로, 1-굽힘 도면의 기존 한계를 크게 향상시키고 외부 평면 그래프를 초월한 기존 결과를 확장한다.

ABSTRACT

A finite set $P$ of points in the plane is $n$-universal with respect to a class $\mathcal{C}$ of planar graphs if every $n$-vertex graph in $\mathcal{C}$ admits a crossing-free straight-line drawing with vertices at points of $P$. For the class of all planar graphs the best known upper bound on the size of a universal point set is quadratic and the best known lower bound is linear in $n$. Some classes of planar graphs are known to admit universal point sets of near linear size, however, there are no truly linear bounds for interesting classes beyond outerplanar graphs. In this paper, we show that there is a universal point set of size $2n-2$ for the class of bipartite planar graphs with $n$ vertices. The same point set is also universal for the class of $n$-vertex planar graphs of maximum degree $3$. The point set used for the results is what we call an exploding double chain, and we prove that this point set allows planar straight-line embeddings of many more planar graphs, namely of all subgraphs of planar graphs admitting a one-sided Hamiltonian cycle. The result for bipartite graphs also implies that every $n$-vertex plane graph has a $1$-bend drawing all whose bends and vertices are contained in a specific point set of size $4n-6$, this improves a bound of $6n-10$ for the same problem by Löffler and Tóth.

연구 동기 및 목표

• 평면 그래프의 특정 클래스 중 선형 크기의 보편 점 집합을 갖는 그래프를 식별하고 특성화하는 것.
• 구조화된 점 집합을 활용하여 기존의 1-굽힘 도면 및 직선 도면의 한계를 향상시키는 것.
• 터널링 이중 체인 점 집합이 외부 평면 그래프를 초월한 광범위한 평면 그래프 클래스에 대해 평면 직선 임베딩을 지원함을 입증하는 것.
• 한쪽 방향 해밀턴 사이클을 갖는 그래프(POSH 그래프)의 구조적 성질을 조사하고 특정 점 집합 위의 임베딩 가능성을 탐구하는 것.

제안 방법

• 크기 $2n - 2$인 터널링 이중 체인 점 집합 Hn을 평면 그래프의 후보 보편 점 집합으로 도입한다.
• 한쪽 방향 해밀턴 사이클을 갖는 그래프의 스펙트럼 하위그래프로 정의된 POSH(부분적 한쪽 방향 해밀턴) 그래프 클래스를 정의한다.
• 2페이지 북 임베딩의 구조적 분석과 간선의 백엣지 분리 기법을 활용하여 점 집합 내 정점 배치에 대한 제약 조건을 증명한다.
• 정점 분포에 대한 주장(예: 간선 기준 왼쪽, 중앙, 오른쪽 영역의 경계)을 적용하여 교차 없는 임베딩 조건을 유도한다.
• 3-정규 그래프에서 완벽 매칭에 관한 페테르센의 정리를 활용하여 일반 평면 그래프를 이분 그래프로 변환한다.
• 이중 그래프의 임베딩과 크기 제약 조건을 활용하여 동일한 점 집합이 모든 n-정점 평면 그래프에 대한 1-굽힘 도면을 지원함을 증명한다.

실험 결과

연구 질문

• RQ1 외부 평면 그래프를 초월한 비트ivial한 평면 그래프 클래스에 대해 진정으로 선형 크기 $O(n)$의 보편 점 집합을 구성할 수 있는가?
• RQ2 터널링 이중 체인 점 집합은 한쪽 방향 해밀턴 사이클을 갖는 모든 평면 그래프에 대해 평면 직선 임베딩을 지원하는가?
• RQ3 모든 n-정점 평면 그래프에 대한 1-굽힘 도면을 지원하는 점 집합의 최소 크기는 얼마이며, 이는 이전의 한계를 초월해 향상시킬 수 있는가?
• RQ4 이중 평면 그래프 및 3-정점 차수 평면 그래프는 크기 $2n - 2$의 보편 점 집합에 임베딩 가능한가?
• RQ5 2-트리나 시리즈-패러럴 그래프와 같은 그래프 클래스는 POSH가 아니며, 이는 선형 보편 점 집합에 대한 이 방법의 한계를 의미하는가?

주요 결과

• 크기 $2n - 2$의 보편 점 집합이 이분 평면 그래프의 클래스에 대해 존재한다.
• 동일한 점 집합 크기 $2n - 2$는 최대 차수 3인 모든 n-정점 평면 그래프에 대해 보편적이다.
• 한쪽 방향 해밀턴 사이클을 갖는 POSH 그래프 클래스는 터널링 이중 체인 점 집합에 임베딩 가능하며, 이는 외부 평면 그래프를 초월한 확장성을 의미한다.
• 이 결과는 모든 n-정점 평면 그래프에 대해 1-굽힘 도면의 한계를 $4n - 6$으로 향상시킨다. 이는 이전의 $6n - 10$보다 개선된 결과이다.
• 모든 2-트리는 POSH가 아니며, 이 방법을 통해 2-트리 클래스는 선형 보편 점 집합을 갖지 못함을 의미하며, 이는 이 접근법의 한계를 시사한다.
• 논문은 2페이지 북 임베딩에서의 정점 분포 제약 조건을 활용하여 비-POSH 그래프의 구조적 특성을 특성화하였으며, 499개 정점을 가진 반례를 구성하여 비임베딩 가능성을 증명한다.