English
Related papers

Related papers: On Sparsification for Computing Treewidth

200 papers

The notion of vertex sparsification is introduced in \cite{M}, where it was shown that for any graph $G = (V, E)$ and a subset of $k$ terminals $K \subset V$, there is a polynomial time algorithm to construct a graph $H = (K, E_H)$ on just…

Data Structures and Algorithms · Computer Science 2010-06-24 Moses Charikar , Tom Leighton , Shi Li , Ankur Moitra

The Odd Cycle Transversal problem (OCT) asks whether a given graph can be made bipartite (i.e., 2-colorable) by deleting at most l vertices. We study structural parameterizations of OCT with respect to their polynomial kernelizability,…

Data Structures and Algorithms · Computer Science 2011-07-20 Bart M. P. Jansen , Stefan Kratsch

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

If a sparse semidefinite program (SDP), specified over $n\times n$ matrices and subject to $m$ linear constraints, has an aggregate sparsity graph $G$ with small treewidth, then chordal conversion will sometimes allow an interior-point…

Optimization and Control · Mathematics 2024-09-23 Richard Y. Zhang

This paper analyzes to what extent it is possible to efficiently reduce the number of clauses in NP-hard satisfiability problems, without changing the answer. Upper and lower bounds are established using the concept of kernelization.…

Computational Complexity · Computer Science 2019-07-01 Bart M. P. Jansen , Astrid Pieterse

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

We extend the notion of lossy kernelization, introduced by Lokshtanov et al. [STOC 2017], to approximate Turing kernelization. An $\alpha$-approximate Turing kernel for a parameterized optimization problem is a polynomial-time algorithm…

Data Structures and Algorithms · Computer Science 2020-04-28 Eva-Maria C. Hols , Stefan Kratsch , Astrid Pieterse

We show that Odd Cycle Transversal and Vertex Multiway Cut admit deterministic polynomial kernels when restricted to planar graphs and parameterized by the solution size. This answers a question of Saurabh. On the way to these results, we…

Data Structures and Algorithms · Computer Science 2018-12-13 Bart M. P. Jansen , Marcin Pilipczuk , Erik Jan van Leeuwen

A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ after vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor and…

Combinatorics · Mathematics 2024-07-23 Édouard Bonnet , Jędrzej Hodor , Tuukka Korhonen , Tomáš Masařík

In the Tree Deletion Set problem the input is a graph G together with an integer k. The objective is to determine whether there exists a set S of at most k vertices such that G-S is a tree. The problem is NP-complete and even NP-hard to…

Data Structures and Algorithms · Computer Science 2013-10-01 Archontia C. Giannopoulou , Daniel Lokshtanov , Saket Saurabh , Ondrej Suchy

The bandwidth of a $n$-vertex graph $G$ is the smallest integer $b$ such that there exists a bijective function $f : V(G) \rightarrow \{1,...,n\}$, called a layout of $G$, such that for every edge $uv \in E(G)$, $|f(u) - f(v)| \leq b$. In…

Data Structures and Algorithms · Computer Science 2014-05-01 Markus Sortland Dregi , Daniel Lokshtanov

An outerstring graph is the intersection graph of curves lying inside a disk with one endpoint on the boundary of the disk. We show that an outerstring graph with $n$ vertices has treewidth $O(\alpha\log n)$, where $\alpha$ denotes the…

Computational Geometry · Computer Science 2024-06-26 Shinwoo An , Eunjin Oh , Jie Xue

By a well known result the treewidth of k-outerplanar graphs is at most 3k-1. This paper gives, besides a rigorous proof of this fact, an algorithmic implementation of the proof, i.e. it is shown that, given a k-outerplanar graph G, a tree…

Data Structures and Algorithms · Computer Science 2013-01-25 Ioannis Katsikarelis

The treedepth of a graph $G$ is the least possible depth of an elimination forest of $G$: a rooted forest on the same vertex set where every pair of vertices adjacent in $G$ is bound by the ancestor/descendant relation. We propose an…

Data Structures and Algorithms · Computer Science 2022-05-06 Wojciech Nadara , Michał Pilipczuk , Marcin Smulewicz

We study the notion of local treewidth in sparse random graphs: the maximum treewidth over all $k$-vertex subgraphs of an $n$-vertex graph. When $k$ is not too large, we give nearly tight bounds for this local treewidth parameter; we also…

Data Structures and Algorithms · Computer Science 2022-07-18 Hermish Mehta , Daniel Reichman

An important result in the study of polynomial-time preprocessing shows that there is an algorithm which given an instance (G,k) of Vertex Cover outputs an equivalent instance (G',k') in polynomial time with the guarantee that G' has at…

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

Let F be a finite family of graphs. In the F-Deletion problem, one is given a graph G and an integer k, and the goal is to find k vertices whose deletion results in a graph with no minor from the family F. This may be regarded as a…

Data Structures and Algorithms · Computer Science 2026-01-21 Roohani Sharma , Michał Włodarczyk

We prove the following theorem. Given a planar graph $G$ and an integer $k$, it is possible in polynomial time to randomly sample a subset $A$ of vertices of $G$ with the following properties: (i) $A$ induces a subgraph of $G$ of treewidth…

Data Structures and Algorithms · Computer Science 2016-04-21 Fedor V. Fomin , Daniel Lokshtanov , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

Vertex deletion to hereditary graph class is well-studied in parameterized complexity. Vertex deletion to the scattered graph classes has gained attention in recent years. In this paper, we consider (Proper-Interval, Tree)-Vertex Deletion,…

Data Structures and Algorithms · Computer Science 2026-05-05 Ashwin Jacob , Arpit Kumar , Diptapriyo Majumdar

The maximum/minimum bisection problems are, given an edge-weighted graph, to find a bipartition of the vertex set into two sets whose sizes differ by at most one, such that the total weight of edges between the two sets is…

Data Structures and Algorithms · Computer Science 2020-09-17 Tesshu Hanaka , Yasuaki Kobayashi , Taiga Sone