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} }
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
17 Citations
An Improvement of Reed's Treewidth Approximation
- Computer ScienceWALCOM
- 2021
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
- MathematicsSTOC
- 2022
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
- Computer ScienceKR
- 2022
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
- Computer ScienceArXiv
- 2022
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
- Computer Science, MathematicsArXiv
- 2022
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
- MathematicsArXiv
- 2022
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
- Computer Science, MathematicsArXiv
- 2022
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
- MathematicsArXiv
- 2022
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
- Computer ScienceSoCG
- 2022
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
- Computer ScienceArXiv
- 2022
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
- MathematicsSTOC '93
- 1993
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
- Computer ScienceJ. Algorithms
- 1996
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
- Computer Science, MathematicsSIAM J. Comput.
- 2016
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
- MathematicsJ. Comb. Theory, Ser. B
- 1995
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.
Linear time algorithms for NP-hard problems restricted to partial k-trees
- Mathematics, Computer ScienceDiscret. Appl. Math.
- 1989
Approximation Algorithms for Treewidth
- Computer ScienceAlgorithmica
- 2008
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
- Computer Science, MathematicsSODA
- 2017
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
- Mathematics, Computer Science
- 1987
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
- Computer ScienceInf. Comput.
- 2013
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
- Computer Science, MathematicsSODA
- 2021
A polynomial-time algorithm which, given a graph G, approximates the pathwidth of G to within a ratio of $O(t\sqrt{\log t})$.