H-join decomposable graphs and algorithms with runtime single exponential in rankwidth - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Applied Mathematics Année : 2010

H-join decomposable graphs and algorithms with runtime single exponential in rankwidth

Résumé

We introduce $H$-join decompositions of graphs, indexed by a fixed bipartite graph $H$. These decompositions are based on a graph operation that we call $H$-join, which adds edges between two given graphs by taking partitions of their two vertex sets, identifying the classes of the partitions with vertices of $H$, and connecting classes by the pattern $H$. $H$-join decompositions are related to modular, split and rank decompositions. Given an $H$-join decomposition of an $n$-vertex $m$-edge graph $G$ we solve the Maximum Independent Set and Minimum Dominating Set problems on $G$ in time $O(n(m+2^{O(\rho(H)^2)}))$, and the $q$-Coloring problem in time $O(n(m+2^{O(q\rho(H)^2)}))$, where $\rho(H)$ is the rank of the adjacency matrix of $H$ over GF(2). Rankwidth is a graph parameter introduced by Oum and Seymour, based on ranks of adjacency matrices over GF(2). For any positive integer $k$ we define a bipartite graph $R_k$ and show that the graphs of rankwidth at most $k$ are exactly the graphs having an $R_k$-join decomposition, thereby giving an alternative graph-theoretic definition of rankwidth that does not use linear algebra. Combining our results we get algorithms that, for a graph $G$ of rankwidth $k$ given with its width $k$ rank-decomposition, solves the Maximum Independent Set problem in time $O(n(m+2^{\frac{1}{2} k^2+\frac{9}{2} k} \times k^2 ))$, the Minimum Dominating Set problem in time $O(n(m+2^{\frac{3}{4} k^2+\frac{23}{4} k} \times k^3))$ and the $q$-Coloring problem in time $O(n(m+2^{\frac{q}{2} k^2+\frac{5q+4}{2} k} \times k^{2q} \times q ))$. These are the first algorithms for NP-hard problems whose runtimes are single exponential in the rankwidth.

Dates et versions

hal-00555511 , version 1 (13-01-2011)

Identifiants

Citer

Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshelle. H-join decomposable graphs and algorithms with runtime single exponential in rankwidth. Discrete Applied Mathematics, 2010, 158 (7), pp.809-819. ⟨10.1016/j.dam.2009.09.009⟩. ⟨hal-00555511⟩
45 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More