一番優先度が低いのから完成してしまった。 目標達成ですが引き続きがんばります。 問題作成する人は絶対ツール使って解がただひとつだけ求まることを確認していると思うので、おそらくソルバーを書くこともできるでしょう。 今回作ったのはひとセル1ビットで整数で扱っているので、最大 32x32 までです。 いま無料配信中のポケモンピクロス程度なら 0 秒で解けますが、どこかで拾った問題は 15x15 で 3 時間かかりました。 バックトラッキングとは別に、人間同様■になるセル・×になるセルを論理的に求めるアルゴリズムも実装しました。 仮置きが必要ない問題ならこれで解けます。こちらは解く過程が見られるので楽しいです。 いぎょさんの作品も期待してますね!