In this paper we study the special case of Graphic TSP where the underlying graph is a power law graph (PLG). We give a refined analysis of some of the current best approximation algorithms and show that an improved approximation ratio can be achieved for certain ranges of the power law exponent β. For the value of power law exponent β = 1.5 we obtain an approximation ratio of 1.34 for Graphic TSP. Moreover we study the (1, 2)-TSP with the underlying graph of 1-edges being a PLG. We show improved approximation ratios in the case of underlying deterministic PLGs for β greater than 1.666. For underlying random PLGs we further improve the analysis and show even better expected approximation ratio for the range of β between 1 and 3.5. On the other hand we prove the first explicit inapproximability bounds for (1, 2)-TSP for an underlying power law graph., where E k is the expected lower bound on the number of 2-edges in an optimum tour.On the other hand we show that for β > 1, the Power Law (1, 2)-TSP is NP-hard to approximate within approximation ratio (ζ(β)+ 1 /2)·3 β−1 ·2·(β−1)·354+1 (ζ(β)+ 1 /2)·3 β−1 ·2·(β−1)·354 . This gives an approximation lower bound of 1.00086 for β = 1.2 and of 1.0012 for β = 1.1.
Organization of the PaperIn Section 2 we give an outline of the methods and constructions used in the paper. Section 3 provides the definition of the PLG model due to [ACL01] and related notations. In Section 4 we describe our results for the Graphic TSP on power law graphs. In Section 5 we present our results on the (1, 2)-TSP with underlying power law graph. Section 5.1 contains the analysis of the algorithm from [PY93] for deterministic power law graphs. Section 5.2 deals with the case of a large power law exponent. In Section 5.3 we consider the case when the underlying graph is a random PLG. Approximation lower bounds are given in Section 5.4. 2 8