Skip to content
#

held-karp

Here are 26 public repositories matching this topic...

Motion Planning Group Project - Tried to find a shortest watchman route (robot shortest path) by solving the art gallery problem to find the optimal scan locations, and then connected these scan locations by solving the travelling salesman problem

  • Updated Aug 22, 2022
  • Python

Machine-checked Lean 4 formalization of TSP complexity barriers, Held-Karp integrality gap (Petersen graph), and Christofides 3/2-approximation (0 sorries).

  • Updated Nov 5, 2026
  • Lean

Add this topic to your repo

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

Learn more