Metric TSP subtour-LP integrality-gap constant
Description of constant
In the symmetric metric traveling salesman problem, one is given a complete graph $K_n=(V,E)$ with a nonnegative symmetric cost function $c:E\to \mathbb{R}_{\ge 0}$ satisfying the triangle inequality. For $S\subseteq V$, let $\delta(S)$ denote the set of edges with exactly one endpoint in $S$, and write $\delta(v):=\delta({v})$. Let $\mathrm{TSP}(c)$ be the minimum cost of a Hamiltonian cycle in $K_n$. The subtour-elimination linear program has optimum value \(\mathrm{SEP}(c):=\min \sum_{e\in E} c_e x_e\) subject to \(\sum_{e\in \delta(v)} x_e = 2 \quad \text{for all } v\in V,\) \(\sum_{e\in \delta(S)} x_e \ge 2 \quad \text{for all } \emptyset \subsetneq S \subsetneq V,\) \(x_e \ge 0 \quad \text{for all } e\in E.\) [KKO2022-metric-def] [KKO2022-lp-def]
We define \(C_{75} := \sup \frac{\mathrm{TSP}(c)}{\mathrm{SEP}(c)},\) where the supremum ranges over all finite metric TSP instances. Equivalently, $C_{75}$ is the worst-case integrality gap of the subtour-elimination LP for metric TSP. [Hou2014-gap-4over3]
The best established range is \(\frac{4}{3} \le C_{75} \le \frac{3}{2} - 2.18 \cdot 10^{-34},\) and the long-standing conjecture is that $C_{75}=\frac{4}{3}$. [Hou2014-gap-4over3] [GKL2024-ub-2p18e-34] [KKO2022-ub-eps]
Known upper bounds
| Bound | Reference | Comments |
|---|---|---|
| $3/2$ | [KKO2022] | Classical upper bound, explicitly identified there as the bound from Wolsey (1980). [KKO2022-ub-eps] |
| $3/2-\epsilon$ for some $\epsilon > 10^{-36}$ | [KKO2022] | First strict improvement below $3/2$. [KKO2022-ub-eps] |
| $3/2 - 2.18 \cdot 10^{-34}$ | [GKL2024] | Applying the stated LP-relative guarantee to an optimal subtour-LP solution yields the best currently established general upper bound. [GKL2024-ub-2p18e-34] |
Known lower bounds
| Bound | Reference | Comments |
|---|---|---|
| $1$ | [KKO2022] | Trivial, since $\mathrm{SEP}(c)$ is a relaxation of the tour problem. [KKO2022-lp-def] |
| $4/3$ | [Hou2014] | Classical asymptotic lower bound: there exists a family of metric TSP instances whose integrality ratios converge to $4/3$. [Hou2014-gap-4over3] |
Additional comments and links
-
The $4/3$ conjecture. The central conjecture is that $C_{75}=4/3$. [KKO2022-ub-eps]
-
Recent partial progress. Villa, Vercesi, Barta, and Mastrolilli proved the conjectured bound for instances whose optimal SEP solution has at most $n+6$ non-zero components. [VVBM2025-nplus6]
-
Algorithmic significance. The better-than-$3/2$ breakthroughs for general metric TSP work by rounding solutions of this LP, so $C_{75}$ is the exact worst-case constant attached to this relaxation. [KKO2022-lp-def] [GKL2024-ub-2p18e-34]
References
- [GKL2024] Gurvits, Leonid; Klein, Nathan; Leake, Jonathan. From Trees to Polynomials and Back Again: New Capacity Bounds with Applications to TSP. In: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Leibniz International Proceedings in Informatics (LIPIcs) 297 (2024), 79:1–79:20. DOI: 10.4230/LIPIcs.ICALP.2024.79. arXiv PDF: 2311.09072. Google Scholar
- [GKL2024-ub-2p18e-34] loc: arXiv PDF p. 10 (paper p. 9), Section 4.2 “Summary of Probabilistic Bounds and New Approximation Factor”, file arXiv:2311.09072 PDF quote: “Lemma 4.5. Let $p$ be a lower bound on the probabilities guaranteed by (1) - (6) for $\epsilon_{1/2} \le 0.0002$, and suppose $p \le 10^{-4}$. Then given $x \in PSub$, the max entropy algorithm returns a solution of expected cost at most $(3/2 - 9.7p^2 \cdot 10^{-17}) \cdot c(x)$. As we improve the bounds on $p$ to $1.5 \cdot 10^{-9}$, an immediate corollary is the following: Corollary 4.6. The max entropy algorithm is a $3/2 - 2.18 \cdot 10^{-34}$ approximation algorithm for metric TSP.”
- [Hou2014] Hougardy, Stefan. On the integrality ratio of the subtour LP for Euclidean TSP. Operations Research Letters 42 (2014), no. 8, 495–499. DOI: 10.1016/j.orl.2014.08.009. arXiv PDF: 1402.5904v3. Google Scholar
- [Hou2014-gap-4over3] loc: arXiv v3 PDF p. 2, Section 1 “Introduction”, file arXiv:1402.5904v3 PDF quote: “The integrality ratio of the subtour LP for the metric TSP is the supremum of the length of an optimum TSP tour over the optimum solution of the subtour LP. Wolsey [11] has shown that the integrality ratio of the subtour LP for metric TSP is at most $3/2$. A well known conjecture states that the integrality ratio of the subtour LP for metric TSP is $4/3$. This conjecture seems to be mentioned for the first in 1990 [10, page 35] but according to [4] it was already well known several years before. A proof of this conjecture yields a polynomial time algorithm that approximates the value of an optimum TSP tour within a factor of $4/3$. It is known that the integrality ratio of the subtour LP is at least $4/3$ as there exists a family of metric TSP instances whose integrality ratio converges to $4/3$ (see for example [10]).”
- [KKO2022] Karlin, Anna R.; Klein, Nathan; Oveis Gharan, Shayan. A (Slightly) Improved Bound on the Integrality Gap of the Subtour LP for TSP. In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS 2022), 832–843. DOI: 10.1109/FOCS54457.2022.00084. arXiv PDF: 2105.10043v3. Google Scholar
- [KKO2022-metric-def] loc: arXiv v3 PDF p. 3 (paper p. 1), Section 1 “Introduction”, file arXiv:2105.10043v3 PDF quote: “In an instance of TSP we are given a set of $n$ cities $V$ along with their pairwise symmetric distances, $c : V \times V \to \mathbb{R}_{\ge 0}$. The goal is to find a Hamiltonian cycle of minimum cost. In the metric TSP problem, which we study here, the distances satisfy the triangle inequality. Therefore, the problem is equivalent to finding a closed Eulerian connected walk of minimum cost.”
- [KKO2022-lp-def] loc: arXiv v3 PDF p. 3 (paper p. 1), Section 1 “Introduction”, file arXiv:2105.10043v3 PDF quote: “The method introduced in [KKO21] exploits the optimum solution to the following linear programming relaxation of metric TSP studied by [DFJ59; HK70; GB93], also known as the subtour elimination LP…”
- [KKO2022-ub-eps] loc: arXiv v3 PDF p. 3 (paper p. 1), Section 1 “Introduction”, file arXiv:2105.10043v3 PDF quote: “However, [KKO21] did not show that the integrality gap of the subtour elimination polytope is bounded below $3/2$, and therefore did not make progress towards the ‘$4/3$ conjecture’ which posits that the integrality gap of LP (1) is $4/3$. In this work we remedy this discrepancy by proving the following theorem, improving upon the bound of $3/2$ from Wolsey [Wol80] in 1980: Theorem 1.1. Let $x$ be a solution to LP (1) for a TSP instance. For some absolute constant $\epsilon > 10^{-36}$, the max entropy algorithm outputs a TSP tour with expected cost at most $3/2 - \epsilon$ times the cost of $x$. Therefore the integrality gap of the subtour elimination LP is at most $3/2 - \epsilon$.”
- [VVBM2025] Villa, Tullio; Vercesi, Eleonora; Barta, Janos; Mastrolilli, Monaldo. The Integrality Gap of the Traveling Salesman Problem is $4/3$ if the LP Solution Has at Most $n+6$ Non-zero Components. arXiv preprint 2507.07003. arXiv PDF: 2507.07003. Google Scholar
- [VVBM2025-nplus6] loc: arXiv PDF p. 1, Abstract, file arXiv:2507.07003 PDF quote: “Abstract. We address the classical Dantzig–Fulkerson–Johnson formulation of the symmetric metric Traveling Salesman Problem and study the integrality gap of its linear relaxation, namely the Subtour Elimination Problem (SEP). This integrality gap is conjectured to be $4/3$. We prove that, when solving a problem on $n$ nodes, if the optimal SEP solution has at most $n + 6$ non-zero components, then the conjecture is true.”
Contribution notes
Prepared with assistance from ChatGPT 5.2 Pro.