English
Related papers

Related papers: Heuristic computation of exact treewidth

200 papers

For a graph $G$, let $\Pi(G)$ denote the set of all potential maximal cliques of $G$. For each subset $\Pi$ of $\Pi(G)$, let $\tw(G, \Pi)$ denote the smallest $k$ such that there is a tree-decomposition of $G$ of width $k$ whose bags all…

Data Structures and Algorithms · Computer Science 2019-10-25 Hisao Tamaki

Let tw(G) denote the treewidth of graph G. Given a graph G and a positive integer k such that tw(G) <= k + 1, we are to decide if tw(G) <= k. We give a certifying algorithm RTW ("R" for recursive) for this task: it returns one or more…

Data Structures and Algorithms · Computer Science 2023-07-06 Hisao Tamaki

In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect elimination ordering of vertices of the graph. The algorithm…

Data Structures and Algorithms · Computer Science 2012-07-19 Vibhav Gogate , Rina Dechter

We propose a new methodology to develop heuristic algorithms using tree decompositions. Traditionally, such algorithms construct an optimal solution of the given problem instance through a dynamic programming approach. We modify this…

Data Structures and Algorithms · Computer Science 2023-10-26 Louis Carpentier , Jorik Jooken , Jan Goedgebeur

We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some…

Data Structures and Algorithms · Computer Science 2023-03-13 Carla Groenland , Gwenaël Joret , Wojciech Nadara , Bartosz Walczak

Partitioning a graph using graph separators, and particularly clique separators, are well-known techniques to decompose a graph into smaller units which can be treated independently. It was previously known that the treewidth was bounded…

Discrete Mathematics · Computer Science 2019-09-09 Boi Faltings , Martin Charles Golumbic

Fixed parameter tractable algorithms for bounded treewidth are known to exist for a wide class of graph optimization problems. While most research in this area has been focused on exact algorithms, it is hard to find decompositions of…

Data Structures and Algorithms · Computer Science 2016-10-05 Thomas Bosman

We study treewidth sparsifiers. Informally, given a graph $G$ of treewidth $k$, a treewidth sparsifier $H$ is a minor of $G$, whose treewidth is close to $k$, $|V(H)|$ is small, and the maximum vertex degree in $H$ is bounded. Treewidth…

Data Structures and Algorithms · Computer Science 2014-10-07 Chandra Chekuri , Julia Chuzhoy

In this paper, we relate the seemingly unrelated concepts of treewidth and boxicity. Our main result is that, for any graph G, boxicity(G) <= treewidth(G) + 2. We also show that this upper bound is (almost) tight. Our result leads to…

Combinatorics · Mathematics 2007-05-23 L. Sunil Chandran , Naveen Sivadasan

We present a parallel algorithm for computing the treewidth of a graph on a GPU. We implement this algorithm in OpenCL, and experimentally evaluate its performance. Our algorithm is based on an $O^*(2^{n})$-time algorithm that explores the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-09-29 Tom C. van der Zanden , Hans L. Bodlaender

We present a general method for obtaining strong bounds for discrete optimization problems that is based on a concept of branching duality. It can be applied when no useful integer programming model is available, and we illustrate this with…

Data Structures and Algorithms · Computer Science 2019-08-22 J. G. Benade , J. N. Hooker

We present the first fixed-parameter tractable (FPT) algorithms for exact computation of generalized hypertree width (ghw) and fractional hypertree width (fhw). Our algorithms are parameterized by the target width, the rank, and the maximum…

Data Structures and Algorithms · Computer Science 2026-03-16 Matthias Lanzinger , Igor Razgon , Daniel Unterberger

Treedepth, a more restrictive graph width parameter than treewidth and pathwidth, plays a major role in the theory of sparse graph classes. We show that there exists a constant $C$ such that for every positive integers $a,b$ and a graph…

Discrete Mathematics · Computer Science 2019-09-19 Wojciech Czerwiński , Wojciech Nadara , Marcin Pilipczuk

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

We consider a weighted counting problem on matchings, denoted $\textrm{PrMatching}(\mathcal{G})$, on an arbitrary fixed graph family $\mathcal{G}$. The input consists of a graph $G\in \mathcal{G}$ and of rational probabilities of existence…

Computational Complexity · Computer Science 2023-01-10 Antoine Amarilli , Mikaël Monet

The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to…

Combinatorics · Mathematics 2014-09-25 Daniel J. Harvey , David R. Wood

We present four novel approximation algorithms for finding triangulation of minimum treewidth. Two of the algorithms improve on the running times of algorithms by Robertson and Seymour, and Becker and Geiger that approximate the optimum by…

Data Structures and Algorithms · Computer Science 2013-01-14 Eyal Amir

We present a new approximation algorithm for the treewidth problem which finds an upper bound on the treewidth and constructs a corresponding tree decomposition as well. Our algorithm is a faster variation of Reed's classical algorithm. For…

Data Structures and Algorithms · Computer Science 2022-06-24 Mahdi Belbasi , Martin Fürer

Treewidth and hypertree width have proven to be highly successful structural parameters in the context of the Constraint Satisfaction Problem (CSP). When either of these parameters is bounded by a constant, then CSP becomes solvable in…

Data Structures and Algorithms · Computer Science 2022-10-14 Andre Schidler , Robert Ganian , Manuel Sorge , Stefan Szeider

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
‹ Prev 1 2 3 10 Next ›