English
Related papers

Related papers: Fast Algorithms for Join Operations on Tree Decomp…

200 papers

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

A set S of vertices of a graph is a defensive alliance if, for each element of S, the majority of its neighbors is in S. The problem of finding a defensive alliance of minimum size in a given graph is NP-hard and there are polynomial-time…

Computational Complexity · Computer Science 2017-07-17 Bernhard Bliem , Stefan Woltran

The goal of this paper is to investigate a family of optimization problems arising from list homomorphisms, and to understand what the best possible algorithms are if we restrict the problem to bounded-treewidth graphs. For a fixed $H$, the…

Computational Complexity · Computer Science 2024-02-14 Barış Can Esmer , Jacob Focke , Dániel Marx , Paweł Rzążewski

We consider a variant of treewidth that we call clique-partitioned treewidth in which each bag is partitioned into cliques. This is motivated by the recent development of FPT-algorithms based on similar parameters for various problems. With…

Data Structures and Algorithms · Computer Science 2023-02-20 Thomas Bläsius , Maximilian Katzmann , Marcus Wilhelm

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

An NP-hard graph problem may be intractable for general graphs but it could be efficiently solvable using dynamic programming for graphs with bounded width (or depth or some other structural parameter). Dynamic programming is a well-known…

Data Structures and Algorithms · Computer Science 2019-01-23 Mahdi Belbasi , Martin Fürer

Several problems that are NP-hard on general graphs are efficiently solvable on graphs with bounded treewidth. Efforts have been made to generalize treewidth and the related notion of pathwidth to digraphs. Directed treewidth, DAG-width and…

Data Structures and Algorithms · Computer Science 2026-05-22 Shiva Kintali , Nishad Kothari , Akash Kumar

We present a fast algorithm for the subset convolution problem: given functions f and g defined on the lattice of subsets of an n-element set N, compute their subset convolution f*g, defined for all S\subseteq N by (f * g)(S) = \sum_{T…

Data Structures and Algorithms · Computer Science 2016-08-16 Andreas Björklund , Thore Husfeldt , Petteri Kaski , Mikko Koivisto

This work presents novel algorithms for learning Bayesian network structures with bounded treewidth. Both exact and approximate methods are developed. The exact method combines mixed-integer linear programming formulations for structure…

Artificial Intelligence · Computer Science 2014-06-09 Siqi Nie , Denis Deratani Maua , Cassio Polpo de Campos , Qiang Ji

A matching cut is a partition of the vertex set of a graph into two sets $A$ and $B$ such that each vertex has at most one neighbor in the other side of the cut. The MATCHING CUT problem asks whether a graph has a matching cut, and has been…

Data Structures and Algorithms · Computer Science 2019-05-09 Guilherme C. M. Gomes , Ignasi Sau

We give the first polynomial-time approximation scheme (PTAS) for the Steiner forest problem on planar graphs and, more generally, on graphs of bounded genus. As a first step, we show how to build a Steiner forest spanner for such graphs.…

Data Structures and Algorithms · Computer Science 2009-11-30 MohammadHossein Bateni , MohammadTaghi Hajiaghayi , Dániel Marx

We recently introduced the graph invariant twin-width, and showed that first-order model checking can be solved in time $f(d,k)n$ for $n$-vertex graphs given with a witness that the twin-width is at most $d$, called $d$-contraction sequence…

Data Structures and Algorithms · Computer Science 2021-02-15 Édouard Bonnet , Colin Geniet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

Given a planar graph $G$ and an integer $b$, OrthogonalPlanarity is the problem of deciding whether $G$ admits an orthogonal drawing with at most $b$ bends in total. We show that OrthogonalPlanarity can be solved in polynomial time if $G$…

Computational Geometry · Computer Science 2019-08-15 Emilio Di Giacomo , Giuseppe Liotta , Fabrizio Montecchiani

Hypertree decompositions of hypergraphs are a generalization of tree decompositions of graphs. The corresponding hypertree-width is a measure for the cyclicity and therefore tractability of the encoded computation problem. Many NP-hard…

Data Structures and Algorithms · Computer Science 2008-10-12 Georg Gottlob , Marko Samer

Finding a few solutions for a given problem that are diverse, as opposed to finding a single best solution to solve the problem, has recently become a notable topic in theoretical computer science. Recently, Baste, Fellows, Jaffke,…

Data Structures and Algorithms · Computer Science 2026-03-30 Karolina Drabik , Tomáš Masařík

We introduce the tree-decomposition-based parameter totally $\Delta$-modular treewidth (TDM-treewidth) for matrices with two nonzero entries per row. We show how to solve integer programs whose matrices have bounded TDM-treewidth in…

Combinatorics · Mathematics 2026-04-27 Caleb McFarland

We study a natural problem in graph sparsification, the Spanning Tree Congestion (\STC) problem. Informally, the \STC problem seeks a spanning tree with no tree-edge \emph{routing} too many of the original edges. The root of this problem…

Data Structures and Algorithms · Computer Science 2018-04-26 L. Sunil Chandran , Yun Kuen Cheung , Davis Issac

An algorithm is developed for finding a close to optimal junction tree of a given graph G. The algorithm has a worst case complexity O(c^k n^a) where a and c are constants, n is the number of vertices, and k is the size of the largest…

Data Structures and Algorithms · Computer Science 2013-02-18 Ann Becker , Dan Geiger

The domination problem and its variants represent a classical domain within algorithmic graph theory. Among these variants, the paired-domination problem holds particular prominence due to its real-world implications in security and…

Data Structures and Algorithms · Computer Science 2024-12-02 Ta-Yu Mu , Ching-Chi Lin

We introduce a logic called distance neighborhood logic with acyclicity and connectivity constraints ($\mathsf{A\&C~DN}$ for short) which extends existential $\mathsf{MSO_1}$ with predicates for querying neighborhoods of vertex sets and for…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Jan Dreier , Lars Jaffke