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