English
Related papers

Related papers: Four short stories on surprising algorithmic uses …

200 papers

Tree-cut width is a parameter that has been introduced as an attempt to obtain an analogue of treewidth for edge cuts. Unfortunately, in spite of its desirable structural properties, it turned out that tree-cut width falls short as an…

Computational Complexity · Computer Science 2022-07-01 Robert Ganian , Viktoriia Korchemna

Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we…

Combinatorics · Mathematics 2022-06-22 Benjamin Merlin Bumpus , Zoltan A. Kocsis

As the development of distributed systems progresses, more and more challenges arise and the need for developing optimized systems and for optimizing existing systems from multiple perspectives becomes more stringent. In this paper I…

Data Structures and Algorithms · Computer Science 2009-03-21 Mugurel Ionut Andreica

Rank-width is a width parameter of graphs describing whether it is possible to decompose a graph into a tree-like structure by `simple' cuts. This survey aims to summarize known algorithmic and structural results on rank-width of graphs.

Combinatorics · Mathematics 2018-05-16 Sang-il Oum

When considering the number of subtrees of trees, the extremal structures which maximize this number among binary trees and trees with a given maximum degree lead to some interesting facts that correlate to other graphical indices in…

Combinatorics · Mathematics 2012-10-11 Xiu-Mei Zhang , Xiao-Dong Zhang , Daniel Gray , Hua Wang

Dual-tree algorithms are a widely used class of branch-and-bound algorithms. Unfortunately, developing dual-tree algorithms for use with different trees and problems is often complex and burdensome. We introduce a four-part logical split:…

Data Structures and Algorithms · Computer Science 2013-04-17 Ryan R. Curtin , William B. March , Parikshit Ram , David V. Anderson , Alexander G. Gray , Charles L. Isbell

We give an algorithm that for an input n-vertex graph G and integer k>0, in time 2^[O(k)]n either outputs that the treewidth of G is larger than k, or gives a tree decomposition of G of width at most 5k+4. This is the first algorithm…

Data Structures and Algorithms · Computer Science 2013-04-24 Hans Bodlaender , Pål G. Drange , Markus S. Dregi , Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk

Many computational problems admit fast algorithms on special inputs, however, the required properties might be quite restrictive. E.g., many graph problems can be solved much faster on interval or cographs, or on graphs of small…

Data Structures and Algorithms · Computer Science 2022-09-30 Stefan Kratsch , Florian Nelles

The treewidth boundedness problem for a logic asks for the existence of an upper bound on the treewidth of the models of a given formula in that logic. This problem is found to be undecidable for first order logic. We consider a…

Logic in Computer Science · Computer Science 2024-05-20 Marius Bozga , Lucas Bueri , Radu Iosif , Florian Zuleger

We define a special case of tree decompositions for planar graphs that respect a given embedding of the graph. We study the analogous width of the resulting decomposition we call the embedded-width of a plane graph. We show both upper…

Discrete Mathematics · Computer Science 2017-03-23 Glencora Borradaile , Jeff Erickson , Hung Le , Robbie Weber

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 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

In this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned with recognizing computation trees that solve problems. The…

Logic in Computer Science · Computer Science 2025-01-06 Mikhail Moshkov

We are interested in computing the treewidth $\tw(G)$ of a given graph $G$. Our approach is to design heuristic algorithms for computing a sequence of improving upper bounds and a sequence of improving lower bounds, which would hopefully…

Data Structures and Algorithms · Computer Science 2022-02-17 Hisao Tamaki

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

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

A heuristic extending the Squarified Treemap technique for the representation of hierarchical information as treemaps is presented. The original technique gives high quality treemap views, since items are laid out with rectangles that…

Human-Computer Interaction · Computer Science 2016-09-06 Antonio Cesarano , FIlomena Ferrucci , Mario Torre

Treewidth is a measure of how tree-like a graph is. It has many important algorithmic applications because many NP-hard problems on general graphs become tractable when restricted to graphs of bounded treewidth. Algorithms for problems on…

Data Structures and Algorithms · Computer Science 2020-06-03 Johan M. M. van Rooij

Enumerating the minimal hitting sets of a hypergraph is a problem which arises in many data management applications that include constraint mining, discovering unique column combinations, and enumerating database repairs. Previously, Eiter…

Databases · Computer Science 2025-01-28 Batya Kenig , Dan Shlomo Mizrahi

We provide a finite equational presentation of graphs of treewidth at most three, solving an instanceof an open problem by Courcelle and Engelfriet. We use a syntax generalising series-parallel expressions, denoting graphs with a small…

Logic in Computer Science · Computer Science 2025-01-23 Amina Doumane , Samuel Humeau , Damien Pous