BUG +1(Bivalue Universal Grave)— 数独テクニック

概要

「Bivalue Universal Grave」は致命的パターンです:すべての空セルがちょうど二つの候補を持ち、すべての数字が各行・列・ボックスでちょうど二つの候補セルを持つような盤面状態です。この状態は対称性により 二つ の有効な完成形を持つため、正しい数独はこの状態に到達しません。 BUG +1 はその実用的なケースです:盤面は完全な BUG までもう一歩 — 一つの例外セルを除いて、すべての空セルがちょうど二つの候補を持ち、その例外セルだけが三つの候補を持っています。例外セルの第三候補(ある単位で二回ではなく 三回 現れる方)が致命的な対称を崩すものであり、問題が一意可解であることから、その第三候補が解になります。

使うべきタイミング

もっとも深い expert・master の問題で使います。サイン:解の終盤、候補マップでただ一つの三値の例外を除いて、すべての空セルが二値になっているとき。

実例

難問の終盤、R3C5 = {1, 4, 7} を除いてすべての空セルがちょうど二つの候補を持ちます。3 行目を調べると、数字 4 は 3 行目で三つのセルに現れ、数字 1 と 7 はそれぞれ二つのセルに現れます。「余分な」数字は 4 です — R3C5 = 4 が致命的パターンを崩します。