[논문 리뷰] On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs

Michael A. Bekos, Sabine Cornelsen외 3명|arXiv (Cornell University)|2014. 09. 01.

Computational Geometry and Mesh Generation인용 수 13

한 줄 요약

이 논문은 최대 외부-팬-평면 그래프를 인식하기 위한 다항시간 알고리즘을 제시하며, 효율적인 임bedding을 가능하게 하는 구조적 특성에 대해 기술한다. 또한 고정된 순환 체계를 가진 일반적인 팬-평면성 테스팅이 NP-난이도임을 증명하여, 팬-평면성 인식의 다항시간 가능 및 불가능한 경우 사이의 정확한 경계를 설정한다.

ABSTRACT

Fan-planar graphs were recently introduced as a generalization of 1-planar graphs. A graph is fan-planar if it can be embedded in the plane, such that each edge that is crossed more than once, is crossed by a bundle of two or more edges incident to a common vertex. A graph is outer-fan-planar if it has a fan-planar embedding in which every vertex is on the outer face. If, in addition, the insertion of an edge destroys its outer-fan-planarity, then it is maximal outer-fan-planar. In this paper, we present a polynomial-time algorithm to test whether a given graph is maximal outer-fan-planar. The algorithm can also be employed to produce an outer-fan-planar embedding, if one exists. On the negative side, we show that testing fan-planarity of a graph is NP-hard, for the case where the rotation system (i.e., the cyclic order of the edges around each vertex) is given.

연구 동기 및 목표

• 최대 외부-팬-평면 그래프를 효율적으로 인식하기 위한 알고리즘을 개발하기 위해.
• 알고리즘적 인식을 가능하게 하는 최대 외부-팬-평면 그래프의 구조적 특성에 대해 특성화하기 위해.
• 순환 체계가 주어졌을 때 팬-평면성 인식의 계산 복잡도를 조사하기 위해.
• 팬-평면성 인식에서 다항시간 가능 및 불가능한 경우 사이의 경계를 탐색하기 위해.
• 비최대 외부-팬-평면 그래프에 대한 효율적 인식 문제를 열어두기 위해.

제안 방법

• 최대 외부-팬-평면 그래프의 구조적 특성, 특히 정점 순서와 간선 삽입 제약 조건을 기반으로 한 다항시간 알고리즘 설계하기.
• 유효한 외부-팬-평면 임bedding을 유도하기 위해 정점의 표준 순서를 활용하기.
• 외부-팬-평면성에서는 금지된 교차 패턴 II 및 III가 중요하지 않음을 활용하여 인식 과정을 단순화하기.
• 3-Partition 문제(3P)에서의 축소를 통해 고정된 순환 체계를 가진 팬-평면성의 NP-난이도를 증명하기.
• 3P 인스턴스를 팬-평면 도식 내에서 시뮬레이션하기 위해 고리, 빔, 횡방향 경로를 포함한 그래프 구조를 정의하기.
• 횡방향 경로가 정확히 필요한 수의 수직 간선을 교차하도록 보장하여, 팬-평면성과 순환 체계 제약 조건을 유지하기.

실험 결과

연구 질문

• RQ1 최대 외부-팬-평면 그래프는 다항시간 내에 인식될 수 있는가?
• RQ2 최대 외부-팬-평면 그래프를 효율적으로 인식할 수 있도록 하는 구조적 특성은 무엇인가?
• RQ3 순환 체계가 고정된 상태에서 일반적인 팬-평면성 인식 문제는 NP-난이도인가?
• RQ4 3-Partition 문제는 고정된 순환 체계를 가진 팬-평면성 인식 인스턴스로 축소될 수 있는가?
• RQ5 비최대 외부-팬-평면 그래프를 인식하는 데에는 어떤 복잡도가 존재하는가?

주요 결과

• 최대 외부-팬-평면 그래프를 인식하기 위한 다항시간 알고리즘이 존재한다.
• 해당 알고리즘은 존재할 경우 외부-팬-평면 임bedding도 생성할 수 있다.
• 순환 체계가 입력으로 주어진 상태에서 팬-평면성 인식 문제는 NP-난이도이다.
• NP-난이도 결과는 3-Partition 문제에서의 축소를 통해 확립되었다.
• 축소 과정은 횡방향 경로가 정확히 세 개의 중심 셀과 (3m−3)K+B개의 수직 간선을 교차하도록 하는 그래프를 구성하며, 이는 유효한 3분할에 대응한다.
• 팬-평면성의 구조적 제약 조건은 각 횡방향 경로가 정확히 세 개의 중심 셀을 통과하도록 강제하여, 3P 해와 일대일 대응을 보장한다.