用SQL求解數獨(Sudoku)

看來用XSLT解數獨已經沒有挑戰性了， 因為XSLT是披著XML外衣的函數程式設計語言。所以閑人中的閑人們用新時代的彙編--SQL，來解決數獨問題。當然不是SQL 92了，而是用了Oracle10g裡介紹的MODEL語句。這麼看來，鄒鍵老大用SQL解簡單演算法題也不算離譜。:-D

Oracle的MODEL語句允許我們建立多維陣列，並通過設定規則來處理數組，得到新的結果。規則本身可以遞迴。計算後數組本身不必被破壞。聽上去是不是像用Oracle作背景Excel？不過我提到過Excel也是函數編程系統嗎？用SQL解數獨的基本思路就是用MODEL語句描述數獨成立的規則，當應用select語句時，這些規則被執行，滿足規則的數組也就是數獨答案就被搜尋出來了。

不過我還是對SQL興趣不大。對Oracle更沒有興趣。只是覺得這種奇技淫巧有想象力，因而有意思。就好像有人用regex（不是嚴格意義的regular expression）解決數獨問題一樣：regex匹配是NP-complete問題，而數獨也是。所有從regex規約到Sudoku肯定可行。於是我們為給定的數獨謎面建立一坨字串和一坨模式，用regex引擎匹配它們。字串匹配成功的充要條件是該數專屬解。