A nice tribute to well-known shortest path problems ... with a twist. I worked in reverse, starting from the end point and maintaining a work list of nodes to process.
A nice tribute to well-known shortest path problems ... with a twist. I worked in reverse, starting from the end point and maintaining a work list of nodes to process.
My trick was to find images with at least 5 clusters of 6 robots consecutively aligned (why not 4 and 8, lucky guess).
My trick was to find images with at least 5 clusters of 6 robots consecutively aligned (why not 4 and 8, lucky guess).
#golang #smtlib
Decided to use an SMT solver (z3) for finding the solution to these linear optimization problems. Golang text/template and os/exec were quite useful.
#golang #smtlib
Decided to use an SMT solver (z3) for finding the solution to these linear optimization problems. Golang text/template and os/exec were quite useful.