数独の攻略法
18のテクニックで、最初の易しいパズルから難問まで完全網羅。各ページにはすっきりした定義、パターンを探すタイミング、練習用リンクが揃っています。
すべての簡単な問題とほとんどの中級問題に必要な3つの手筋。
難しい問題を解くペアと削減の手筋。
- Naked Pairs（ネイキッド・ペア）Naked Pairとは、同じ行・列・3x3ブロック内の2つのマスがまったく同じ2つの候補数字だけを持つ状態です。その2つの数字はその2マスに入るしかないため、同じユニット内の他のマスからその2数字を候補として消去できます。.
- Hidden Pairs（ヒドゥン・ペア）Hidden Pairとは、ある行・列・3x3ブロック内で2つの数字の候補位置がまったく同じ2つのマスに限定されている状態です。そのマスはその2数字を持つはずなので、2マスから他のすべての候補を消去できます。.
- Naked Triples（ネイキッド・トリプル）Naked Tripleとは、同じ行・列・ブロック内の3マスの候補の和集合がちょうど3つの数字になる状態です。その3数字はその3マスに入るしかないため、同一ユニットの他のマスから消去できます。.
- Hidden Triples（ヒドゥン・トリプル）Hidden Tripleとは、ある行・列・ブロック内で3つの数字の候補位置がまったく同じ3マスに限定されている状態です。そのマスはその3数字を持つはずなので、3マスから他のすべての候補を消去できます。.
- Pointing Pairs（ポインティング・ペア）Pointing Pairは、3x3ブロック内にある数字の候補マスがすべて同一の行または列に並んでいるときに発生します。その数字はブロック内でその行か列に入るしかないため、ブロック外のその行・列から消去できます。.
- Box-Line Reduction（ボックスライン・リダクション）Box-Line ReductionはPointing Pairsの逆です。ある行または列における数字の候補マスがすべて同一の3x3ブロック内にある場合、その数字はそのブロックに入るしかないため、そのブロック内の他のマスから消去できます。.
上級・難問向けの連鎖ロジックと一意性論法。
- X-Wing（エックスウイング）X-Wingは、ある数字の候補がちょうど2行のそれぞれ2マスに現れ、その4マスが同じ2列に揃っているパターンです。その数字は長方形の対角の隅に入るしかないため、その2列のうち4マス以外から消去できます。.
- Swordfish（ソードフィッシュ）SwordfishはX-Wingの3行版一般化です。ある数字の候補マスが3つの異なる行にそれぞれ2〜3つあり、それらすべてがちょうど3つの列に収まる場合、その数字はその行・列の中に3x3パターンを形成し、その3列の他の場所から消去できます。.
- Jellyfish（ジェリーフィッシュ）JellyfishはX-Wing（およびSwordfish）の4行版一般化です。ある数字の候補が4行においてちょうど4列に収まるとき成立します。.
- XY-Wing（XYウイング）XY-Wingは3マスのパターンです。ピボットマスが{X, Y}を候補に持ちます。2つのウイングマスはピボットを「見て」おり、一方が{X, Z}、もう一方が{Y, Z}を持ちます。ピボットがどちらの数字を取っても、いずれかのウイングがZを持つことになるため、両ウイングを見るマスからZを消去できます。.
- XYZ-Wing（XYZウイング）XYZ-WingはXY-Wingを拡張したものです。ピボットが3候補{X, Y, Z}を持ちます。2つのウイングはそれぞれ{X, Z}と{Y, Z}。ピボットと両ウイングを見るマスからZを消去できます。.
- カラーリング（Coloring）カラーリングは単一数字の連鎖手筋です。あるユニット内でちょうど2つの候補マスしかない数字を持つセルを特定し、連鎖に沿って2色を交互に割り当て、両方の色と矛盾するマスからその数字を消去します。.
- 強制連鎖（Forcing Chains）強制連鎖は、2候補を持つマスを選び、各候補を仮定して推論を追います。両方の仮定が別のマスで同じ結論を強制するなら、その結論はどちらでも真です。.
- 唯一矩形（Unique Rectangle）唯一矩形（Unique Rectangle）は、ちょうど2つのブロックにまたがる長方形の4隅にあるマスのパターンで、そのうち3隅が同じ2候補{X, Y}を持つ状態です。4隅目も{X, Y}だと問題の解が2つになります。有効な数独は解が1つなので、4隅目は{X, Y}になれません。.
- BUG（Bivalue Universal Grave）BUG（Bivalue Universal Grave）パターンは、グリッドのすべての空きマスがちょうど2候補しか持たない状態になるときに発生します。この状態は解が2つになり一意性に違反します。パターンを破るマス（通常は3候補を持つ1マス）は、その行・列・ブロックに3回登場する数字を取らなければなりません。.
- 仁志尾（Nishio）Nishioは単一の候補を選んで仮置きし、矛盾または正当な完成が現れるまで強制推論を追います。矛盾が生じれば候補は消去されます。.