Libra 情報館 ver.3.06

F = datas/sudoku-xwing.txt
2019-06-12 21:01:00 更新
INDEX
▼ページボトムへ

X-Wing

ある数字が配置可能なセルが2ヶ所のみの行が2つある場合で、その配置可能な4つのセルが2つの同じ列にある場合、それらの列ではその2つの行以外のセルに配置することはできません。

配置可能なセルが2つに限られる行を base set といい、base set で配置可能なセルをすべて含む列を cover set といいます。

この X-Wing は、行と列を入れ替えても成り立ちます。

例１

この例では、b行とe行で５が入り得るのはE列とH列に限られるため、E列とH列にはb行とe行以外に５は入りません。
もしEb=5ならHe=5でなければならず、もしHb=5ならEe=5でなければならないため、いずれにせよb行とe行以外には配置できません。
base set はb行とe行で、E列とH列が cover set です。

例２

この例では、A列とE列で１が入り得るのはb行かe行で他の行には入りません。よって１はAb,Ae,Eb,Eeの4つのセルの対角線の2ヶ所に入ります。Ab=1ならEe=1であり、Eb=1ならAe=1となり、上記4つのセル以外に１は入りません。
base set はA列とE列で、cover set はb行とe行です。

[EOF]