BUG Tipo 3 es una estrategia de "unicidad" avanzada que combina el patrón BUG (Tumba Universal Bivaluada) con la lógica de Subconjunto Desnudo. Cuando las celdas BUG tienen diferentes candidatos extra que juntos forman un Subconjunto Desnudo con otras celdas en una región compartida, podemos eliminar esos valores del resto de la región.
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 3:
El Estado de la Cuadrícula: - Casi cada celda no resuelta tiene exactamente 2 candidatos (bivaluada) - Múltiples celdas rompen el patrón teniendo 3+ candidatos (celdas BUG) - Estas celdas BUG están en la Fila 6 (índices 46, 47, 48)
El Análisis Clave:
- Identificar celdas BUG: Celdas en índices 46, 47, 48 en Fila 6 tienen candidatos extra
- Identificar extras: Los extras combinados de las celdas BUG incluyen {4, 7}
- Encontrar celda auxiliar: Celda en índice 45 en la misma Fila contiene {4, 7}
- Formar Par Desnudo: Extras BUG {4, 7} + celda auxiliar {4, 7} = ¡Par Desnudo!
- Eliminar: Elimina 4 y 7 de otras celdas en Fila 6 (índices 49 y 52)
Resultado: Eliminar 4 y 7 de R6C5 (índice 49) y R6C8 (índice 52).
Entendiendo la Lógica
El Concepto de "Celda Virtual"
Justo como en Bucle Único Tipo 3, tratamos los extras combinados de las celdas BUG como una celda virtual:
- Celda BUG 1 tiene extra: 4
- Celda BUG 2 tiene extra: 7
- Celda virtual contiene: {4, 7}
¡Esta celda virtual puede participar en la lógica de Subconjunto Desnudo!
Cómo se Forma el Subconjunto Desnudo
| Componente | Candidatos | Rol |
|---|---|---|
| Celda virtual (extras BUG) | {4, 7} | Parte del subconjunto |
| Celda auxiliar (índice 45) | {4, 7} | Parte del subconjunto |
| Par Desnudo | {4, 7} | 2 posiciones, 2 valores |
La lógica: - Al menos una celda BUG DEBE tomar un valor extra (para romper el patrón BUG) - Combinado con la celda auxiliar, los valores 4 y 7 están "bloqueados" en estas posiciones - Otras celdas en la fila no pueden tener 4 o 7
Paso a Paso: Cómo Aplicar Tipo 3
- Verificar estado casi-BUG: ¿Son casi todas las celdas no resueltas bivaluadas?
- Encontrar celdas BUG: ¿Qué celdas tienen 3+ candidatos?
- Verificar extras diferentes: ¿Tienen las celdas BUG candidatos extra DIFERENTES?
- Encontrar región compartida: ¿Están las celdas BUG en la misma fila, columna o caja?
- Combinar extras: La unión de todos los extras forma una "celda virtual"
- Encontrar celdas auxiliares: Busca celdas con solo estos valores
- Formar Subconjunto Desnudo: Celda virtual + auxiliares = Par/Trío/Cuarteto Desnudo
- Eliminar: Elimina valores del subconjunto de otras celdas en la región
Tipo 3 vs Tipo 2
| Aspecto | Tipo 2 | Tipo 3 |
|---|---|---|
| Extras celda BUG | Mismo valor en todas | Valores Diferentes |
| Mecanismo eliminación | Pares comunes pierden el extra compartido | Subconjunto Desnudo elimina de la región |
| Celdas auxiliares necesarias | No | Sí (para completar el subconjunto) |
| Qué se elimina | El extra compartido | Todos los valores del subconjunto |
Conexión a Bucle Único Tipo 3
BUG Tipo 3 y Bucle Único Tipo 3 usan lógica idéntica: ambos combinan patrones de unicidad con eliminación de Subconjunto Desnudo.
Estrategias Relacionadas
Familia BUG
- BUG Tipo 1 (BUG+1) — Celda BUG única
- BUG Tipo 2 — Mismo extra en múltiples celdas BUG
- BUG Tipo 4 — Un valor bloqueado en celdas BUG
Familia Bucle Único
- Bucle Único Tipo 3 — Versión en bucle de esta estrategia
Estrategias de Subconjunto Desnudo
- Par Desnudo — 2 celdas, 2 candidatos
- Trío Desnudo — 3 celdas, 3 candidatos
- Cuarteto Desnudo — 4 celdas, 4 candidatos