BUGは*Binary Universal Grave*の略です。すべての空きマスの候補がちょうど2つで、各候補がハウスごとに最大2回しか現れない状態で、複数の解を持つ不正な状態です。
BUG+1は、ほぼBUGの状態です。未解決のマスはすべて2候補で、1つだけ3候補のマスがあります。唯一性から、そのマスの余分な候補が正解だとわかります。
なぜ成り立つのか
その余分な候補が誤りなら、盤面は純粋なBUGになり、通常は複数の解が生まれます。解が1つのパズルでは、そのような世界はありえません。
よって余分な数字で確定です。入れましょう。
見つけ方
空きマスが1つを除いてすべて2候補になったら、すぐに確認しましょう。
デモ
462793218746567289815693742273841596649752813327872519343427651
解が1つのクラシックパズルが、Binary Universal Grave（すべて2候補で複数解）に陥ることはありません。
462793218746567289815693742273841596649752813327872519343427651
ほぼすべての空きマスの候補がちょうど2つか確認しましょう。3候補のマスがちょうど1つあれば、それがBUG+1です。余分な数字は9です。
462793218746567289815693742273841596649752813327872519343427651
もし9が誤りなら、パズルはすべて2候補で複数の解を持つ、致命的な墓場に陥ってしまいます。
4627932187465672898156937422738415966497528133927872519343427651
3候補のマスに9を入れましょう。唯一性がそれを求めています。解が1つのクラシックパズルでのみ使えます。
例1
41937283941657182943429561657419718236547384691255263184194275836
すべて2候補で、3候補のマスが1つだけある盤面を探しましょう。
41937283941657182943429561657419718236547384691255263184194275836
BUG+1です。余分な数字は8です。
419372839416571829434295616574189718236547384691255263184194275836
8を入れましょう。それによって、解が1つに定まらないBinary Universal Graveを防げます。
例2
8654714957123867186457691842538275964542617846183768342751978642
すべて2候補で、3候補のマスが1つだけある盤面を探しましょう。
8654714957123867186457691842538275964542617846183768342751978642
BUG+1です。余分な数字は9です。
86547149571238671864576918425382759645426178461837683427519798642
9を入れましょう。それによって、解が1つに定まらないBinary Universal Graveを防げます。