XYチェーン · ステップごとの解説

連鎖の各セルは二値です：R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}。同じセル内の2候補は強い関係にあり、一方が偽なら他方が現在の仮定のもとで真に強制されます。異なるセル間でつながる同じ数字の候補は互いに排他的です。両端 R5C8=4, R6C5=4 は同じ候補 4 を持ちます。

分岐 1：R5C8=4 が偽と仮定します。

R5C8=4 は偽です。R5C8 に残るのは R5C8=7 だけなので、これは真です。

ケース1：R5C8 は二値セル（R5C8=4, R5C8=7）です。もう一方が偽なので、R5C8=7 は現在の仮定のもとで真に強制されます。異なるセルの R5C4=7 とは排他的なので、それらを消します。

R5C4=7 は偽です。R5C4 に残るのは R5C4=3 だけなので、これは真です。

次の節点 R5C4 も二値セル（R5C4=3, R5C4=7）です。もう一方が偽なので、R5C4=3 は現在の仮定のもとで真に強制されます。異なるセルの R6C6=3 とは排他的なので、それらを消します。

R6C6=3 は偽です。R6C6 に残るのは R6C6=2 だけなので、これは真です。

次の節点 R6C6 も二値セル（R6C6=2, R6C6=3）です。もう一方が偽なので、R6C6=2 は現在の仮定のもとで真に強制されます。異なるセルの R6C5=2 とは排他的なので、それらを消します。

終点 R6C5 は二値セル（R6C5=2, R6C5=4）です。R6C5=2 が偽なので、R6C5=4 は現在の仮定のもとで真に強制され、対象 R6C8=4, R6C9=4 を除外します。

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。

始点 R5C8=4 が二値セル R5C8（R5C8=4, R5C8=7）で真と仮定します。セル内ではもう一方を、セル間では見えている競合候補 R5C8=7, R6C8=4, R6C9=4 を除外します。

2つの端点ケースですべての可能性を尽くし、どちらも R6C8=4, R6C9=4 を消します。仮の状態を取り消して削除します。

連鎖の各セルは二値です：R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}。同じセル内の2候補は強い関係にあり、一方が偽なら他方が現在の仮定のもとで真に強制されます。異なるセル間でつながる同じ数字の候補は互いに排他的です。両端 R1C4=3, R7C5=3 は同じ候補 3 を持ちます。

分岐 1：R1C4=3 が偽と仮定します。

R1C4=3 は偽です。R1C4 に残るのは R1C4=8 だけなので、これは真です。

ケース1：R1C4 は二値セル（R1C4=3, R1C4=8）です。もう一方が偽なので、R1C4=8 は現在の仮定のもとで真に強制されます。異なるセルの R1C8=8 とは排他的なので、それらを消します。

R1C8=8 は偽です。R1C8 に残るのは R1C8=6 だけなので、これは真です。

次の節点 R1C8 も二値セル（R1C8=6, R1C8=8）です。もう一方が偽なので、R1C8=6 は現在の仮定のもとで真に強制されます。異なるセルの R7C8=6 とは排他的なので、それらを消します。

R7C8=6 は偽です。R7C8 に残るのは R7C8=2 だけなので、これは真です。

次の節点 R7C8 も二値セル（R7C8=2, R7C8=6）です。もう一方が偽なので、R7C8=2 は現在の仮定のもとで真に強制されます。異なるセルの R7C6=2 とは排他的なので、それらを消します。

R7C6=2 は偽です。R7C6 に残るのは R7C6=4 だけなので、これは真です。

次の節点 R7C6 も二値セル（R7C6=2, R7C6=4）です。もう一方が偽なので、R7C6=4 は現在の仮定のもとで真に強制されます。異なるセルの R7C5=4 とは排他的なので、それらを消します。

終点 R7C5 は二値セル（R7C5=3, R7C5=4）です。R7C5=4 が偽なので、R7C5=3 は現在の仮定のもとで真に強制され、対象 R1C5=3, R8C4=3 を除外します。

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。

始点 R1C4=3 が二値セル R1C4（R1C4=3, R1C4=8）で真と仮定します。セル内ではもう一方を、セル間では見えている競合候補 R1C4=8, R1C5=3, R8C4=3 を除外します。

2つの端点ケースですべての可能性を尽くし、どちらも R1C5=3, R8C4=3 を消します。仮の状態を取り消して削除します。

連鎖の各セルは二値です：R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}。同じセル内の2候補は強い関係にあり、一方が偽なら他方が現在の仮定のもとで真に強制されます。異なるセル間でつながる同じ数字の候補は互いに排他的です。両端 R1C3=1, R3C9=1 は同じ候補 1 を持ちます。

分岐 1：R1C3=1 が偽と仮定します。

R1C3=1 は偽です。R1C3 に残るのは R1C3=9 だけなので、これは真です。

ケース1：R1C3 は二値セル（R1C3=1, R1C3=9）です。もう一方が偽なので、R1C3=9 は現在の仮定のもとで真に強制されます。異なるセルの R1C4=9 とは排他的なので、それらを消します。

R1C4=9 は偽です。R1C4 に残るのは R1C4=7 だけなので、これは真です。

次の節点 R1C4 も二値セル（R1C4=7, R1C4=9）です。もう一方が偽なので、R1C4=7 は現在の仮定のもとで真に強制されます。異なるセルの R2C4=7 とは排他的なので、それらを消します。

R2C4=7 は偽です。R2C4 に残るのは R2C4=9 だけなので、これは真です。

次の節点 R2C4 も二値セル（R2C4=7, R2C4=9）です。もう一方が偽なので、R2C4=9 は現在の仮定のもとで真に強制されます。異なるセルの R2C8=9 とは排他的なので、それらを消します。

R2C8=9 は偽です。R2C8 に残るのは R2C8=5 だけなので、これは真です。

次の節点 R2C8 も二値セル（R2C8=5, R2C8=9）です。もう一方が偽なので、R2C8=5 は現在の仮定のもとで真に強制されます。異なるセルの R2C5=5 とは排他的なので、それらを消します。

R2C5=5 は偽です。R2C5 に残るのは R2C5=6 だけなので、これは真です。

次の節点 R2C5 も二値セル（R2C5=5, R2C5=6）です。もう一方が偽なので、R2C5=6 は現在の仮定のもとで真に強制されます。異なるセルの R2C6=6 とは排他的なので、それらを消します。

R2C6=6 は偽です。R2C6 に残るのは R2C6=1 だけなので、これは真です。

次の節点 R2C6 も二値セル（R2C6=1, R2C6=6）です。もう一方が偽なので、R2C6=1 は現在の仮定のもとで真に強制されます。異なるセルの R2C9=1 とは排他的なので、それらを消します。

R2C9=1 は偽です。R2C9 に残るのは R2C9=7 だけなので、これは真です。

次の節点 R2C9 も二値セル（R2C9=1, R2C9=7）です。もう一方が偽なので、R2C9=7 は現在の仮定のもとで真に強制されます。異なるセルの R3C9=7 とは排他的なので、それらを消します。

終点 R3C9 は二値セル（R3C9=1, R3C9=7）です。R3C9=7 が偽なので、R3C9=1 は現在の仮定のもとで真に強制され、対象 R3C1=1, R3C2=1, R3C3=1 を除外します。

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。

始点 R1C3=1 が二値セル R1C3（R1C3=1, R1C3=9）で真と仮定します。セル内ではもう一方を、セル間では見えている競合候補 R1C3=9, R3C1=1, R3C2=1, R3C3=1 を除外します。

2つの端点ケースですべての可能性を尽くし、どちらも R3C1=1, R3C2=1, R3C3=1 を消します。仮の状態を取り消して削除します。