Platon Games
日本語

Platon Sudoku · 数独研究室

ヒドゥンレクタングル · ステップごとの解説

2・7 の長方形で2本の強リンクが交互配置を強制する場合、対象候補を除外できます。 対象の角から該当するペア数字を除外します。

このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。

Google Play で見る

形を見分ける

2・7 の長方形で2本の強リンクが交互配置を強制する場合、対象候補を除外できます。

見つけ方

4つの角と2本の強リンクをたどり、致命的な配置を完成させる角を探します。

できること

対象の角から該当するペア数字を除外します。

見間違いに注意

1本の強リンクだけでは証明できません。両方を確認します。

ステップごとの解説 · 左上

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 2本の強リンクをたどる

R6C8 は 2, 6 だけを持つ厳密な二値角です。対象 R5C1 は長方形の別の行かつ別の列にあるため、その対角です。候補 2 は 5行 で R5C1 を通る行の強リンクを、1列 で R5C1 を通る列の強リンクを作ります。

R6C8 は 2, 6 だけを持つ厳密な二値角です。対象 R5C1 は長方形の別の行かつ別の列にあるため、その対角です。候補 2 は 5行 で R5C1 を通る行の強リンクを、1列 で R5C1 を通る列の強リンクを作ります。
R6C8 は 2, 6 だけを持つ厳密な二値角です。対象 R5C1 は長方形の別の行かつ別の列にあるため、その対角です。候補 2 は 5行 で R5C1 を通る行の強リンクを、1列 で R5C1 を通る列の強リンクを作ります。
ステップ 3 · R5C1=6 と仮定

R5C1=6 なら R5C1 は 2 を取れません。行の強リンクが R5C8 を、列の強リンクが R6C1 を 2 にし、厳密な二値角 R6C8 は 6 になります。長方形の 2, 6 を交換すると第2解が生じるため、仮定は偽です。

R5C1=6 なら R5C1 は 2 を取れません。行の強リンクが R5C8 を、列の強リンクが R6C1 を 2 にし、厳密な二値角 R6C8 は 6 になります。長方形の 2, 6 を交換すると第2解が生じるため、仮定は偽です。
R5C1=6 なら R5C1 は 2 を取れません。行の強リンクが R5C8 を、列の強リンクが R6C1 を 2 にし、厳密な二値角 R6C8 は 6 になります。長方形の 2, 6 を交換すると第2解が生じるため、仮定は偽です。
ステップ 4 · 対角の候補を削除する

R5C1=6 を削除します。R5C1 の 6 は、上で示した2解の長方形を作ります。

R5C1=6 を削除します。R5C1 の 6 は、上で示した2解の長方形を作ります。
R5C1=6 を削除します。R5C1 の 6 は、上で示した2解の長方形を作ります。

できること

R5C1=6 を削除します。R5C1 の 6 は、上で示した2解の長方形を作ります。

ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。
ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。

ステップごとの解説 · 右上

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 2本の強リンクをたどる

R8C3 は 2, 8 だけを持つ厳密な二値角です。対象 R7C9 は長方形の別の行かつ別の列にあるため、その対角です。候補 8 は 7行 で R7C9 を通る行の強リンクを、9列 で R7C9 を通る列の強リンクを作ります。

R8C3 は 2, 8 だけを持つ厳密な二値角です。対象 R7C9 は長方形の別の行かつ別の列にあるため、その対角です。候補 8 は 7行 で R7C9 を通る行の強リンクを、9列 で R7C9 を通る列の強リンクを作ります。
R8C3 は 2, 8 だけを持つ厳密な二値角です。対象 R7C9 は長方形の別の行かつ別の列にあるため、その対角です。候補 8 は 7行 で R7C9 を通る行の強リンクを、9列 で R7C9 を通る列の強リンクを作ります。
ステップ 3 · R7C9=2 と仮定

R7C9=2 なら R7C9 は 8 を取れません。行の強リンクが R7C3 を、列の強リンクが R8C9 を 8 にし、厳密な二値角 R8C3 は 2 になります。長方形の 2, 8 を交換すると第2解が生じるため、仮定は偽です。

R7C9=2 なら R7C9 は 8 を取れません。行の強リンクが R7C3 を、列の強リンクが R8C9 を 8 にし、厳密な二値角 R8C3 は 2 になります。長方形の 2, 8 を交換すると第2解が生じるため、仮定は偽です。
R7C9=2 なら R7C9 は 8 を取れません。行の強リンクが R7C3 を、列の強リンクが R8C9 を 8 にし、厳密な二値角 R8C3 は 2 になります。長方形の 2, 8 を交換すると第2解が生じるため、仮定は偽です。
ステップ 4 · 対角の候補を削除する

R7C9=2 を削除します。R7C9 の 2 は、上で示した2解の長方形を作ります。

R7C9=2 を削除します。R7C9 の 2 は、上で示した2解の長方形を作ります。
R7C9=2 を削除します。R7C9 の 2 は、上で示した2解の長方形を作ります。

できること

R7C9=2 を削除します。R7C9 の 2 は、上で示した2解の長方形を作ります。

ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。
ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。

ステップごとの解説 · 左下

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 2本の強リンクをたどる

R3C2 は 2, 9 だけを持つ厳密な二値角です。対象 R5C1 は長方形の別の行かつ別の列にあるため、その対角です。候補 9 は 5行 で R5C1 を通る行の強リンクを、1列 で R5C1 を通る列の強リンクを作ります。

R3C2 は 2, 9 だけを持つ厳密な二値角です。対象 R5C1 は長方形の別の行かつ別の列にあるため、その対角です。候補 9 は 5行 で R5C1 を通る行の強リンクを、1列 で R5C1 を通る列の強リンクを作ります。
R3C2 は 2, 9 だけを持つ厳密な二値角です。対象 R5C1 は長方形の別の行かつ別の列にあるため、その対角です。候補 9 は 5行 で R5C1 を通る行の強リンクを、1列 で R5C1 を通る列の強リンクを作ります。
ステップ 3 · R5C1=2 と仮定

R5C1=2 なら R5C1 は 9 を取れません。行の強リンクが R5C2 を、列の強リンクが R3C1 を 9 にし、厳密な二値角 R3C2 は 2 になります。長方形の 2, 9 を交換すると第2解が生じるため、仮定は偽です。

R5C1=2 なら R5C1 は 9 を取れません。行の強リンクが R5C2 を、列の強リンクが R3C1 を 9 にし、厳密な二値角 R3C2 は 2 になります。長方形の 2, 9 を交換すると第2解が生じるため、仮定は偽です。
R5C1=2 なら R5C1 は 9 を取れません。行の強リンクが R5C2 を、列の強リンクが R3C1 を 9 にし、厳密な二値角 R3C2 は 2 になります。長方形の 2, 9 を交換すると第2解が生じるため、仮定は偽です。
ステップ 4 · 対角の候補を削除する

R5C1=2 を削除します。R5C1 の 2 は、上で示した2解の長方形を作ります。

R5C1=2 を削除します。R5C1 の 2 は、上で示した2解の長方形を作ります。
R5C1=2 を削除します。R5C1 の 2 は、上で示した2解の長方形を作ります。

できること

R5C1=2 を削除します。R5C1 の 2 は、上で示した2解の長方形を作ります。

ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。
ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。

ステップごとの解説 · 右下

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青：根拠。緑：結論。取り消し線の数字：除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。

この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
この推理は解がちょうど1つという前提を使います。4マスは2行・2列・2ボックスにまたがり、2数字を交換しても各領域の数字構成が保たれます。
ステップ 2 · 2本の強リンクをたどる

R7C2 は 3, 4 だけを持つ厳密な二値角です。対象 R8C9 は長方形の別の行かつ別の列にあるため、その対角です。候補 3 は 8行 で R8C9 を通る行の強リンクを、9列 で R8C9 を通る列の強リンクを作ります。

R7C2 は 3, 4 だけを持つ厳密な二値角です。対象 R8C9 は長方形の別の行かつ別の列にあるため、その対角です。候補 3 は 8行 で R8C9 を通る行の強リンクを、9列 で R8C9 を通る列の強リンクを作ります。
R7C2 は 3, 4 だけを持つ厳密な二値角です。対象 R8C9 は長方形の別の行かつ別の列にあるため、その対角です。候補 3 は 8行 で R8C9 を通る行の強リンクを、9列 で R8C9 を通る列の強リンクを作ります。
ステップ 3 · R8C9=4 と仮定

R8C9=4 なら R8C9 は 3 を取れません。行の強リンクが R8C2 を、列の強リンクが R7C9 を 3 にし、厳密な二値角 R7C2 は 4 になります。長方形の 3, 4 を交換すると第2解が生じるため、仮定は偽です。

R8C9=4 なら R8C9 は 3 を取れません。行の強リンクが R8C2 を、列の強リンクが R7C9 を 3 にし、厳密な二値角 R7C2 は 4 になります。長方形の 3, 4 を交換すると第2解が生じるため、仮定は偽です。
R8C9=4 なら R8C9 は 3 を取れません。行の強リンクが R8C2 を、列の強リンクが R7C9 を 3 にし、厳密な二値角 R7C2 は 4 になります。長方形の 3, 4 を交換すると第2解が生じるため、仮定は偽です。
ステップ 4 · 対角の候補を削除する

R8C9=4 を削除します。R8C9 の 4 は、上で示した2解の長方形を作ります。

R8C9=4 を削除します。R8C9 の 4 は、上で示した2解の長方形を作ります。
R8C9=4 を削除します。R8C9 の 4 は、上で示した2解の長方形を作ります。

できること

R8C9=4 を削除します。R8C9 の 4 は、上で示した2解の長方形を作ります。

ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。
ヒドゥンレクタングル · 対象の角から該当するペア数字を除外します。

練習

このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。

Google Play で見る