Un BUG est un état hypothétique où chaque case non résolue 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 associé à un autre candidat du même chiffre et à un autre candidat dans la 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 du Sudoku, donc la grille aurait plusieurs solutions. Une grille valide à solution unique ne peut jamais être autorisée à tomber dans un état BUG pur.

ERREUR+1 est la version presque-BUG du BUG. Chaque case non résolue est bivalue sauf une case trivalue avec trois candidats.

Deux candidats de la case trivalue se comportent comme des candidats BUG normaux : si vous retiriez le troisième candidat, ces deux-là s'intégreraient à la symétrie BUG globale de deux par maison. Le troisième candidat est le chiffre supplémentaire. C'est la seule chose qui empêche la grille de devenir un BUG à solutions multiples.

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

Méthode 1 : compter les occurrences dans les maisons. Pour chaque candidat de la case trivalue, examinez la ligne, la colonne et le bloc de la case. Les candidats BUG conservent le schéma de deux 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 retrait. Retirez temporairement un candidat de la case trivalue. Si la grille restante devient un pur schéma BUG, le candidat retiré est le chiffre supplémentaire. Comme une grille valide ne peut pas entrer dans cet état BUG, le chiffre supplémentaire doit rester et constitue la solution de la case.

ERREUR+1 repose sur l'hypothèse que la grille a exactement une solution. Les autres techniques d'unicité incluent les Rectangles Uniques et les Rectangles Évitables. ERREUR+1 est parfaitement fiable pour les grilles de sources réputées.

Niveau 8 (Expert). Relativement peu courant -- nécessite un état presque-BUG très spécifique tard dans le processus de résolution. Quand il apparaît, il donne un placement direct satisfaisant.

Vérifiez quand il reste 8 à 15 cellules non résolues et que la plupart sont bivalues. Balayage rapide : si une case a plus de 3 candidats, arrêtez. Si deux ou plus en ont 3, arrêtez. Si exactement une en a 3 et que toutes les autres en ont 2, vérifiez les conditions de ERREUR+1. Des marques de crayon précises sont essentielles.

ERREUR+1 détecte quand la grille est à une case d'un état à solutions multiples. En identifiant l'unique case trivalue et son chiffre supplémentaire, la technique donne un placement direct. Niveau 8 (Expert), rare mais élégante.