held-karp-single tableau complete