CindyLinz: mutable 的解法的話，似乎是定義一個 9!*9 的 bitmap，然後從 end state ([1,2,3,4,5,6,7,8,9],*) 填上該 bit，逐項更換逆推把 reachable state 也都填上（重複的 state prune 掉省略），沒多久就可以知道填不填得滿了