A Single-Exponential Time 2-Approximation Algorithm for Treewidth

  title={A Single-Exponential Time 2-Approximation Algorithm for Treewidth},
  author={Tuukka Korhonen},
  journal={2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)},
  • T. Korhonen
  • Published 15 April 2021
  • Computer Science
  • 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)
We give an algorithm, that given an n-vertex graph <tex>$G$</tex> and an integer k, in time 2<sup>O(k)</sup>n either outputs a tree decomposition of <tex>$G$</tex> of width at most 2k + 1 or determines that the treewidth of <tex>$G$</tex> is larger than k. This is the first 2-approximation algorithm for treewidth that is faster than the known exact algorithms. In particular, our algorithm improves upon both the previous best approximation ratio of 5 in time 2<sup>O(k)</sup>n and the previous… 

Tables from this paper

Fast FPT-approximation of branchwidth
A general framework for designing fixed-parameter tractable (FPT) 2-approximation algorithms for branchwidth of connectivity functions is developed and a structural theorem is proved establishing that either a sequence of particular refinement operations could decrease the width of a branch decomposition or that thewidth of the decomposition is already within a factor of 2 from the optimum.
Ontology-Mediated Querying on Databases of Bounded Cliquewidth
The main contribution is a de- tailed analysis of the dependence of the running time on the parameter, exhibiting several interesting effects of parameterized complexity theory.
On the parameterized complexity of computing tree-partitions
The parameterized complexity of computing the tree-partition-width, a graph parameter equivalent to treewidth on graphs of bounded maximum degree, is studied and XALP-completeness is deduced.
Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws
For graphs G and H , an H -coloring of G is an edge-preserving mapping from V ( G ) to V ( H ) . In the H -Coloring problem the graph H is fixed and we ask whether an instance graph G admits an H
From Width-Based Model Checking to Width-Based Automated Theorem Proving
A general framework to convert a large class of width-based model-checking algorithms into algorithms that can be used to test the validity of graph-theoretic conjectures on classes of graphs of bounded width is introduced.
Computing treedepth in polynomial space and linear fpt time
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
Parameterised Partially-Predrawn Crossing Number
The main result – an FPT-algorithm to compute the partially predrawn crossing number – combines advanced ideas from research on the classical crossing number and so called partial planarity in a very natural but intricate way.
A logic-based algorithmic meta-theorem for mim-width
The model checking problem for every fixed A&C DN formula is solvable in n time when the input graph is given together with a branch decomposition of mim-width w, and the algorithm has a single-exponential dependence on these three width measures and asymptotically matches run times of the fastest known algorithms for several problems.
Edge-Cut Width: An Algorithmically Driven Analogue of Treewidth Based on Edge Cuts
An edge-cut based analogue to treewidth called edge- cut width is developed, which can be computed by a fixed-parameter algorithm, and it yields fixed- parameter algorithms for all the aforementioned problems where tree-cut width failed to do so.
Quantum speedups for treewidth
This paper studies quantum algorithms for computing the exact value of the treewidth of a graph based on the classical algorithm by Fomin and Villanger that uses O(2.616) time and polynomial space, and shows three quantum algorithms with the following complexity, using QRAM in both exponential space algorithms.


A linear time algorithm for finding tree-decompositions of small treewidth
Every minor-closed class of graphs that does not contain all planar graphs has a linear time recognition algorithm that determines whether the treewidth of G is at most k, and if so, finds a treedecomposition of G withtreewidth at mostK.
Efficient Parallel Algorithms for Graphs of Bounded Tree-Width
The tree-decomposition algorithm enables us to construct efficient parallel algorithms for a broad class of problems, when restricted to graphs of tree-width at mostw, many of these problems areNP-complete for general graphs.
A ck n 5-Approximation Algorithm for Treewidth
This is the first algorithm providing a constant factor approximation for treewidth which runs in time single exponential in $k$ and linear in the input size and can be used to speed up many algorithms to work in time.
Graph Minors .XIII. The Disjoint Paths Problem
An algorithm, which for fixed k ≥ 0 has running time O (| V(G) | 3 ), to solve the following problem: given a graph G and k pairs of vertices of G, decide if there are k mutually vertex-disjoint paths of G joining the pairs.
Approximation Algorithms for Treewidth
The first polynomial-time algorithm that approximates the optimal by a factor that does not depend on n, the number of nodes in the input graph is presented, and it is reported on experimental results confirming the effectiveness of the algorithms for large graphs associated with real-world problems.
Fully Polynomial-Time Parameterized Computations for Graphs and Matrices of Low Treewidth
An approximation algorithm for treewidth with time complexity suited to the running times of polynomial time is given, which shows that the existence of algorithms with similar running times is unlikely for the problems of finding the diameter and the radius of a graph of low Treewidth.
Complexity of finding embeddings in a k -tree
This work determines the complexity status of two problems related to finding the smallest number k such that a given graph is a partial k-tree and presents an algorithm with polynomially bounded (but exponential in k) worst case time complexity.
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth
Two new approaches rooted in linear algebra, based on matrix rank and determinants, which provide deterministic c tw | V | O ( 1 ) time algorithms, also for weighted and counting versions of connectivity problems are presented.
Approximating pathwidth for graphs of small treewidth
A polynomial-time algorithm which, given a graph G, approximates the pathwidth of G to within a ratio of $O(t\sqrt{\log t})$.