BUG Tipo 4 es una estrategia de "unicidad" avanzada que combina el patrón BUG (Tumba Universal Bivaluada) con lógica de candidatos bloqueados. Cuando exactamente dos celdas BUG comparten un valor común que está bloqueado en ellas dentro de una región compartida, sabemos que una de ellas DEBE ser ese valor—permitiéndonos eliminar sus otros candidatos.
Esta estrategia usa la regla fundamental del Sudoku: todo rompecabezas válido tiene exactamente una solución única.
Interactive Example
Click "Apply Logic" to see the strategy in action.
Recorrido del Ejemplo Real
En el rompecabezas de ejemplo de arriba, el solucionador identifica un patrón BUG Tipo 4:
El Estado de la Cuadrícula: - Casi cada celda no resuelta tiene exactamente 2 candidatos (bivaluada) - Dos celdas rompen el patrón teniendo 3+ candidatos: - R8C5 (índice 67): tiene candidatos incluyendo 8 - R8C6 (índice 68): tiene candidatos incluyendo 8
El Análisis Clave:
- Identificar celdas BUG: R8C5 y R8C6 tienen ambas 3 candidatos
- Encontrar región compartida: Ambas celdas están en la Fila 8
- Verificar por valor bloqueado: ¿Dónde más puede aparecer el 8 en la Fila 8?
- Escaneando Fila 8: ¡El valor 8 aparece SOLO en R8C5 y R8C6!
- Aplicar la lógica: Una de estas celdas DEBE ser 8 (Sudoku estándar) + una DEBE romper el BUG (unicidad)
- Conclusión: Una celda BUG será 8, la otra será su valor extra
- Eliminar: Ninguna celda puede ser sus valores no-bloqueados, no-extra
Resultado: Elimina otros candidatos de R8C5 y R8C6, dejando solo el valor bloqueado (8) y sus extras.
Entendiendo la Lógica
¿Qué Hace Especial al Tipo 4?
El Tipo 4 usa dos restricciones simultáneamente:
| Restricción | Fuente | Qué nos Dice |
|---|---|---|
| Candidatos Bloqueados | Sudoku Estándar | Una de {R8C5, R8C6} debe ser 8 |
| Romper BUG | Regla de Unicidad | Una de {R8C5, R8C6} debe ser su extra |
Dado que una celda toma el 8 y una toma su extra, ¡ninguna celda puede ser otra cosa!
El Doble Bloqueo
``` Celda BUG 1 (R8C5): {5, 7, 8} Celda BUG 2 (R8C6): {5, 7, 8}
Restricciones: - Una DEBE ser 8 (bloqueado en Fila 8) - Una DEBE ser su "extra" (para romper BUG)
Si los extras son 5 y 7: - Celda 1 = 8 → Celda 2 = 7 (su extra) ✓ - Celda 2 = 8 → Celda 1 = 5 (su extra) ✓
De cualquier manera, ninguna puede ser {5 si son 8} o {7 si son 8}... En realidad, ¡podemos eliminar cualquier cosa que NO sea (8 O el extra)! ```
Paso a Paso: Cómo Aplicar Tipo 4
- Verificar estado casi-BUG: ¿Son casi todas las celdas no resueltas bivaluadas?
- Encontrar exactamente 2 celdas BUG: ¿Qué celdas tienen 3+ candidatos?
- Encontrar región compartida: ¿Están ambas celdas BUG en la misma fila, columna o caja?
- Identificar valor bloqueado: ¿Hay un valor que aparece SOLO en estas 2 celdas dentro de esa región?
- Verificar no-extra: El valor bloqueado NO debe ser un extra (es un valor común)
- Eliminar: Elimina todo excepto el valor bloqueado y los extras de ambas celdas
Tipo 4 vs Bucle Único Tipo 4
BUG Tipo 4 y Bucle Único Tipo 4 comparten la misma lógica central:
| Estrategia | Alcance del Patrón | Qué está Bloqueado |
|---|---|---|
| Bucle Único Tipo 4 | Bucle específico (4-10 celdas) | Un valor de bucle en celdas de rescate |
| BUG Tipo 4 | Toda la cuadrícula | Un valor común en celdas BUG |
¡Ambos usan candidatos bloqueados para determinar que una celda debe tomar un valor específico!
Cuándo Aplica el Tipo 4
El Tipo 4 requiere todas las condiciones: - ✅ Exactamente 2 celdas BUG (celdas con 3+ candidatos) - ✅ Ambas celdas comparten una región (fila, columna o caja) - ✅ Un valor común (no un extra) aparece en ambas celdas - ✅ Este valor está bloqueado en estas celdas en la región compartida - ✅ Hay otros candidatos para eliminar (más allá de bloqueado + extras)
Malentendidos Comunes
"El valor bloqueado es un extra"
¡No! En el Tipo 4, el valor bloqueado es un valor común compartido por ambas celdas BUG—NO es un extra. Los extras son los valores que rompen el estado bivaluado.
"Elimino el valor bloqueado"
¡No! MANTENEMOS el valor bloqueado (una celda lo necesita). Eliminamos otros candidatos no-extra.
Estrategias Relacionadas
Familia BUG
- BUG Tipo 1 (BUG+1) — Celda BUG única
- BUG Tipo 2 — Mismo extra en múltiples celdas BUG
- BUG Tipo 3 — Extras diferentes forman Subconjunto Desnudo
Familia Bucle Único
- Bucle Único Tipo 4 — Versión en bucle de esta estrategia
Estrategias de Intersección Relacionadas
- Intersección (Apuntando) — Candidatos bloqueados en caja/línea
- Intersección (Caja/Línea) — Reclamando candidatos bloqueados
Familia Rectángulo Único
- Rectángulo Único (Tipo 4) — Versión de 4 celdas con valor bloqueado