フォーシングフォールバック

分岐が正直なツールであるとき

これらのメソッドは意図的に場合分けを使います。フォーシングネットは「ちょうど1つ」という制約 — セルの全候補、または領域内のある数字の全位置 — から始まり、すべての分岐で共有される結論だけを残します。ニシオは1つの候補を試し、その分岐がその数字のルールと矛盾したら取り下げます。

動的フォーシングチェーンは分岐途中で発見された含意が分析を拡張することを許し、入れ子形式はチェーンが内部で別のチェーンを呼び出すことを許します。これらはこのリファレンスで最も強力な項目であり、同時に試行錯誤に最も近いものでもあります。各ページはソース集合と共有される結論を明示しているため、推論はなお検証可能です。