An Improvement of Reed's Treewidth Approximation

by   Mahdi Belbasi, et al.

We present a new approximation algorithm for the treewidth problem which constructs a corresponding tree decomposition as well. Our algorithm is a faster variation of Reed's classical algorithm. For the benefit of the reader, and to be able to compare these two algorithms, we start with a detailed time analysis for Reed's algorithm. We fill in many details that have been omitted in Reed's paper. Computing tree decompositions parameterized by the treewidth k is fixed parameter tractable (FPT), meaning that there are algorithms running in time O(f(k) g(n)) where f is a computable function, g is a polynomial function, and n is the number of vertices. An analysis of Reed's algorithm shows f(k) = 2^O(k log k) and g(n) = n log n for a 5-approximation. Reed simply claims time O(n log n) for bounded k for his constant factor approximation algorithm, but the bound of 2^Ξ©(k log k) n log n is well known. From a practical point of view, we notice that the time of Reed's algorithm also contains a term of O(k^2 2^24k n log n), which for small k is much worse than the asymptotically leading term of 2^O(k log k) n log n. We analyze f(k) more precisely, because the purpose of this paper is to improve the running times for all reasonably small values of k. Our algorithm runs in π’ͺ(f(k)nlogn) too, but with a much smaller dependence on k. In our case, f(k) = 2^π’ͺ(k). This algorithm is simple and fast, especially for small values of k. We should mention that Bodlaender et al. [2016] have an asymptotically faster algorithm running in time 2^π’ͺ(k) n. It relies on a very sophisticated data structure and does not claim to be useful for small values of k.



There are no comments yet.


page 1

page 2

page 3

page 4

βˆ™ 07/01/2019

Space-Efficient Vertex Separators for Treewidth

Practical applications that use treewidth algorithms have graphs with tr...
βˆ™ 04/15/2021

A Single-Exponential Time 2-Approximation Algorithm for Treewidth

We give an algorithm, that given an n-vertex graph G and an integer k, i...
βˆ™ 11/04/2021

Finding All Leftmost Separators of Size ≀ k

We define a notion called leftmost separator of size at most k. A leftmo...
βˆ™ 08/09/2021

Improved Feature Importance Computations for Tree Models: Shapley vs. Banzhaf

Shapley values are one of the main tools used to explain predictions of ...
βˆ™ 12/12/2021

Maintaining AUC and H-measure over time

Measuring the performance of a classifier is a vital task in machine lea...
βˆ™ 05/24/2018

Longest Unbordered Factor in Quasilinear Time

A border u of a word w is a proper factor of w occurring both as a prefi...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.