From Symmetry to Asymmetry: Generalizing TSP Approximations by Parametrization

11/06/2019
by   Lukas Behrendt, et al.
0

We generalize the tree doubling and Christofides algorithm, the two most common approximations for TSP, to parameterized approximations for ATSP. The parameters we consider for the respective parameterizations are upper bounded by the number of asymmetric distances in the given instance, which yields algorithms to efficiently compute constant factor approximations also for moderately asymmetric TSP instances. As generalization of the Christofides algorithm, we derive a parameterized 2.5-approximation, where the parameter is the size of a vertex cover for the subgraph induced by the asymmetric edges. Our generalization of the tree doubling algorithm gives a parameterized 3-approximation, where the parameter is the number of asymmetric edges in a given minimum spanning arborescence. Both algorithms are also stated in the form of additive lossy kernelizations, which allows to combine them with known polynomial time approximations for ATSP. Further, we combine them with a notion of symmetry relaxation which allows to trade approximation guarantee for runtime. We complement our results by experimental evaluations, which show that both algorithms give a ratio well below 2 and that the parameterized 3-approximation frequently outperforms the parameterized 2.5-approximation with respect to parameter size.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/31/2018

Parameterized Power Vertex Cover

We study a recently introduced generalization of the Vertex Cover (VC) p...
research
08/29/2023

Parameterized and Approximation Algorithms for the Maximum Bimodal Subgraph Problem

A vertex of a plane digraph is bimodal if all its incoming edges (and he...
research
09/27/2018

Reoptimization of Parameterized Problems

Parameterized complexity allows us to analyze the time complexity of pro...
research
03/04/2019

An FPT Algorithm for Minimum Additive Spanner Problem

For a positive integer t and a graph G, an additive t-spanner of G is a ...
research
07/11/2023

Parameterized Results on Acyclic Matchings with Implications for Related Problems

A matching M in a graph G is an acyclic matching if the subgraph of G in...
research
05/16/2019

Parameterized Inapproximability of Exact Cover and Nearest Codeword

The k-ExactCover problem is a parameterized version of the ExactCover pr...
research
07/05/2021

Spanner Approximations in Practice

A multiplicative α-spanner H is a subgraph of G=(V,E) with the same vert...

Please sign up or login with your details

Forgot password? Click here to reset