Tight Algorithms for Connectivity Problems Parameterized by Modular-Treewidth

We study connectivity problems from a fine-grained parameterized perspective. Cygan et al. (TALG 2022) first obtained algorithms with single-exponential running time alpha(tw) n(O(1)) for connectivity problems parameterized by treewidth (tw) by introducing the cut-and-counttechnique, which reduces the connectivity problems to locally checkable counting problems. In addition, the obtained bases alpha were proven to be optimal assuming the Strong Exponential-Time Hypothesis (SETH). As only sparse graphs may admit small treewidth, these results are not applicable to graphs with dense structure. A well-known tool to capture dense structure is the modular decomposition, which recursively partitions the graph into modules whose members have the same neighborhood outside of the module. Contracting the modules, we obtain a quotient graph describing the adjacencies between modules. Measuring the treewidth of the quotient graph yields the parameter modular-treewidth, a natural intermediate step between treewidth and clique-width. While less general than clique-width, modular-treewidth has the advantage that it can be computed as easily as treewidth. We obtain the first tight running times for connectivity problems parameterized by modular-treewidth. For some problems the obtained bounds are the same as relative to treewidth, showing that we can deal with a greater generality in input structure at no cost in complexity. We obtain the following randomized algorithms for graphs of modular-treewidth k, given an appropriate decomposition: - Steiner Tree can be solved in time 3(k) n(O( 1)), - Connected Dominating Set can be solved in time 4(k) n(O(1)), - Connected Vertex Cover can be solved in time 5(k) n(O(1)), - Feedback Vertex Set can be solved in time 5(k) n(O(1)). The first two algorithms are tight due to known results and the last two algorithms are complemented by new tight lower bounds under SETH.