Platon Sudoku · 数独研究室

X-Wing · ステップごとの解説

一つの数字について、2つの行で候補がそれぞれ同じ2列に限られます。行と列を入れ替えても成立します。選んだ2行以外で、その2列にある同じ数字の候補を除外します。

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

Google Play で見る

形を見分ける

一つの数字について、2つの行で候補がそれぞれ同じ2列に限られます。行と列を入れ替えても成立します。

見つけ方

数字を選び、候補が2マスだけの行を探します。同じ2列に候補がある別の行を探します。

できること

選んだ2行以外で、その2列にある同じ数字の候補を除外します。

見間違いに注意

4隅が長方形に見えるだけでは足りません。選んだ各行に他の候補がないことを確認します。列から探す場合は列について確認します。

ステップごとの解説 · 行

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

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

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

2つの基底領域（4行、8行）には 1 の位置がそれぞれ2つだけあり、4つの丸印候補は同じ2つの被覆領域（2列、9列）に揃って X-Wing を作ります。

ステップ 2 · ケース 1：両方の被覆領域を使う

まず R4C2=1 を真とします。同じ基底領域（4行）の R4C9=1 と、同じ被覆領域（2列）の R8C2=1 が除外されます。もう一方の基底領域（8行）には R8C9=1 だけが残るため、この角が真に確定します。両方の被覆領域が使われるので、対象（R1C2=1, R7C2=1）を除外できます。

ステップ 3 · ケース 2：両方の被覆領域を使う

まず R4C9=1 を真とします。同じ基底領域（4行）の R4C2=1 と、同じ被覆領域（9列）の R8C9=1 が除外されます。もう一方の基底領域（8行）には R8C2=1 だけが残るため、この角が真に確定します。両方の被覆領域が使われるので、対象（R1C2=1, R7C2=1）を除外できます。

ステップ 4 · 結論

どちらの完全な組合せでも、2つの基底領域（4行、8行）の 1 が2つの被覆領域（2列、9列）を1つずつ占めます。したがって、基底の外にある R1C2=1, R7C2=1 を削除します。

できること

ステップごとの解説 · 列

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

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

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

2つの基底領域（3列、5列）には 1 の位置がそれぞれ2つだけあり、4つの丸印候補は同じ2つの被覆領域（2行、4行）に揃って X-Wing を作ります。

ステップ 2 · ケース 1：両方の被覆領域を使う

まず R2C3=1 を真とします。同じ基底領域（3列）の R4C3=1 と、同じ被覆領域（2行）の R2C5=1 が除外されます。もう一方の基底領域（5列）には R4C5=1 だけが残るため、この角が真に確定します。両方の被覆領域が使われるので、対象（R4C4=1, R4C7=1, R4C9=1）を除外できます。

ステップ 3 · ケース 2：両方の被覆領域を使う

まず R4C3=1 を真とします。同じ基底領域（3列）の R2C3=1 と、同じ被覆領域（4行）の R4C5=1 が除外されます。もう一方の基底領域（5列）には R2C5=1 だけが残るため、この角が真に確定します。両方の被覆領域が使われるので、対象（R4C4=1, R4C7=1, R4C9=1）を除外できます。