有解數獨的公式嗎？

數獨中的數字 1-9 只是符號。你可以用字母或顏色替換它們，謎題將保持不變。重要的是單元內的唯一性——每個符號在每行、每列和每宮中恰好出現一次。儲存格之間沒有公式可以利用的算術關係。

數獨是一個約束滿足問題。你從 81 個儲存格開始，每個儲存格受到其行、列和宮的約束。放置一個數字會傳播新的約束——該數字從其他 20 個儲存格中被消除。連鎖反應持續直到謎題被解決或需要更複雜的技巧。

技巧層級，從最簡單到最難：

• 裸單 - 一個儲存格中剩下一個候選項
• 隱藏單一 - 一個單元中一個數字只有一個位置
• 裸對與隱藏對、三數組
• X翼、劍魚
• 鏈條與多步邏輯

電腦使用 backtracking search 解決 Sudoku——嘗試一個數字，傳播約束，如果達到矛盾則逆轉。對人類來說，這等同於猜測，既不令人滿意也沒有教育意義。人類解題總是偏好保證正確性而無需任何試錯的演繹技巧。