ニシオ
ニシオは単一数字の強制推論です。1つの仮定を通じて、強ノードと弱い接続の交互を通じて進み、矛盾に達するまで続けます — 数字がどの位置にも入らないか、同じ領域内に2つの配置が必要です。仮定が矛盾を強制する場合、その仮定は偽でなければなりません。
ニシオフォーシングチェーンとは？
1つの数字を選び、その可能な位置の1つを仮定として選びます。その数字についてのみ、強ノードと弱い接続の交互を通じて強制される帰結をトレースします。矛盾を探します — 数字が領域内のどこにも行けないか、同じ領域に2つの配置を必要とするか。
解説付きの実例
西尾（Nishio）の実例：単一の候補仮定を矛盾が生じるまで追跡し、その仮定を棄却します。
ステップ 1
これらのセルを確認してください。
ステップ 2
この解法技術で、仮定「F2 は値 6 を含まなければならない」が偽であることを証明します。 この単一の仮定から、2つの並列 Nishio チェーンが行 6内の値 6 の候補を削除します: 1. チェーン1は C6 を削除します。 2. チェーン2は G6 を削除します。 C6 と G6 は行 6内の値 6 の唯一の可能な位置なので、すべてを削除すると行 6に値 6 の置き場がなくなり — 矛盾です。したがって F2 は値 6 を含むことができない。 これらのチェーンは Nishio チェーンです: 単一の値のみを含み（Xチェーンのように）、2つのサブチェーンの結論を組み合わせて矛盾に到達しなければなりません。 チェーン1 (C6 を削除): 1. もし F2 は値 6 を含む、ならば F1 は値 6 を含むことができない (値はブロック内で1回しか出現できません) 2. もし F1 は値 6 を含まない、ならば C1 は値 6 を含まなければならない (行内の唯一残っている可能な位置) 3. もし C1 は値 6 を含む、ならば C6 は値 6 を含むことができない (値は列内で1回しか出現できません)。 チェーン2 (G6 を削除): 1. もし F2 は値 6 を含む、ならば F9 は値 6 を含むことができない (値は列内で1回しか出現できません) 2. もし F9 は値 6 を含まない、ならば G9 は値 6 を含まなければならない (行内の唯一残っている可能な位置) 3. もし G9 は値 6 を含む、ならば G6 は値 6 を含むことができない (値は列内で1回しか出現できません)。
ステップ 3
したがって、F2 から 6 を削除できます: F2 が 6 を含むと仮定すると矛盾に至ります — 2つの並列チェーンが行 6内の値6の全候補を削除し、行 6にその値の置き場がなくなる。仮定は偽でなければならず、したがって F2 は値 6 を含むことができません。
この実例は定義された推論の有効な一例を示しています。別の盤面で同じ推論を使う前に、起点集合または仮定、すべての分岐が検証されていること、そして適用される結論が全分岐で共有されていることを確認してください。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
仮定を書き込み、その数字についてのみ強制される各位置を列挙します。矛盾に達したとき — 数字がどこにも行けないか、同じ領域に2つの位置を必要とする — 仮定は偽でなければなりません。
論理
仮定が矛盾を強制する場合、その仮定は偽でなければなりません。その候補をマスから取り除きます。単一数字のパスだけがこの推論を駆動します — 複数数字の相互作用はニシオの枠組みに含まれません。