English
Related papers

Related papers: Computing $\vec{\mathcal{S}}$-DAGs and Parity Game…

200 papers

Directed acyclic graphical models (DAGs) are often used to describe common structural properties in a family of probability distributions. This paper addresses the question of classifying DAGs up to an isomorphism. By considering Gaussian…

Information Theory · Computer Science 2014-12-24 Hajir Roozbehani , Yury Polyanskiy

A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by treewidth can be solved much faster than the previously best known time $\mathcal{O}^*(2^{\mathcal{O}(tw \log(tw))})$. Using their inspired…

Data Structures and Algorithms · Computer Science 2021-06-28 Falko Hegerfeld , Stefan Kratsch

We consider differentiable games where the goal is to find a Nash equilibrium. The machine learning community has recently started using variants of the gradient method (GD). Prime examples are extragradient (EG), the optimistic gradient…

Machine Learning · Computer Science 2020-07-08 Waïss Azizian , Ioannis Mitliagkas , Simon Lacoste-Julien , Gauthier Gidel

We here investigate on the complexity of computing the \emph{tree-length} and the \emph{tree-breadth} of any graph $G$, that are respectively the best possible upper-bounds on the diameter and the radius of the bags in a tree decomposition…

Computational Complexity · Computer Science 2016-01-11 Guillaume Ducoffe , Sylvain Legay , Nicolas Nisse

Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomass\'e, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been…

Logic in Computer Science · Computer Science 2024-08-07 Édouard Bonnet , Jaroslav Nešetřil , Patrice Ossona de Mendez , Sebastian Siebertz , Stéphan Thomassé

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective…

Discrete Mathematics · Computer Science 2020-05-13 Hans L. Bodlaender , Josse van Dobben de Bruyn , Dion Gijswijt , Harry Smit

This work addresses the problem of learning directed acyclic graphs (DAGs) from nodal observations generated by a linear structural equation model. DAG learning is a central task in signal processing, machine learning, and causal inference,…

Machine Learning · Computer Science 2026-05-20 Samuel Rey , Madeline navarro , Gonzalo Mateos

We revisit a graph width parameter that we dub bipartite treewidth (btw). Bipartite treewidth can be seen as a common generalization of treewidth and the odd cycle transversal number, and is closely related to odd-minors. Intuitively, a…

Data Structures and Algorithms · Computer Science 2025-12-01 Lars Jaffke , Laure Morelle , Ignasi Sau , Dimitrios M. Thilikos

The scheduling and schedulability analysis of real-time directed acyclic graph (DAG) task systems have received much recent attention. The DAG model can accurately represent intra-task parallelim and precedence constraints existing in many…

Operating Systems · Computer Science 2018-08-02 Zheng Dong , Cong Liu

Directed acyclic graphical models, or DAG models, are widely used to represent complex causal systems. Since the basic task of learning such a model from data is NP-hard, a standard approach is greedy search over the space of directed…

Statistics Theory · Mathematics 2021-06-09 Liam Solus , Yuhao Wang , Caroline Uhler

We give a fixed-parameter tractable algorithm that, given a parameter $k$ and two graphs $G_1,G_2$, either concludes that one of these graphs has treewidth at least $k$, or determines whether $G_1$ and $G_2$ are isomorphic. The running time…

Data Structures and Algorithms · Computer Science 2014-12-11 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

The notion of treewidth, introduced by Robertson and Seymour in their seminal Graph Minors series, turned out to have tremendous impact on graph algorithmics. Many hard computational problems on graphs turn out to be efficiently solvable in…

Data Structures and Algorithms · Computer Science 2019-09-24 Michał Ziobro , Marcin Pilipczuk

Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph…

Combinatorics · Mathematics 2022-02-02 Tara Abrishami , Maria Chudnovsky , Kristina Vušković

It is shown that $S(G) = O\left(m/\log_2 m + d\right)$ pebbles are sufficient to pebble any DAG $G=(V,E)$, with $m$ edges and maximum in-degree $d$. It was previously known that $S(G) = O\left(d n/\log n\right)$. The result builds on two…

Computational Complexity · Computer Science 2024-10-29 Gianfranco Bilardi , Lorenzo De Stefani

We study the Directed Feedback Vertex Set problem parameterized by the treewidth of the input graph. We prove that unless the Exponential Time Hypothesis fails, the problem cannot be solved in time $2^{o(t\log t)}\cdot n^{\mathcal{O}(1)}$…

Data Structures and Algorithms · Computer Science 2017-09-15 Marthe Bonamy , Łukasz Kowalik , Jesper Nederlof , Michał Pilipczuk , Arkadiusz Socała , Marcin Wrochna

We address the problem of learning the topology of directed acyclic graphs (DAGs) from nodal observations, which adhere to a linear structural equation model. Recent advances framed the combinatorial DAG structure learning task as a…

Machine Learning · Computer Science 2024-09-13 Samuel Rey , Seyed Saman Saboksayr , Gonzalo Mateos

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their…

Probabilistic circuits (PCs) have emerged as a powerful framework to compactly represent probability distributions for efficient and exact probabilistic inference. It has been shown that PCs with a general directed acyclic graph (DAG)…

Artificial Intelligence · Computer Science 2024-10-28 Lang Yin , Han Zhao

Open parity games are proposed as a compositional extension of parity games with algebraic operations, forming string diagrams of parity games. A potential application of string diagrams of parity games is to describe a large parity game…

Logic in Computer Science · Computer Science 2025-05-29 Kazuki Watanabe

We derive Cheeger inequalities for directed graphs and hypergraphs using the reweighted eigenvalue approach that was recently developed for vertex expansion in undirected graphs [OZ22,KLT22,JPV22]. The goal is to develop a new spectral…

Data Structures and Algorithms · Computer Science 2022-11-18 Lap Chi Lau , Kam Chuen Tung , Robert Wang