XY-Wing — 数独テクニック

概要

XY-Wing は数独で最も単純な連鎖テクニックです。3つのセルが必要で、それぞれちょうど2つの候補を持ち、次のように配置されます: - {X, Y} を持つ「pivot」セル - {X, Z} を持つ「pincer A」セル。pivot と1つのユニット(行、列、ボックス)を共有します - {Y, Z} を持つ「pincer B」セル。pivot と1つのユニットを共有します(pincer A のユニットとは別でも構いません) pivot が最終的にどちらの数字を持ったとしても、pincer のいずれかが Z に強制されます。pivot が X なら pincer A が Z になります。pivot が Y なら pincer B が Z になります。いずれにせよ、pincer のどちらか1つが必ず Z になります。したがって、両方の pincer を見渡すどのセルからも Z を排除できます。 名前のとおりではありますが、斜めの X 形は不要です — このテクニックは {X, Y} の pivot と {X, Z}/{Y, Z} の pincer から名付けられています。

使うべきタイミング

エキスパートやマスターのパズルで、X-Wing も Swordfish も手を生まないときに使います。{X, Y, Z} の三角を完成させる候補集合を持つ2つの bivalue な隣接セルを伴った、どんな bivalue な pivot セルでも探してください。

実例

Pivot R2C2 = {1, 7}。Pincer A R2C8 = {1, 4} は pivot と2行目を共有しています。Pincer B R5C2 = {7, 4} は pivot と2列目を共有しています。共有される3つ目の数字は4です。 pivot は最終的に 1 か 7 になります。1 なら pincer A が 4 に強制されます。7 なら pincer B が 4 に強制されます。いずれにせよ、pincer のどちらかが 4 を持ちます。 したがって、4 は両方の pincer を見渡すどのセルからも排除できます。R5C8 は8列目で pincer A を、5行目で pincer B を見渡しています — その候補集合から 4 を取り除いてください。