Fast Fixed-Parameter Tractable Algorithms for Nontrivial Generalizations of Vertex Cover

Abstract

Our goal in this paper is the development of fast algorithms for recognizing general classes of graphs. We seek algorithms whose complexity can be expressed as a linear function of the graph size plus an exponential function of k, a natural parameter describing the class. Our classes are of the form $\mathcal{W}_k (\mathcal{G})$, graphs that can be formed by augmenting graphs in $\mathcal{G}$ by adding at most k vertices (and incident edges). If $\mathcal{G}$ is the class of edgeless graphs, $\mathcal{W}_k (\mathcal{G})$ is the class of graphs with a vertex cover of size at most k.

We describe a recognition algorithm for $\mathcal{W}_k (\mathcal{G})$ running in time O((g + k)|V(G)| + (fk) ^k), where g and f are modest constants depending on the class $\mathcal{G}$, when $\mathcal{G}$ is a minor-closed class such that each graph in G has bounded maximum degree, and all obstructions of G (minor-minimal graphs outside $\mathcal{G}$) are connected. If $\mathcal{G}$ is the class of graphs with maximum degree bounded by D (not closed under minors), we can still recognize graphs in $\mathcal{W}_k (\mathcal{G})$ in time O(|V(G)|(D + k) + k(D + k) ^k+3).

Our results are obtained by considering minor-closed classes $\mathcal{G}$ for which all obstructions are connected graphs, and showing that the size of any obstruction for $\mathcal{W}_k (\mathcal{G})$ is O(tk ⁷ + t ⁷ k ²), where t is a bound on the size of obstructions for $\mathcal{G}$.

Research supported by the Natural Sciences and Engineering Research Council of Canada, Ministry of Education and Culture of Spain (grant number MEC-DGES SB98 0K148809), and EU project ALCOM-FT (IST-99-14186).