Un BUG est un état hypothétique où chaque Case non résolu a exactement deux candidats, et chaque chiffre apparaît exactement deux fois dans chaque ligne, colonne et bloc où il n'est pas encore résolu. Cette symétrie parfaite signifie que chaque candidat est apparié avec un autre candidat du même chiffre et un autre candidat dans le même Case.

Cette symétrie crée des boucles fermées qui peuvent être résolues de deux façons opposées. Les deux résolutions satisfont les contraintes Sudoku, donc la grille aurait plusieurs solutions. Un puzzle à solution unique ne peut jamais être amené à un état BUG pur.

ERREUR+1 est la version à faux positif du BUG. Chaque Case non résolu est à deux valeurs, sauf un Case à trois valeurs avec trois candidats.

Deux des candidats dans le Case à trois valeurs se comportent comme des candidats normaux du BUG : si l'on retirait le troisième candidat, ces deux-là s'inséreraient dans la symétrie du BUG global, qui apparaît deux fois par maison. Le troisième candidat est le chiffre supplémentaire. C'est la seule chose qui empêche le puzzle de devenir un BUG à plusieurs solutions.

Si le chiffre supplémentaire était retiré, la grille deviendrait un BUG (plusieurs solutions). Comme cela est impossible, le chiffre supplémentaire doit être la réponse. ERREUR+1 donne un placement direct, et non seulement une élimination de candidat.

Méthode 1 : Compter les occurrences dans les maisons. Pour chaque candidat dans le trivalue Case, examinez la ligne, la colonne et le bloc de la Case. Les candidats BUG conservent le motif de deux occurrences par maison. Le candidat supplémentaire est celui qui crée une troisième occurrence dans au moins une de ces maisons.

Méthode 2 : Le test de suppression. Supprimez temporairement un candidat du trivalue Case. Si la grille restante devient un motif BUG pur, le candidat supprimé est le chiffre supplémentaire. Puisqu'un puzzle valide ne peut pas entrer dans cet état BUG, le chiffre supplémentaire doit rester et constitue la solution pour la Case.

ERREUR+1 repose sur l'hypothèse que le puzzle a exactement une solution. D'autres techniques d'unicité incluent les rectangles uniques et les rectangles évitables. ERREUR+1 est parfaitement fiable pour les puzzles provenant de sources réputées.

Niveau 8 (Expert). Relativement rare – nécessite un état presque-BUG très spécifique à la fin du processus de résolution. Lorsqu'il apparaît, il permet une placement direct et satisfaisant.

Vérifiez lorsque 8 à 15 cellules non résolues restent et que la plupart sont à deux valeurs. Inspection rapide : si une quelconque Case a plus de 3 candidats, arrêtez-vous. Si deux ou plusieurs ont 3 candidats, arrêtez-vous. Si exactement une a 3 candidats et que toutes les autres ont 2, vérifiez les conditions ERREUR+1. Des marques de crayon précises sont essentielles.

ERREUR+1 détecte quand le tableau est à un Case d'un état à plusieurs solutions. En identifiant la seule trivalue Case et son chiffre supplémentaire, la technique permet une placement direct. Niveau 8 (Expert), rare mais élégant.