The Asymmetric Travelling Salesman Problem in Sparse Digraphs

07/23/2020
by   Łukasz Kowalik, et al.
0

Asymmetric Travelling Salesman Problem (ATSP) and its special case Directed Hamiltonicity are among the most fundamental problems in computer science. The dynamic programming algorithm running in time O^*(2^n) developed almost 60 years ago by Bellman, Held and Karp, is still the state of the art for both of these problems. In this work we focus on sparse digraphs. First, we recall known approaches for Undirected Hamiltonicity and TSP in sparse graphs and we analyse their consequences for Directed Hamiltonicity and ATSP in sparse digraphs, either by adapting the algorithm, or by using reductions. In this way, we get a number of running time upper bounds for a few classes of sparse digraphs, including O^*(2^n/3) for digraphs with both out- and indegree bounded by 2, and O^*(3^n/2) for digraphs with outdegree bounded by 3. Our main results are focused on digraphs of bounded average outdegree d. The baseline for ATSP here is a simple enumeration of cycle covers which can be done in time bounded by O^*(μ(d)^n) for a function μ(d)≤(⌈d⌉!)^n/⌈d⌉. One can also observe that Directed Hamiltonicity can be solved in randomized time O^*((2-2^-d)^n) and polynomial space, by adapting a recent result of Björklund [ISAAC 2018] stated originally for Undirected Hamiltonicity in sparse bipartite graphs. We present two new deterministic algorithms: the first running in time O(2^0.441(d-1)n) and polynomial space, and the second in exponential space with running time of O^*(τ(d)^n/2) for a function τ(d)≤ d.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/18/2018

Capacitated Dynamic Programming: Faster Knapsack and Graph Algorithms

One of the most fundamental problems in Theoretical Computer Science is ...
research
05/05/2020

Many visits TSP revisited

We study the Many Visits TSP problem, where given a number k(v) for each...
research
09/24/2020

An Asymptotically Fast Polynomial Space Algorithm for Hamiltonicity Detection in Sparse Directed Graphs

We present a polynomial space Monte Carlo algorithm that given a directe...
research
07/13/2021

An FPT algorithm for the embeddability of graphs into two-dimensional simplicial complexes

We consider the embeddability problem of a graph G into a two-dimensiona...
research
02/23/2019

Faster and simpler algorithms for finding large patterns in permutations

Permutation patterns and pattern avoidance have been intensively studied...
research
03/10/2023

On the Unlikelihood of D-Separation

Causal discovery aims to recover a causal graph from data generated by i...
research
07/18/2018

Deterministic oblivious distribution (and tight compaction) in linear time

In an array of N elements, M positions and M elements are "marked". We s...

Please sign up or login with your details

Forgot password? Click here to reset