« 神保町のイルミネーション | Main | 続・神保町の師走 »

Dec 26, 2007

数独解析プログラム

 前回数独のことを書いたのはちょうど1年前のことである。そのとき新しく始めたと書いた新書版の本に,その後も断続的に取り組んでいるが,まだ終わっていない。全部で111問あるうちの94問目まできたところである。

 ネット上には,数独を解くPC用プログラムもいろいろあるようだ。しかし,数独はマス目を埋めるプロセスがすべてだから,プログラムに解答を教えてもらってもまったくありがたくない。
 ひとつだけたまにお世話になっているのは suudo9.xls というプログラムである(→所在地)。これは,単純に基本ルールを適用していくだけでどこまで解けるかを,Excelのシート上で解析するものである。(したがって,あるレベルまでの問題は完全に解けてしまう。)
 上記の本の問題で,通常の方法で埋めていき,空白があと27マスになったところでそれ以上どうしても進まないということがあった。そこで,この問題の解析を suudo9.xls に命じたところ,私がたどりついたのと同じ状態で止まった。これで,ここから先は「仮定法」(→参照)を用いないと解けないとわかる。すなわち,suudo9.xls と「見解」が一致すれば,安心して(?)仮定法の適用を始めることができる。
 プログラム作者の言葉では「解析レベルは90%ぐらい」ということだが,実感としてはもっと精度は高い。しかし確かに100%ではなく,私の方が(仮定法を使わずに)一歩先まで行ったこともあった。

|

« 神保町のイルミネーション | Main | 続・神保町の師走 »

Comments

Post a comment



(Not displayed with comment.)




TrackBack

TrackBack URL for this entry:
http://app.cocolog-nifty.com/t/trackback/23118/17482173

Listed below are links to weblogs that reference 数独解析プログラム:

« 神保町のイルミネーション | Main | 続・神保町の師走 »