Solucionador de Sudoku

Extrema

Cadena de Forzado de Región

Una técnica de cadenas avanzada que explora todas las posiciones posibles de un candidato en una región para demostrar una eliminación o una ubicación.

Una Cadena de Forzado de Región (Region Forcing Chain) es una técnica lógica avanzada empleada cuando las estrategias más simples han agotado su potencial. Se basa en una regla muy básica del Sudoku: un candidato debe colocarse exactamente una vez en cualquier región dada (fila, columna o bloque de 3x3).

Al rastrear las consecuencias (las cadenas lógicas) de cada posición posible de un candidato en una región, es posible descubrir que todas las posiciones de inicio posibles conducen exactamente a la misma conclusión sobre otra celda. ¡Si todos los escenarios posibles coinciden en esa conclusión, debe ser cierta!

Ejemplo interactivo

1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
4
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
7
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
2
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
7
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
2
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9

Haga clic en "Aplicar lógica" para ver la estrategia en acción.

Explicación del Ejemplo Real

En el ejemplo anterior, nuestro solucionador (solver) aplicó una Cadena de Forzado de Región para eliminar el candidato 7 de R2C8.

Echemos un vistazo a la condición inicial: El dígito 2 en la Fila 1 está restringido a exactamente tres celdas: R1C1, R1C4 y R1C7. Debido a la regla de Sudoku de que cada fila debe tener exactamente un 2, sabemos que una de estas celdas obligatoriamente debe ser 2. ¡Simplemente no sabemos cuál todavía! Vamos a explorar las cadenas desde cada posibilidad:

  1. ¿Qué pasa si R1C1 = 2?
    • Esto fuerza a que R2C3 no sea 2 (ya que comparten el Bloque 1).
    • Si R2C3 no es 2, entonces debe ser 7 (es una celda de dos valores con los candidatos {2, 7}).
    • Si R2C3 = 7, entonces R2C8 no puede ser 7 (comparten la Fila 2).
  2. ¿Qué pasa si R1C4 = 2?
    • (El solucionador encontró una cadena similar que demuestra que R2C8 no puede ser 7 partiendo de aquí).
  3. ¿Qué pasa si R1C7 = 2?
    • (El solucionador encontró otra cadena más demostrando que R2C8 no puede ser 7 partiendo desde este punto).

Dado que las tres posiciones posibles para el 2 en la Fila 1 conducen a la ineludible conclusión de que R2C8 no puede ser 7, podemos eliminar con total confianza el 7 de R2C8. ¡No necesitamos saber dónde va realmente el 2 en la Fila 1 para saber que R2C8 definitivamente no es un 7!

Cómo funciona

  1. Identifica una Región & y un Candidato: Encuentra una fila, columna o bloque donde un candidato en particular (por ej., el 2) esté restringido a un número pequeño de celdas (usualmente dos o tres).
  2. Explora Cada Escenario: Para cada una de esas posibles celdas, imagina que colocas el candidato ahí. ¿Qué fuerza esto en el resto de la cuadrícula? Sigue las cadenas lógicas (usando enlaces fuertes y débiles).
  3. Encuentra la Conclusión Común: Si todas esas cadenas separadas finalmente llevan al mismo resultado para una celda destino específica, ¡has encontrado una Cadena de Forzado de Región!

Tipos de Resultados

  • Eliminación (RFE): Todas las ramas de la cadena demuestran que una celda de destino no puede contener un candidato específico. Puedes eliminar ese candidato de forma segura.
  • Posicionamiento (RFP): Todas las ramas de la cadena demuestran que una celda de destino debe contener un candidato específico. Puedes colocar ese candidato de forma inmediata.

Cuándo usar las Cadenas de Forzado

Las cadenas de forzado son extremadamente poderosas, pero también son complejas a nivel de cálculo y mentalmente exhaustivas. Generalmente requieren un grado considerable de supuestos de tipo "qué pasaría si..." o razonamientos de prueba y error. Debido a esto, generalmente los jugadores de Sudoku las consideran técnicas de último recurso, y solo las emplean cuando todas las estrategias avanzadas basadas en patrones visuales (como la Cadena de Inferencia Alterna o la Medusa 3D) han fracasado.

Estrategias Relacionadas

  • Cadena de Inferencia Alterna (AIC): Una cadena única que demuestra una eliminación sin la necesidad de evaluar múltiples puntos de partida.
  • Cadena de Forzado de Celda (Cell Forcing Chain): Similar a la Cadena de Forzado de Región, pero en lugar de evaluar todas las posiciones para un candidato en una región, se evalúan todos los posibles candidatos para una sola celda (sin enlaces activos aun, ya que su página correspondiente está pendiente por añadir al igual que en inglés).
  • Medusa 3D: Una técnica avanzada de coloreado que algunas veces puede encontrar las mismas eliminaciones sin tener que explorar múltiples ramas de forma explícita.