work on held-karp