関数型プログラミング言語Haskell Part28 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0072デフォルトの名無しさん
2015/04/16(木) 23:22:05.24ID:3W63KRV6最初に効率を一切考えない、正しい解法も含むがいらない処理も沢山してしまう解法を作り、
その後不要な計算をしないよう改良していく手法。
数独ソルバーなら、空欄に1-9の全てのパターンを網羅した9x9行列のリストを作り、
その中から数独のルールに適合するものを取り出す、という方法がスタートになる。
10^(空欄の数)のパターンを全て計算するのは現実的ではないから、必要ない計算をしないようにしていく。
http://www.cs.nott.ac.uk/~gmh/sudoku.lhs
これがその本の元ネタでしょう。
■ このスレッドは過去ログ倉庫に格納されています