[논문 리뷰] Optimal Morphs of Planar Orthogonal Drawings

Arthur van Goethem, Kevin Verbeek|arXiv (Cornell University)|2018. 01. 08.

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

한 줄 요약

이 논문은 연결된 그래프의 두 평면 수직선도 사이의 변형을 오직 O(n)개의 선형 변형으로 수행하면서 평면성, 수직성, 선형 복잡도를 유지하는 최적 알고리즘을 제시한다. 방법은 가상의 굴곡을 추가하여 그림을 통합하고, 와이어를 통해 위상적 구조를 추적하며, 원본 그림과 목표 그림 간의 와이어 상의 나선도 차이를 활용하여 평면성과 수직성을 유지하는 O(n)개의 선형 변형 시퀀스를 이끌어낸다.

ABSTRACT

We describe an algorithm that morphs between two planar orthogonal drawings $Γ_I$ and $Γ_O$ of a connected graph $G$, while preserving planarity and orthogonality. Necessarily $Γ_I$ and $Γ_O$ share the same combinatorial embedding. Our morph uses a linear number of linear morphs (linear interpolations between two drawings) and preserves linear complexity throughout the process, thereby answering an open question from Biedl et al. Our algorithm first unifies the two drawings to ensure an equal number of (virtual) bends on each edge. We then interpret bends as vertices which form obstacles for so-called wires: horizontal and vertical lines separating the vertices of $Γ_O$. We can find corresponding wires in $Γ_I$ that share topological properties with the wires in $Γ_O$. The structural difference between the two drawings can be captured by the spirality of the wires in $Γ_I$, which guides our morph from $Γ_I$ to $Γ_O$.

연구 동기 및 목표

• 연결된 그래프의 두 평면 수직선도 사이에서 최적의 변형을 달성하는 열린 문제를 해결하기 위해.
• 변형 과정 전반에 걸쳐 평면성, 수직성, 선형 복잡도를 유지하기 위해.
• 기존의 O(n²)개의 선형 변형에서 O(n)개로 줄여, 이러한 변형에 대해 알려진 하한선과 일치시키기 위해.
• 그래프 시각화 응용 분야에서 효율적이고 시각적으로 일관된 구조적 알고리즘을 제공하기 위해.

제안 방법

• 각 엣지의 굴곡 수가 두 그림에서 동일하도록 가상의 굴곡을 추가하여 입력 그림을 통합한다.
• 굴곡을 정점으로 간주하여 통합된 그래프에서 문제를 두 개의 수직선형 선도 사이의 변형으로 변환한다.
• 정점들을 분리하는 수평 및 수직선인 와이어를 정의하여 위상적 순서를 포착하고 호모토피 클래스를 형성한다.
• 수직 최단경로 및 최저경로를 사용하여 원본 그림의 와이어를 목표 그림으로 매핑함으로써 위상적 구조를 유지한다.
• 원본 그림과 목표 그림의 대응되는 와이어 간의 나선도 차이를 추적하여 변형 시퀀스를 이끌어낸다.
• 지그재그 제거 슬라이드 및 오프셋 기법을 적용하여 반복 단위당 O(1)개의 변형으로 군집적으로 엣지 굴곡을 단순화함으로써 선형 복잡도를 유지한다.

실험 결과

연구 질문

• RQ1 두 평면 수직선도 사이의 변형을 오직 O(n)개의 선형 변형으로 수행하면서 평면성과 선형 복잡도를 유지할 수 있는가?
• RQ2 두 수직선도 간의 구조적 차이를 어떻게 포착하고 효율적인 변형에 활용할 수 있는가?
• RQ3 나선도는 최소화되고 평면성이 유지되는 변형 시퀀스를 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 반복적이고 군집적인 방식으로 엣지 굴곡을 단순화함으로써 변형 과정 중 선형 복잡도를 유지할 수 있는가?
• RQ5 변형 과정을 O(n)개의 선형 변형으로 분해할 수 있으며, 이는 시각적으로 일관되고 위상적으로 일관된가?

주요 결과

• 제안된 알고리즘은 오직 O(n)개의 선형 변형으로 두 평면 수직선도 사이의 변형을 수행하며, 이는 worst case에 Ω(n)개의 변형이 필요하므로 최적이다.
• 엣지 굴곡을 통합하고 반복 단위당 O(1)개의 변형으로 군집 작업을 통해 불필요한 굴곡을 단순화함으로써 선형 복잡도를 전체 과정 동안 유지한다.
• 원본 그림에서의 와이어 나선도가 목표 그림에 대비하여 구조적 차이를 포착하고 효과적으로 변형 시퀀스를 이끌어내는 데 기여한다.
• 위상적으로 일관된 와이어 매핑과 지그재그 제거 변환을 사용함으로써 매 단계에서 평면성과 수직성을 유지한다.
• 이 방법은 분리된 그래프로도 확장 가능하며, O(n^1.5)의 변형 알고리즘을 제공하여 이전 연구의 O(n²) 기준을 향상시킨다.