English
Related papers

Related papers: E-Graphs as Circuits, and Optimal Extraction via T…

200 papers

The shortest path problem in graphs is a cornerstone of AI theory and applications. Existing algorithms generally ignore edge weight computation time. We present a generalized framework for weighted directed graphs, where edge weight can be…

Data Structures and Algorithms · Computer Science 2024-02-20 Eyal Weiss , Ariel Felner , Gal A. Kaminka

Equality saturation, a technique for program optimisation and reasoning, has gained attention due to the resurgence of equality graphs (e-graphs). E-graphs represent equivalence classes of terms under rewrite rules, enabling simultaneous…

Logic in Computer Science · Computer Science 2025-05-05 Aleksei Tiurin , Dan R. Ghica , Nick Hu

A $(\beta,\delta,\Delta)$-padded decomposition of an edge-weighted graph $G = (V,E,w)$ is a stochastic decomposition into clusters of diameter at most $\Delta$ such that for every vertex $v\in V$, the probability that…

Data Structures and Algorithms · Computer Science 2025-10-15 Arnold Filtser , Tobias Friedrich , Davis Issac , Nikhil Kumar , Hung Le , Nadym Mallek , Ziena Zeif

We present the Boolean dimension of a graph, we relate it with the notions of inner, geometric and symplectic dimensions, and with the rank and minrank of a graph. We obtain an exact formula for the Boolean dimension of a tree in terms of a…

Combinatorics · Mathematics 2022-09-07 Maurice Pouzet , Hamza Si Kaddour , Bhalchandra D. Thatte

Upward planarity testing and Rectilinear planarity testing are central problems in graph drawing. It is known that they are both NP-complete, but XP when parameterized by treewidth. In this paper we show that these two problems are…

Computational Geometry · Computer Science 2023-09-06 Bart M. P. Jansen , Liana Khazaliya , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani , Kirill Simonov

We present a method for learning treewidth-bounded Bayesian networks from data sets containing thousands of variables. Bounding the treewidth of a Bayesian greatly reduces the complexity of inferences. Yet, being a global property of the…

Artificial Intelligence · Computer Science 2016-05-12 Mauro Scanagatta , Giorgio Corani , Cassio P. de Campos , Marco Zaffalon

We investigate a structural generalisation of treewidth we call $\mathcal{A}$-blind-treewidth where $\mathcal{A}$ denotes an annotated graph class. This width parameter is defined by evaluating only the size of those bags $B$ of…

Combinatorics · Mathematics 2024-10-03 J. Pascal Gollin , Sebastian Wiederrecht

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

A circle graph is an intersection graph of a set of chords of a circle. We describe the unavoidable induced subgraphs of circle graphs with large treewidth. This includes examples that are far from the `usual suspects'. Our results imply…

Combinatorics · Mathematics 2022-12-23 Robert Hickingbotham , Freddie Illingworth , Bojan Mohar , David R. Wood

The graph is one of the most widely used mathematical structures in engineering and science because of its representational power and inherent ability to demonstrate the relationship between objects. The objective of this work is to…

Data Structures and Algorithms · Computer Science 2021-01-01 Shri Prakash Dwivedi

We introduce graph width parameters, called $\alpha$-edge-crossing width and edge-crossing width. These are defined in terms of the number of edges crossing a bag of a tree-cut decomposition. They are motivated by edge-cut width, recently…

Data Structures and Algorithms · Computer Science 2025-07-31 Yeonsu Chang , O-joung Kwon , Myounghwan Lee

Tree-cut width is a graph parameter introduced by Wollan that is an analogue of treewidth for the immersion order on graphs in the following sense: the tree-cut width of a graph is functionally equivalent to the largest size of a wall that…

Combinatorics · Mathematics 2022-08-12 Łukasz Bożyk , Oscar Defrain , Karolina Okrasa , Michał Pilipczuk

Structural measures of graphs, such as treewidth, are central tools in computational complexity resulting in efficient algorithms when exploiting the parameter. It is even known that modern SAT solvers work efficiently on instances of small…

Artificial Intelligence · Computer Science 2025-11-17 Yasir Mahmood , Markus Hecher , Johanna Groven , Johannes K. Fichte

We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that…

Data Structures and Algorithms · Computer Science 2025-09-23 Dibyayan Chakraborty , Oscar Defrain , Florent Foucaud , Mathieu Mari , Prafullkumar Tale

In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior…

Combinatorics · Mathematics 2025-07-31 Maria Chudnovsky , David Fischer , Sepehr Hajebi , Sophie Spirkl , Bartosz Walczak

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

Many algorithms have been developed for NP-hard problems on graphs with small treewidth $k$. For example, all problems that are expressable in linear extended monadic second order can be solved in linear time on graphs of bounded treewidth.…

Data Structures and Algorithms · Computer Science 2016-05-17 Frank Kammer , Torsten Tholey

The study of structural graph width parameters like tree-width, clique-width and rank-width has been ongoing during the last five decades, and their algorithmic use has also been increasing [Cygan et al., 2015]. New width parameters…

Data Structures and Algorithms · Computer Science 2025-01-23 Flavia Bonomo-Braberman , Eric Brandwein , Carolina Lucía González , Agustín Sansone

A visibility algorithm maps time series into complex networks following a simple criterion. The resulting visibility graph has recently proven to be a powerful tool for time series analysis. However its straightforward computation is…

Data Structures and Algorithms · Computer Science 2020-04-29 Delia Fano Yela , Florian Thalmann , Vincenzo Nicosia , Dan Stowell , Mark Sandler

Can one reduce the size of a graph without significantly altering its basic properties? The graph reduction problem is hereby approached from the perspective of restricted spectral approximation, a modification of the spectral similarity…

Data Structures and Algorithms · Computer Science 2019-01-01 Andreas Loukas