[논문 리뷰] Toward the Hanani-Tutte Theorem for Clustered Graphs

Radoslav Fulek|arXiv (Cornell University)|2014. 10. 11.

Advanced Graph Theory Research참고 문헌 26인용 수 4

한 줄 요약

이 논문은 정점들이 수직으로 순서가 지정된 클러스터로 분할되고, 간선이 동일하거나 인접한 클러스터의 정점들만 연결하는 '스티프 클러스터 그래프'에 대해 한라니-투테 정리의 약한 변종을 확립한다. 임베딩된 스티프 평면 그래프의 금지된 하위구조 특성화를 도입하고, 매칭 이론 및 평면성 기준 기법을 활용하여, 모든 간선 쌍이 짝수 번 교차하는 조건을 만족하는 그림이 존재할 경우, 정점 순서를 유지하는 평면 임베딩이 존재함을 증명한다. 이는 고전적인 약한 한라니-투테 정리와 레벨 그래프에 대한 단조성 변종을 일반화한다.

ABSTRACT

The weak variant of Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges cross an even number of times. Moreover, we can turn such a drawing into an embedding without changing the order in which edges leave the vertices. We prove a generalization of the weak Hanani-Tutte theorem that also easily implies the monotone variant of the weak Hanani-Tutte theorem by Pach and Tóth. Thus, our result can be thought of as a common generalization of these two neat results. In other words, we prove the weak Hanani-Tutte theorem for strip clustered graphs, whose clusters are linearly ordered vertical strips in the plane and edges join only vertices in the same cluster or in neighboring clusters with respect to this order. In order to prove our main result we first obtain a forbidden substructure characterization of embedded strip clustered planar graphs. The Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges not sharing a vertex cross an even number of times. We prove the variant of Hanani-Tutte theorem for strip clustered graphs if the underlying abstract graph is three connected or a tree. In the case of trees our result implies that c-planarity for flat clustered graphs with three clusters is solvable in a polynomial time if the underlying abstract graph is a tree. The proof of the latter result combines our forbidden substructure characterization of embedded strip clustered planar graphs with Tucker's characterization of 0-1 matrices with consecutive ones property.

연구 동기 및 목표

• 선형적으로 순서가 지정된 수직 스트립(스티프) 클러스터 그래프의 설정으로 약한 한라니-투테 정리를 확장하는 것.
• 임베딩된 스티프 평면 클러스터 그래프의 금지된 하위구조 특성화를 확립하여 알고리즘적 및 구조적 분석을 가능하게 하는 것.
• 기존의 두 결과를 통합하고 일반화하는 것: 고전적인 약한 한라니-투테 정리와 레벨 그래프에 대한 단조성 변종.
• 기본 그래프가 트리인 평면 클러스터 그래프에서 3개의 클러스터에 대해 c-평면성 문제가 다항시간 내에 해결 가능함을 보이는 것.
• 기초 매트로이드 기반 기법을 통해 결과를 시리즈-패러럴 그래프 및 기타 그래프 클래스로 확장할 수 있는지 탐색하는 것.

제안 방법

• 스티프 클러스터 그래프를 레벨 그래프의 일반화로 도입하며, 여기서 클러스터는 수직으로 순서가 지정되고 간선은 동일하거나 인접한 클러스터의 정점들만 연결한다.
• 독립된 간선 쌍이 모두 짝수 번 교차하는 그림을 '짝수 그림(even drawing)'으로 정의하고, 이러한 그림이 정점 순서를 유지하는 평면 임베딩을 허용함을 증명한다.
• 경로의 교차 및 정점 순서에서 유도된 제약 조건을 기반으로, 임베딩된 스티프 평면 그래프의 금지된 하위구조 특성화를 개발한다.
• 홀의 결혼 정리(Hall’s marriage theorem)를 적용하여 이중 구조에서 타당한 매칭의 존재를 보장하며, 이는 타당한 임베딩에 해당한다.
• 원래 그래프를 가중치가 있는 간선을 가진 다중 그래프로 변환하여 경로 교차를 모델링하고 최소 가중치 스패닝 트리 기법을 적용한다.
• 두 개 이상의 연결성 없는 그래프를 다룰 수 있도록 보조 그래프의 구성 기법을 일반화하며, 갇힌 정점과 타당하지 않은 경로의 교차 순서를 고려한다.

실험 결과

연구 질문

• RQ1 스티프 클러스터 그래프에서 클러스터가 선형적으로 순서가 지정되고 간선이 인접하거나 동일한 클러스터의 정점들만 연결될 경우, 약한 한라니-투테 정리는 확장 가능한가?
• RQ2 임베딩된 스티프 평면 클러스터 그래프의 구조적 조건은 무엇이며, 이는 금지된 하위구조로 기술될 수 있는가?
• RQ3 스티프 클러스터 그래프의 그림에서 모든 독립된 간선 쌍이 짝수 번 교차할 경우, 정점 순서를 유지하는 평면 임베딩이 존재하는가?
• RQ4 기본 추상 그래프가 트리인 평면 클러스터 그래프에서 3개의 클러스터에 대해 c-평면성 문제가 다항시간 내에 해결 가능한가?
• RQ5 이 접근법은 시리즈-패러럴 그래프나 사이클이 없는 구성 요소를 가진 캉티와 같은 더 일반적인 그래프 클래스로 어느 정도까지 확장 가능한가?

주요 결과

• 기본 추상 그래프가 3-연결, 트리, 또는 한 쌍의 정점을 연결하는 내부가 서로소인 경로들의 유한 집합일 경우, 약한 한라니-투테 정리는 스티프 클러스터 그래프에 대해 성립한다.
• 트리의 경우, 이 결과는 3개의 클러스터를 가진 평면 클러스터 그래프의 c-평면성 테스트가 다항시간 내에 해결 가능함을 시사한다.
• 경로의 교차 및 정점 순서에서 유도된 제약 조건을 기반으로, 임베딩된 스티프 평면 그래프의 금지된 하위구조 특성화가 확립되었다.
• 증명 기법은 제약 조건이 있는 매칭 문제로의 환원에 기반하며, 홀 조건(Hall’s condition)이 타당한 임베딩의 존재를 보장한다.
• 가중치가 있는 간선을 가진 보조 그래프의 구성과 최소 스패닝 트리 기법을 통해 교차 수가 동일한 그림을 평면 임베딩으로 변환할 수 있다.
• 이 접근법은 고전적인 약한 한라니-투테 정리와 레벨 그래프에 대한 단조성 변종을 일반화하며, 클러스터링 설정에서 짝수 교차 조건의 더 넓은 적용 가능성을 시사한다.