Efficient parameterized algorithms on graphs with heterogeneous structure: Combining tree-depth and modular-width

09/28/2022
by   Stefan Kratsch, et al.
0

Many computational problems admit fast algorithms on special inputs, however, the required properties might be quite restrictive. E.g., many graph problems can be solved much faster on interval or cographs, or on graphs of small modular-width or small tree-width, than on general graphs. One challenge is to attain the greatest generality of such results, i.e., being applicable to less restrictive input classes, without losing much in terms of running time. Building on the use of algebraic expressions we present a clean and robust way of combining such homogeneous structure into more complex heterogeneous structure, and we show-case this for the combination of modular-width, tree-depth, and a natural notion of modular tree-depth. We give a generic framework for designing efficient parameterized algorithms on the created graph classes, aimed at getting competitive running times that match the homogeneous cases. To show the applicability we give efficient parameterized algorithms for Negative Cycle Detection, Vertex-Weighted All-Pairs Shortest Paths, and Triangle Counting.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/26/2018

Efficient and adaptive parameterized algorithms on modular decompositions

We study the influence of a graph parameter called modular-width on the ...
research
01/14/2020

Efficient parameterized algorithms for computing all-pairs shortest paths

Computing all-pairs shortest paths is a fundamental and much-studied pro...
research
10/12/2017

On the Power of Tree-Depth for Fully Polynomial FPT Algorithms

There are many classical problems in P whose time complexities have not ...
research
01/12/2022

Polynomial Turing Compressions for Some Graph Problems Parameterized by Modular-Width

In this paper we investigate the parameterized complexity for NP-hard gr...
research
04/05/2021

Spined categories: generalizing tree-width beyond graphs

We develop a general theory of categories that admit a functorial invari...
research
05/01/2019

Independent Set Reconfiguration Parameterized by Modular-Width

Independent Set Reconfiguration is one of the most well-studied problems...
research
05/23/2022

From Width-Based Model Checking to Width-Based Automated Theorem Proving

In the field of parameterized complexity theory, the study of graph widt...

Please sign up or login with your details

Forgot password? Click here to reset