Exact rational certificates for a candidate conditional metric-TSP 4/3 n+7 support theorem on the subtour-elimination polytope; external review requested.
reproducible-research linear-programming graph-theory tsp operations-research combinatorial-optimization approximation-algorithms traveling-salesman-problem computer-assisted-proof polyhedral-combinatorics mathematical-proof exact-arithmetic subtour-elimination metric-tsp subtour-elimination-polytope integrality-gap four-thirds-conjecture held-karp-relaxation
-
Updated
Jul 22, 2026 - Python