Platon Sudoku · 数独研究室
ユニークレクタングル Type 4 · ステップごとの解説
2角は {2,7} だけ、残る2角には追加候補があります。ペアの一方がその2角で強リンクなら、他方を除外します。 追加候補の2角から、もう一方のペア数字を除外します。
このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。
Google Play で見る形を見分ける
2角は {2,7} だけ、残る2角には追加候補があります。ペアの一方がその2角で強リンクなら、他方を除外します。
見つけ方
追加候補の2角を見つけ、行・列・ボックスでペアの一方がちょうど2か所か確認します。
できること
追加候補の2角から、もう一方のペア数字を除外します。
見間違いに注意
共通の領域があるだけでは不十分です。強リンクは正確に2か所必要です。
ステップごとの解説 · 行の強リンク
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 強リンクを見つける
凡例は厳密な二値角と追加候補を持つ角を区別します。以下では 4 を「リンク数字」、9 を「もう一方の長方形数字」と呼びます。1行 でリンク数字を置けるのは追加候補を持つ2角だけなので、その一方だけがリンク数字になります。もう一方の長方形数字には領域内の別の候補位置もあり、2数字は対称ではありません。
G1: R3C2=4, R3C5=4
G2: R1C2=4, R1C5=4
1: 厳密な二値角（4, 9） · 2: 追加候補を持つ角
ステップ 3 · 場合 1：R1C2=9 と仮定
R1C2=9 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R1C5 はリンク数字 4 になります。表示された4角は交換可能となり、4, 9 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R3C2=4, R3C5=4
G2: R1C2=4, R1C5=4
1: 厳密な二値角（4, 9） · 2: 追加候補を持つ角
ステップ 4 · 場合 2：R1C5=9 と仮定
R1C5=9 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R1C2 はリンク数字 4 になります。表示された4角は交換可能となり、4, 9 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R3C2=4, R3C5=4
G2: R1C2=4, R1C5=4
1: 厳密な二値角（4, 9） · 2: 追加候補を持つ角
ステップ 5 · もう一方の長方形候補を削除する
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R1C2=9, R1C5=9 を削除します。リンク数字 4 は残します。1行 の強リンクに必要です。
できること
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R1C2=9, R1C5=9 を削除します。リンク数字 4 は残します。1行 の強リンクに必要です。
ステップごとの解説 · 列の強リンク
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 強リンクを見つける
凡例は厳密な二値角と追加候補を持つ角を区別します。以下では 9 を「リンク数字」、7 を「もう一方の長方形数字」と呼びます。7列 でリンク数字を置けるのは追加候補を持つ2角だけなので、その一方だけがリンク数字になります。もう一方の長方形数字には領域内の別の候補位置もあり、2数字は対称ではありません。
G1: R1C9=7, R4C9=7
G2: R1C7=7, R4C7=7
1: 厳密な二値角（7, 9） · 2: 追加候補を持つ角
ステップ 3 · 場合 1：R1C7=7 と仮定
R1C7=7 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R4C7 はリンク数字 9 になります。表示された4角は交換可能となり、7, 9 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R1C9=7, R4C9=7
G2: R1C7=7, R4C7=7
1: 厳密な二値角（7, 9） · 2: 追加候補を持つ角
ステップ 4 · 場合 2：R4C7=7 と仮定
R4C7=7 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R1C7 はリンク数字 9 になります。表示された4角は交換可能となり、7, 9 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R1C9=7, R4C9=7
G2: R1C7=7, R4C7=7
1: 厳密な二値角（7, 9） · 2: 追加候補を持つ角
ステップ 5 · もう一方の長方形候補を削除する
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R1C7=7, R4C7=7 を削除します。リンク数字 9 は残します。7列 の強リンクに必要です。
できること
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R1C7=7, R4C7=7 を削除します。リンク数字 9 は残します。7列 の強リンクに必要です。
ステップごとの解説 · 枠＋行リンク
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 強リンクを見つける
凡例は厳密な二値角と追加候補を持つ角を区別します。以下では 9 を「リンク数字」、4 を「もう一方の長方形数字」と呼びます。6行 でリンク数字を置けるのは追加候補を持つ2角だけなので、その一方だけがリンク数字になります。もう一方の長方形数字には領域内の別の候補位置もあり、2数字は対称ではありません。
G1: R3C5=4, R3C6=4
G2: R6C5=4, R6C6=4
1: 厳密な二値角（4, 9） · 2: 追加候補を持つ角
ステップ 3 · 場合 1：R6C5=4 と仮定
R6C5=4 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R6C6 はリンク数字 9 になります。表示された4角は交換可能となり、4, 9 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R3C5=4, R3C6=4
G2: R6C5=4, R6C6=4
1: 厳密な二値角（4, 9） · 2: 追加候補を持つ角
ステップ 4 · 場合 2：R6C6=4 と仮定
R6C6=4 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R6C5 はリンク数字 9 になります。表示された4角は交換可能となり、4, 9 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R3C5=4, R3C6=4
G2: R6C5=4, R6C6=4
1: 厳密な二値角（4, 9） · 2: 追加候補を持つ角
ステップ 5 · もう一方の長方形候補を削除する
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R6C5=4, R6C6=4 を削除します。リンク数字 9 は残します。6行 の強リンクに必要です。
できること
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R6C5=4, R6C6=4 を削除します。リンク数字 9 は残します。6行 の強リンクに必要です。
ステップごとの解説 · 枠＋列リンク
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 強リンクを見つける
凡例は厳密な二値角と追加候補を持つ角を区別します。以下では 1 を「リンク数字」、5 を「もう一方の長方形数字」と呼びます。9列 でリンク数字を置けるのは追加候補を持つ2角だけなので、その一方だけがリンク数字になります。もう一方の長方形数字には領域内の別の候補位置もあり、2数字は対称ではありません。
G1: R2C1=1, R3C1=1
G2: R2C9=1, R3C9=1
1: 厳密な二値角（1, 5） · 2: 追加候補を持つ角
ステップ 3 · 場合 1：R2C9=5 と仮定
R2C9=5 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R3C9 はリンク数字 1 になります。表示された4角は交換可能となり、1, 5 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R2C1=1, R3C1=1
G2: R2C9=1, R3C9=1
1: 厳密な二値角（1, 5） · 2: 追加候補を持つ角
ステップ 4 · 場合 2：R3C9=5 と仮定
R3C9=5 にもう一方の長方形数字が入ると仮定します。強リンクにより、もう一方の追加候補角 R2C9 はリンク数字 1 になります。表示された4角は交換可能となり、1, 5 を交換すると第2解が生じます。したがって仮定は偽です。
G1: R2C1=1, R3C1=1
G2: R2C9=1, R3C9=1
1: 厳密な二値角（1, 5） · 2: 追加候補を持つ角
ステップ 5 · もう一方の長方形候補を削除する
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R2C9=5, R3C9=5 を削除します。リンク数字 1 は残します。9列 の強リンクに必要です。
できること
もう一方の長方形数字を追加候補角のどちらに置いても交換可能な長方形になるため、R2C9=5, R3C9=5 を削除します。リンク数字 1 は残します。9列 の強リンクに必要です。
練習
このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。
Google Play で見る