English
Related papers

Related papers: DAG-width is PSPACE-complete

200 papers

We continue the study of $(\mathrm{tw},\omega)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this…

Combinatorics · Mathematics 2023-12-19 Clément Dallard , Martin Milanič , Kenny Štorgel

Minimum flow decomposition (MFD) is the strongly NP-hard problem of finding a smallest set of integer weighted $s$-$t$ paths in an $s$-$t$ DAG $G$ whose weighted sum is equal to a given flow $f$ on $G$. Despite its many practical…

Data Structures and Algorithms · Computer Science 2025-12-01 Andreas Grigorjew , Wanchote Jiamjitrak , Brendan Mumey , Alexandru I. Tomescu

We study the following generalization of the well-known model of broadcasting on trees. Consider an infinite directed acyclic graph (DAG) with a unique source node $X$. Let the collection of nodes at distance $k$ from $X$ be called the…

Information Theory · Computer Science 2018-03-21 Anuran Makur , Elchanan Mossel , Yury Polyanskiy

We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test…

Discrete Mathematics · Computer Science 2015-05-15 Martin Grohe , Pascal Schweitzer

For a graph $G=(V,E)$, let $bc(G)$ denote the minimum number of pairwise edge disjoint complete bipartite subgraphs of $G$ so that each edge of $G$ belongs to exactly one of them. It is easy to see that for every graph $G$, $bc(G) \leq n…

Combinatorics · Mathematics 2014-09-23 Noga Alon , Tom Bohman , Hao Huang

There has been a growing interest in causal learning in recent years. Commonly used representations of causal structures, including Bayesian networks and structural equation models (SEM), take the form of directed acyclic graphs (DAGs). We…

Machine Learning · Computer Science 2025-11-20 Pavel Rytir , Ales Wodecki , Jakub Marecek

We introduce a dense counterpart of graph degeneracy, which extends the recently-proposed invariant symmetric difference. We say that a graph has sd-degeneracy (for symmetric-difference degeneracy) at most $d$ if it admits an elimination…

Data Structures and Algorithms · Computer Science 2024-05-16 Édouard Bonnet , Julien Duron , John Sylvester , Viktor Zamaraev

The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$…

Data Structures and Algorithms · Computer Science 2023-06-30 Bart M. P. Jansen , Jari J. H. de Kroon , Michal Wlodarczyk

The Minimum Path Cover (MPC) problem consists of finding a minimum-cardinality set of node-disjoint paths that cover all nodes in a given graph. We explore a variant of the MPC problem on acyclic digraphs (DAGs) where, given a subset of…

Discrete Mathematics · Computer Science 2025-01-17 Nour ElHouda Tellache , Roberto Baldacci

Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one;…

Combinatorics · Mathematics 2026-02-27 Julien Baste , Lucas De Meyer , Ugo Giocanti , Etienne Objois , Timothé Picavet

We consider the PC-algorithm Spirtes et. al. (2000) for estimating the skeleton of a very high-dimensional acyclic directed graph (DAG) with corresponding Gaussian distribution. The PC-algorithm is computationally feasible for sparse…

Statistics Theory · Mathematics 2007-06-13 Markus Kalisch , Peter Buehlmann

Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $\epsilon$ and $\Delta$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree…

Combinatorics · Mathematics 2016-06-01 Asaf Ferber , Choongbum Lee , Frank Mousset

For an arbitrary, fixed graph (pattern graph), we study the algorithmic complexity of counting homomorphisms, subgraph isomorphisms, and induced subgraph isomorphisms from the pattern graph to $n$-vertex, $d$-degenerate graphs as input.…

Data Structures and Algorithms · Computer Science 2025-11-07 Balagopal Komarath , Anant Kumar , Akash Pareek

Edge connectivity of a graph is one of the most fundamental graph-theoretic concepts. The celebrated tree packing theorem of Tutte and Nash-Williams from 1961 states that every $k$-edge connected graph $G$ contains a collection $\cal{T}$ of…

Data Structures and Algorithms · Computer Science 2020-06-16 Julia Chuzhoy , Merav Parter , Zihan Tan

We prove that if $\mathcal{C}$ is a hereditary class of graphs that is polynomially $\chi$-bounded, then the class of graphs that admit decompositions into pieces belonging to $\mathcal{C}$ along cuts of bounded rank is also polynomially…

Discrete Mathematics · Computer Science 2020-07-08 Marthe Bonamy , Michał Pilipczuk

Dynamic programming on path and tree decompositions of graphs is a technique that is ubiquitous in the field of parameterized and exponential-time algorithms. However, one of its drawbacks is that the space usage is exponential in the…

Computational Complexity · Computer Science 2016-05-13 Michał Pilipczuk , Marcin Wrochna

Graphs with bounded treewidth and bounded maximum degree are known to have tree-partitions of bounded width. What can be said if the bounded treewidth assumption is strengthened to bounded pathwidth? We prove that every graph with bounded…

Combinatorics · Mathematics 2026-05-28 David R. Wood

A set $S$ of vertices in a graph is an open packing if (open) neighborhoods of any two distinct vertices in $S$ are disjoint. In this paper, we consider the graphs that have a unique maximum open packing. We characterize the trees with this…

Combinatorics · Mathematics 2019-01-29 Boštjan Brešar , Kirsti Kuenzel , Douglas F. Rall

(see paper for full abstract) We show that the Edge-Disjoint Paths problem is W[1]-hard parameterized by the number $k$ of terminal pairs, even when the input graph is a planar directed acyclic graph (DAG). This answers a question of…

Data Structures and Algorithms · Computer Science 2021-01-27 Rajesh Chitnis

In 2019, Dvo\v{r}\'{a}k asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that…

Combinatorics · Mathematics 2023-02-24 Pablo Blanco , Linda Cook , Meike Hatzel , Claire Hilaire , Freddie Illingworth , Rose McCarty