【課題】
唯一解の数理パズルを高速に生成することができるシステムを提供する。

【解決手段】
複数解を持つようなパズルであれば一般に生成は容易である。
そこで本パズル自動生成エンジンはパズルの持つ解の個数に着目し、
その値が減少するように制約条件を部分的に繰り返し変更してやることで
最終的に唯一解のパズルを得ることを特徴とする。
但し解の個数を計算するのは通常困難であるため
その代用として、不確定変数の個数もしくは候補数の総和を用いる。
（もっと読む）