English
Related papers

Related papers: Algorithmic Applications of Tree-Cut Width

200 papers

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…

A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that…

Data Structures and Algorithms · Computer Science 2012-08-02 Eun Jung Kim , Alexander Langer , Christophe Paul , Felix Reidl , Peter Rossmanith , Ignasi Sau , Somnath Sikdar

We present efficient combinatorial parameterized algorithms for several classical graph-based counting problems in computational chemistry, including (i) Kekule structures, (ii) the Hosoya index, (iii) the Merrifield-Simmons index, and (iv)…

Data Structures and Algorithms · Computer Science 2025-08-12 Giovanna K. Conrado , Amir K. Goharshady , Harshit J. Motwani , Sergei Novozhilov

The metric dimension has been introduced independently by Harary, Melter and Slater in 1975 to identify vertices of a graph G using its distances to a subset of vertices of G. A resolving set X of a graph G is a subset of vertices such…

Data Structures and Algorithms · Computer Science 2023-03-21 Nicolas Bousquet , Quentin Deschamps , Aline Parreau

In the non-uniform sparsest cut problem, we are given a supply graph G and a demand graph D, both with the same set of nodes V. The goal is to find a cut of V that minimizes the ratio of the total capacity on the edges of G crossing the cut…

Data Structures and Algorithms · Computer Science 2021-11-12 Vincent Cohen-Addad , Tobias Mömke , Victor Verdugo

We obtain structure theorems for graphs excluding a fan (a path with a universal vertex) or a dipole ($K_{2,k}$) as a topological minor. The corresponding decompositions can be computed in FPT linear time. This is motivated by the study of…

Discrete Mathematics · Computer Science 2025-02-18 Hugo Jacob , William Lochet , Christophe Paul

The Graph Motif problem was introduced in 2006 in the context of biological networks. It consists of deciding whether or not a multiset of colors occurs in a connected subgraph of a vertex-colored graph. Graph Motif has been mostly analyzed…

Data Structures and Algorithms · Computer Science 2017-01-13 Édouard Bonnet , Florian Sikora

Parallel parameterized complexity theory studies how fixed-parameter tractable (fpt) problems can be solved in parallel. Previous theoretical work focused on parallel algorithms that are very fast in principle, but did not take into account…

Data Structures and Algorithms · Computer Science 2019-02-21 Max Bannach , Malte Skambath , Till Tantau

Imagine we want to split a group of agents into teams in the most \emph{efficient} way, considering that each agent has their own preferences about their teammates. This scenario is modeled by the extensively studied \textsc{Coalition…

Data Structures and Algorithms · Computer Science 2025-05-29 Foivos Fioravantes , Harmender Gahlawat , Nikolaos Melissinos

The notion of directed treewidth was introduced by Johnson, Robertson, Seymour and Thomas [Journal of Combinatorial Theory, Series B, Vol 82, 2001] as a first step towards an algorithmic metatheory for digraphs. They showed that some…

Data Structures and Algorithms · Computer Science 2015-10-09 Mateus de Oliveira Oliveira

Linear tree constraints were introduced by Hofmann and Rodriguez in the context of amortized resource analysis for object oriented programs. More precisely, they gave a reduction from inference of resource types to constraint solving. Thus,…

Logic in Computer Science · Computer Science 2018-06-27 Sabine Bauer , Martin Hofmann

The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and…

Data Structures and Algorithms · Computer Science 2016-02-09 Rémy Belmonte , Fedor V. Fomin , Petr A. Golovach , M. S. Ramanujan

A classic result of Lenstra [Math.~Oper.~Res.~1983] says that an integer linear program can be solved in fixed-parameter tractable (FPT) time for the parameter being the number of variables. We extend this result by incorporating…

Data Structures and Algorithms · Computer Science 2017-11-22 Robert Bredereck , Piotr Faliszewski , Rolf Niedermeier , Piotr Skowron , Nimrod Talmon

A Fixed-Parameter Tractable (\FPT) $\rho$-approximation algorithm for a minimization (resp. maximization) parameterized problem $P$ is an FPT algorithm that, given an instance $(x, k)\in P$ computes a solution of cost at most $k \cdot…

Data Structures and Algorithms · Computer Science 2013-08-19 Rajesh Chitnis , MohammadTaghi Hajiaghayi , Guy Kortsarz

Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well…

Computational Complexity · Computer Science 2021-02-25 Jakub Gajarský , Petr Hliněný , Martin Koutecký , Shmuel Onn

We consider the problem of learning the structure of undirected graphical models with bounded treewidth, within the maximum likelihood framework. This is an NP-hard problem and most approaches consider local search techniques. In this…

Machine Learning · Computer Science 2012-12-12 K. S. Sesh Kumar , Francis Bach

We study connectivity problems from a fine-grained parameterized perspective. Cygan et al. (TALG 2022) obtained algorithms with single-exponential running time $\alpha^{tw} n^{O(1)}$ for connectivity problems parameterized by treewidth…

Data Structures and Algorithms · Computer Science 2023-03-01 Falko Hegerfeld , Stefan Kratsch

A mixed dominating set is a collection of vertices and edges that dominates all vertices and edges of a graph. We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set}, resolving some open questions.…

Data Structures and Algorithms · Computer Science 2023-06-22 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

While graphs and abstract data structures can be large and complex, practical instances are often regular or highly structured. If the instance has sufficient structure, we might hope to compress the object into a more succinct…

Computational Complexity · Computer Science 2024-12-02 Shreya Gupta , Boyang Huang , Russell Impagliazzo , Stanley Woo , Christopher Ye

The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first…

Data Structures and Algorithms · Computer Science 2015-03-19 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch