BACK ペンシルパズルソルバー (プログラミングパズルへのお誘い) 　このサイトはペンシルパズルをソルバーに解かせる為の場所ではなく、プログラミングを学習中の 人達が自分の書いたプログラムがパズル問題を解いた時の感動を味わえる一助になればと開設しました。 下手くそなソースコードを閲覧出来るので参考になればと思います。丸ごとコピーもOKです。 ・演繹法と制約伝播 　タイトル ロジック構成 感　　想 ヤギとオオカミ 入門的 ぬりかべ 激ムズ 数独 楽 勝 　・参考にしたパズル問題集 　　ペンシンパズル研究所 　　ニコリ系パズルの逆襲 　ペンシルパズルでは最もよく使われる探索法で、 基本的な幾つかのルールを各所に適用し、それが 連鎖反応のように広がって全体が解へと導かれて いく探索法。 ・背理法 　ある空きマスが〇か×のどちらかである場合、 もし仮に〇と仮定するとどこかで不都合なことが 生じるなら最初の〇の仮定は間違いで×が正解だと 判る探索法。 ・再帰呼出し 　コンピューターらしい全探索アルゴリズムです。 ただし、ペンシルパズルは一般的に空きマスが多く、 かなりの部分を前述の探索で埋めておかないと 使い物になりません。