用計算機推理的方法求解數字填圖問題

對文獻中的數字填圖問題，文獻分別考慮簡單的窮舉、排列的生成算法、深度優先搜索算法三種方法求解。指出深度優先搜索算法是利用窮舉的方法求解數學問題的有效方法：并對“判定等式成立的條件”不同表示方法和不同編譯環境下的結果進行比較，分析產生錯誤結果的原因，給出了用計算機編程解決整數問題時應該注意的一些問題。模擬人思考問題的過程，結合專家系統的相關知識，嘗試讓計算機擁有一定的推理能力，嘗試用計算機推理的方法求解或證明數學問題。要解決的關鍵問題為知識的表示、推理機的設計。以圖1中的數字填圖問題(每個方框表示一個1—9的數字，且任意兩個數字互不相同，問有多少解)為例給出具體的實現過程。