1,544 research outputs found
Approximating ATSP by Relaxing Connectivity
The standard LP relaxation of the asymmetric traveling salesman problem has
been conjectured to have a constant integrality gap in the metric case. We
prove this conjecture when restricted to shortest path metrics of node-weighted
digraphs. Our arguments are constructive and give a constant factor
approximation algorithm for these metrics. We remark that the considered case
is more general than the directed analog of the special case of the symmetric
traveling salesman problem for which there were recent improvements on
Christofides' algorithm.
The main idea of our approach is to first consider an easier problem obtained
by significantly relaxing the general connectivity requirements into local
connectivity conditions. For this relaxed problem, it is quite easy to give an
algorithm with a guarantee of 3 on node-weighted shortest path metrics. More
surprisingly, we then show that any algorithm (irrespective of the metric) for
the relaxed problem can be turned into an algorithm for the asymmetric
traveling salesman problem by only losing a small constant factor in the
performance guarantee. This leaves open the intriguing task of designing a
"good" algorithm for the relaxed problem on general metrics.Comment: 25 pages, 2 figures, fixed some typos in previous versio
Asymmetric Traveling Salesman Path and Directed Latency Problems
We study integrality gaps and approximability of two closely related problems
on directed graphs. Given a set V of n nodes in an underlying asymmetric metric
and two specified nodes s and t, both problems ask to find an s-t path visiting
all other nodes. In the asymmetric traveling salesman path problem (ATSPP), the
objective is to minimize the total cost of this path. In the directed latency
problem, the objective is to minimize the sum of distances on this path from s
to each node. Both of these problems are NP-hard. The best known approximation
algorithms for ATSPP had ratio O(log n) until the very recent result that
improves it to O(log n/ log log n). However, only a bound of O(sqrt(n)) for the
integrality gap of its linear programming relaxation has been known. For
directed latency, the best previously known approximation algorithm has a
guarantee of O(n^(1/2+eps)), for any constant eps > 0. We present a new
algorithm for the ATSPP problem that has an approximation ratio of O(log n),
but whose analysis also bounds the integrality gap of the standard LP
relaxation of ATSPP by the same factor. This solves an open problem posed by
Chekuri and Pal [2007]. We then pursue a deeper study of this linear program
and its variations, which leads to an algorithm for the k-person ATSPP (where k
s-t paths of minimum total length are sought) and an O(log n)-approximation for
the directed latency problem
Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem
In recent years, there has been much interest in phase transitions of
combinatorial problems. Phase transitions have been successfully used to
analyze combinatorial optimization problems, characterize their typical-case
features and locate the hardest problem instances. In this paper, we study
phase transitions of the asymmetric Traveling Salesman Problem (ATSP), an
NP-hard combinatorial optimization problem that has many real-world
applications. Using random instances of up to 1,500 cities in which intercity
distances are uniformly distributed, we empirically show that many properties
of the problem, including the optimal tour cost and backbone size, experience
sharp transitions as the precision of intercity distances increases across a
critical value. Our experimental results on the costs of the ATSP tours and
assignment problem agree with the theoretical result that the asymptotic cost
of assignment problem is pi ^2 /6 the number of cities goes to infinity. In
addition, we show that the average computational cost of the well-known
branch-and-bound subtour elimination algorithm for the problem also exhibits a
thrashing behavior, transitioning from easy to difficult as the distance
precision increases. These results answer positively an open question regarding
the existence of phase transitions in the ATSP, and provide guidance on how
difficult ATSP problem instances should be generated
A near-optimal approximation algorithm for Asymmetric TSP on embedded graphs
We present a near-optimal polynomial-time approximation algorithm for the
asymmetric traveling salesman problem for graphs of bounded orientable or
non-orientable genus. Our algorithm achieves an approximation factor of O(f(g))
on graphs with genus g, where f(n) is the best approximation factor achievable
in polynomial time on arbitrary n-vertex graphs. In particular, the
O(log(n)/loglog(n))-approximation algorithm for general graphs by Asadpour et
al. [SODA 2010] immediately implies an O(log(g)/loglog(g))-approximation
algorithm for genus-g graphs. Our result improves the
O(sqrt(g)*log(g))-approximation algorithm of Oveis Gharan and Saberi [SODA
2011], which applies only to graphs with orientable genus g; ours is the first
approximation algorithm for graphs with bounded non-orientable genus.
Moreover, using recent progress on approximating the genus of a graph, our
O(log(g) / loglog(g))-approximation can be implemented even without an
embedding when the input graph has bounded degree. In contrast, the
O(sqrt(g)*log(g))-approximation algorithm of Oveis Gharan and Saberi requires a
genus-g embedding as part of the input.
Finally, our techniques lead to a O(1)-approximation algorithm for ATSP on
graphs of genus g, with running time 2^O(g)*n^O(1)
Approximation Algorithms for Multi-Criteria Traveling Salesman Problems
In multi-criteria optimization problems, several objective functions have to
be optimized. Since the different objective functions are usually in conflict
with each other, one cannot consider only one particular solution as the
optimal solution. Instead, the aim is to compute a so-called Pareto curve of
solutions. Since Pareto curves cannot be computed efficiently in general, we
have to be content with approximations to them.
We design a deterministic polynomial-time algorithm for multi-criteria
g-metric STSP that computes (min{1 +g, 2g^2/(2g^2 -2g +1)} + eps)-approximate
Pareto curves for all 1/2<=g<=1. In particular, we obtain a
(2+eps)-approximation for multi-criteria metric STSP. We also present two
randomized approximation algorithms for multi-criteria g-metric STSP that
achieve approximation ratios of (2g^3 +2g^2)/(3g^2 -2g +1) + eps and (1 +g)/(1
+3g -4g^2) + eps, respectively.
Moreover, we present randomized approximation algorithms for multi-criteria
g-metric ATSP (ratio 1/2 + g^3/(1 -3g^2) + eps) for g < 1/sqrt(3)), STSP with
weights 1 and 2 (ratio 4/3) and ATSP with weights 1 and 2 (ratio 3/2). To do
this, we design randomized approximation schemes for multi-criteria cycle cover
and graph factor problems.Comment: To appear in Algorithmica. A preliminary version has been presented
at the 4th Workshop on Approximation and Online Algorithms (WAOA 2006
New Inapproximability Bounds for TSP
In this paper, we study the approximability of the metric Traveling Salesman
Problem (TSP) and prove new explicit inapproximability bounds for that problem.
The best up to now known hardness of approximation bounds were 185/184 for the
symmetric case (due to Lampis) and 117/116 for the asymmetric case (due to
Papadimitriou and Vempala). We construct here two new bounded occurrence CSP
reductions which improve these bounds to 123/122 and 75/74, respectively. The
latter bound is the first improvement in more than a decade for the case of the
asymmetric TSP. One of our main tools, which may be of independent interest, is
a new construction of a bounded degree wheel amplifier used in the proof of our
results
- …