Bucle Único Tipo 3 es una estrategia de "unicidad" avanzada que combina el concepto de un Bucle Único con la lógica de Subconjunto Desnudo. Esta técnica poderosa maneja situaciones donde múltiples celdas de rescate tienen candidatos extra diferentes que juntos forman un Subconjunto Desnudo con otras celdas en una región compartida.
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 | Rol |
|---|---|---|
| 3 | R1C4 | Celda de rescate (tiene extra) |
| 4 | R1C5 | Celda de rescate (tiene extra) |
| 27 | R4C1 | Celda del bucle |
| 31 | R4C5 | Celda del bucle |
| 36 | R5C1 | Celda del bucle |
| 39 | R5C4 | Celda del bucle |
La Idea Clave:
- El par del bucle: Las celdas comparten candidatos que podrían formar un patrón mortal
- Celdas de rescate con diferentes extras: R1C4 y R1C5 tienen candidatos extra (por ej., 3 y 7)
- Región compartida: Ambas celdas de rescate están en la misma fila (Fila 1)
- Celda compañera: R1C2 (índice 1) también contiene {3, 7}
- Par Desnudo formado: Los extras de las celdas de rescate + R1C2 forman un Par Desnudo {3, 7}
- Eliminación: Elimina 3 y 7 de otras celdas en Fila 1 (específicamente R1C6)
Resultado: Elimina 3 y 7 de R1C6.
Entendiendo la Lógica
El Concepto de "Celda Virtual"
En Tipo 3, tratamos los extras combinados de todas las celdas de rescate como una sola "celda virtual":
- Celda de rescate 1 tiene extra: 3
- Celda de rescate 2 tiene extra: 7
- Celda virtual contiene: {3, 7}
¡Esta celda virtual puede entonces participar en la lógica de Subconjunto Desnudo!
Cómo se Forma el Subconjunto Desnudo
| Componente | Candidatos | Rol |
|---|---|---|
| Celda virtual (extras rescate) | {3, 7} | Parte del subconjunto |
| R1C2 (celda compañera) | {3, 7} | Parte del subconjunto |
| Par Desnudo | {3, 7} | 2 celdas, 2 valores |
Juntos, estos forman un Par Desnudo en Fila 1. Por lo tanto: - Una de las celdas de rescate debe ser 3 o 7 (para romper el bucle) - R1C2 debe ser el otro valor (3 o 7) - Ninguna otra celda en Fila 1 puede ser 3 o 7
Paso a Paso: Cómo Aplicar Tipo 3
- Identifica un Bucle Único: Encuentra 4+ celdas formando un bucle cerrado con los mismos dos candidatos
- Encuentra celdas de rescate: Ubica celdas con extras más allá del par del bucle
- Verifica extras son diferentes: Tipo 3 requiere extras DIFERENTES (mismo extra = Tipo 2)
- Encuentra región compartida: ¿Celdas de rescate comparten una fila, columna o caja?
- Combina los extras: La unión de todos los candidatos extra forma una "celda virtual"
- Encuentra celdas compañeras: Busca celdas en la región compartida con solo estos valores
- Forma Subconjunto Desnudo: Celda virtual + compañeros = Par/Trío/Cuarteto Desnudo
- Elimina: Elimina valores del subconjunto de otras celdas en la región
Comparación con Otros Tipos
| Tipo | Celdas de Rescate | Extras | Acción |
|---|---|---|---|
| Tipo 1 | 1 | Cualquiera | Elimina valores del bucle de rescate |
| Tipo 2 | 2+ | Mismo | Elimina extra de compañeros comunes |
| Tipo 3 | 2 | Diferentes | Forma Subconjunto Desnudo, elimina de región |
| Tipo 4 | 2 | Cualquiera | Un valor del bucle bloqueado, elimina el otro |
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 4 — Un valor del bucle está bloqueado
Familia Rectángulo Único
- Rectángulo Único (Tipo 3) — Versión de 4 celdas de esta estrategia
Estrategias de Subconjunto Desnudo
- Par Desnudo — 2 celdas, 2 candidatos
- Trío Desnudo — 3 celdas, 3 candidatos