Bucle Único Tipo 4 es una estrategia de "unicidad" avanzada que usa el concepto de candidatos bloqueados dentro de un Bucle Único. Cuando uno de los dos valores del bucle solo puede aparecer en las celdas de rescate dentro de una región compartida, sabemos que una celda de rescate DEBE ser ese valor—permitiéndonos eliminar el otro valor del bucle.
Esta estrategia usa la regla fundamental de 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 Bucle Único de 6 celdas:
La Estructura del Bucle:
| Índice | Posición | Candidatos | Rol |
|---|---|---|---|
| 30 | R4C4 | {6, 9} | Celda del bucle |
| 32 | R4C6 | {6, 9} | Celda del bucle |
| 54 | R7C1 | {6, 9} | Celda del bucle |
| 59 | R7C6 | {6, 9} | Celda del bucle |
| 63 | R8C1 | {6, 9} + extras | Celda de rescate |
| 66 | R8C4 | {6, 9} + extras | Celda de rescate |
El Análisis Clave:
- Valores del bucle: El patrón mortal usa valores {6, 9}
- Celdas de rescate: R8C1 y R8C4 tienen candidatos extra
- Región compartida: Ambas celdas de rescate están en Fila 8
- Verificación de valor bloqueado: ¿Dónde puede aparecer el 9 en la Fila 8?
- Escaneando Fila 8: ¡El valor 9 aparece SOLO en R8C1 y R8C4!
- La lógica: Dado que 9 está bloqueado en las celdas de rescate, una de ellas DEBE ser 9
- Eliminación: Si una celda de rescate debe ser 9, ninguna puede ser 6 (el otro valor del bucle)
Resultado: Elimina 6 tanto de R8C1 como de R8C4.
Entendiendo la Lógica
¿Qué Significa "Bloqueado"?
Un valor está bloqueado a ciertas celdas en una región cuando SOLO puede aparecer en esas celdas dentro de esa región.
En nuestro ejemplo: - Fila 8 necesita un 9 en algún lugar - Mirando todas las celdas en Fila 8, solo R8C1 y R8C4 contienen candidato 9 - Por lo tanto, 9 está bloqueado a {R8C1, R8C4} - Una de estas celdas debe ser 9
La Conexión con Patrón Mortal
Ya sabemos del Bucle Único que: - Al menos una celda de rescate no debe ser un valor del bucle (para romper el patrón) - Las celdas de rescate tienen extras por esta razón
El Tipo 4 agrega otra restricción: - Una celda de rescate debe ser el valor del bucle bloqueado (9) - Por lo tanto, ninguna puede ser el otro valor del bucle (6)
¿Por Qué Eliminar el Otro Valor del Bucle?
| Si R8C1 = 9 | Si R8C4 = 9 |
|---|---|
| R8C4 no puede ser 9 o 6 (bucle roto) | R8C1 no puede ser 9 o 6 (bucle roto) |
| R8C4 debe ser un extra | R8C1 debe ser un extra |
En AMBOS escenarios, ninguna celda de rescate es 6. ¡Así que podemos eliminar 6 de ambas con seguridad!
Paso a Paso: Cómo Aplicar Tipo 4
- Identifica un Bucle Único: Encuentra 4+ celdas formando un bucle cerrado con los mismos dos candidatos (por ej., {6, 9})
- Encuentra celdas de rescate: Ubica las 2 celdas con candidatos extra
- Encuentra región compartida: ¿Celdas de rescate comparten una fila, columna o caja?
- Verifica valor bloqueado: En esa región compartida, ¿un valor del bucle está SOLO en las celdas de rescate?
- Elimina: Elimina el OTRO valor del bucle de ambas celdas de rescate
Comparación con Otros Tipos
| Tipo | Condición | Objetivo de Eliminación | Qué se Elimina |
|---|---|---|---|
| Tipo 1 | 1 celda de rescate | La celda de rescate | Valores del bucle |
| Tipo 2 | Mismo extra en rescates | Compañeros comunes | El extra compartido |
| Tipo 3 | Diferentes extras + subconjunto | Otras celdas de región | Valores del subconjunto |
| Tipo 4 | Valor del bucle bloqueado a rescates | Celdas de rescate | El OTRO valor del bucle |
Cuándo Aplica el Tipo 4
El Tipo 4 requiere una combinación específica: - ✅ Exactamente 2 celdas de rescate con extras - ✅ Ambas celdas de rescate comparten una región (fila, columna o caja) - ✅ Un valor del bucle aparece SOLO en las celdas de rescate dentro de esa región - ✅ Las celdas de rescate aún contienen el otro valor del bucle (algo para eliminar)
Estrategias Relacionadas
Familia Bucle Único
- Bucle Único Tipo 1 — Celda de rescate única
- Bucle Único Tipo 2 — Múltiples celdas comparten mismo extra
- Bucle Único Tipo 3 — Extras forman Subconjunto Desnudo
Familia Rectángulo Único
- Rectángulo Único (Tipo 4) — Versión de 4 celdas de esta estrategia
Estrategias BUG
- BUG Tipo 1 — Celda extra única previene cuadrícula bivaluada
- BUG Tipo 4 — Valor bloqueado en celdas BUG