DeepAI AI Chat
Log In Sign Up

Directed branch-width: A directed analogue of tree-width

09/18/2020
by   Benjamin Merlin Bumpus, et al.
0

We introduce a new digraph width measure called directed branch-width. To do this, we generalize a characterization of graph classes of bounded tree-width in terms of their line graphs to digraphs. Under parameterizations by directed branch-width we obtain linear time algorithms for many problems, such as directed Hamilton path and Max-Cut, which are hard when parameterized by other known directed width measures. More generally, we obtain an algorithmic meta-theorem for the model-checking problem for a restricted variant of MSO_2-logic on classes of bounded directed branch-width.

READ FULL TEXT

page 1

page 2

page 3

page 4

06/12/2018

Computing directed path-width and directed tree-width of recursively defined digraphs

In this paper we consider the directed path-width and directed tree-widt...
02/27/2022

A logic-based algorithmic meta-theorem for mim-width

We introduce a logic called distance neighborhood logic with acyclicity ...
05/04/2021

Classes of intersection digraphs with good algorithmic properties

An intersection digraph is a digraph where every vertex v is represented...
12/17/2018

Comparing Linear Width Parameters for Directed Graphs

In this paper we introduce the linear clique-width, linear NLC-width, ne...
02/15/2022

Monoidal Width

We introduce monoidal width as a measure of the difficulty of decomposin...
08/18/2021

Witnessing subsystems for probabilistic systems with low tree width

A standard way of justifying that a certain probabilistic property holds...
04/16/2019

Point-width and Max-CSPs

The complexity of (unbounded-arity) Max-CSPs under structural restrictio...