Platon Games
Español

Platon Sudoku · Aprender sudoku

Cadena de forzado (Forcing Chain) · Ejemplo paso a paso

Se sigue un conjunto exhaustivo de alternativas de dígitos candidatos a través de cadenas de implicaciones lineales separadas. Mantenga solo una ubicación o eliminación compartida por cada rama viable.

Este curso adapta las lecciones de la aplicación Platon Sudoku. Lee aquí el ejemplo completo y continúa aprendiendo y practicando en la aplicación.

Ver en Google Play

Reconocer el patrón

Se sigue un conjunto exhaustivo de alternativas de dígitos candidatos a través de cadenas de implicaciones lineales separadas.

como encontrarlo

Elija una división verdadero/falso o todas las posiciones de un dígito en una región; siga cada rama hasta su consecuencia verificada.

lo que permite

Mantenga solo una ubicación o eliminación compartida por cada rama viable.

Evite la confusión

Una rama que alcance un resultado es insuficiente; las alternativas de partida deben cubrir todas las posibilidades.

Ejemplo paso a paso · Dos sucursales

Este ejemplo parte de una posición intermedia guardada. Los candidatos incluyen eliminaciones lógicas anteriores y no son notas automáticas recién generadas.

Azul: evidencias. Verde: conclusión. Dígitos tachados: candidatos eliminados. R1C1 significa fila 1, columna 1.

Paso 1 · donde buscar

El resultado común a demostrar es R1C2=7; el interruptor de rama es R1C2=5. Cualquier dígito candidato es verdadero o falso, por lo que estas dos ramas cubren todas las posibilidades. Si ambos llegan al resultado común, ese resultado es forzado.

El resultado común a demostrar es R1C2=7; el interruptor de rama es R1C2=5. Cualquier dígito candidato es verdadero o falso, por lo que estas dos ramas cubren todas las posibilidades. Si ambos llegan al resultado común, ese resultado es forzado.
El resultado común a demostrar es R1C2=7; el interruptor de rama es R1C2=5. Cualquier dígito candidato es verdadero o falso, por lo que estas dos ramas cubren todas las posibilidades. Si ambos llegan al resultado común, ese resultado es forzado.
Paso 2 · Razonamiento

Rama 1: supongamos que R1C2=5 es verdadera.

Rama 1: supongamos que R1C2=5 es verdadera.
Rama 1: supongamos que R1C2=5 es verdadera.
Paso 3 · Razonamiento

R1C2=5 es cierto. Retire R1C2=7.

R1C2=5 es cierto. Retire R1C2=7.
R1C2=5 es cierto. Retire R1C2=7.
Paso 4 · Retirar el relleno del rectángulo anterior.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Paso 5 · Razonamiento

Rama 2: supongamos que R1C2=5 es falsa.

Rama 2: supongamos que R1C2=5 es falsa.
Rama 2: supongamos que R1C2=5 es falsa.
Paso 6 · Razonamiento

R1C2=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C5=5 debe ser verdadero.

R1C2=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C5=5 debe ser verdadero.
R1C2=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C5=5 debe ser verdadero.
Paso 7 · Razonamiento

R1C5=5 es cierto. Retire R2C5=5 de columna 5.

R1C5=5 es cierto. Retire R2C5=5 de columna 5.
R1C5=5 es cierto. Retire R2C5=5 de columna 5.
Paso 8 · Razonamiento

R2C5=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C8=5 debe ser verdadero.

R2C5=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C8=5 debe ser verdadero.
R2C5=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C8=5 debe ser verdadero.
Paso 9 · Razonamiento

R2C8=5 es cierto. Retire R2C8=9.

R2C8=5 es cierto. Retire R2C8=9.
R2C8=5 es cierto. Retire R2C8=9.
Paso 10 · Razonamiento

R2C8=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C4=9 debe ser verdadero.

R2C8=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C4=9 debe ser verdadero.
R2C8=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C4=9 debe ser verdadero.
Paso 11 · Razonamiento

R2C4=9 es cierto. Retire R1C4=9 de columna 4.

R2C4=9 es cierto. Retire R1C4=9 de columna 4.
R2C4=9 es cierto. Retire R1C4=9 de columna 4.
Paso 12 · Razonamiento

R1C4=9 es falso. A R1C4 ahora solo le queda R1C4=7, por lo que debe ser cierto.

R1C4=9 es falso. A R1C4 ahora solo le queda R1C4=7, por lo que debe ser cierto.
R1C4=9 es falso. A R1C4 ahora solo le queda R1C4=7, por lo que debe ser cierto.
Paso 13 · Razonamiento

R1C4=7 es cierto. Retire R1C2=7 de fila 1.

R1C4=7 es cierto. Retire R1C2=7 de fila 1.
R1C4=7 es cierto. Retire R1C2=7 de fila 1.
Paso 14 · Razonamiento

Todas las ramas posibles llegan al mismo hecho: R1C2=7 es falso. Tras eliminar todas las suposiciones, este hecho sigue siendo cierto.

Todas las ramas posibles llegan al mismo hecho: R1C2=7 es falso. Tras eliminar todas las suposiciones, este hecho sigue siendo cierto.
Todas las ramas posibles llegan al mismo hecho: R1C2=7 es falso. Tras eliminar todas las suposiciones, este hecho sigue siendo cierto.
Paso 15 · Conclusión

El resultado verificado es R1C2=7 es falso. Se han retirado todos los supuestos temporales.

El resultado verificado es R1C2=7 es falso. Se han retirado todos los supuestos temporales.
El resultado verificado es R1C2=7 es falso. Se han retirado todos los supuestos temporales.

lo que permite

El resultado verificado es R1C2=7 es falso. Se han retirado todos los supuestos temporales.

Cadena de forzado (Forcing Chain) · Mantenga solo una ubicación o eliminación compartida por cada rama viable.
Cadena de forzado (Forcing Chain) · Mantenga solo una ubicación o eliminación compartida por cada rama viable.

Ejemplo paso a paso · Varias sucursales

Este ejemplo parte de una posición intermedia guardada. Los candidatos incluyen eliminaciones lógicas anteriores y no son notas automáticas recién generadas.

Azul: evidencias. Verde: conclusión. Dígitos tachados: candidatos eliminados. R1C1 significa fila 1, columna 1.

Paso 1 · donde buscar

Las raíces R2C4=2, R2C4=3, R2C4=6, R2C4=7 son todos los dígitos candidatos posibles en R2C4. Siga cada uno como una cadena de implicaciones lineales separada; si cada raíz llega a R2C6=3, ese resultado se fuerza. Múltiples raíces por sí solas no hacen de este un Red de forzado (Forcing Net).

Las raíces R2C4=2, R2C4=3, R2C4=6, R2C4=7 son todos los dígitos candidatos posibles en R2C4. Siga cada uno como una cadena de implicaciones lineales separada; si cada raíz llega a R2C6=3, ese resultado se fuerza. Múltiples raíces por sí solas no hacen de este un Red de forzado (Forcing Net).
Las raíces R2C4=2, R2C4=3, R2C4=6, R2C4=7 son todos los dígitos candidatos posibles en R2C4. Siga cada uno como una cadena de implicaciones lineales separada; si cada raíz llega a R2C6=3, ese resultado se fuerza. Múltiples raíces por sí solas no hacen de este un Red de forzado (Forcing Net).
Paso 2 · Razonamiento

Rama 1: supongamos que R2C4=2 es verdadera.

Rama 1: supongamos que R2C4=2 es verdadera.
Rama 1: supongamos que R2C4=2 es verdadera.
Paso 3 · Razonamiento

R2C4=2 es cierto. Retire R2C4=3.

R2C4=2 es cierto. Retire R2C4=3.
R2C4=2 es cierto. Retire R2C4=3.
Paso 4 · Razonamiento

R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.

R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.
R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.
Paso 5 · Retirar el relleno del rectángulo anterior.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Paso 6 · Razonamiento

Rama 2: supongamos que R2C4=3 es verdadera.

Rama 2: supongamos que R2C4=3 es verdadera.
Rama 2: supongamos que R2C4=3 es verdadera.
Paso 7 · Razonamiento

R2C4=3 es cierto. Retire R2C4=6.

R2C4=3 es cierto. Retire R2C4=6.
R2C4=3 es cierto. Retire R2C4=6.
Paso 8 · Razonamiento

R2C4=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en bloque 2. Por lo tanto, R1C5=6 debe ser verdadero.

R2C4=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en bloque 2. Por lo tanto, R1C5=6 debe ser verdadero.
R2C4=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en bloque 2. Por lo tanto, R1C5=6 debe ser verdadero.
Paso 9 · Razonamiento

R1C5=6 es cierto. Retire R4C5=6 de columna 5.

R1C5=6 es cierto. Retire R4C5=6 de columna 5.
R1C5=6 es cierto. Retire R4C5=6 de columna 5.
Paso 10 · Razonamiento

R4C5=6 es falso. A R4C5 ahora solo le queda R4C5=3, por lo que debe ser cierto.

R4C5=6 es falso. A R4C5 ahora solo le queda R4C5=3, por lo que debe ser cierto.
R4C5=6 es falso. A R4C5 ahora solo le queda R4C5=3, por lo que debe ser cierto.
Paso 11 · Razonamiento

R4C5=3 es cierto. Retire R6C6=3 de bloque 5.

R4C5=3 es cierto. Retire R6C6=3 de bloque 5.
R4C5=3 es cierto. Retire R6C6=3 de bloque 5.
Paso 12 · Razonamiento

R6C6=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R2C6=3 debe ser verdadero.

R6C6=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R2C6=3 debe ser verdadero.
R6C6=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R2C6=3 debe ser verdadero.
Paso 13 · Retirar el relleno del rectángulo anterior.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Paso 14 · Razonamiento

Rama 3: supongamos que R2C4=6 es verdadera.

Rama 3: supongamos que R2C4=6 es verdadera.
Rama 3: supongamos que R2C4=6 es verdadera.
Paso 15 · Razonamiento

R2C4=6 es cierto. Retire R2C4=3.

R2C4=6 es cierto. Retire R2C4=3.
R2C4=6 es cierto. Retire R2C4=3.
Paso 16 · Razonamiento

R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.

R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.
R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.
Paso 17 · Retirar el relleno del rectángulo anterior.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.
Paso 18 · Razonamiento

Rama 4: supongamos que R2C4=7 es verdadera.

Rama 4: supongamos que R2C4=7 es verdadera.
Rama 4: supongamos que R2C4=7 es verdadera.
Paso 19 · Razonamiento

R2C4=7 es cierto. Retire R2C4=3.

R2C4=7 es cierto. Retire R2C4=3.
R2C4=7 es cierto. Retire R2C4=3.
Paso 20 · Razonamiento

R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.

R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.
R2C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C6=3 debe ser verdadero.
Paso 21 · Razonamiento

Todas las ramas posibles llegan al mismo hecho: R2C6=3 es cierto. Tras eliminar todas las suposiciones, este hecho sigue siendo cierto.

Todas las ramas posibles llegan al mismo hecho: R2C6=3 es cierto. Tras eliminar todas las suposiciones, este hecho sigue siendo cierto.
Todas las ramas posibles llegan al mismo hecho: R2C6=3 es cierto. Tras eliminar todas las suposiciones, este hecho sigue siendo cierto.
Paso 22 · Conclusión

El resultado verificado es R2C6=3 es cierto. Se han retirado todos los supuestos temporales.

El resultado verificado es R2C6=3 es cierto. Se han retirado todos los supuestos temporales.
El resultado verificado es R2C6=3 es cierto. Se han retirado todos los supuestos temporales.

lo que permite

El resultado verificado es R2C6=3 es cierto. Se han retirado todos los supuestos temporales.

Cadena de forzado (Forcing Chain) · Mantenga solo una ubicación o eliminación compartida por cada rama viable.
Cadena de forzado (Forcing Chain) · Mantenga solo una ubicación o eliminación compartida por cada rama viable.

Práctica

Este curso adapta las lecciones de la aplicación Platon Sudoku. Lee aquí el ejemplo completo y continúa aprendiendo y practicando en la aplicación.

Ver en Google Play