[논문 리뷰] Deepening the Relationship between SEFE and C-Planarity

Patrizio Angelini, Giordano Da Lozzo|arXiv (Cornell University)|2014. 04. 24.

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

한 줄 요약

이 논문은 연결 고정 간선을 가진 동시에 통합된 임베딩(C-SEFE-2)에서 C-Planarity로의 다항식 시간 감소를 확립하여, 교차 그래프가 연결된 C-SEFE-2 인스턴스가 등가의 C-Planarity 인스턴스로 변환될 수 있음을 보여준다. 주요 기여는 SEFE-2와 C-Planarity 간의 双방향 감소 링크를 제공하며, 특히 공통 그래프가 연결되어 있을 경우 특정 조건 하에서 계산적 동등성이 가능할 수 있음을 시사한다.

ABSTRACT

In this paper we deepen the understanding of the connection between two long-standing Graph Drawing open problems, that is, Simultaneous Embedding with Fixed Edges (SEFE) and Clustered Planarity (C-PLANARITY). In his GD'12 paper Marcus Schaefer presented a reduction from C-PLANARITY to SEFE of two planar graphs (SEFE-2). We prove that a reduction exists also in the opposite direction, if we consider instances of SEFE-2 in which the intersection graph is connected. We pose as an open question whether the two problems are polynomial-time equivalent.

연구 동기 및 목표

• SEFE-2와 C-Planarity 간의 계산적 관계를 탐구하며, 이는 그래프 도식 분야에서 오랫동안 미해결된 문제이다.
• C-SEFE-2가 C-Planarity로 다항식 시간 내에 감소할 수 있는지 확인하며, 이는 반대 방향으로 알려진 감소를 확장하는 것이다.
• 특히 공통 그래프가 연결되어 있을 경우, 두 문제가 다항식 시간 동등한지 탐색한다.
• 감소의 구조적 성질을 분석하며, 특히 클러스터 계층과 기저 그래프의 구조에 중점을 둔다.
• 클러스터 수와 감소된 C-Planarity 인스턴스의 복잡성과 관련된 미해결 문제를 규명한다.

제안 방법

• 저자들은 공통 그래프가 연결된 C-SEFE-2 인스턴스에서 C-Planarity 인스턴스로 다항식 시간 감소를 구축한다.
• 정점 분할과 클러스터 재구성으로 인해 기저 그래프를 서로소 경로의 집합으로 변환한다.
• 클러스터 계층을 수정하여 c-Planarity 제약 조건을 유지하며, 간선 교차와 클러스터 경계가 일관되게 유지되도록 한다.
• 감소 과정에서 경로가 클러스터 경계를 가로질러 교차하는 순서를 원래 C-SEFE-2 인스턴스와 동일하게 유지함으로써 등가성을 확보한다.
• 구성된 C-Planarity 인스턴스에서 각 정점은 경로 상에 위치하며, 모든 클러스터는 평탄하게 유지되어 원래 문제의 구조적 제약 조건을 그대로 유지한다.
• 감소가 등가임을 증명하기 위해, 변환된 인스턴스의 임의의 c-Planar 도식이 원래 C-SEFE-2 인스턴스에서 유효한 동시에 통합된 임베딩에 대응함을 보였다.

실험 결과

연구 질문

• RQ1 공통 그래프가 연결되어 있을 경우, C-SEFE-2가 다항식 시간 내에 C-Planarity로 감소할 수 있는가?
• RQ2 SEFE-2와 C-Planarity 간에 이중 방향 다항식 시간 감소가 존재하는가? 이는 계산적 동등성을 암시하는가?
• RQ3 감소 과정에서 클러스터 경계 교차 및 경로 순서와 같은 구조적 제약 조건이 유지되는가?
• RQ4 감소된 C-Planarity 인스턴스의 클러스터 수가 원래 C-SEFE-2 인스턴스 크기의 비선형 또는 상수 수준으로 유계가 될 수 있는가?
• RQ5 기저 그래프의 구조(예: 경로, 트리)가 이러한 감소를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 공통 그래프가 연결되어 있을 경우, C-SEFE-2에서 C-Planarity로의 다항식 시간 감소가 존재한다.
• 감소 과정은 평탄한 클러스터 계층과 서로소 경로로 구성된 기저 그래프를 가진 C-Planarity 인스턴스를 생성한다.
• 구성된 C-Planarity 인스턴스는 c-Planarity와 임베딩 제약 조건 측면에서 원래 C-SEFE-2 인스턴스와 등가이다.
• 감소 과정에서 경로가 클러스터 경계를 가로질러 교차하는 순서가 원래 동시 임베딩과 일치하도록 유지되어 일관성이 확보된다.
• 제거된 정점을 해당 클러스터에 다시 삽입할 수 있도록 하여 감소 과정이 등가성을 유지한다.
• 결과적으로, SEFE-2와 C-Planarity가 공통 그래프의 연결성 조건 하에서 계산적으로 동등할 수 있다는 추측을 뒷받침한다.