English
Related papers

Related papers: DAG-width of Control Flow Graphs with Applications…

200 papers

Learning a faithful directed acyclic graph (DAG) from samples of a joint distribution is a challenging combinatorial problem, owing to the intractable search space superexponential in the number of graph nodes. A recent breakthrough…

Machine Learning · Computer Science 2019-04-24 Yue Yu , Jie Chen , Tian Gao , Mo Yu

A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and…

Data Structures and Algorithms · Computer Science 2022-11-18 Manuel Caceres , Massimo Cairo , Brendan Mumey , Romeo Rizzi , Alexandru I. Tomescu

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

Given a graph $G$ and two independent sets of same size, the Independent Set Reconfiguration Problem under token sliding ask whether one can, in a step by step manner, transform the first independent set into the second one. In each step we…

Discrete Mathematics · Computer Science 2025-05-01 Jona Dirks , Alexandre Vigny

Estimating the structure of directed acyclic graphs (DAGs) of features (variables) plays a vital role in revealing the latent data generation process and providing causal insights in various applications. Although there have been many…

Machine Learning · Computer Science 2024-03-06 Shaohua Fan , Shuyang Zhang , Xiao Wang , Chuan Shi

We address the problem of solving parity games with imperfect information on finite graphs of bounded structural complexity. It is a major open problem whether parity games with perfect information can be solved in PTIME. Restricting the…

Computer Science and Game Theory · Computer Science 2017-03-03 Bernd Puchala , Roman Rabinovich

We consider a relaxation of the concept of well-covered graphs, which are graphs with all maximal independent sets of the same size. The extent to which a graph fails to be well-covered can be measured by its independence gap, defined as…

Discrete Mathematics · Computer Science 2023-06-22 Tınaz Ekim , Didem Gözüpek , Ademir Hujdurović , Martin Milanič

We propose a method to identify nonlinear acyclic networks in continuous time when the dynamics are located on the edges and all the nodes are excited. We show that it is necessary and sufficient to measure all the sinks to identify any…

Optimization and Control · Mathematics 2026-03-05 Ramachandran Anantharaman , Renato Vizuete , Julien M. Hendrickx , Alexandre Mauroy

The GG-width of a class of graphs GG is defined as follows. A graph G has GG-width k if there are k independent sets N1,...,Nk in G such that G can be embedded into a graph H in GG such that for every edge e in H which is not an edge in G,…

Combinatorics · Mathematics 2012-11-01 M. Chang , L. Hung , T. Kloks , S. Peng

We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{\Omega(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex…

Computational Complexity · Computer Science 2021-12-17 Pierre Bergé , Édouard Bonnet , Hugues Déprés

Directed acyclic graph (DAG) tasks are currently adopted in the real-time domain to model complex applications from the automotive, avionics, and industrial domains that implement their functionalities through chains of intercommunicating…

Machine Learning · Computer Science 2024-01-12 Binqi Sun , Mirco Theile , Ziyuan Qin , Daniele Bernardini , Debayan Roy , Andrea Bastoni , Marco Caccamo

We establish a new framework for statistical estimation of directed acyclic graphs (DAGs) when data are generated from a linear, possibly non-Gaussian structural equation model. Our framework consists of two parts: (1) inferring the…

Machine Learning · Statistics 2013-11-15 Po-Ling Loh , Peter Bühlmann

The complexity of the graph isomorphism problem for trapezoid graphs has been open over a decade. This paper shows that the problem is GI-complete. More precisely, we show that the graph isomorphism problem is GI-complete for comparability…

Discrete Mathematics · Computer Science 2016-01-20 Asahi Takaoka

Clustering algorithms for large networks typically use modularity values to test which partitions of the vertex set better represent structure in the data. The modularity of a graph is the maximum modularity of a partition. We consider the…

Combinatorics · Mathematics 2022-12-22 Colin McDiarmid , Fiona Skerman

Twin-width is a recently formulated graph and matrix invariant that intuitively quantifies how far a graph is from having the structural simplicity of a co-graph. Since its introduction in 2020, twin-width has received increasing attention…

Data Structures and Algorithms · Computer Science 2025-11-11 Andrei Arhire , Matei Chiriac , Radu Timofte

We investigate the interrelation between graph searching games and games with imperfect information. As key consequence we obtain that parity games with bounded imperfect information can be solved in PTIME on graphs of bounded DAG-width…

Computer Science and Game Theory · Computer Science 2015-03-19 Bernd Puchala , Roman Rabinovich

In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with multiple agents corresponding to the nodes of a graph whose…

Optimization and Control · Mathematics 2011-01-20 M. -A. Belabbas

In the Directed Disjoint Paths problem, we are given a digraph $D$ and a set of requests $\{(s_1, t_1), \ldots, (s_k, t_k)\}$, and the task is to find a collection of pairwise vertex-disjoint paths $\{P_1, \ldots, P_k\}$ such that each…

Data Structures and Algorithms · Computer Science 2021-12-21 Raul Lopes , Ignasi Sau

Traffic on a circular road is described by dynamic programming equations associated to optimal control problems. By solving the equations analytically, we derive the relation between the average car density and the average car flow, known…

Optimization and Control · Mathematics 2010-02-11 Nadir Farhi

By the Grid Minor Theorem of Robertson and Seymour, every graph of sufficiently large tree-width contains a large grid as a minor. Tree-width may therefore be regarded as a measure of 'grid-likeness' of a graph. The grid contains a long…

Combinatorics · Mathematics 2018-02-15 Daniel Weißauer