Upper bounds on ATSP neighborhood size

  • Authors:
  • Gregory Gutin;Anders Yeo

  • Affiliations:
  • Department of Computer Science, Royal Holloway, University of London, Egham, Surrey, TW20 0EX, UK;Department of Computer Science, Royal Holloway, University of London, Egham, Surrey, TW20 0EX, UK

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2003

Quantified Score

Hi-index 0.04

Visualization

Abstract

We consider the Asymmetric Traveling Salesman Problem (ATSP) and use the definition of neighborhood by Deineko and Woeginger (see Math. Programming 87 (2000) 519-542). Let µ(n) be the maximum cardinality of polynomial time searchable neighborhood for the ATSP on n vertices. Deineko and Woeginger conjectured that µ(n) n - 1)! for any constant β 0 provided P ≠ NP. We prove that µ(n) n - k)! for any fixed integer k ≥ 1 and constant β 0 provided NP ⊈ P/poly, which (like P ≠ NP) is believed to be true. We also give upper bounds for the size of an ATSP neighborhood depending on its search time.