ERROR+1

Requisito previo: ERROR+1 depende de que el rompecabezas tenga exactamente una solución.
Si aún no lo has leído, empieza aquí:
Uniqueness

---

1. Descripción general

BUG+1 es la abreviatura de BUG + 1; es posible que también lo escuches llamar Bivalue Universal Grave + 1.

El nombre suena aterrador, pero describe un estado de la placa muy específico:

• casi todas las celdas sin resolver son bivalor (exactamente 2 candidatas)
• una “celda de excepción” tiene 3 candidatos (ese es el “+1”)

¿Qué es el ERROR?

ERROR = Tumba Universal Bivalor.

Se llama “tumba” porque la cuadrícula puede parecer “atascada”: los candidatos aparecen en pares en todas partes y el progreso a menudo se estanca sin unicidad.

Cuando la grilla satisface estas dos condiciones, se convierte en una estructura “BUG” muy simétrica:

1. cada celda sin resolver es bivalor
2. para cualquier dígito d, en cada casa (fila/columna/cuadro), el número de puestos candidatos para d es par
   • más comúnmente 2
   • si d ya está colocado en esa casa, puede ser 0 (aún par)

Esta simetría a menudo permite dos terminaciones válidas (múltiples soluciones).

Entonces, ¿qué es el ERROR+1?

ERROR+1 es “casi un ERROR, pero no del todo”:

• todas las celdas sin resolver son bivalor
  excepto una celda con 3 candidatos

Ese candidato adicional rompe la simetría uniforme y eso es exactamente lo que nos permite forzar una ubicación utilizando la unicidad.

Entonces, la celda de excepción tiene un candidato forzado: podemos colocar el dígito directamente.

---

2. Tutorial

Paso 1: detecta el estado "casi todo bivalor" (imagen superior)

En la imagen:

• la mayoría de las celdas vacías muestran solo 2 candidatos pequeños
• una celda es la excepción y muestra 3 candidatos (el “+1”)

Paso 2: ¿qué dígito debemos colocar? (¿y por qué?)

Solo nos centramos en los tres candidatos en la celda de excepción y hacemos una cosa simple: marcar par vs impar.

Cómo:

1. mira los tres candidatos en la celda de excepción
2. para cada uno de esos dígitos, cuente cuántas veces aparece como candidato en la fila/columna/cuadro de la celda de excepción

Normalmente encontrará que un dígito aparece 3 veces (impar) en una de esas casas.
Ese candidato “impar” es el dígito que debes colocar.

¿Por qué? Utilice una contradicción:

Supongamos que no colocamos este candidato "impar" y en su lugar elegimos uno de los otros dos candidatos "pares":

1. la celda de excepción se vuelve bivalor
2. la distribución de candidatos entre casas vuelve a una simetría "par" (una estructura BUG)
3. Las estructuras BUG a menudo permiten dos finalizaciones válidas (múltiples soluciones)

Pero el rompecabezas debe ser único, de modo que la elección sea imposible.
Por lo tanto, el candidato "impar" debe ser verdadero: ese es el dígito que coloca.

Si no quieres contar nada: la pista resaltará al candidato obligado.

---

3. Ejemplo

La siguiente imagen muestra el resultado: se coloca el candidato “+1” forzado en la celda de excepción.

---

4. Cómo detectar el ERROR+1

Utilice esta lista de verificación:1) Asegúrese de que las notas de sus candidatos sean completas y confiables (genere candidatos completos si es necesario)
2) Busque una cuadrícula donde:

• todas las celdas sin resolver son bivalor
• exactamente una celda tiene 3 candidatos

3. En la fila/columna/cuadro de esa celda, cuente las ocurrencias candidatas para esos tres dígitos: el impar (normalmente 3) es el dígito forzado
4. La sugerencia resaltará la celda de excepción y mostrará qué candidato está obligado

Nota: ERROR+1 es una técnica basada en la singularidad: solo se aplica cuando se garantiza que el rompecabezas tendrá una solución única.