[논문 리뷰] Picking Planar Edges; or, Drawing a Graph with a Planar Subgraph

Marcus Schaefer|arXiv (Cornell University)|2013. 11. 26.

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

한 줄 요약

이 논문은 GF(2) 위에서 한라니-투트 스타일의 접근을 사용하여 특정 엣지 부분집합이 교차 없이 그릴 수 있는지 여부를 다항 시간 내에 결정하는 알고리즘을 제안한다. 부분 평면성 문제는 다항 시간 내에 해결 가능하며, 반면 직선으로 그린 그림을 요구하는 기하적 변형—해당 부분집합의 각 엣지에서 최대 한 번의 교차만 허용—은 실존 이론의 실체성 문제와 동일한 난이도를 가진다.

ABSTRACT

Given a graph $G$ and a subset $F \subseteq E(G)$ of its edges, is there a drawing of $G$ in which all edges of $F$ are free of crossings? We show that this question can be solved in polynomial time using a Hanani-Tutte style approach. If we require the drawing of $G$ to be straight-line, and allow at most one crossing along each edge in $F$, the problem turns out to be as hard as the existential theory of the real numbers.

연구 동기 및 목표

• 주어진 엣지 부분집합이 교차 없이 그릴 수 있는지 여부를 결정하는 알고리즘의 계산 복잡도를 규명하는 것.
• 특정 엣지 부분집합만 평면적이어야 하는 부분 평면성 문제의 효율적 해결 가능성을 조사하는 것.
• 그래프 그림에서 평면성 제약의 다항 시간 가능과 불가능한 변형 사이의 경계를 탐색하는 것.
• 부분 평면성 문제의 다각선 버전과 직선 버전의 복잡도를 비교하는 것.
• 부분적으로 임베딩된 평면성 및 고정된 엣지를 가진 동시 임베딩과 같은 관련 문제들과의 연결 고리 분석

제안 방법

• GF(2) 위에서 선형 방정식계로 문제를 공식화하여, (e,v)-이동을 통해 엣지 교차의 기수를 모델링한다.
• 독립된 엣지 간의 짝수 교차 기수를 강제하는 시스템 P(D,F)를 정의하며, 여기서 한 엣지는 지정된 부분집합 F에 속한다.
• 한라니-투트 특성화를 활용: 그래프가 F의 모든 엣지가 교차 없이 그려질 수 있는 그림을 가질 조건은 P(D,F)가 GF(2) 위에서 해를 갖는 것과 동치이다.
• 유한체 위에서 선형 시스템의 해가 존재하는지 검사하는 것이 다항 시간 내에 가능하다는 사실을 활용한다.
• 해가 존재하면 유효한 그림이 존재함을 보이기 위해 위상수학적 및 조합론적 추론을 적용한다.
• 기하적 변형의 복잡도를 분석하기 위해 가짜선 배열과 스트레치 가능성 논증을 적용한다.

실험 결과

연구 질문

• RQ1 특정 엣지 부분집합이 교차 없이 그려질 수 있는지 여부를 다항 시간 내에 해결할 수 있는가?
• RQ2 직선으로 그린 그림을 요구하는 부분 평면성 문제의 기하적 변형은 다각선 버전보다 계산적으로 더 어려운가?
• RQ3 부분집합에 속한 각 엣지에서 최대 한 번의 교차만 허용할 때, 기하적 부분 평면성 문제의 계산 복잡도는 무엇인가?
• RQ4 한라니-투트 접근법은 기하 제약 조건이 있는 1-평면 그래프로 확장될 수 있는가?
• RQ5 기존의 데이터 구조, 예를 들어 PQ-트리나 SPQR-트리는 부분 평면성 문제를 효율적으로 해결하는 데 사용될 수 있는가?

주요 결과

• 특정 엣지 부분집합 F가 교차 없이 그려질 수 있는 그래프의 부분 평면성 문제는 GF(2) 위에서 한라니-투트 스타일의 선형 시스템을 사용하여 다항 시간 내에 해결 가능하다.
• GF(2) 위에서 시스템 P(D,F)의 해가 존재하는 것은 F에 속한 모든 엣지가 교차 없이 그려질 수 있는 그림이 존재하기 위한 필요조건이자 충분조건이다.
• 직선으로 그린 그림을 요구하고 부분집합 F의 각 엣지에서 최대 한 번의 교차만 허용하는 기하적 변형 문제의 복잡도는 실존 이론의 실체성 문제(∃R)와 동일한 난이도를 가진다.
• 기하적 1-평면성 문제의 경우 NP-완전이지만, 일반적인 기하적 부분 평면성 문제의 경우 영역 하한과 구조적 복잡도 분석에 기반해 ∃R-난이도일 가능성이 높다.
• 문제는 고정된 엣지를 가진 동시 임베딩의 특수한 경우(해바라기 경우)와 동치이며, 이는 해당 프레임워크와의 알고리즘적 연결 가능성을 시사한다.
• 기하적 부분 평면성 문제의 ∃R-난이도 여부는 아직 열려 있으나, 강력한 증거나는 이 복잡도에 기반한 것으로 보인다.