[논문 리뷰] The Directed Grid Theorem

Ken‐ichi Kawarabayashi, Stephan Kreutzer|arXiv (Cornell University)|2014. 11. 20.

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

한 줄 요약

이 논문은 Reed, Johnson, Robertson, Seymour, Thomas가 제기한 추측을 확인하며 방향성 있는 격자 정리(directed grid theorem)를 증명한다. 즉, 충분히 큰 방향성 트리너비를 가진 모든 방향성 그래프는 주어진 순서의 방향성 격자를 브러시터 미니처(butterfly minor)로 포함한다. 증명은 f(k)라는 함수를 설정하여 방향성 트리너비 f(k)를 가진 모든 방향성 그래프가 순서 k의 방향성 격자를 포함함을 보여주며, 이는 방향성 그래프로의 이중성 이론(bidimensionality)과 구조 이론의 확장이며, 매개변수 복잡도 이론에서 새로운 알고리즘적 응용을 가능하게 한다.

ABSTRACT

The grid theorem, originally proved by Robertson and Seymour in Graph Minors V in 1986, is one of the most central results in the study of graph minors. It has found numerous applications in algorithmic graph structure theory, for instance in bidimensionality theory, and it is the basis for several other structure theorems developed in the graph minors project. In the mid-90s, Reed and Johnson, Robertson, Seymour and Thomas (see [Reed 97, Johnson, Robertson, Seymour, Thomas 01]), independently, conjectured an analogous theorem for directed graphs, i.e. the existence of a function f : N -> N such that every digraph of directed tree-width at least f(k) contains a directed grid of order k. In an unpublished manuscript from 2001, Johnson, Robertson, Seymour and Thomas give a proof of this conjecture for planar digraphs. But for over a decade, this was the most general case proved for the Reed, Johnson, Robertson, Seymour and Thomas conjecture. Only very recently, this result has been extended to all classes of digraphs excluding a fixed undirected graph as a minor (see [Kawarabayashi, Kreutzer 14]). In this paper, nearly two decades after the conjecture was made, we are finally able to confirm the Reed, Johnson, Robertson, Seymour and Thomas conjecture in full generality and to prove the directed grid theorem. As consequence of our results we are able to improve results in Reed et al. in 1996 [Reed, Robertson, Seymour, Thomas 96] (see also [Open Problem Garden]) on disjoint cycles of length at least l and in [Kawarabayashi, Kobayashi, Kreutzer 14] on quarter-integral disjoint paths. We expect many more algorithmic results to follow from the grid theorem.

연구 동기 및 목표

• 비방향성 격자 정리에 대응하는 방향성 격자 정리의 존재에 관한 오랫동안 남아있던 추측을 해결하기 위해.
• 모든 방향성 그래프가 방향성 트리너비가 적어도 f(k) 이상이면 순서 k의 방향성 격자를 브러시터 미니처로 포함함을 보여주는 함수 f(k)를 설정하기 위해.
• 비방향성 그래프 이론에서 유래한 구조적 및 알고리즘적 도구(예: 이중성 이론과 무의미한 정점 기법)를 방향성 설정으로 확장하기 위해.
• NP-난해 문제에 대한 매개변수 복잡도 이론에서의 새로운 알고리즘 결과를 위한 기초를 제공하기 위해.

제안 방법

• 고방향성 트리너비 그래프에서 문제를 줄이기 위해 구조적 분해와 연결성 논증을 사용하는 방향성 무의미한 정점 기법의 방향성 유사체를 개발한다.
• 경로 시스템의 분석과 방향성 그래프 내의 구조적 복잡도 제어를 위해 강력한 분할(segmentation)과 가짜 울타리(pseudo-fences)를 활용한다.
• 반정수 및 정수 연결 구조를 반복적으로 적용하여 경로 시스템으로부터 큰 격자 유사 구조를 구축한다.
• 브러시터 미니처 포함 관계를 핵심 포함 관계로 사용하여 방향성 격자를 정의하고 구성한다.
• 비방향성 그래프 미니처 이론의 기법들과 함께, 분할과 경로 연장 분석과 같은 새로운 방향성 전용 논증을 결합한다.
• 이전 연구 결과([KawarabayashiKK14, KawarabayashiK14] 등)를 활용하여 핵심적인 구조적 기반 장치를 구축한다.

실험 결과

연구 질문

• RQ1 모든 방향성 그래프가 방향성 트리너비가 적어도 f(k) 이상이면 순서 k의 방향성 격자를 브러시터 미니처로 포함하는 함수 f(k)가 존재하는가?
• RQ2 비방향성 그래프의 구조 이론, 특히 격자 정리가 방향성 그래프로 확장될 수 있는가?
• RQ3 방향성 트리너비 매개변수는 비방향성 트리너비와 유사하게 큰 방향성 격자 미니처의 존재를 보장하는 데 충분한가?
• RQ4 이 격자 정리를 바탕으로 무의미한 정점 기법과 같은 알고리즘 기법을 방향성 설정에 적응시킬 수 있는가?

주요 결과

• 논문은 Reed, Johnson, Robertson, Seymour, Thomas의 추측을 확인하며, 모든 방향성 그래프가 방향성 트리너비가 적어도 f(k) 이상이면 순서 k의 방향성 격자를 브러시터 미니처로 포함하는 함수 f(k)의 존재를 증명한다.
• 증명은 방향성 격자 정리가 일반적으로 성립함을 보여주며, 방향성 그래프 구조 이론에서 15년간 미해결이었던 문제를 해결한다.
• 방향성 격자 정리는 새로운 알고리즘적 응용을 가능하게 하며, 길이 l 이상의 서로소 사이클에 대한 개선된 결과와 고정 매개변수 복잡도 알고리즘으로의 잠재적 확장을 포함한다.
• 구성은 가짜 울타리와 연결 시스템의 새로운 응용을 통해 방향성 그래프에서 격자 구조를 시뮬레이션하는 데 의존한다.
• 함수 f(k)는 연결성 및 분할 보조정리의 반복적 적용을 통해 암묵적으로 정의되며, 향후 연구에서 다항식 범위가 예상된다.
• 결과는 비방향성 그래프 이론에서 격자 정리가 수행하는 역할과 유사하게, 이중성 이론과 구조 이론을 방향성 그래프로 확장하기 위한 기초 도구를 제공한다.