[논문 리뷰] $1$-String $B_1$-VPG Representations of Planar Partial $3$-Trees and Some Subclasses

Thérèse Biedl, Martin Derka|arXiv (Cornell University)|2015. 06. 24.

Computational Geometry and Mesh Generation참고 문헌 4인용 수 3

한 줄 요약

이 논문은 평면 부분 3-트리 전부가 최대 한 번의 굽힘이 있는 수직-수평 곡선을 사용하는 1-스트링 $B_1$-VPG 표현을 갖는다는 것을 증명한다. 여기서 모든 곡선 쌍은 최대 한 번만 만난다. 또한 IO-그래프와 할린 그래프와 같은 부분집합은 오직 하나의 정점만 비-L 모양을 사용할 수 있는 $\{\tt L\}$-표현을 갖는다는 것을 보이며, 평면 그래프에 대한 구조적인 수직-수평 표현 이론의 이해를 발전시킨다.

ABSTRACT

Planar partial $3$-trees are subgraphs of those planar graphs obtained by repeatedly inserting a vertex of degree $3$ into a face. In this paper, we show that planar partial $3$-trees have $1$-string $B_1$-VPG representations, i.e., representations where every vertex is represented by an orthogonal curve with at most one bend, every two curves intersect at most once, and intersections of curves correspond to edges in the graph. We also that some subclasses of planar partial 3-trees have L-representations, i.e., a $B_1$-VPG representation where every curve has the shape of an L.

연구 동기 및 목표

• 평면 3-트리에서 알려진 $B_1$-VPG 표현 결과를 더 넓은 평면 부분 3-트리 클래스로 확장하는 것.
• 평면 부분 3-트리의 구조적 부분집합이 오직 L자 곡선만을 사용하는 $\{\tt L\}$-표현을 갖는지 조사하는 것.
• 평면 임베딩 순서를 존중하는 순서화된 $B_1$-VPG 표현이 가능한지 탐색하는 것.
• 기존 부분집합을 초월해 더 일반적인 평면 그래프로 $\{\tt L\}$-표현 성질이 확장되는지 여부를 판단하는 것.
• 모든 평면 그래프가 $\{\tt L\}$-표현을 갖는지 여부에 대한 열린 질문을, 순서화되고 구조화된 표현을 분석함으로써 해결하는 것.

제안 방법

• 사용자 정의 영역 기법을 사용하여 F자형 및 직사각형 영역을 정의함으로써 삼중의 정점을 분리하고, 곡선의 교차를 통제함.
• 격자 기반 레이아웃에서 최대 한 번의 굽힘이 있는 곡선(L, L, L, L 형태)을 배치하여 $B_1$-VPG 표현을 구성함.
• 3-트리 구축 과정에 기반한 재귀적 정점 순서를 사용함. 외부 삼각형에서 시작하여, 각 면에 degree 3인 정점을 추가함.
• IO-그래프와 할린 그래프의 경우, 곡선 형태를 수정함(예: 수평 방사선 연장 및 하향 수직 세그먼트 추가)으로 $\{\tt L\}$-표현을 생성함.
• 기하적 배치 전략을 적용함: 굽힘은 정수 좌표에 위치시키고, 방사선은 의도한 이웃 정점과만 교차하도록 연장함으로써 1-스트링 성질을 유지함.
• 루트 정점의 기본 곡선에 변환을 적용하여 최종적인 간선 교차(예: $v_1$와 $v_k$ 사이)를 허용함과 동시에 교차나 굽힘 제약을 위반하지 않음.

실험 결과

연구 질문

• RQ1 모든 평면 부분 3-트리는 최대 한 번의 굽힘이 있는 1-스트링 $B_1$-VPG 표현을 갖는가?
• RQ2 IO-그래프와 할린 그래프와 같은 평면 부분 3-트리의 부분집합에 대해 $\{\tt L\}$-표현 성질이 확장될 수 있는가?
• RQ3 $B_1$-VPG 표현을 갖는 그래프라도 순서화된 $\{\tt L\}$-표현을 갖지 못하는 평면 그래프가 존재하는가?
• RQ4 할린 그래프에 대한 구축 방법을 일반화하여, 비-L자 곡선이 전혀 필요 없이 $\{\tt L\}$-표현을 달성할 수 있는가?
• RQ5 1-스트링 성질을 만족하는 모든 평면 부분 3-트리를 표현하기 위해 필요한 최소한의 곡선 형태 집합(예: $\{\tt L\}$, $\{\tt L, \reflectbox{L}\}$)은 무엇인가?

주요 결과

• 모든 평면 부분 3-트리는 최대 한 번의 굽힘이 있는 수직-수평 곡선을 사용하는 1-스트링 $B_1$-VPG 표현을 갖는다.
• IO-그래프는 $\{\tt L\}$-표현을 갖는다. 즉, 모든 정점 곡선이 L자 형태이며, 굽힘이 없거나 오직 하나의 굽힘이 L자 형태로 존재한다.
• 할린 그래프는 $\{\tt L, \reflectbox{L}\}$-표현을 갖는다. 이 경우 오직 하나의 정점만 $\reflectbox{L}$-형 곡선을 사용할 수 있다.
• 할린 그래프에 대한 구축 과정은 모든 교차가 곡선의 끝부분 근처에서 발생하도록 보장하여 1-스트링 성질을 유지한다.
• 표현은 순서화되어 있으며, 각 곡선의 교차 순서가 평면 임베딩에서 정점의 변 순서와 일치한다.
• 논문은 기존의 평면 3-트리 결과를 평면 부분 3-트리로 확장하는 구조적 증명을 제공하며, Scheinerman의 추측을 $\{\tt L\}$-표현을 통해 해결할 수 있는 길을 시사한다.