[논문 리뷰] Contact Representations of Sparse Planar Graphs

Md. Jawaherul Alam, David Eppstein외 5명|arXiv (Cornell University)|2015. 01. 01.

Structural Analysis and Optimization참고 문헌 29인용 수 6

한 줄 요약

이 논문은 원호(원호로 구성된 접촉 표현, CCA-표현)를 사용하여 희박한 평면 그래프의 접촉 표현을 조사한다. 여기서 정점은 겹치지 않는 원호로 표현되고 간선은 내부 접촉으로 표현된다. 모든 평면 (2,2)-희박 그래프와 일부 (2,1)-강한, (2,0)-강한, 그리고 (2,3)-강한 및 (2,4)-강한 그래프의 이중 그래프가 CCA-표현을 갖는 것을 증명한다. 반면 모든 (2,0)-강한 다중그래프가 CCA-표현을 갖는 것은 아님을 밝힌다. 또한 모든 평면 (2,0)-희박 그래프가 둔각 기반 접촉 표현을 갖는다는 것을 보이며, 특정 차수 제약 조건 하에서 직각 둔각 표현의 NP-완전성을 규명한다.

ABSTRACT

We study representations of graphs by contacts of circular arcs, CCA-representations for short, where the vertices are interior-disjoint circular arcs in the plane and each edge is realized by an endpoint of one arc touching the interior of another. A graph is (2,k)-sparse if every s-vertex subgraph has at most 2s - k edges, and (2, k)-tight if in addition it has exactly 2n - k edges, where n is the number of vertices. Every graph with a CCA- representation is planar and (2, 0)-sparse, and it follows from known results on contacts of line segments that for k >= 3 every (2, k)-sparse graph has a CCA-representation. Hence the question of CCA-representability is open for (2, k)-sparse graphs with 0 <= k <= 2. We partially answer this question by computing CCA-representations for several subclasses of planar (2,0)-sparse graphs. In particular, we show that every plane (2, 2)-sparse graph has a CCA-representation, and that any plane (2, 1)-tight graph or (2, 0)-tight graph dual to a (2, 3)-tight graph or (2, 4)-tight graph has a CCA-representation. Next, we study CCA-representations in which each arc has an empty convex hull. We characterize the plane graphs that have such a representation, based on the existence of a special orientation of the graph edges. Using this characterization, we show that every plane graph of maximum degree 4 has such a representation, but that finding such a representation for a plane (2, 0)-tight graph with maximum degree 5 is an NP-complete problem. Finally, we describe a simple algorithm for representing plane (2, 0)-sparse graphs with wedges, where each vertex is represented with a sequence of two circular arcs (straight-line segments).

연구 동기 및 목표

• 비겹치는 원호를 사용한 접촉 표현(즉, CCA-표현)을 갖는 희박한 평면 그래프의 클래스를 규명하는 것.
• 임베딩을 변경할 수 있는 경우에도 모든 (2,0)-희박 평면 그래프가 CCA-표현을 갖는지 여부에 대한 열린 문제를 해결하는 것.
• 특정 기하 제약 조건(예: 직각)이 있는 둔각(굽은 선분이 한 개 있는 폴리라인)을 사용한 접촉 표현의 존재성을 조사하는 것.
• 각 원호의 볼록 hull 이 빈 상태일 조건을 규명하는 것.
• 특정 기하 성질(예: 직각 둔각)을 갖는 CCA-표현을 구성하는 데 필요한 계산 복잡도를 분석하는 것.

제안 방법

• 그래프 이론적 희박성 조건을 적용: (p,k)-희박 및 (p,k)-강한 그래프로, k ∈ {0,1,2,3,4}인 (2,k)-희박성에 집중한다.
• 증강 및 (2,k)-강한 그래프의 이중성에 관한 구조적 보조정리를 적용하여 표현 가능한 하위클래스를 규명한다.
• (2,0)-희박 그래프의 2−-orientation를 활용하여 직선 도면을 통해 둔각 기반 접촉 표현을 구성한다.
• 간선 방향 조정 기반의 특성화를 도입하여 원호의 볼록 hull 이 빈 상태일 때 CCA-표현이 존재하는지를 판단한다.
• 직각 둔각 표현 문제를 기하 가능성 문제로 환원하여, 최대 차수 5인 그래프에 대해 NP-완전성을 증명한다.
• 가짜 삼각형과 각도 합의 기하적 고려를 통해 일부 (2,0)-강한 그래프(예: 정팔면체 그래프)에 대해 직각 둔각 표현이 불가능함을 보인다.

실험 결과

연구 질문

• RQ1 임베딩이 고정되어 있지 않은 경우에도 모든 (2,0)-희박 평면 그래프가 CCA-표현을 갖는가?
• RQ2 (2,0)-희박 평면 그래프의 어떤 하위클래스가 CCA-표현을 보장하는가? 그리고 이러한 표현 가능성을 가능하게 하는 구조적 성질은 무엇인가?
• RQ3 모든 평면 (2,0)-희박 그래프가 둔각(굽은 선분이 한 개인 폴리라인)을 사용하여 표현될 수 있는가? 그리고 이러한 표현에 영향을 주는 제약 조건은 무엇인가?
• RQ4 (2,0)-강한 평면 그래프에 대해 직각 둔각을 갖는 CCA-표현이 존재하는지를 판단하는 데 필요한 계산 복잡도는 얼마인가?
• RQ5 각 원호의 볼록 hull 이 빈 상태일 때 CCA-표현이 존재하는 조건은 무엇인가?

주요 결과

• 모든 평면 (2,2)-희박 그래프는 CCA-표현을 갖는다.
• (2,1)-강한 또는 (2,0)-강한 평면 그래프 중 이중 그래프가 (2,3)-또는 (2,4)-강한 그래프인 경우에도 CCA-표현을 갖는다.
• 최대 차수 5인 (2,0)-강한 평면 다중그래프 중 CCA-표현을 갖지 못하는 것이 존재함을 보여, 모든 (2,0)-강한 그래프가 CCA-표현 가능하지 않음을 입증한다.
• 모든 평면 (2,0)-희박 그래프는 둔각을 사용한 접촉 표현을 갖는다. 여기서 각 정점은 두 세그먼트로 이루어진 폴리라인으로 표현된다.
• 최대 차수 5인 (2,0)-강한 그래프에 대해 직각 둔각을 갖는 CCA-표현을 찾는 것은 NP-완전하다.
• 삼각형 면을 갖는 (2,0)-강한 그래프인 정팔면체 그래프는 외부 경계 각도의 기하 제약 조건으로 인해 직각 둔각을 갖는 접촉 표현을 가질 수 없다.