[논문 리뷰] Geometric Embedding of Path and Cycle Graphs in Pseudo-convex Polygons

Hamid Hoorfar, Alireza Bagheri|arXiv (Cornell University)|2017. 08. 04.

Computational Geometry and Mesh Generation참고 문헌 15인용 수 9

한 줄 요약

이 논문은 볼록 다각형과 허위-볼록 다각형에서 최대 크기의 경로 및 사이클 그래프를 기하학적으로 통합하기 위한 O(n)-시간 알고리즘을 제시한다. 이는 가시성 성질과 선형 순회를 활용하여 평면 직선 통합을 보장한다. 주요 기여는 모든 굴절 정점이 포함된 허위-볼록 다각형에서 해밀턴 사이클을 선형 시간에 해결하는 것이다.

ABSTRACT

Given a graph $ G $ with $ n $ vertices and a set $ S $ of $ n $ points in the plane, a point-set embedding of $ G $ on $ S $ is a planar drawing such that each vertex of $ G $ is mapped to a distinct point of $ S $. A straight-line point-set embedding is a point-set embedding with no edge bends or curves. The point-set embeddability problem is NP-complete, even when $ G $ is $ 2 $-connected and $ 2 $-outerplanar. It has been solved polynomially only for a few classes of planar graphs. Suppose that $ S $ is the set of vertices of a simple polygon. A straight-line polygon embedding of a graph is a straight-line point-set embedding of the graph onto the vertices of the polygon with no crossing between edges of graph and the edges of polygon. In this paper, we present $ O(n) $-time algorithms for polygon embedding of path and cycle graphs in simple convex polygon and same time algorithms for polygon embedding of path and cycle graphs in a large type of simple polygons where $n$ is the number of vertices of the polygon.

연구 동기 및 목표

• 볼록 및 허위-볼록 다각형에서 경로 및 사이클 그래프의 기하학적 통합을 위한 효율적인 알고리즘을 개발하기 위해.
• 정점이 다각형의 정점에만 매핑되고 간선이 다각형의 간선과 겹치지 않는 평면 직선 통합을 보장하기 위해.
• 기존의 점-세트 통합 결과를 기하학적 제약 조건이 있는 구조화된 다각형 영역으로 확장하기 위해.
• 허위-볼록 다각형에서 최대 크기의 사이클 통합이 선형 시간에 계산될 수 있음을 증명하기 위해.

제안 방법

• 허위-볼록 다각형 성질의 활용: 모든 굴절 정점은 그 이웃 정점들로부터 가시하며, U턴 정점이 존재하지 않는다.
• 다각형의 정점을 반시계 방향 순서로 순회하면서, 모든 굴절 정점을 포함하는 사이클을 형성하기 위해 부분 집합을 선택한다.
• 모든 간선이 다각형의 현이 되도록 보장함으로써 평면성을 유지하는 선형 시간 순회 전략을 적용한다.
• 기존 간선을 굴절 정점을 포함하는 새로운 간선으로 대체하여, 평면성과 사이클 크기를 유지한다.
• 가시성과 볼록성을 활용하여 선택된 모든 간선이 교차 없이 직선 세그먼트임을 보장한다.
• 모순에 의한 증명을 통해 결과 사이클이 최대성임을 증명한다. 즉, 어떤 굴절 정점이라도 생략하면 최대성에 위배된다.

실험 결과

연구 질문

• RQ1 최대 크기의 경로 및 사이클 그래프는 볼록 다각형에서 O(n) 시간에 직선 간선과 교차 없이 통합될 수 있는가?
• RQ2 허위-볼록 다각형에서 모든 굴절 정점을 포함하는 사이클을 선형 시간에 통합할 수 있는가?
• RQ3 허위-볼록 다각형의 어떤 구조적 성질이 선형 시간 사이클 통합 알고리즘을 가능하게 하는가?
• RQ4 사이클 구축 중 평면성을 유지하기 위해 가시성과 볼록성을 어떻게 활용할 수 있는가?
• RQ5 허위-볼록 다각형에서 U턴 정점의 부재는 효율적이고 최적의 사이클 통합을 가능하게 하는가?

주요 결과

• n개의 정점을 가진 볼록 다각형에서 최대 크기의 사이클 그래프를 통합하기 위한 O(n)-시간 알고리즘이 존재한다.
• 알고리즘은 허위-볼록 다각형의 모든 굴절 정점이 간선 교차 없이 통합된 사이클에 포함됨을 보장한다.
• 허위-볼록 다각형에서 최대 크기의 사이클은 평면성과 직선 간선을 유지하면서 O(n) 시간에 구성될 수 있다.
• 메서드는 간선 대체를 통해 굴절 정점이 포함된 사이클이 항상 가능함을 증명한다.
• 가시성과 볼록성을 기반으로 반시계 방향 순회 전략을 사용함으로써 알고리즘이 선형 시간 복잡도를 유지한다.
• 논문은 일반 단순 다각형에 대해서는 문제의 열린 상태임을 증명하며, 이는 NP-난이도일 것으로 추측된다.