[논문 리뷰] A Dichotomy for 1-Planarity with Restricted Crossing Types Parameterized by Treewidth

Franz J. Brandenburg, Dobler, Alexander외 3명|arXiv (Cornell University)|2015. 09. 11.

Computational Geometry and Mesh Generation참고 문헌 27인용 수 16

한 줄 요약

이 논문은 1-평면 그래프와 4-맵 그래프(구멍이 있는 경우 포함) 사이의 일대일 대응을 수립하여, 교차 증강, 완전 삼각분할, 최대 1-평면 그래프의 경우 다항식 시간 내에 1-평면성 인식이 가능하다는 것을 증명한다. 각각의 시간 복잡도는 O(n^120), O(n^3), O(n^5)이다. 주요 기여는 1-평면 그래프와 맵 그래프를 연결하는 새로운 특성화 및 구조적 제약 조건 하에서 효율적인 인식 알고리즘을 제공하는 데 있다.

ABSTRACT

A drawing of a graph is 1-planar if each edge participates in at most one crossing and adjacent edges do not cross. Up to symmetry, each crossing in a 1-planar drawing belongs to one out of six possible crossing types, where a type characterizes the subgraph induced by the four vertices of the crossing edges. Each of the 63 possible nonempty subsets 𝒮 of crossing types gives a recognition problem: does a given graph admit an 𝒮-restricted drawing, that is, a 1-planar drawing where the crossing type of each crossing is in 𝒮? We show that there is a set 𝒮_bad with three crossing types and the following properties: - If 𝒮 contains no crossing type from 𝒮_bad, then the recognition of graphs that admit an 𝒮-restricted drawing is fixed-parameter tractable with respect to the treewidth of the input graph. - If 𝒮 contains any crossing type from 𝒮_bad, then it is NP-hard to decide whether a graph has an 𝒮-restricted drawing, even when considering graphs of constant pathwidth. We also extend this characterization of crossing types to 1-planar straight-line drawings and show the same complexity behaviour parameterized by treewidth.

연구 동기 및 목표

• 1-평면 그래프와 4-맵 그래프 사이의 일대일 대응을 수립하며, 구멍이 없는 변형도 포함한다.
• 최대성 및 삼각분할과 같은 구조적 제약 조건 하에서 1-평면 그래프의 인식 복잡도를 조사한다.
• 기존의 1-평면 회전체계 인식 알고리즘을 교차 증강 1-평면 그래프로 확장한다.
• 특히 다항식 시간 내에서 해결 가능한지 여부에 관해 열려 있는 문제들을 해결한다.
• 최대 또는 최적 1-평면 그래프가 약한 동형사상에 대해 유일한 매장이 있는지 여부를 규명한다.

제안 방법

• 4-맵 그래프를 교차 증강 1-평면 그래프로 특성화하고, 구멍이 없는 4-맵 그래프를 완전 삼각분할 1-평면 그래프로 특성화한다.
• Chen 등 [18]의 구멍이 없는 4-맵 그래프 인식 알고리즘을 활용하여, 완전 삼각분할 및 최대 1-평면 그래프의 시간 복잡도를 유도한다.
• Eades 등 [23]의 선형 시간 1-평면 회전체계 테스트를 교차 증강 1-평면 그래프에 적용하기 위해 다리 기반의 산책 탐지 메커니즘을 도입한다.
• SPQR-트리 분해를 사용하여 외부 1-평면 그래프 및 유사 클래스에서 평면 최대성 및 최대성을 선형 시간 내에 테스트한다.
• SPQR-트리 구조를 활용해 외부 1-평면성, 교차 증강, 약한 삼각분할 등의 성질을 검증한다.
• 1-평면 그래프에서 평면 최대성 문제를 SPQR 분해를 통해 분리 쌍에서의 구성 요소를 점검하는 것으로 환원한다.

실험 결과

연구 질문

• RQ1 1-평면 그래프는 4-맵 그래프 또는 구멍이 없는 4-맵 그래프로 특성화될 수 있는가?
• RQ2 교차 증강, 완전 삼각분할 또는 최대성과 같은 구조적 제약 조건 하에서 1-평면 그래프의 인식이 다항식 시간 내에서 가능할 수 있는가?
• RQ3 Eades 등이 제안한 1-평면 회전체계 테스트를 교차 증강 1-평면 그래프로 일반화할 수 있는가?
• RQ4 최대 또는 최적 1-평면 그래프는 약한 동형사상에 대해 유일한 매장이 있는가?
• RQ5 중첩된 영역이 있는 일반화된 맵 그래프의 인식 문제는 여전히 다항식 시간 내에서 해결 가능한가?

주요 결과

• 1-평면 그래프와 4-맵 그래프 사이의 일대일 대응이 수립되었으며, 일반 및 구멍이 없는 변형 모두 포함한다.
• 완전 삼각분할 1-평면 그래프는 구멍이 없는 4-맵 그래프와 동치이며, O(n^3) 시간 내에 인식이 가능하다.
• 최대 1-평면 그래프는 Chen 등 [18]의 알고리즘을 사용하여 O(n^5) 시간 내에 인식이 가능하다.
• 교차 증강 1-평면 그래프는 O(n^120) 시간 내에 인식이 가능하며, 이는 구멍이 없는 4-맵 그래프 인식 알고리즘의 복잡도와 일치한다.
• 교차 증강 1-평면 그래프에 대해 선형 시간 알고리즘을 개발하여 회전체계의 1-평면성 여부를 테스트한다.
• 외부 1-평면 그래프 및 관련 성질(예: 최대성, 최적성)의 인식은 SPQR-트리 분해를 통해 선형 시간 내에 해결 가능하다.