二値AICリング
双方向Yサイクルは、二値マスを使用する交互推論リングです。各強ノードは網羅的な二値選択肢を比較し、弱い接続は接続された命題が両方とも真になれないことを示します。連続する閉鎖が検証されると、リングは各領域の数字カウントを保存する飽和した候補状態に解決します。
二値AICリングとは？
Yサイクルは、2つの網羅的な候補を持つマスの命題をトレースします。強ノードはマス内のどちらの数字でも生き残れることを述べ、弱い接続は接続された命題が両方とも保持できないことを述べます。
解説付きの実例
二値AICリングの実例：2値マスを通る強リンクが、経路とは独立に検証された弱推論によって閉じられています。
ステップ 1
これらのセルを確認してください。
ステップ 2
ハイライトされた候補は閉じた Bivalue AIC Ring (B3:5=4)-(G3:4=1)-(I2:1=2)-(I9:2=4)-(H7:4=7)-(A7:7=4)-(A1:4=5) を形成します。各等号は強リンク (XOR)、各ダッシュは弱推論 (NAND) です。最後のリンク、A1=5 から B3=5 への戻りは、パスとは独立に成立する弱推論です — それがループを閉じ、端点定理が相補的な強推論を供給するため、リングのすべての弱い辺がちょうど1つのペアになります。 番号付きの含意トレースは交互のリンクを示すためにリングを一方向にたどります。これは閉じた構造を説明するもので、追加の強制仮定ではありません。 1. もし A1 は値 5 を含む、ならば B3 は値 5 を含むことができない (値はブロック内で1回しか出現できません) 2. もし B3 は値 5 を含まない、ならば B3 は値 4 を含まなければならない (セル内の唯一残っている可能な値) 3. もし B3 は値 4 を含む、ならば G3 は値 4 を含むことができない (値は行内で1回しか出現できません) 4. もし G3 は値 4 を含まない、ならば G3 は値 1 を含まなければならない (セル内の唯一残っている可能な値) 5. もし G3 は値 1 を含む、ならば I2 は値 1 を含むことができない (値はブロック内で1回しか出現できません) 6. もし I2 は値 1 を含まない、ならば I2 は値 2 を含まなければならない (セル内の唯一残っている可能な値) 7. もし I2 は値 2 を含む、ならば I9 は値 2 を含むことができない (値は列内で1回しか出現できません) 8. もし I9 は値 2 を含まない、ならば I9 は値 4 を含まなければならない (セル内の唯一残っている可能な値) 9. もし I9 は値 4 を含む、ならば H7 は値 4 を含むことができない (値はブロック内で1回しか出現できません) 10. もし H7 は値 4 を含まない、ならば H7 は値 7 を含まなければならない (セル内の唯一残っている可能な値) 11. もし H7 は値 7 を含む、ならば A7 は値 7 を含むことができない (値は行内で1回しか出現できません) 12. もし A7 は値 7 を含まない、ならば A7 は値 4 を含まなければならない (セル内の唯一残っている可能な値) 13. もし A7 は値 4 を含む、ならば A1 は値 4 を含むことができない (値は列内で1回しか出現できません) 14. もし A1 は値 4 を含まない、ならば A1 は値 5 を含まなければならない (セル内の唯一残っている可能な値)
ステップ 3
したがって 値 4 を削除できます: 閉包によりリングのすべての弱い辺がちょうど1つのペアになり、その2つの交互の割り当てのうちちょうど1つが成立します — そしてマークされた各候補は両方で真のリング命題と衝突します。
二値リングはすべての強リンク（XOR）を1つのマスの2つの数字に通し、経路とは独立に検証された弱推論（NAND）によって閉じます。端点定理が閉じるペアを飽和させるため、任意の弱辺の両側と競合する候補を消去できます。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
すべての強ノードと弱い接続、特にリング閉鎖を書き込みます。リングが閉じると、弱い接続ペアは保存する数字を割り当てられ、弱い関係だけでなく飽和関係になります。
論理
完全なリングは、各関係領域が各数字をちょうど1回保持する必要がある解決済みの候補レイアウトを提供します。リングの外で、この飽和状態を乱す候補は取り除かれます。