Locally Excluding a Minor | IEEE Conference Publication | IEEE Xplore

Locally Excluding a Minor


Abstract:

We introduce the concept of locally excluded minors. Graph classes locally excluding a minor are a common generalisation of the concept of excluded minor classes and of g...Show More

Abstract:

We introduce the concept of locally excluded minors. Graph classes locally excluding a minor are a common generalisation of the concept of excluded minor classes and of graph classes with bounded local tree-width. We show that first-order model-checking is fixed-parameter tractable on any class of graphs locally excluding a minor. This strictly generalises analogous results by Flum and Grohe on excluded minor classes and Frick and Grohe on classes with bounded local tree-width. As an important consequence of the proof we obtain fixed-parameter algorithms for problems such as dominating or independent set on graph classes excluding a minor, where now the parameter is the size of the dominating set and the excluded minor. We also study graph classes with excluded minors, where the minor may grow slowly with the size of the graphs and show that again, first-order model-checking is fixed-parameter tractable on any such class of graphs.
Date of Conference: 10-14 July 2007
Date Added to IEEE Xplore: 23 July 2007
Print ISBN:0-7695-2908-9
Print ISSN: 1043-6871
Conference Location: Wroclaw, Poland

References

References is not available for this document.