数独の問題がただ一つの解を持つことの証明

自作の数独問題が、ただ一つの答え(解)しか持たないことを証明するのは、どうしたらよいのでしょう？

以下のようにプロジェクトをダウンロードして、予定部に自作の数独問題を入力します。

このプロジェクトは、シフト勤務表において、複数解の出し方を示すデモプロジェクトです。

プロジェクト

プロジェクトは、以下です。

ダウンロードして、実装の参考にしてください。

求解

下記求解ボタンを押します。

求解して、二つの目の答えが見つからない、というエラーメッセージが出てくれば、解の唯一性が保証されます。

エラーメッセージがなく、二つの解が見つかってしまったときは、少なくとも二つ以上の解が存在する、ということになります。

オリジナル数独作成方法

1.適当に初期値を入力します。

2.求解して解(二つの解のどちらでもよい）を予定入力に送ります。

3.ブランク部を増やします。

4.求解して二つの解が出てくるまで、1.2を繰り返します。

5.取り消しボタンで一つ前の入力状態に戻ります。

6.解が二つないことを確認して完成です。

参考