Rectángulo Único (Tipo 4) es una estrategia de unicidad avanzada. Como el Tipo 1, Tipo 2 y Tipo 3, usa la regla de que un Sudoku válido tiene exactamente una solución para eliminar candidatos que crearían un "Patrón Mortal".
El Tipo 4 es especial porque usa candidatos bloqueados dentro del rectángulo para determinar qué dígito debe quedarse.
Interactive Example
Click "Apply Logic" to see the strategy in action.
El Concepto Central
Recuerda el Patrón Mortal del Rectángulo Único (Tipo 1): cuatro celdas en un rectángulo, todas conteniendo el mismo par (como {4, 8}), permitirían dos soluciones.
En Tipo 4, notamos que uno de los candidatos UR está bloqueado en una fila o columna: - Si el dígito X puede aparecer SOLO en las celdas UR dentro de esa fila/columna... - Entonces X debe ir en una de esas celdas UR. - Esto nos "rescata" del Patrón Mortal. - Por lo tanto, el otro candidato puede ser eliminado con seguridad de esas celdas.
Explicación con Ejemplo Real
En el ejemplo de arriba:
-
El Rectángulo: Celdas R5C7, R5C9, R8C7, R8C9 forman un UR con candidatos {4, 8}.
-
El Bloqueo: Mira la Columna 9 (o Columna 7).
- ¿Dónde puede ir el 8 en esta columna dentro de las celdas UR?
- El dígito 8 está "bloqueado" para aparecer solo en las celdas UR para esta columna.
-
La Lógica:
- Dado que 8 está bloqueado en las celdas UR de esta columna, al menos una celda UR DEBE contener 8.
- Esto previene el Patrón Mortal (no tendremos cuatro pares idénticos {4, 8}).
- El "rescate" está garantizado por el dígito 8.
-
La Eliminación:
- Dado que 8 nos rescata, no necesitamos que 4 nos rescate.
- Podemos eliminar con seguridad 4 de las celdas UR en esa columna.
Cómo Detectarlo
- Encuentra un UR: Cuatro celdas formando un rectángulo en 2 filas, 2 columnas, abarcando 2 cajas.
- Identifica el Par: Las cuatro celdas comparten candidatos como {A, B}.
- Verifica un Bloqueo: En cualquier fila/columna conteniendo dos celdas UR:
- ¿Se encuentra uno de los candidatos (A o B) SOLO en esas celdas UR?
- Si sí, ese candidato está "bloqueado".
- Elimina: Elimina el OTRO candidato de esas dos celdas UR.
Comparación con Otros Tipos de UR
| Tipo | Condición | Eliminación |
|---|---|---|
| Tipo 1 | 3 celdas son bivaluadas, 1 tiene extras | Elimina par de la 4ta celda |
| Tipo 2 | 2 celdas tienen mismo extra | Elimina extra de compañeros comunes |
| Tipo 3 | Extras forman Subconjunto Desnudo | Eliminación de subconjunto estándar |
| Tipo 4 | Un candidato bloqueado en la unidad | Elimina otro candidato de celdas UR |