TAOCP 7.2.2.1 Exercise 422
Working
Section 7.2.2.1: Dancing Links
Exercise 422. [21] Show that the "weak solutions" to any given masyu puzzle are the solutions to an easily constructed XCC problem, by adapting the solution of exercise 412.
Verified: no
Solve time: 3m04s
Working