English

Composing dynamic programming tree-decomposition-based algorithms

Data Structures and Algorithms 2024-08-07 v4

Abstract

Given two integers \ell and pp as well as \ell graph classes H1,,H\mathcal{H}_1,\ldots,\mathcal{H}_\ell, the problems GraphPart(H1,,H,p)\mathsf{GraphPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell,p), \break VertPart(H1,,H)\mathsf{VertPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell), and EdgePart(H1,,H)\mathsf{EdgePart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell) ask, given graph GG as input, whether V(G)V(G), V(G)V(G), E(G)E(G) respectively can be partitioned into \ell sets S1,,SS_1, \ldots, S_\ell such that, for each ii between 11 and \ell, G[Si]HiG[S_i] \in \mathcal{H}_i, G[Si]HiG[S_i] \in \mathcal{H}_i, (V(G),Si)Hi(V(G),S_i) \in \mathcal{H}_i respectively. Moreover in GraphPart(H1,,H,p)\mathsf{GraphPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell,p), we request that the number of edges with endpoints in different sets of the partition is bounded by pp. We show that if there exist dynamic programming tree-decomposition-based algorithms for recognizing the graph classes Hi\mathcal{H}_i, for each ii, then we can constructively create a dynamic programming tree-decomposition-based algorithms for GraphPart(H1,,H,p)\mathsf{GraphPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell,p), VertPart(H1,,H)\mathsf{VertPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell), and EdgePart(H1,,H)\mathsf{EdgePart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell). We apply this approach to known problems. For well-studied problems, like VERTEX COVER and GRAPH qq-COLORING, we obtain running times that are comparable to those of the best known problem-specific algorithms. For an exotic problem from bioinformatics, called DISPLAYGRAPH, this approach improves the known algorithm parameterized by treewidth.

Keywords

Cite

@article{arxiv.1904.12500,
  title  = {Composing dynamic programming tree-decomposition-based algorithms},
  author = {Julien Baste},
  journal= {arXiv preprint arXiv:1904.12500},
  year   = {2024}
}
R2 v1 2026-06-23T08:51:56.033Z