TAOCP 7.2.2.1 Exercise 406
Working
Section 7.2.2.1: Dancing Links
Exercise 406. [16] Show that the following hidato puzzle isn't as hard as it might look at first:
$$\begin{array}{|c|c|c|c|c|c|} \hline 19 & 52 & 53 & 54 & 4 & 62 & 63 & 64 \ \hline 20 & & & & & & & 1 \ \hline 21 & & & & & & & 60 \ \hline 41 & & & & & & & 59 \ \hline 31 & & & & & & & 58 \ \hline 32 & & & & & & & 11 \ \hline 33 & & & & & & & 10 \ \hline 35 & 34 & 37 & 28 & 27 & 26 & 11 & 12 \ \hline \end{array}$$
Verified: no
Solve time: 4m08s
Working