Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR11-097 | 17th April 2014 20:49

Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem

RSS-Feed




Revision #1
Authors: Thomas Watson
Accepted on: 17th April 2014 20:49
Downloads: 918
Keywords: 


Abstract:

We study the lift-and-project procedures of Lov{\'a}sz-Schrijver and Sherali-Adams applied to the standard linear programming relaxation of the traveling salesperson problem with triangle inequality. For the asymmetric TSP tour problem, Charikar, Goemans, and Karloff (FOCS 2004) proved that the integrality gap of the standard relaxation is at least $2$. We prove that after one round of the Lov{\'a}sz-Schrijver or Sherali-Adams procedures, the integrality gap of the asymmetric TSP tour problem is at least $3/2$, with a caveat on which version of the standard relaxation is used. For the symmetric TSP tour problem, the integrality gap of the standard relaxation is known to be at least $4/3$, and Cheung (SIOPT 2005) proved that it remains at least $4/3$ after $o(n)$ rounds of the Lov{\'a}sz-Schrijver procedure, where $n$ is the number of nodes. For the symmetric TSP path problem, the integrality gap of the standard relaxation is known to be at least $3/2$, and we prove that it remains at least $3/2$ after $o(n)$ rounds of the Lov{\'a}sz-Schrijver procedure, by a simple reduction to Cheung's result.


Paper:

TR11-097 | 7th July 2011 00:03

Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem





TR11-097
Authors: Thomas Watson
Publication: 7th July 2011 13:40
Downloads: 3315
Keywords: 


Abstract:

We study the lift-and-project procedures of Lovasz-Schrijver and Sherali-Adams applied to the standard linear programming relaxation of the traveling salesperson problem with triangle inequality. For the asymmetric TSP tour problem, Charikar, Goemans, and Karloff (FOCS 2004) proved that the integrality gap of the standard relaxation is at least 2. We prove that after one round of the Lovasz-Schrijver or Sherali-Adams procedures, the integrality gap of the asymmetric TSP tour problem is at least 3/2, with a small caveat on which version of the standard relaxation is used. For the symmetric TSP tour problem, the integrality gap of the standard relaxation is known to be at least 4/3, and Cheung (SIOPT 2005) proved that it remains at least 4/3 after $o(n)$ rounds of the Lovasz-Schrijver procedure, where $n$ is the number of nodes. For the symmetric TSP path problem, the integrality gap of the standard relaxation is known to be at least 3/2, and we prove that it remains at least 3/2 after $o(n)$ rounds of the Lovasz-Schrijver procedure, by a simple reduction to Cheung's result.



ISSN 1433-8092 | Imprint