Platon Games
Español

Platon Sudoku · Aprender sudoku

Red de forzado (Forcing Net) · Ejemplo paso a paso

A Red de forzado (Forcing Net) se ramifica y fusiona implicaciones de dígitos candidatos. Puede refutar una suposición o demostrar un resultado común entre alternativas. Elimine un dígito candidato refutado o aplique el resultado compartido por todas las ramas exhaustivas.

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

A Red de forzado (Forcing Net) se ramifica y fusiona implicaciones de dígitos candidatos. Puede refutar una suposición o demostrar un resultado común entre alternativas.

como encontrarlo

Realice un seguimiento de cada premisa a través de la red de sucursales, verifique cada vínculo y compare contradicciones o puntos finales comunes.

lo que permite

Elimine un dígito candidato refutado o aplique el resultado compartido por todas las ramas exhaustivas.

Evite la confusión

No te saltes una rama ni confundas un efecto compartido con un efecto de una sola ruta.

Ejemplo paso a paso · Contradicción

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

R1C3=7 es verdadero o falso. El gráfico prueba R1C3=7 es cierto; una contradicción descarta ese estado de verdad lógico y obliga a R1C3=7 es falso, por lo que los dos posibles estados de verdad lógicos están completamente cubiertos. Esta es una Red de forzado (Forcing Net), no una Cadena de forzado (Forcing Chain), porque el gráfico de dependencia verificada se despliega o se fusiona en lugar de permanecer como una única ruta de implicación lineal. La rama explorada contiene nodos verificados 49.

R1C3=7 es verdadero o falso. El gráfico prueba R1C3=7 es cierto; una contradicción descarta ese estado de verdad lógico y obliga a R1C3=7 es falso, por lo que los dos posibles estados de verdad lógicos están completamente cubiertos. Esta es una Red de forzado (Forcing Net), no una Cadena de forzado (Forcing Chain), porque el gráfico de dependencia verificada se despliega o se fusiona en lugar de permanecer como una única ruta de implicación lineal. La rama explorada contiene nodos verificados 49.
R1C3=7 es verdadero o falso. El gráfico prueba R1C3=7 es cierto; una contradicción descarta ese estado de verdad lógico y obliga a R1C3=7 es falso, por lo que los dos posibles estados de verdad lógicos están completamente cubiertos. Esta es una Red de forzado (Forcing Net), no una Cadena de forzado (Forcing Chain), porque el gráfico de dependencia verificada se despliega o se fusiona en lugar de permanecer como una única ruta de implicación lineal. La rama explorada contiene nodos verificados 49.
Paso 2 · Razonamiento

Rama 1: supongamos que R1C3=7 es verdadera.

Rama 1: supongamos que R1C3=7 es verdadera.
Rama 1: supongamos que R1C3=7 es verdadera.
Paso 3 · Razonamiento

R1C3=7 es cierto. Retire {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 es cierto. Retire {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 es cierto. Retire {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Paso 4 · Razonamiento

Después de las exclusiones anteriores, R8C3=3 es la única opción restante en R8C3. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R8C3=3 es la única opción restante en R8C3. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R8C3=3 es la única opción restante en R8C3. Se ve obligado bajo este supuesto.
Paso 5 · Razonamiento

R8C3=3 es cierto. Retire R7C3=3.

R8C3=3 es cierto. Retire R7C3=3.
R8C3=3 es cierto. Retire R7C3=3.
Paso 6 · Razonamiento

Después de las exclusiones anteriores, R7C4=3 es la única opción restante en fila 7. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R7C4=3 es la única opción restante en fila 7. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R7C4=3 es la única opción restante en fila 7. Se ve obligado bajo este supuesto.
Paso 7 · Razonamiento

Después de las exclusiones anteriores, R8C2=7 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R8C2=7 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R8C2=7 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.
Paso 8 · Razonamiento

R8C2=7 es cierto. Retire R8C2=8.

R8C2=7 es cierto. Retire R8C2=8.
R8C2=7 es cierto. Retire R8C2=8.
Paso 9 · Razonamiento

Después de las exclusiones anteriores, R8C8=8 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R8C8=8 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R8C8=8 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.
Paso 10 · Razonamiento

R8C8=8 es cierto. Retire R8C8=4.

R8C8=8 es cierto. Retire R8C8=4.
R8C8=8 es cierto. Retire R8C8=4.
Paso 11 · Razonamiento

Después de las exclusiones anteriores, R6C1=7 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R6C1=7 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R6C1=7 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.
Paso 12 · Razonamiento

R6C1=7 es cierto. Retire R6C1=5.

R6C1=7 es cierto. Retire R6C1=5.
R6C1=7 es cierto. Retire R6C1=5.
Paso 13 · Razonamiento

Después de las exclusiones anteriores, R3C8=4 es la única opción restante en columna 8. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R3C8=4 es la única opción restante en columna 8. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R3C8=4 es la única opción restante en columna 8. Se ve obligado bajo este supuesto.
Paso 14 · Razonamiento

R3C8=4 es cierto. Retire {R3C8=1, R3C8=6}.

R3C8=4 es cierto. Retire {R3C8=1, R3C8=6}.
R3C8=4 es cierto. Retire {R3C8=1, R3C8=6}.
Paso 15 · Razonamiento

Después de las exclusiones anteriores, R3C1=2 es la única opción restante en bloque 1. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R3C1=2 es la única opción restante en bloque 1. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R3C1=2 es la única opción restante en bloque 1. Se ve obligado bajo este supuesto.
Paso 16 · Razonamiento

R3C1=2 es cierto. Retire R3C1=5.

R3C1=2 es cierto. Retire R3C1=5.
R3C1=2 es cierto. Retire R3C1=5.
Paso 17 · Razonamiento

Después de las exclusiones anteriores, R9C7=4 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R9C7=4 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R9C7=4 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Paso 18 · Razonamiento

R9C7=4 es cierto. Retire R9C7=9.

R9C7=4 es cierto. Retire R9C7=9.
R9C7=4 es cierto. Retire R9C7=9.
Paso 19 · Razonamiento

Después de las exclusiones anteriores, R7C9=9 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R7C9=9 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R7C9=9 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Paso 20 · Razonamiento

R3C8=4 es cierto. Retire R2C7=4.

R3C8=4 es cierto. Retire R2C7=4.
R3C8=4 es cierto. Retire R2C7=4.
Paso 21 · Razonamiento

R6C1=7 es cierto. Retire R6C7=7.

R6C1=7 es cierto. Retire R6C7=7.
R6C1=7 es cierto. Retire R6C7=7.
Paso 22 · Razonamiento

Después de las exclusiones anteriores, R6C7=6 es la única opción restante en R6C7. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R6C7=6 es la única opción restante en R6C7. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R6C7=6 es la única opción restante en R6C7. Se ve obligado bajo este supuesto.
Paso 23 · Razonamiento

R6C7=6 es cierto. Retire R3C7=6.

R6C7=6 es cierto. Retire R3C7=6.
R6C7=6 es cierto. Retire R3C7=6.
Paso 24 · Razonamiento

R7C4=3 es cierto. Retire R2C4=3.

R7C4=3 es cierto. Retire R2C4=3.
R7C4=3 es cierto. Retire R2C4=3.
Paso 25 · Razonamiento

R7C9=9 es cierto. Retire {R1C9=9, R7C3=9}.

R7C9=9 es cierto. Retire {R1C9=9, R7C3=9}.
R7C9=9 es cierto. Retire {R1C9=9, R7C3=9}.
Paso 26 · Razonamiento

R8C8=8 es cierto. Retire R1C8=8.

R8C8=8 es cierto. Retire R1C8=8.
R8C8=8 es cierto. Retire R1C8=8.
Paso 27 · Razonamiento

Después de las exclusiones anteriores, R3C9=6 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R3C9=6 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R3C9=6 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.
Paso 28 · Razonamiento

R3C9=6 es cierto. Retire R3C9=1.

R3C9=6 es cierto. Retire R3C9=1.
R3C9=6 es cierto. Retire R3C9=1.
Paso 29 · Razonamiento

Después de las exclusiones anteriores, R9C1=9 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R9C1=9 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R9C1=9 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.
Paso 30 · Razonamiento

R9C1=9 es cierto. Retire R9C1=5.

R9C1=9 es cierto. Retire R9C1=5.
R9C1=9 es cierto. Retire R9C1=5.
Paso 31 · Razonamiento

Después de las exclusiones anteriores, R2C1=5 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R2C1=5 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R2C1=5 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.
Paso 32 · Razonamiento

Después de las exclusiones anteriores, R2C3=9 es la única opción restante en columna 3. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R2C3=9 es la única opción restante en columna 3. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R2C3=9 es la única opción restante en columna 3. Se ve obligado bajo este supuesto.
Paso 33 · Razonamiento

Después de las exclusiones anteriores, R2C9=1 es la única opción restante en bloque 3. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R2C9=1 es la única opción restante en bloque 3. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R2C9=1 es la única opción restante en bloque 3. Se ve obligado bajo este supuesto.
Paso 34 · Razonamiento

Después de las exclusiones anteriores, R1C8=5 es la única opción restante en R1C8. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R1C8=5 es la única opción restante en R1C8. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R1C8=5 es la única opción restante en R1C8. Se ve obligado bajo este supuesto.
Paso 35 · Razonamiento

R1C8=5 es cierto. Retire R1C9=5.

R1C8=5 es cierto. Retire R1C9=5.
R1C8=5 es cierto. Retire R1C9=5.
Paso 36 · Razonamiento

Después de las exclusiones anteriores, R1C9=8 es la única opción restante en R1C9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R1C9=8 es la única opción restante en R1C9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R1C9=8 es la única opción restante en R1C9. Se ve obligado bajo este supuesto.
Paso 37 · Razonamiento

R1C9=8 es cierto. Retire R2C7=8.

R1C9=8 es cierto. Retire R2C7=8.
R1C9=8 es cierto. Retire R2C7=8.
Paso 38 · Razonamiento

R2C1=5 es cierto. Retire R2C4=5.

R2C1=5 es cierto. Retire R2C4=5.
R2C1=5 es cierto. Retire R2C4=5.
Paso 39 · Razonamiento

R2C3=9 es cierto. Retire R2C7=9.

R2C3=9 es cierto. Retire R2C7=9.
R2C3=9 es cierto. Retire R2C7=9.
Paso 40 · Razonamiento

Después de las exclusiones anteriores, R2C7=7 es la única opción restante en R2C7. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R2C7=7 es la única opción restante en R2C7. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R2C7=7 es la única opción restante en R2C7. Se ve obligado bajo este supuesto.
Paso 41 · Razonamiento

R2C7=7 es cierto. Retire R2C4=7.

R2C7=7 es cierto. Retire R2C4=7.
R2C7=7 es cierto. Retire R2C4=7.
Paso 42 · Razonamiento

R2C9=1 es cierto. Retire R2C4=1.

R2C9=1 es cierto. Retire R2C4=1.
R2C9=1 es cierto. Retire R2C4=1.
Paso 43 · Razonamiento

Esta suposición no deja ningún valor o posición posible en R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Una casilla de Sudoku y cada dígito que falta en una región deben tener una opción. La suposición es imposible.

Esta suposición no deja ningún valor o posición posible en R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Una casilla de Sudoku y cada dígito que falta en una región deben tener una opción. La suposición es imposible.
Esta suposición no deja ningún valor o posición posible en R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Una casilla de Sudoku y cada dígito que falta en una región deben tener una opción. La suposición es imposible.
Paso 44 · 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 45 · Conclusión

R1C3=7 se puede eliminar porque no puede ser cierto en este patrón.

R1C3=7 se puede eliminar porque no puede ser cierto en este patrón.
R1C3=7 se puede eliminar porque no puede ser cierto en este patrón.

lo que permite

R1C3=7 se puede eliminar porque no puede ser cierto en este patrón.

Red de forzado (Forcing Net) · Elimine un dígito candidato refutado o aplique el resultado compartido por todas las ramas exhaustivas.
Red de forzado (Forcing Net) · Elimine un dígito candidato refutado o aplique el resultado compartido por todas las ramas exhaustivas.

Ejemplo paso a paso · Resultado común

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 conjunto raíz R7C5=2, R7C5=4, R7C5=9 contiene todos los inicios posibles en R7C5, por lo que las ramas raíz son exhaustivas. Este es un Red de forzado (Forcing Net), no un Cadena de forzado (Forcing Chain), porque es el gráfico de dependencia verificada se despliega o se fusiona en lugar de permanecer como una única ruta de implicación lineal. El gráfico de dependencia contiene nodos verificados 58 en las ramas raíz 3. El resultado común a verificar es R3C6=2 es cierto.

El conjunto raíz R7C5=2, R7C5=4, R7C5=9 contiene todos los inicios posibles en R7C5, por lo que las ramas raíz son exhaustivas. Este es un Red de forzado (Forcing Net), no un Cadena de forzado (Forcing Chain), porque es el gráfico de dependencia verificada se despliega o se fusiona en lugar de permanecer como una única ruta de implicación lineal. El gráfico de dependencia contiene nodos verificados 58 en las ramas raíz 3. El resultado común a verificar es R3C6=2 es cierto.
El conjunto raíz R7C5=2, R7C5=4, R7C5=9 contiene todos los inicios posibles en R7C5, por lo que las ramas raíz son exhaustivas. Este es un Red de forzado (Forcing Net), no un Cadena de forzado (Forcing Chain), porque es el gráfico de dependencia verificada se despliega o se fusiona en lugar de permanecer como una única ruta de implicación lineal. El gráfico de dependencia contiene nodos verificados 58 en las ramas raíz 3. El resultado común a verificar es R3C6=2 es cierto.
Paso 2 · Razonamiento

Rama 1: supongamos que R7C5=2 es verdadera.

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

R7C5=2 es cierto. Retire R3C5=2.

R7C5=2 es cierto. Retire R3C5=2.
R7C5=2 es cierto. Retire R3C5=2.
Paso 4 · Razonamiento

Después de las exclusiones anteriores, R3C6=2 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R3C6=2 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R3C6=2 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.
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 R7C5=4 es verdadera.

Rama 2: supongamos que R7C5=4 es verdadera.
Rama 2: supongamos que R7C5=4 es verdadera.
Paso 7 · Razonamiento

R7C5=4 es cierto. Retire R8C5=4.

R7C5=4 es cierto. Retire R8C5=4.
R7C5=4 es cierto. Retire R8C5=4.
Paso 8 · Razonamiento

Después de las exclusiones anteriores, R8C5=2 es la única opción restante en R8C5. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R8C5=2 es la única opción restante en R8C5. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R8C5=2 es la única opción restante en R8C5. Se ve obligado bajo este supuesto.
Paso 9 · Razonamiento

R8C5=2 es cierto. Retire R3C5=2.

R8C5=2 es cierto. Retire R3C5=2.
R8C5=2 es cierto. Retire R3C5=2.
Paso 10 · Razonamiento

Después de las exclusiones anteriores, R3C6=2 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R3C6=2 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R3C6=2 es la única opción restante en fila 3. Se ve obligado bajo este supuesto.
Paso 11 · 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 12 · Razonamiento

Rama 3: supongamos que R7C5=9 es verdadera.

Rama 3: supongamos que R7C5=9 es verdadera.
Rama 3: supongamos que R7C5=9 es verdadera.
Paso 13 · Razonamiento

R7C5=9 es cierto. Retire {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 es cierto. Retire {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 es cierto. Retire {R7C7=9, R7C8=9, R7C9=9}.
Paso 14 · Razonamiento

Después de las exclusiones anteriores, R7C8=7 es la única opción restante en R7C8. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R7C8=7 es la única opción restante en R7C8. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R7C8=7 es la única opción restante en R7C8. Se ve obligado bajo este supuesto.
Paso 15 · Razonamiento

R7C8=7 es cierto. Retire {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 es cierto. Retire {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 es cierto. Retire {R7C9=7, R9C7=7, R9C8=7}.
Paso 16 · Razonamiento

Después de las exclusiones anteriores, R7C9=8 es la única opción restante en R7C9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R7C9=8 es la única opción restante en R7C9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R7C9=8 es la única opción restante en R7C9. Se ve obligado bajo este supuesto.
Paso 17 · Razonamiento

R7C9=8 es cierto. Retire {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 es cierto. Retire {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 es cierto. Retire {R7C7=8, R8C7=8, R9C7=8}.
Paso 18 · Razonamiento

Después de las exclusiones anteriores, R9C1=7 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R9C1=7 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R9C1=7 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.
Paso 19 · Razonamiento

Después de las exclusiones anteriores, R4C7=8 es la única opción restante en columna 7. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R4C7=8 es la única opción restante en columna 7. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R4C7=8 es la única opción restante en columna 7. Se ve obligado bajo este supuesto.
Paso 20 · Razonamiento

R4C7=8 es cierto. Retire R4C7=5.

R4C7=8 es cierto. Retire R4C7=5.
R4C7=8 es cierto. Retire R4C7=5.
Paso 21 · Razonamiento

Después de las exclusiones anteriores, R4C9=7 es la única opción restante en columna 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R4C9=7 es la única opción restante en columna 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R4C9=7 es la única opción restante en columna 9. Se ve obligado bajo este supuesto.
Paso 22 · Razonamiento

R4C9=7 es cierto. Retire R4C9=9.

R4C9=7 es cierto. Retire R4C9=9.
R4C9=7 es cierto. Retire R4C9=9.
Paso 23 · Razonamiento

Después de las exclusiones anteriores, R6C9=9 es la única opción restante en columna 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R6C9=9 es la única opción restante en columna 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R6C9=9 es la única opción restante en columna 9. Se ve obligado bajo este supuesto.
Paso 24 · Razonamiento

R6C9=9 es cierto. Retire R6C9=1.

R6C9=9 es cierto. Retire R6C9=1.
R6C9=9 es cierto. Retire R6C9=1.
Paso 25 · Razonamiento

Después de las exclusiones anteriores, R5C7=1 es la única opción restante en bloque 6. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R5C7=1 es la única opción restante en bloque 6. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R5C7=1 es la única opción restante en bloque 6. Se ve obligado bajo este supuesto.
Paso 26 · Razonamiento

R5C7=1 es cierto. Retire {R5C7=5, R5C7=7}.

R5C7=1 es cierto. Retire {R5C7=5, R5C7=7}.
R5C7=1 es cierto. Retire {R5C7=5, R5C7=7}.
Paso 27 · Razonamiento

Después de las exclusiones anteriores, R4C8=5 es la única opción restante en bloque 6. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R4C8=5 es la única opción restante en bloque 6. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R4C8=5 es la única opción restante en bloque 6. Se ve obligado bajo este supuesto.
Paso 28 · Razonamiento

R4C8=5 es cierto. Retire {R4C5=5, R8C8=5}.

R4C8=5 es cierto. Retire {R4C5=5, R8C8=5}.
R4C8=5 es cierto. Retire {R4C5=5, R8C8=5}.
Paso 29 · Razonamiento

R5C7=1 es cierto. Retire {R2C7=1, R5C1=1}.

R5C7=1 es cierto. Retire {R2C7=1, R5C1=1}.
R5C7=1 es cierto. Retire {R2C7=1, R5C1=1}.
Paso 30 · Razonamiento

R9C1=7 es cierto. Retire R5C1=7.

R9C1=7 es cierto. Retire R5C1=7.
R9C1=7 es cierto. Retire R5C1=7.
Paso 31 · Razonamiento

Después de las exclusiones anteriores, R5C2=7 es la única opción restante en fila 5. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R5C2=7 es la única opción restante en fila 5. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R5C2=7 es la única opción restante en fila 5. Se ve obligado bajo este supuesto.
Paso 32 · Razonamiento

R5C2=7 es cierto. Retire R5C2=3.

R5C2=7 es cierto. Retire R5C2=3.
R5C2=7 es cierto. Retire R5C2=3.
Paso 33 · Razonamiento

Después de las exclusiones anteriores, R8C7=5 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R8C7=5 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R8C7=5 es la única opción restante en fila 8. Se ve obligado bajo este supuesto.
Paso 34 · Razonamiento

R8C7=5 es cierto. Retire {R8C7=2, R8C7=6}.

R8C7=5 es cierto. Retire {R8C7=2, R8C7=6}.
R8C7=5 es cierto. Retire {R8C7=2, R8C7=6}.
Paso 35 · Razonamiento

Después de las exclusiones anteriores, R1C1=1 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R1C1=1 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R1C1=1 es la única opción restante en columna 1. Se ve obligado bajo este supuesto.
Paso 36 · Razonamiento

Después de las exclusiones anteriores, R7C7=6 es la única opción restante en columna 7. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R7C7=6 es la única opción restante en columna 7. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R7C7=6 es la única opción restante en columna 7. Se ve obligado bajo este supuesto.
Paso 37 · Razonamiento

R7C7=6 es cierto. Retire R7C7=2.

R7C7=6 es cierto. Retire R7C7=2.
R7C7=6 es cierto. Retire R7C7=2.
Paso 38 · Razonamiento

Después de las exclusiones anteriores, R9C7=2 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R9C7=2 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R9C7=2 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Paso 39 · Razonamiento

R9C7=2 es cierto. Retire R9C7=9.

R9C7=2 es cierto. Retire R9C7=9.
R9C7=2 es cierto. Retire R9C7=9.
Paso 40 · Razonamiento

Después de las exclusiones anteriores, R9C8=9 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R9C8=9 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R9C8=9 es la única opción restante en bloque 9. Se ve obligado bajo este supuesto.
Paso 41 · Razonamiento

R9C8=9 es cierto. Retire R9C8=3.

R9C8=9 es cierto. Retire R9C8=3.
R9C8=9 es cierto. Retire R9C8=3.
Paso 42 · Razonamiento

R1C1=1 es cierto. Retire R2C3=1.

R1C1=1 es cierto. Retire R2C3=1.
R1C1=1 es cierto. Retire R2C3=1.
Paso 43 · Razonamiento

Después de las exclusiones anteriores, R2C5=1 es la única opción restante en fila 2. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R2C5=1 es la única opción restante en fila 2. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R2C5=1 es la única opción restante en fila 2. Se ve obligado bajo este supuesto.
Paso 44 · Razonamiento

R2C5=1 es cierto. Retire R2C5=5.

R2C5=1 es cierto. Retire R2C5=5.
R2C5=1 es cierto. Retire R2C5=5.
Paso 45 · Razonamiento

Después de las exclusiones anteriores, R9C3=3 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R9C3=3 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R9C3=3 es la única opción restante en fila 9. Se ve obligado bajo este supuesto.
Paso 46 · Razonamiento

Después de las exclusiones anteriores, R5C5=5 es la única opción restante en columna 5. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R5C5=5 es la única opción restante en columna 5. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R5C5=5 es la única opción restante en columna 5. Se ve obligado bajo este supuesto.
Paso 47 · Razonamiento

R5C5=5 es cierto. Retire R5C5=3.

R5C5=5 es cierto. Retire R5C5=3.
R5C5=5 es cierto. Retire R5C5=3.
Paso 48 · Razonamiento

R9C3=3 es cierto. Retire R5C3=3.

R9C3=3 es cierto. Retire R5C3=3.
R9C3=3 es cierto. Retire R5C3=3.
Paso 49 · Razonamiento

Después de las exclusiones anteriores, R5C6=3 es la única opción restante en fila 5. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R5C6=3 es la única opción restante en fila 5. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R5C6=3 es la única opción restante en fila 5. Se ve obligado bajo este supuesto.
Paso 50 · Razonamiento

R5C6=3 es cierto. Retire R3C6=3.

R5C6=3 es cierto. Retire R3C6=3.
R5C6=3 es cierto. Retire R3C6=3.
Paso 51 · Razonamiento

Después de las exclusiones anteriores, R3C6=2 es la única opción restante en R3C6. Se ve obligado bajo este supuesto.

Después de las exclusiones anteriores, R3C6=2 es la única opción restante en R3C6. Se ve obligado bajo este supuesto.
Después de las exclusiones anteriores, R3C6=2 es la única opción restante en R3C6. Se ve obligado bajo este supuesto.
Paso 52 · Razonamiento

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

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

Este patrón fuerza a R3C6=2.

Este patrón fuerza a R3C6=2.
Este patrón fuerza a R3C6=2.

lo que permite

Este patrón fuerza a R3C6=2.

Red de forzado (Forcing Net) · Elimine un dígito candidato refutado o aplique el resultado compartido por todas las ramas exhaustivas.
Red de forzado (Forcing Net) · Elimine un dígito candidato refutado o aplique el resultado compartido por todas las ramas exhaustivas.

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