[논문 리뷰] A note on planar partial 3-trees

Jan Kratochvı́l, Michal Vaner|arXiv (Cornell University)|2012. 10. 30.

Advanced Graph Theory Research참고 문헌 3인용 수 10

한 줄 요약

이 논문은 세 개 이상의 정점이 있는 모든 평면 부분 3-트리가 원래의 평면 임베딩을 유지하는 평면 3-트리의 스파닝 서브그래프임을 증명한다. 주요 기여는 입력 그래프를 간선만 추가하여 평면 3-트리로 확장하는 명시적 귀납적 구성법을 제공하며, 전체 과정에서 주어진 교차하지 않는 그림을 유지한다.

ABSTRACT

It implicitly follows from the work of [Colbourn, El-Mallah: On two dual classes of planar graphs. Discrete Mathematics 80(1): 21-40 (1990)] that every planar partial 3-tree is a subgraph of a planar 3-tree. This fact has already enabled to prove a couple of results for planar partial 3-trees by induction on the structure of the underlying planar 3-tree completion. We provide an explicit proof of this observation and strengthen it by showing that one can keep the plane drawing of the input graph unchanged.

연구 동기 및 목표

• 평면 부분 3-트리와 부분 평면 3-트리 간의 의미적·구조적 모호성을 제거하기 위해 이들이 동치임을 증명하는 것.
• 모든 평면 부분 3-트리가 원래의 평면 임베딩을 유지하면서 평면 3-트리로 확장될 수 있음을 구축적으로 증명하는 것.
• Colbourn과 El-Mallah의 이전 암시적 결과를 강화하기 위해 간선 추가만 허용하고 정점 추가나 임베딩 왜곡을 피하는 것.
• 평면 부분 3-트리에 대해 귀납적 증명을 신뢰성 있게 적용할 수 있도록, 평면 3-트리의 구조적 기반을 공고히 하는 것.

제안 방법

• 3-트리에 대한 완전 제거 순서(PES)의 존재를 활용하여 정점 수에 대한 귀납법을 적용한다.
• 그래프의 연결성 기반 사례 분석: 1-연결, 2-연결, 3-연결 성분.
• 2-연결 그래프의 경우, 최소 컷을 따라 부분그래프의 평면 3-트리 완성형을 접합하며, 한 쪽을 다른 쪽의 면 안에 임베딩한다.
• 3-연결 그래프의 경우, 최소 초과그래프가 존재하며, 마지막 정점을 그의 세 이웃에 의해 둘러싸인 면 안에 임베딩한다.
• 평면 삼각분할 기법과 면-임베딩 접합을 활용하여 증강 과정에서 교차 없는 그림을 유지한다.
• 모든 추가 간선이 기존 평면 3-트리 완성형의 삼각형 면 내부에 새로운 정점을 배치함으로써 교차 없이 그려지도록 보장한다.

실험 결과

연구 질문

• RQ1 모든 평면 부분 3-트리가 원래의 교차하지 않는 그림을 유지하는 평면 3-트리 초과그래프를 갖는가?
• RQ2 정점 추가 없이 간선 추가만으로 평면 3-트리로의 증강이 가능하며, 임베딩이 왜곡되지 않는가?
• RQ3 평면 부분 3-트리의 클래스와 부분 평면 3-트리의 클래스는 동치이며, 만약 그렇다면 어떤 구조적 조건에서 동치인가?
• RQ4 이러한 임베딩 유지 초과그래프 성질 덕분에, 평면 3-트리의 구조에 기반한 귀납적 증명이 평면 부분 3-트리에 신뢰성 있게 적용될 수 있는가?
• RQ5 증강 과정에서 이러한 임베딩을 구성할 때 연결성(1-, 2-, 3-연결)의 역할은 무엇인가?

주요 결과

• 세 개 이상의 정점이 있는 모든 평면 부분 3-트리는 원래의 교차하지 않는 그림을 유지하는 평면 3-트리의 스파닝 서브그래프이다.
• 증강 과정에서 정점은 추가되지 않고 간선만 추가되며, 평면성과 원래의 임베딩이 전체적으로 유지된다.
• 2-연결 그래프의 경우, 최소 컷을 따라 두 개의 평면 3-트리 완성형을 접합하며, 한 쪽을 다른 쪽의 면 안에 임베딩한다.
• 3-연결 그래프의 경우, 완전 제거 순서에서 마지막 정점은 초과그래프에서 그의 세 이웃에 의해 둘러싸인 면 안에 임베딩된다.
• 결과적으로 평면 부분 3-트리의 클래스와 부분 평면 3-트리의 클래스가 동치임을 확인하여, 평면 3-트리의 구조에 기반한 귀납적 증명의 타당성을 검증한다.
• 이 증명은 접촉 표현과 평면 부분 3-트리의 유한 기울기 그림과 같은 이전 그래프 드로잉 결과를 뒷받침하는 구축적 방법을 제공한다.