[논문 리뷰] Bidimensionality, Map Graphs, and Grid Minors

Erik D. Demaine, MohammadTaghi Hajiaghayi|ArXiv.org|2005. 02. 16.

Advanced Graph Theory Research참고 문헌 30인용 수 6

한 줄 요약

이 논문은 고정된 미니처를 배제하지 않는 클래스인 지ap도 및 파wr도를 포함한 그래프에 이중성 이론을 확장한다. 이는 트리너비와 가장 큰 격자 미니처 사이의 다항관계를 설정하여 수행되며, 트리너비가 $ r^3 $인 지도 그래프는 $ \Omega(r) \times \Omega(r) $ 격자 미니처를 포함함을 증명한다. 이러한 클래스의 파워 그래프는 유사한 상한을 유추하며, 이는 향상된 고정 매개변수 알고리즘과 일반 그래프에서 다항 트리너비-격자 미니처 관계에 대한 정교화된 추측을 뒷받침한다.

ABSTRACT

In this paper we extend the theory of bidimensionality to two families of graphs that do not exclude fixed minors: map graphs and power graphs. In both cases we prove a polynomial relation between the treewidth of a graph in the family and the size of the largest grid minor. These bounds improve the running times of a broad class of fixed-parameter algorithms. Our novel technique of using approximate max-min relations between treewidth and size of grid minors is powerful, and we show how it can also be used, e.g., to prove a linear relation between the treewidth of a bounded-genus graph and the treewidth of its dual.

연구 동기 및 목표

• 고정된 미니처를 배제하지 않는 그래프 가족, 즉 지도 그래프와 파워 그래프를 포함하여 이중성 이론을 미니처 닫힘 그래프 가족을 초월해 확장하는 것.
• 이러한 그래프 클래스에서 트리너비와 가장 큰 격자 미니처의 크기 사이의 다항관계를 설정하여 이전의 초지수적 상한의 한계를 극복하는 것.
• 모든 그래프에서 트리너비와 격자 미니처 크기 사이의 다항관계가 존재한다는 추측을 뒷받침하고, $ r \times r $ 격자 미니처에 대해 $ O(r^3) $ 트리너비로 보장된다는 알려진 상한을 $ O(r^3) $으로 정교화하는 것.
• 트리너비와 격자 미니처 사이의 근사 최대-최소 관계를 사용하는 새로운 기법을 개발하여, 토글 기반 관계에 의존하는 것에서 벗어나는 것.

제안 방법

• 지도 그래프를 평면 이분 그래프의 반-제곱으로서 정의하고 형식화하여, 반경 그래프를 통한 구조적 분석을 가능하게 한다.
• 반경 그래프 구성 기법을 사용하여, 고도 $ g $ 표면 위의 2-셀 임베딩에서 그래프의 트리너비와 그 이중 그래프의 트리너비를 연결한다.
• 고도에 의해 유도된 정점과 간선을 피하기 위해 경로 시스템을 수정함으로써 격자 미니처 구축 기법을 적용한다. 이는 격자 구조를 유지한다.
• 격자 구조를 안정적이고 분석 가능한 기반으로 삼아, 트리너비와 격자 미니처 크기 사이의 근사 최대-최소 관계를 설정한다.
• 트리너비-격자 미니처 다항관계를 가진 임의의 그래프 가정에 대해, 그 $ k $-승 그래프가 트리너비-격자 미니처 다항관계를 유지하며, 이에 대해 차수는 $ k $ 와 무관한 상수만큼 증가함을 증명한다.
• 절단 정점이 있는 그래프에 대해 귀납법과 분해 기법을 사용하여, 2-연결 그래프에서 일반 그래프로의 상한을 확장한다.

실험 결과

연구 질문

• RQ1 이중성 이론은 고정된 미니처를 배제하지 않는 그래프 가정, 예를 들어 지도 그래프와 파워 그래프로 확장될 수 있는가?
• RQ2 지도 그래프에서 트리너비와 가장 큰 격자 미니처 크기 사이의 가장 날카로운 다항관계는 무엇인가?
• RQ3 이중성 그래프 가정의 파워 그래프는 다항 트리너비-격자 미니처 관계를 상속하는가? 만약 그렇다면, 차수는 거듭제곱 $ k $ 와 어떻게 관련되는가?
• RQ4 일반 그래프에서 $ O(r^3) $ 트리너비가 $ r \times r $ 격자 미니처를 보장한다는 추측은 날카로운가?
• RQ5 고도 $ g $ 표면에 임베딩된 그래프의 트리너비와 그 이중 그래프의 트리너비 사이에 다항 인자로 연결될 수 있으며, 그 최적의 인자는 무엇인가?

주요 결과

• 트리너비가 $ r^3 $인 지도 그래프는 $ \Omega(r) \times \Omega(r) $ 격자 미니처를 포함하며, 이는 이전에 알려지지 않았던 다항관계를 확립한다.
• 트리너비-격자 미니처 다항관계를 가진 임의의 그래프 가정에 대해, 그 $ k $-승 그래프는 다항관계를 유지하며, 이에 대해 차수는 $ k $ 와 무관한 상수만큼 증가한다.
• 고도 $ g $ 표면에 임베딩된 그래프의 트리너비는 그 이중 그래프의 트리너비의 $ O(g^4) $ 배 이하이며, 정교화된 격자 구축 기법을 사용하면 $ O(g^2) $ 배 이하로 개선될 수 있다.
• 논문은 로버트슨-세이머-토머스 추측의 정교화된 버전을 뒷받침하는 증거를 제공한다: 트리너비가 적어도 $ c r^3 $인 모든 그래프는 $ r \times r $ 격자 미니처를 포함하며, 이 상한은 날카롭다.
• 새로운 트리너비-격자 미니처 상한을 활용하여, 지도 그래프와 파워 그래프에서 이중성 문제에 대한 고정 매개변수 알고리즘의 실행 시간을 향상시켰다.
• 트리너비와 격자 미니처 사이의 근사 최대-최소 관계를 사용하는 것이 강력하고 일반화 가능한 기법임을 입증하였으며, 이는 고도 유한한 그래프의 이중 그래프 관계에도 적용 가능하다.