arXiv++ Combinatorics

Browse math.CO papers from arXiv

Separating subadditive Euclidean functionals

Published: 2015-01-08 | Updated: 2015-05-21
Comments: 32 pages, 5 figures. Branch and bound theorem is now unconditional

Abstract

If we are given $n$ random points in the hypercube $[0,1]^d$, then the minimum length of a Traveling Salesperson Tour through the points, the minimum length of a spanning tree, and the minimum length of a matching, etc., are known to be asymptotically $βn^{\frac{d-1}{d}}$ a.s., where $β$ is an absolute constant in each case. We prove separation results for these constants. In particular, concerning the constants $β_{\mathrm{TSP}}^d$, $β_{\mathrm{MST}}^d$, $β_{\mathrm{MM}}^d$, and $β_{\mathrm{TF}}^d$ from the asymptotic formulas for the minimum length TSP, spanning tree, matching, and 2-factor, respectively, we prove that $β_{\mathrm{MST}}^d<β_{\mathrm{TSP}}^d$, $2β_{\mathrm{MM}}^d<β_{\mathrm{TSP}}^d$, and $β_{\mathrm{TF}}^d<β_{\mathrm{TSP}}^d$ for all $d\geq 2$. We also asymptotically separate the TSP from its linear programming relaxation in this setting. Our results have some computational relevance, showing that a certain natural class of simple algorithms cannot solve the random Euclidean TSP efficiently.

BibTeX

Loading...