BUG Tipo 2 es una estrategia de "unicidad" avanzada que extiende el BUG Tipo 1 para manejar múltiples celdas BUG. Cuando varias celdas rompen el patrón bivaluado y todas comparten el mismo candidato extra, podemos eliminar ese candidato de cualquier celda que vea a TODAS ellas.
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 2:
El Estado de la Cuadrícula: - Casi cada celda no resuelta tiene exactamente 2 candidatos (bivaluada) - Dos celdas tienen 3 candidatos cada una, rompiendo el patrón bivaluado: - R8C3 (índice 65): tiene candidatos incluyendo 4 como extra - R9C8 (índice 79): tiene candidatos incluyendo 4 como extra
El Análisis Clave:
- Identificar celdas BUG: R8C3 y R9C8 tienen ambas 3 candidatos en lugar de 2
- Verificar extra compartido: ¡Ambas celdas tienen 4 como su candidato extra!
- Encontrar pares comunes: ¿Qué celdas pueden ver a AMBAS R8C3 y R9C8?
- R9C3 puede ver R8C3 (misma columna) y R9C8 (misma fila)
- Aplicar la lógica: Al menos UNA de {R8C3, R9C8} debe ser 4 para prevenir el BUG
- Eliminar: Dado que una de ellas debe ser 4, R9C3 no puede ser 4
Resultado: Eliminar 4 de R9C3.
¿Qué es un BUG (Bivalue Universal Grave)?
Un BUG (Tumba Universal Bivaluada) es un estado mortal de la cuadrícula donde: - Cada celda no resuelta tiene exactamente 2 candidatos - Cada candidato aparece exactamente 2 veces en cada región
Esto crea múltiples soluciones válidas, lo cual es imposible en un Sudoku adecuado.
Para más antecedentes sobre BUG, ver BUG Tipo 1 (BUG+1).
Tipo 2: Múltiples Celdas, Mismo Extra
BUG Tipo 2 aplica cuando: - La cuadrícula está casi en estado BUG - Múltiples celdas (2 o más) rompen el patrón teniendo 3+ candidatos - Todas estas celdas comparten el mismo candidato extra
La Lógica
Dado que un estado BUG es imposible: - Al menos UNA de las celdas BUG debe convertirse en el valor extra (para romper el patrón) - El valor extra aparecerá en una de estas celdas - Cualquier celda que vea TODAS las celdas BUG no puede contener el valor extra
Es similar a Bucle Único Tipo 2, pero para toda la cuadrícula en lugar de un bucle específico.
Paso a Paso: Cómo Aplicar Tipo 2
- Verificar estado casi-BUG: ¿Son casi todas las celdas no resueltas bivaluadas (2 candidatos)?
- Encontrar celdas BUG: ¿Qué celdas tienen 3+ candidatos?
- Identificar extra compartido: ¿TODAS las celdas BUG comparten el mismo candidato extra?
- Encontrar pares comunes: ¿Qué celdas pueden ver TODAS las celdas BUG?
- Eliminar: Elimina el extra compartido de cualquier par común que lo contenga
Guía Visual
``` Columna 3 Columna 8 ↓ ↓ ┌─────┐ ┌─────┐ Fila 8 → │R8C3 │ │ │ │{x,y,│ │ │ │ 4 }←──────Celda BUG (extra = 4) └─────┘ └─────┘ │ │ Misma │ Columna ↓ ┌─────┐ ┌─────┐ Fila 9 → │R9C3 │ ← ← ← ← →│R9C8 │ │{..4}│ Misma Fila│{a,b,│ │ ↑ │ │ 4 }←──────Celda BUG (extra = 4) └──┬──┘ └─────┘ │ ¡Eliminar!
R9C3 ve AMBAS celdas BUG: - R8C3 vía Columna 3 - R9C8 vía Fila 9
Una de {R8C3, R9C8} DEBE ser 4 ∴ R9C3 no puede ser 4 ```
Comparación con BUG Tipo 1
| Aspecto | Tipo 1 | Tipo 2 |
|---|---|---|
| Celdas BUG | Exactamente 1 | 2 o más |
| Candidatos extra | Pueden ser múltiples | Debe ser el mismo en todas las celdas BUG |
| Objetivo de eliminación | La celda BUG | Pares comunes de todas las celdas BUG |
| Qué se elimina | Otros candidatos (mantener extras) | El valor extra compartido |
Encontrando Pares Comunes
Un par común es una celda que comparte una fila, columna o caja con cada celda BUG.
Cualquier celda en la intersección de las filas, columnas o cajas de las celdas BUG es un objetivo potencial.
Malentendidos Comunes
"Todas las celdas BUG deben estar en la misma región"
¡No! Las celdas BUG pueden estar en cualquier parte de la cuadrícula. Lo que importa es que compartan el mismo extra Y tengan pares comunes.
"Elimino DE las celdas BUG"
¡No! En el Tipo 2, eliminamos de los pares comunes. ¡Las celdas BUG mantienen su extra porque una de ellas lo necesita!
Cuándo Aplica el Tipo 2
El Tipo 2 requiere todas las condiciones: - ✅ Múltiples celdas con 3+ candidatos (celdas BUG) - ✅ Todas las celdas BUG comparten el mismo candidato extra - ✅ Existen pares comunes que ven TODAS las celdas BUG - ✅ Al menos un par común contiene el valor extra
Estrategias Relacionadas
Familia BUG
- BUG Tipo 1 (BUG+1) — Celda BUG única, resolver directamente
- BUG Tipo 3 — Celdas BUG forman Subconjunto Desnudo
- BUG Tipo 4 — Un valor bloqueado a celdas BUG
Familia Bucle Único
- Bucle Único Tipo 2 — Versión en bucle de esta estrategia