four-thirds-conjecture

Here is 1 public repository matching this topic...

GiladR1979 / metric-tsp-nplus7-certificates

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

Add this topic to your repo

To associate your repository with the four-thirds-conjecture topic, visit your repo's landing page and select "manage topics."

Learn more