Nice Loop / AIC · ステップごとの解説

このレッスンは HoDoKu の通常候補ノードによる Nice Loop / AIC 一式を扱います。不連続ループの削除と確定、Type 1、Type 2、連続ループです。「R1C6=1 は真」から R1C6=1 を確認し、6列、2行、9列、7行、ボックス5、5行、1列、9行、8列 の強リンクと弱リンクを1ページずつたどります。

分岐 1：R1C6=1 が真と仮定します。

R1C6=1 は真です。R1C6=8 を除外します。

R1C6=8 は偽です。両側で 6列 の全選択肢を覆うため、R2C6=8 が真になります。

R2C6=8 は真です。R2C6=6 を除外します。

R2C6=6 は偽です。両側で 2行 の全選択肢を覆うため、R2C9=6 が真になります。

R2C9=6 は真です。R2C9=3 を除外します。

R2C9=3 は偽です。両側で 9列 の全選択肢を覆うため、R7C9=3 が真になります。

R7C9=3 は真です。R7C6=3 を除外します。

R7C6=3 は偽です。両側で 6列 の全選択肢を覆うため、R6C6=3 が真になります。

R6C6=3 は真です。R5C4=3 を除外します。

R5C4=3 は偽です。両側で 5行 の全選択肢を覆うため、R5C1=3 が真になります。

R5C1=3 は真です。R9C1=3 を除外します。

R9C1=3 は偽です。両側で 9行 の全選択肢を覆うため、R9C8=3 が真になります。

R9C8=3 は真です。R2C8=3 を除外します。

R2C8=3 は偽です。同じセル R2C8 では、同セルのもう一方の候補 R2C8=8 が現在の仮定のもとで真に強制されます。

R2C8=8 は真です。R2C6=8 を除外します。

R2C6=8 は偽です。両側で 6列 の全選択肢を覆うため、R1C6=8 が真になります。

推論結果は「R1C6=1 は真」と矛盾するため、R1C6=1 は偽 です。

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

交替連鎖は「R1C6=1 は真」から始まり、表示された強い関係と弱い関係をたどり、必要な場合は同セルのもう一方の候補へ切り替えて、矛盾に達しました。したがって R1C6=1 は偽。仮の状態はすべて取り消します。

このレッスンは HoDoKu の通常候補ノードによる Nice Loop / AIC 一式を扱います。不連続ループの削除と確定、Type 1、Type 2、連続ループです。「R1C1=4 は偽」から R1C1=4 を確認し、1行、2列、ボックス4、3列 の強リンクと弱リンクを1ページずつたどります。

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

R1C1=4 は偽です。両側で 1行 の全選択肢を覆うため、R1C3=4 が真になります。

R1C3=4 は真です。R1C3=5 を除外します。

R1C3=5 は偽です。両側で 1行 の全選択肢を覆うため、R1C2=5 が真になります。

R1C2=5 は真です。R1C2=9 を除外します。

R1C2=9 は偽です。両側で 2列 の全選択肢を覆うため、R5C2=9 が真になります。

R5C2=9 は真です。R4C3=9 を除外します。

R4C3=9 は偽です。同じセル R4C3 では、同セルのもう一方の候補 R4C3=4 が現在の仮定のもとで真に強制されます。

R4C3=4 は真です。R1C3=4 を除外します。

推論結果は「R1C1=4 は偽」と矛盾するため、R1C1=4 は真 です。

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

交替連鎖は「R1C1=4 は偽」から始まり、表示された強い関係と弱い関係をたどり、必要な場合は同セルのもう一方の候補へ切り替えて、矛盾に達しました。したがって R1C1=4 は真。仮の状態はすべて取り消します。

このレッスンは HoDoKu の通常候補ノードによる Nice Loop / AIC 一式を扱います。不連続ループの削除と確定、Type 1、Type 2、連続ループです。「R1C6=2 は偽」から R1C8=2, R1C9=2, R2C4=2 を確認し、6列、2行 の強リンクと弱リンクを1ページずつたどります。

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

R1C6=2 は偽です。同じセル R1C6 では、同セルのもう一方の候補 R1C6=1 が現在の仮定のもとで真に強制されます。

R1C6=1 は真です。R6C6=1 を除外します。

R6C6=1 は偽です。同じセル R6C6 では、同セルのもう一方の候補 R6C6=6 が現在の仮定のもとで真に強制されます。

R6C6=6 は真です。R2C6=6 を除外します。

R2C6=6 は偽です。同じセル R2C6 では、同セルのもう一方の候補 R2C6=7 が現在の仮定のもとで真に強制されます。

R2C6=7 は真です。R2C8=7 を除外します。

R2C8=7 は偽です。同じセル R2C8 では、同セルのもう一方の候補 R2C8=2 が現在の仮定のもとで真に強制されます。

同じ数字の端点 R1C6=2 と R2C8=2 は同時に偽になりません。R1C8=2, R1C9=2, R2C4=2 は両端を見ているため真になれません。

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

一時的な端点の状態を取り消します。各対象は R1C6=2 と R2C8=2 の両方を見ているため、Type 1 AIC の結論として R1C8=2, R1C9=2, R2C4=2 を除外します。

このレッスンは HoDoKu の通常候補ノードによる Nice Loop / AIC 一式を扱います。不連続ループの削除と確定、Type 1、Type 2、連続ループです。「R1C8=9 は偽」から R4C8=9 を確認し、1行、7列、ボックス6、8列、3行、6列、5行、4列、6行、9列、4行 の強リンクと弱リンクを1ページずつたどります。

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

R1C8=9 は偽です。両側で 1行 の全選択肢を覆うため、R1C7=9 が真になります。

R1C7=9 は真です。R5C7=9 を除外します。

R5C7=9 は偽です。同じセル R5C7 では、同セルのもう一方の候補 R5C7=2 が現在の仮定のもとで真に強制されます。

R5C7=2 は真です。R6C8=2 を除外します。

R6C8=2 は偽です。同じセル R6C8 では、同セルのもう一方の候補 R6C8=1 が現在の仮定のもとで真に強制されます。

R6C8=1 は真です。R3C8=1 を除外します。

R3C8=1 は偽です。同じセル R3C8 では、同セルのもう一方の候補 R3C8=6 が現在の仮定のもとで真に強制されます。

R3C8=6 は真です。R3C6=6 を除外します。

R3C6=6 は偽です。同じセル R3C6 では、同セルのもう一方の候補 R3C6=4 が現在の仮定のもとで真に強制されます。

R3C6=4 は真です。R5C6=4 を除外します。

R5C6=4 は偽です。両側で 5行 の全選択肢を覆うため、R5C4=4 が真になります。

R5C4=4 は真です。R5C4=3 を除外します。

R5C4=3 は偽です。両側で 4列 の全選択肢を覆うため、R6C4=3 が真になります。

R6C4=3 は真です。R6C9=3 を除外します。

R6C9=3 は偽です。両側で 9列 の全選択肢を覆うため、R4C9=3 が真になります。

R4C9=3 は真です。R4C9=7 を除外します。

R4C9=7 は偽です。両側で 4行 の全選択肢を覆うため、R4C8=7 が真になります。

異なる数字を持つ端点 R1C8=9 と R4C8=7 は互いに見えます。交差候補 R4C8=9 は両端を偽にするため削除できます。

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

一時的な端点の状態を取り消し、Type 2 AIC の結論として R1C8=9 と R4C8=7 の間の交差候補 R4C8=9 を除外します。

このレッスンは HoDoKu の通常候補ノードによる Nice Loop / AIC 一式を扱います。不連続ループの削除と確定、Type 1、Type 2、連続ループです。「R9C3=6 は偽」から R9C3=5 を確認し、3列、5行、8列、9行 の強リンクと弱リンクを1ページずつたどります。

R9C3=6 は閉じたループを読む開始点にすぎず、試行の仮定ではありません。交替ループはここへ戻ります。

R9C3=6 は偽です。両側で 3列 の全選択肢を覆うため、R5C3=6 が真になります。

R5C3=6 は真です。R5C8=6 を除外します。

R5C8=6 は偽です。同じセル R5C8 では、同セルのもう一方の候補 R5C8=8 が現在の仮定のもとで真に強制されます。

R5C8=8 は真です。R9C8=8 を除外します。

R9C8=8 は偽です。両側で 9行 の全選択肢を覆うため、R9C3=8 が真になります。

R9C3=8 は真です。R9C3=6 を除外します。

チェーンは連続交替ループとして閉じます。各弱リンクが強リンクになるため、セルまたはハウスから R9C3=5 を削除します。

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

ループの一時状態を取り消し、R9C3=5 を恒久的に削除します。