# A Simple Algorithm for the Graph Minor Decomposition - Logic meets Structural Graph Theory

@inproceedings{Grohe2013ASA, title={A Simple Algorithm for the Graph Minor Decomposition - Logic meets Structural Graph Theory}, author={Martin Grohe and Ken-ichi Kawarabayashi and Bruce A. Reed}, booktitle={SODA}, year={2013} }

A key result of Robertson and Seymour's graph minor theory is a structure theorem stating that all graphs excluding some fixed graph as a minor have a tree decomposition into pieces that are almost embeddable in a fixed surface. Most algorithmic applications of graph minor theory rely on an algorithmic version of this result. However, the known algorithms for computing such graph minor decompositions heavily rely on the very long and complicated proofs of the existence of such decompositions…

## Figures from this paper

## 39 Citations

Structure theorem and isomorphism test for graphs with excluded topological subgraphs

- MathematicsSTOC '12
- 2012

It is proved that for a fixed H, every graph excluding H as a topological subgraph has a tree decomposition where each part is either "almost embeddable" to a fixed surface or has bounded degree with the exception of a bounded number of vertices.

Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs

- MathematicsSIAM J. Comput.
- 2015

It is proved that for a fixed H, every graph excluding H as a topological subgraph has a tree decomposition where each part is either “almost embeddable” to a fixed surface or has bounded degree with the exception of a bounded number of vertices.

Computing with Tangles

- Computer Science, MathematicsSTOC
- 2015

Using this data structure, an algorithmic version of a very general structure theorem due to Carmesin, Diestel, Harman and Hundertmark is proved that yields a canonical tree decomposition whose parts correspond to the maximal tangles.

Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes

- Mathematics2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
- 2013

This paper significantly improves the latter result and shows that successor-invariant first-order logic is tractable on any class of graphs excluding a fixed minor, which is much closer to the best results known for FO without an ordering.

Deciding First-Order Properties of Nowhere Dense Graphs

- Mathematics, Computer ScienceJ. ACM
- 2017

The proofs are based on a new game-theoretic characterization of nowhere dense graphs that allows for a recursive version of locality-based algorithms on these classes and prove a “rank-preserving” version of Gaifman’s locality theorem.

When Recursion is Better than Iteration: A Linear-Time Algorithm for Acyclicity with Few Error Vertices

- Computer Science, MathematicsSODA
- 2018

This paper gives an algorithm that decides whether a given graph is k vertices away from being acyclic, in time O(k!4kk5(n + m), thus mirroring the case for planarity and bipartiteness.

5-coloring K 3, k -minor-free graphs

- MathematicsSODA 2013
- 2013

A seminal result of Thomassen [40] says that there are only finitely many 6-color-critical graphs for the bounded genus graphs. This result is no longer true if we consider K3,k-minor-free graphs.…

Polynomial bounds for centered colorings on proper minor-closed graph classes

- Mathematics
- 2019

For p ∈ N, a coloring λ of the vertices of a graph G is p-centered if for every connected subgraph H of G, either H receives more than p colors under λ or there is a color that appears exactly once…

Polynomial bounds for centered colorings on proper minor-closed graph classes

- MathematicsJ. Comb. Theory, Ser. B
- 2021

Algorithmic Meta Theorems for Sparse Graph Classes

- Computer Science, MathematicsCSR
- 2014

Algorithmic meta theorems give efficient algorithms for classes of algorithmic problems, instead of just individual problems. They unify families of algorithmic results obtained by similar techniques…

## References

SHOWING 1-10 OF 127 REFERENCES

A simpler algorithm and shorter proof for the graph minor decomposition

- Mathematics, Computer ScienceSTOC '11
- 2011

A simplified algorithm for finding the decomposition based on a new constructive proof of the decompose theorem for graphs excluding a fixed minor H, which runs in time O(n3), as does the original algorithm of Robertson and Seymour.

On the excluded minor structure theorem for graphs of large tree-width

- MathematicsJ. Comb. Theory, Ser. B
- 2012

Contraction decomposition in h-minor-free graphs and algorithmic applications

- Mathematics, Computer ScienceSTOC '11
- 2011

We prove that any graph excluding a fixed minor can have its edges partitioned into a desired number k of color classes such that contracting the edges in any one color class results in a graph of…

Structure theorem and isomorphism test for graphs with excluded topological subgraphs

- MathematicsSTOC '12
- 2012

It is proved that for a fixed H, every graph excluding H as a topological subgraph has a tree decomposition where each part is either "almost embeddable" to a fixed surface or has bounded degree with the exception of a bounded number of vertices.

Approximation algorithms via contraction decomposition

- MathematicsSODA '07
- 2007

The decomposition result is a powerful tool for obtaining PTASs for contraction-closed problems (whose optimal solution only improves under contraction) and is the only main difficulty in extending the results to general H-minor-free graphs.

Deciding First-Order Properties for Sparse Graphs

- Mathematics2010 IEEE 51st Annual Symposium on Foundations of Computer Science
- 2010

An almost linear-time algorithm for deciding first-order logic (FOL) properties in classes of graphs with bounded expansion and a dynamic data structure for graphs belonging to a fixed class of graphs of bounded expansion for testing existential properties or the existence of short paths between prescribed vertices.

Local Tree-Width, Excluded Minors,
and Approximation Algorithms

- MathematicsComb.
- 2003

A decomposition theorem for graphs with excluded minors says that such graphs can be decomposed into trees of graphs of almost bounded local tree-width, and it is shown that a number of combinatorial optimization problems have a polynomial time approximation scheme when restricted to a class of graphs with an excluded minor.

Surveys in Combinatorics, 1997: Tree Width and Tangles: A New Connectivity Measure and Some Applications

- Mathematics
- 1997

Summary We discuss tree width, a new connectivity invariant of graphs defined by Robertson and Seymour. We present a duality result and a canonical decomposition theorem tied to this invariant. We…

Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs

- MathematicsJACM
- 2005

We introduce a new framework for designing fixed-parameter algorithms with subexponential running time---2O(&kradic;) nO(1). Our results apply to a broad family of graph problems, called…