6.解析


4段階に分けてあります。
プログラム的な分類であり、人間の感覚に則したものではありません。

 メニュー[解析]-[簡易]
 メニュー[解析]-[通常]
 メニュー[解析]-[単独 仮定]
 メニュー[解析]-[複数 仮定]

 メニュー[解析]-[# 無視]

「# 無視」のチェックを外すと、数値未定の三角「# 」を解析前に検出するようになります。


・簡易
単純に縦横の制限だけで、入りうる数字が1個に定まるマスを確定していく
これで解ききれる問題は多い

・通常
実際に全ての分割パターンをマスに当てはめ、入りうるか確かめていく
これでほとんどの問題が解ける


以下は背理法を使うので、時間がかかる場合があります。
大きな問題や別解の多い問題だと特に。

終わらない場合は途中でキャンセルしてください。


・単独 仮定
1段階だけ先読み(背理法)をして、1個にしぼれるマスを探す

作者の知る範囲では、全ての問題がこれで解けた
しかし、カックロで背理法を使わねば解けないとは難しすぎるのではないか

・複数 仮定
無限に先読み(背理法)をし、解を探す

理論的には、これで解けない問題はない
もし解けなければ、複数解がある

注:ここまでを必要とする問題がないため、動作確認が不十分です。
バグがあるかもしれません。

戻る