A Single-Exponential Time 2-Approximation Algorithm for Treewidth

@article{Korhonen2022AST,
  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)},
  year={2022},
  pages={184-192}
}
  • 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

An Improvement of Reed's Treewidth Approximation
TLDR
A new approximation algorithm for the treewidth problem which constructs a corresponding tree decomposition as well and is a faster variation of Reed's classical algorithm.
Fast FPT-approximation of branchwidth
TLDR
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
TLDR
This work studies the evaluation of ontology-mediated queries on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory, and includes a detailed analysis of the dependence of the running time on the parameter.
Embedding phylogenetic trees in networks of low treewidth
TLDR
The first algorithm for (rooted) Tree Containment is presented, using the treewidth t of the input network N as parameter, showing that the problem can be solved in 2 O ( t 2 ) · | N | time and space.
On the parameterized complexity of computing tree-partitions
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
...
...

References

SHOWING 1-10 OF 28 REFERENCES
A linear time algorithm for finding tree-decompositions of small treewidth
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
A polynomial-time algorithm which, given a graph G, approximates the pathwidth of G to within a ratio of $O(t\sqrt{\log t})$.
...
...