[논문 리뷰] New representation results for planar graphs

Farhad Shahrokhi|arXiv (Cornell University)|2015. 02. 22.

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

한 줄 요약

이 논문은 평면 그래프가 항상 한 개인 코alescent 그래프, 네 개의 코이분할 그래프, 한 개의 유닛 간격 그래프의 교차로 표현될 수 있음을 보여주는 새로운 보편 표현 정리(Representation Theorem)를 제시한다. 핵심 혁신은 대역폭의 일반화로, 클리크 커버 폭(Clique Cover Width, CCW)을 도입하여 평면 그래프에 대해 유계 표현을 가능하게 하고, 표면에 매장된 그래프 및 교차 수가 최대 1인 소수를 포함하지 않는 그래프로의 확장도 가능하게 한다.

ABSTRACT

A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.

연구 동기 및 목표

• 특정 그래프 클래스의 교차 그래프를 이용한 평면 그래프의 새로운 표현 프레임워크 개발.
• 클리크 커버 폭(CCW)을 통해 대역폭 파rameter를 일반화하여 구조적 및 알고리즘적 응용에 활용.
• 표면에 매장된 그래프 및 교차 수 ≤1인 소수를 포함하지 않는 그래프로 표현 결과를 확장.
• 분리자들을 통한 그래프 분해, 교차 표현, 계산 효율성 간의 관계 수립.
• 평면 및 관련 그래프 클래스에 대해 유계 클리크 커버 폭를 갖는 교차 모델을 다항시간에 구성하는 것.

제안 방법

• 대역폭의 일반화로 클리크 커버 폭(CCW)을 도입하여, 간선 인접성을 존중하는 정점 분할에서 클리크 간 최대 거리를 측정.
• 보편 표현 정리 증명: 모든 그래프는 코alescent 그래프와 유계 CCW를 갖는 그래프의 교차로 표현되며, 이는 트리 분해와 정점 분할 기반.
• 유계 교차 수를 갖는 수준에서 트리 분해를 구성함으로써 보편 정리를 평면 그래프에 적용하여 CCW ≤ 7 도출.
• 정리 1.1을 활용해 유계 CCW를 갖는 그래프를 ⌈log w⌉+1개의 코이분할 그래프와 한 개의 유닛 간격 그래프로 분해.
• 생성수 g인 그래프로의 확장을 귀납적으로 적용하여, CCW 한계가 O(log g)로 증가함을 보임.
• 교차 수 ≤1인 소수를 포함하지 않는 그래프의 경우, 평면 또는 낮은 트리폭 그래프의 클리크 합으로 분해하고, 클리크 합 연산을 통해 표현을 결합함.

실험 결과

연구 질문

• RQ1 평면 그래프는 코alescent, 코이분할, 유닛 간격 그래프와 같은 구조적 그래프 클래스의 유한 개 수의 교차로 표현될 수 있는가?
• RQ2 새로운 클리크 커버 폭 파rameter는 대역폭과 어떻게 관련되어 있으며, 그래프 분해에 대한 구조적 통찰을 어떻게 제공하는가?
• RQ3 교차 표현 프레임워크는 표면에 매장된 그래프 또는 작은 교차 수를 갖는 소수를 포함하지 않는 그래프로 어느 정도까지 확장될 수 있는가?
• RQ4 이러한 교차 표현을 구성하는 데 있어 계산 복잡도는 무엇이며, 효율적인 분리자를 도출할 수 있는가?
• RQ5 이 표현 프레임워크를 통해 기존의 평면 분리자 정리와 같은 결과를 유도하거나 일반화할 수 있는가?

주요 결과

• 보편 표현 정리와 정리 1.1의 직접 결과로서, 모든 평면 그래프는 한 개의 코alescent 그래프, 네 개의 코이분할 그래프, 한 개의 유닛 간격 그래프의 교차로 표현 가능하다.
• 표현에서 보조 그래프의 클리프 커버 폭은 평면 그래프의 경우 7 이하로 유계이며, 최대 수준 교차 크기 t* ≤ 4인 트리 분해로부터 유도됨.
• 생성수 g인 그래프로의 확장에서, 필요한 코이분할 그래프의 수는 O(log g)로, 위상 복잡도에 대해 상용수적 의존성을 보임.
• 교차 수 ≤1인 소수 H를 포함하지 않는 그래프의 경우, 필요한 코이분할 그래프의 수는 O(log C_H) 이하이며, 여기서 C_H는 |V(H₀)|와 |E(H₀)|의 초지수 함수이다.
• 소수를 포함하지 않는 경우를 제외한 모든 경우에서 구성은 다항시간이며, 이 프레임워크는 작은 분리자 구성에 의해 평면 분리자 정리를 암시함.
• 클리프 커버 폭은 대역폭 문제와의 밀접한 관련으로 인해 계산이 NP-난이도임을 입증함.