Platon Games
Español

Platon Sudoku · Aprender sudoku

Nice Loop / AIC · Ejemplo paso a paso

Una cadena de inferencia alterna conecta estados de verdad lógicos de dígitos candidatos con vínculos de inferencia fuertes y débiles verificados. Las cadenas abiertas y cerradas tienen conclusiones distintas. Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

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

Una cadena de inferencia alterna conecta estados de verdad lógicos de dígitos candidatos con vínculos de inferencia fuertes y débiles verificados. Las cadenas abiertas y cerradas tienen conclusiones distintas.

como encontrarlo

Rastree cada implicación desde un extremo, registrando las transiciones fuertes y débiles y si la cadena cierra o contradice un punto final.

lo que permite

Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

Evite la confusión

Un enlace fuerte implica que, si un extremo es falso, el otro es verdadero. Un enlace débil implica que, si un extremo es verdadero, el otro es falso. No invierta estas implicaciones; compruebe la relación entre los extremos antes de concluir.

Ejemplo paso a paso · Discontinuo · eliminar

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 · Lea el AIC antes de seguirlo.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C6=1 es cierto e inspeccione R1C6=1. En columna 6, fila 2, columna 9, fila 7, bloque 5, fila 5, columna 1, fila 9, columna 8, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C6=1 es cierto e inspeccione R1C6=1. En columna 6, fila 2, columna 9, fila 7, bloque 5, fila 5, columna 1, fila 9, columna 8, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C6=1 es cierto e inspeccione R1C6=1. En columna 6, fila 2, columna 9, fila 7, bloque 5, fila 5, columna 1, fila 9, columna 8, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Paso 2 · Supuesto: iniciar la cadena alterna

Rama 1: supongamos que R1C6=1 es verdadera.

Rama 1: supongamos que R1C6=1 es verdadera.
Rama 1: supongamos que R1C6=1 es verdadera.
Paso 3 · Relación débil: conflicto de dígitos candidatos vinculados

R1C6=1 es cierto. Retire R1C6=8.

R1C6=1 es cierto. Retire R1C6=8.
R1C6=1 es cierto. Retire R1C6=8.
Paso 4 · Relación fuerte: el otro extremo es forzado

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

R1C6=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R2C6=8 debe ser verdadero.
R1C6=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R2C6=8 debe ser verdadero.
Paso 5 · Relación débil: conflicto de dígitos candidatos vinculados

R2C6=8 es cierto. Retire R2C6=6.

R2C6=8 es cierto. Retire R2C6=6.
R2C6=8 es cierto. Retire R2C6=6.
Paso 6 · Relación fuerte: el otro extremo es forzado

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

R2C6=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C9=6 debe ser verdadero.
R2C6=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 2. Por lo tanto, R2C9=6 debe ser verdadero.
Paso 7 · Relación débil: conflicto de dígitos candidatos vinculados

R2C9=6 es cierto. Retire R2C9=3.

R2C9=6 es cierto. Retire R2C9=3.
R2C9=6 es cierto. Retire R2C9=3.
Paso 8 · Relación fuerte: el otro extremo es forzado

R2C9=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 9. Por lo tanto, R7C9=3 debe ser verdadero.

R2C9=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 9. Por lo tanto, R7C9=3 debe ser verdadero.
R2C9=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 9. Por lo tanto, R7C9=3 debe ser verdadero.
Paso 9 · Relación débil: conflicto de dígitos candidatos vinculados

R7C9=3 es cierto. Retire R7C6=3.

R7C9=3 es cierto. Retire R7C6=3.
R7C9=3 es cierto. Retire R7C6=3.
Paso 10 · Relación fuerte: el otro extremo es forzado

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

R7C6=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R6C6=3 debe ser verdadero.
R7C6=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R6C6=3 debe ser verdadero.
Paso 11 · Relación débil: conflicto de dígitos candidatos vinculados

R6C6=3 es cierto. Retire R5C4=3.

R6C6=3 es cierto. Retire R5C4=3.
R6C6=3 es cierto. Retire R5C4=3.
Paso 12 · Relación fuerte: el otro extremo es forzado

R5C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 5. Por lo tanto, R5C1=3 debe ser verdadero.

R5C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 5. Por lo tanto, R5C1=3 debe ser verdadero.
R5C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 5. Por lo tanto, R5C1=3 debe ser verdadero.
Paso 13 · Relación débil: conflicto de dígitos candidatos vinculados

R5C1=3 es cierto. Retire R9C1=3.

R5C1=3 es cierto. Retire R9C1=3.
R5C1=3 es cierto. Retire R9C1=3.
Paso 14 · Relación fuerte: el otro extremo es forzado

R9C1=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 9. Por lo tanto, R9C8=3 debe ser verdadero.

R9C1=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 9. Por lo tanto, R9C8=3 debe ser verdadero.
R9C1=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 9. Por lo tanto, R9C8=3 debe ser verdadero.
Paso 15 · Relación débil: conflicto de dígitos candidatos vinculados

R9C8=3 es cierto. Retire R2C8=3.

R9C8=3 es cierto. Retire R2C8=3.
R9C8=3 es cierto. Retire R2C8=3.
Paso 16 · Misma casilla: forzar el otro dígito candidato

R2C8=3 es falso. En la misma casilla R2C8, el otro dígito candidato R2C8=8 se fuerza a verdadero según el supuesto actual.

R2C8=3 es falso. En la misma casilla R2C8, el otro dígito candidato R2C8=8 se fuerza a verdadero según el supuesto actual.
R2C8=3 es falso. En la misma casilla R2C8, el otro dígito candidato R2C8=8 se fuerza a verdadero según el supuesto actual.
Paso 17 · Relación débil: conflicto de dígitos candidatos vinculados

R2C8=8 es cierto. Retire R2C6=8.

R2C8=8 es cierto. Retire R2C6=8.
R2C8=8 es cierto. Retire R2C6=8.
Paso 18 · Relación fuerte: el otro extremo es forzado

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

R2C6=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R1C6=8 debe ser verdadero.
R2C6=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 6. Por lo tanto, R1C6=8 debe ser verdadero.
Paso 19 · La cadena llega a una contradicción

La deducción contradice “R1C6=1 es cierto”, por lo tanto R1C6=1 es falso.

La deducción contradice “R1C6=1 es cierto”, por lo tanto R1C6=1 es falso.
La deducción contradice “R1C6=1 es cierto”, por lo tanto R1C6=1 es falso.
Paso 20 · 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 21 · Resumen de AIC

La cadena alterna comenzó desde “R1C6=1 es cierto” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C6=1 es falso. Todos los estados de verdad lógicos temporales son retirados.

La cadena alterna comenzó desde “R1C6=1 es cierto” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C6=1 es falso. Todos los estados de verdad lógicos temporales son retirados.
La cadena alterna comenzó desde “R1C6=1 es cierto” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C6=1 es falso. Todos los estados de verdad lógicos temporales son retirados.

lo que permite

La cadena alterna comenzó desde “R1C6=1 es cierto” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C6=1 es falso. Todos los estados de verdad lógicos temporales son retirados.

Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.
Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

Ejemplo paso a paso · discontinuo · lugar

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 · Lea el AIC antes de seguirlo.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C1=4 es falso e inspeccione R1C1=4. En fila 1, columna 2, bloque 4, columna 3, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C1=4 es falso e inspeccione R1C1=4. En fila 1, columna 2, bloque 4, columna 3, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C1=4 es falso e inspeccione R1C1=4. En fila 1, columna 2, bloque 4, columna 3, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Paso 2 · Supuesto: iniciar la cadena alterna

Rama 1: supongamos que R1C1=4 es falsa.

Rama 1: supongamos que R1C1=4 es falsa.
Rama 1: supongamos que R1C1=4 es falsa.
Paso 3 · Relación fuerte: el otro extremo es forzado

R1C1=4 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C3=4 debe ser verdadero.

R1C1=4 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C3=4 debe ser verdadero.
R1C1=4 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C3=4 debe ser verdadero.
Paso 4 · Relación débil: conflicto de dígitos candidatos vinculados

R1C3=4 es cierto. Retire R1C3=5.

R1C3=4 es cierto. Retire R1C3=5.
R1C3=4 es cierto. Retire R1C3=5.
Paso 5 · Relación fuerte: el otro extremo es forzado

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

R1C3=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C2=5 debe ser verdadero.
R1C3=5 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C2=5 debe ser verdadero.
Paso 6 · Relación débil: conflicto de dígitos candidatos vinculados

R1C2=5 es cierto. Retire R1C2=9.

R1C2=5 es cierto. Retire R1C2=9.
R1C2=5 es cierto. Retire R1C2=9.
Paso 7 · Relación fuerte: el otro extremo es forzado

R1C2=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 2. Por lo tanto, R5C2=9 debe ser verdadero.

R1C2=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 2. Por lo tanto, R5C2=9 debe ser verdadero.
R1C2=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 2. Por lo tanto, R5C2=9 debe ser verdadero.
Paso 8 · Relación débil: conflicto de dígitos candidatos vinculados

R5C2=9 es cierto. Retire R4C3=9.

R5C2=9 es cierto. Retire R4C3=9.
R5C2=9 es cierto. Retire R4C3=9.
Paso 9 · Misma casilla: forzar el otro dígito candidato

R4C3=9 es falso. En la misma casilla R4C3, el otro dígito candidato R4C3=4 se fuerza a verdadero según el supuesto actual.

R4C3=9 es falso. En la misma casilla R4C3, el otro dígito candidato R4C3=4 se fuerza a verdadero según el supuesto actual.
R4C3=9 es falso. En la misma casilla R4C3, el otro dígito candidato R4C3=4 se fuerza a verdadero según el supuesto actual.
Paso 10 · Relación débil: conflicto de dígitos candidatos vinculados

R4C3=4 es cierto. Retire R1C3=4.

R4C3=4 es cierto. Retire R1C3=4.
R4C3=4 es cierto. Retire R1C3=4.
Paso 11 · La cadena llega a una contradicción

La deducción contradice “R1C1=4 es falso”, por lo tanto R1C1=4 es cierto.

La deducción contradice “R1C1=4 es falso”, por lo tanto R1C1=4 es cierto.
La deducción contradice “R1C1=4 es falso”, por lo tanto R1C1=4 es cierto.
Paso 12 · 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 13 · Resumen de AIC

La cadena alterna comenzó desde “R1C1=4 es falso” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C1=4 es cierto. Todos los estados de verdad lógicos temporales son retirados.

La cadena alterna comenzó desde “R1C1=4 es falso” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C1=4 es cierto. Todos los estados de verdad lógicos temporales son retirados.
La cadena alterna comenzó desde “R1C1=4 es falso” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C1=4 es cierto. Todos los estados de verdad lógicos temporales son retirados.

lo que permite

La cadena alterna comenzó desde “R1C1=4 es falso” y siguió las relaciones etiquetadas como fuertes y débiles, incluidos interruptores de la misma casilla cuando fuera necesario, hasta una contradicción. Por lo tanto R1C1=4 es cierto. Todos los estados de verdad lógicos temporales son retirados.

Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.
Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

Ejemplo paso a paso · Tipo 1

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 · Lea el AIC antes de seguirlo.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C6=2 es falso e inspeccione R1C8=2, R1C9=2, R2C4=2. En columna 6, fila 2, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C6=2 es falso e inspeccione R1C8=2, R1C9=2, R2C4=2. En columna 6, fila 2, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C6=2 es falso e inspeccione R1C8=2, R1C9=2, R2C4=2. En columna 6, fila 2, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Paso 2 · Supuesto: iniciar la cadena alterna

Rama 1: supongamos que R1C6=2 es falsa.

Rama 1: supongamos que R1C6=2 es falsa.
Rama 1: supongamos que R1C6=2 es falsa.
Paso 3 · Misma casilla: forzar el otro dígito candidato

R1C6=2 es falso. En la misma casilla R1C6, el otro dígito candidato R1C6=1 se fuerza a verdadero según el supuesto actual.

R1C6=2 es falso. En la misma casilla R1C6, el otro dígito candidato R1C6=1 se fuerza a verdadero según el supuesto actual.
R1C6=2 es falso. En la misma casilla R1C6, el otro dígito candidato R1C6=1 se fuerza a verdadero según el supuesto actual.
Paso 4 · Relación débil: conflicto de dígitos candidatos vinculados

R1C6=1 es cierto. Retire R6C6=1.

R1C6=1 es cierto. Retire R6C6=1.
R1C6=1 es cierto. Retire R6C6=1.
Paso 5 · Misma casilla: forzar el otro dígito candidato

R6C6=1 es falso. En la misma casilla R6C6, el otro dígito candidato R6C6=6 se fuerza a verdadero según el supuesto actual.

R6C6=1 es falso. En la misma casilla R6C6, el otro dígito candidato R6C6=6 se fuerza a verdadero según el supuesto actual.
R6C6=1 es falso. En la misma casilla R6C6, el otro dígito candidato R6C6=6 se fuerza a verdadero según el supuesto actual.
Paso 6 · Relación débil: conflicto de dígitos candidatos vinculados

R6C6=6 es cierto. Retire R2C6=6.

R6C6=6 es cierto. Retire R2C6=6.
R6C6=6 es cierto. Retire R2C6=6.
Paso 7 · Misma casilla: forzar el otro dígito candidato

R2C6=6 es falso. En la misma casilla R2C6, el otro dígito candidato R2C6=7 se fuerza a verdadero según el supuesto actual.

R2C6=6 es falso. En la misma casilla R2C6, el otro dígito candidato R2C6=7 se fuerza a verdadero según el supuesto actual.
R2C6=6 es falso. En la misma casilla R2C6, el otro dígito candidato R2C6=7 se fuerza a verdadero según el supuesto actual.
Paso 8 · Relación débil: conflicto de dígitos candidatos vinculados

R2C6=7 es cierto. Retire R2C8=7.

R2C6=7 es cierto. Retire R2C8=7.
R2C6=7 es cierto. Retire R2C8=7.
Paso 9 · Misma casilla: forzar el otro dígito candidato

R2C8=7 es falso. En la misma casilla R2C8, el otro dígito candidato R2C8=2 se fuerza a verdadero según el supuesto actual.

R2C8=7 es falso. En la misma casilla R2C8, el otro dígito candidato R2C8=2 se fuerza a verdadero según el supuesto actual.
R2C8=7 es falso. En la misma casilla R2C8, el otro dígito candidato R2C8=2 se fuerza a verdadero según el supuesto actual.
Paso 10 · Resumen de AIC

Al menos uno de los extremos R1C6=2 y R2C8=2, del mismo dígito, debe ser verdadero. Cada objetivo R1C8=2, R1C9=2, R2C4=2 ve ambos extremos y, por tanto, no puede ser verdadero.

Al menos uno de los extremos R1C6=2 y R2C8=2, del mismo dígito, debe ser verdadero. Cada objetivo R1C8=2, R1C9=2, R2C4=2 ve ambos extremos y, por tanto, no puede ser verdadero.
Al menos uno de los extremos R1C6=2 y R2C8=2, del mismo dígito, debe ser verdadero. Cada objetivo R1C8=2, R1C9=2, R2C4=2 ve ambos extremos y, por tanto, no puede ser verdadero.
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 · Resumen de AIC

Retirar el caso del punto final temporal. El tipo 1 AIC elimina permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada objetivo ve tanto R1C6=2 como R2C8=2.

Retirar el caso del punto final temporal. El tipo 1 AIC elimina permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada objetivo ve tanto R1C6=2 como R2C8=2.
Retirar el caso del punto final temporal. El tipo 1 AIC elimina permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada objetivo ve tanto R1C6=2 como R2C8=2.

lo que permite

Retirar el caso del punto final temporal. El tipo 1 AIC elimina permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada objetivo ve tanto R1C6=2 como R2C8=2.

Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.
Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

Ejemplo paso a paso · Tipo 2

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 · Lea el AIC antes de seguirlo.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C8=9 es falso e inspeccione R4C8=9. En fila 1, columna 7, bloque 6, columna 8, fila 3, columna 6, fila 5, columna 4, fila 6, columna 9, fila 4, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C8=9 es falso e inspeccione R4C8=9. En fila 1, columna 7, bloque 6, columna 8, fila 3, columna 6, fila 5, columna 4, fila 6, columna 9, fila 4, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R1C8=9 es falso e inspeccione R4C8=9. En fila 1, columna 7, bloque 6, columna 8, fila 3, columna 6, fila 5, columna 4, fila 6, columna 9, fila 4, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Paso 2 · Supuesto: iniciar la cadena alterna

Rama 1: supongamos que R1C8=9 es falsa.

Rama 1: supongamos que R1C8=9 es falsa.
Rama 1: supongamos que R1C8=9 es falsa.
Paso 3 · Relación fuerte: el otro extremo es forzado

R1C8=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C7=9 debe ser verdadero.

R1C8=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C7=9 debe ser verdadero.
R1C8=9 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 1. Por lo tanto, R1C7=9 debe ser verdadero.
Paso 4 · Relación débil: conflicto de dígitos candidatos vinculados

R1C7=9 es cierto. Retire R5C7=9.

R1C7=9 es cierto. Retire R5C7=9.
R1C7=9 es cierto. Retire R5C7=9.
Paso 5 · Misma casilla: forzar el otro dígito candidato

R5C7=9 es falso. En la misma casilla R5C7, el otro dígito candidato R5C7=2 se fuerza a verdadero según el supuesto actual.

R5C7=9 es falso. En la misma casilla R5C7, el otro dígito candidato R5C7=2 se fuerza a verdadero según el supuesto actual.
R5C7=9 es falso. En la misma casilla R5C7, el otro dígito candidato R5C7=2 se fuerza a verdadero según el supuesto actual.
Paso 6 · Relación débil: conflicto de dígitos candidatos vinculados

R5C7=2 es cierto. Retire R6C8=2.

R5C7=2 es cierto. Retire R6C8=2.
R5C7=2 es cierto. Retire R6C8=2.
Paso 7 · Misma casilla: forzar el otro dígito candidato

R6C8=2 es falso. En la misma casilla R6C8, el otro dígito candidato R6C8=1 se fuerza a verdadero según el supuesto actual.

R6C8=2 es falso. En la misma casilla R6C8, el otro dígito candidato R6C8=1 se fuerza a verdadero según el supuesto actual.
R6C8=2 es falso. En la misma casilla R6C8, el otro dígito candidato R6C8=1 se fuerza a verdadero según el supuesto actual.
Paso 8 · Relación débil: conflicto de dígitos candidatos vinculados

R6C8=1 es cierto. Retire R3C8=1.

R6C8=1 es cierto. Retire R3C8=1.
R6C8=1 es cierto. Retire R3C8=1.
Paso 9 · Misma casilla: forzar el otro dígito candidato

R3C8=1 es falso. En la misma casilla R3C8, el otro dígito candidato R3C8=6 se fuerza a verdadero según el supuesto actual.

R3C8=1 es falso. En la misma casilla R3C8, el otro dígito candidato R3C8=6 se fuerza a verdadero según el supuesto actual.
R3C8=1 es falso. En la misma casilla R3C8, el otro dígito candidato R3C8=6 se fuerza a verdadero según el supuesto actual.
Paso 10 · Relación débil: conflicto de dígitos candidatos vinculados

R3C8=6 es cierto. Retire R3C6=6.

R3C8=6 es cierto. Retire R3C6=6.
R3C8=6 es cierto. Retire R3C6=6.
Paso 11 · Misma casilla: forzar el otro dígito candidato

R3C6=6 es falso. En la misma casilla R3C6, el otro dígito candidato R3C6=4 se fuerza a verdadero según el supuesto actual.

R3C6=6 es falso. En la misma casilla R3C6, el otro dígito candidato R3C6=4 se fuerza a verdadero según el supuesto actual.
R3C6=6 es falso. En la misma casilla R3C6, el otro dígito candidato R3C6=4 se fuerza a verdadero según el supuesto actual.
Paso 12 · Relación débil: conflicto de dígitos candidatos vinculados

R3C6=4 es cierto. Retire R5C6=4.

R3C6=4 es cierto. Retire R5C6=4.
R3C6=4 es cierto. Retire R5C6=4.
Paso 13 · Relación fuerte: el otro extremo es forzado

R5C6=4 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 5. Por lo tanto, R5C4=4 debe ser verdadero.

R5C6=4 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 5. Por lo tanto, R5C4=4 debe ser verdadero.
R5C6=4 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 5. Por lo tanto, R5C4=4 debe ser verdadero.
Paso 14 · Relación débil: conflicto de dígitos candidatos vinculados

R5C4=4 es cierto. Retire R5C4=3.

R5C4=4 es cierto. Retire R5C4=3.
R5C4=4 es cierto. Retire R5C4=3.
Paso 15 · Relación fuerte: el otro extremo es forzado

R5C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 4. Por lo tanto, R6C4=3 debe ser verdadero.

R5C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 4. Por lo tanto, R6C4=3 debe ser verdadero.
R5C4=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 4. Por lo tanto, R6C4=3 debe ser verdadero.
Paso 16 · Relación débil: conflicto de dígitos candidatos vinculados

R6C4=3 es cierto. Retire R6C9=3.

R6C4=3 es cierto. Retire R6C9=3.
R6C4=3 es cierto. Retire R6C9=3.
Paso 17 · Relación fuerte: el otro extremo es forzado

R6C9=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 9. Por lo tanto, R4C9=3 debe ser verdadero.

R6C9=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 9. Por lo tanto, R4C9=3 debe ser verdadero.
R6C9=3 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 9. Por lo tanto, R4C9=3 debe ser verdadero.
Paso 18 · Relación débil: conflicto de dígitos candidatos vinculados

R4C9=3 es cierto. Retire R4C9=7.

R4C9=3 es cierto. Retire R4C9=7.
R4C9=3 es cierto. Retire R4C9=7.
Paso 19 · Relación fuerte: el otro extremo es forzado

R4C9=7 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 4. Por lo tanto, R4C8=7 debe ser verdadero.

R4C9=7 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 4. Por lo tanto, R4C8=7 debe ser verdadero.
R4C9=7 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 4. Por lo tanto, R4C8=7 debe ser verdadero.
Paso 20 · Resumen de AIC

Los puntos finales del mismo nivel R1C8=9 y R4C8=7 llevan dígitos diferentes. Cada dígito de candidato cruzado R4C8=9 marcado haría que ambos puntos finales fueran falsos, así que elimínelo.

Los puntos finales del mismo nivel R1C8=9 y R4C8=7 llevan dígitos diferentes. Cada dígito de candidato cruzado R4C8=9 marcado haría que ambos puntos finales fueran falsos, así que elimínelo.
Los puntos finales del mismo nivel R1C8=9 y R4C8=7 llevan dígitos diferentes. Cada dígito de candidato cruzado R4C8=9 marcado haría que ambos puntos finales fueran falsos, así que elimínelo.
Paso 21 · 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 22 · Resumen de AIC

Retirar el caso del punto final temporal. El tipo 2 AIC elimina permanentemente los dígitos candidatos cruzados R4C8=9 entre R1C8=9 y R4C8=7.

Retirar el caso del punto final temporal. El tipo 2 AIC elimina permanentemente los dígitos candidatos cruzados R4C8=9 entre R1C8=9 y R4C8=7.
Retirar el caso del punto final temporal. El tipo 2 AIC elimina permanentemente los dígitos candidatos cruzados R4C8=9 entre R1C8=9 y R4C8=7.

lo que permite

Retirar el caso del punto final temporal. El tipo 2 AIC elimina permanentemente los dígitos candidatos cruzados R4C8=9 entre R1C8=9 y R4C8=7.

Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.
Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

Ejemplo paso a paso · Bucle continuo

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 · Lea el AIC antes de seguirlo.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R9C3=6 es falso e inspeccione R9C3=5. En columna 3, fila 5, columna 8, fila 9, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.

Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R9C3=6 es falso e inspeccione R9C3=5. En columna 3, fila 5, columna 8, fila 9, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Esta lección de Nice Loop / AIC utiliza la familia de nodos de dígitos candidatos ordinarios de HoDoKu: eliminaciones y ubicaciones discontinuas, cadenas abiertas de Tipo 1 y Tipo 2 y bucles continuos. Comience en R9C3=6 es falso e inspeccione R9C3=5. En columna 3, fila 5, columna 8, fila 9, un vínculo de línea continua significa que al menos un extremo es verdadero; un enlace discontinuo significa que los dos puntos finales no pueden ser verdaderos al mismo tiempo. Siga una relación resaltada a la vez.
Paso 2 · Supuesto: iniciar la cadena alterna

Elija R9C3=6 solo como inicio de lectura de este circuito cerrado. Esta no es una suposición de prueba; el bucle alterno volverá aquí.

Elija R9C3=6 solo como inicio de lectura de este circuito cerrado. Esta no es una suposición de prueba; el bucle alterno volverá aquí.
Elija R9C3=6 solo como inicio de lectura de este circuito cerrado. Esta no es una suposición de prueba; el bucle alterno volverá aquí.
Paso 3 · Relación fuerte: el otro extremo es forzado

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

R9C3=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 3. Por lo tanto, R5C3=6 debe ser verdadero.
R9C3=6 es falso. Juntos, estos dos lados contienen todas las opciones restantes en columna 3. Por lo tanto, R5C3=6 debe ser verdadero.
Paso 4 · Relación débil: conflicto de dígitos candidatos vinculados

R5C3=6 es cierto. Retire R5C8=6.

R5C3=6 es cierto. Retire R5C8=6.
R5C3=6 es cierto. Retire R5C8=6.
Paso 5 · Misma casilla: forzar el otro dígito candidato

R5C8=6 es falso. En la misma casilla R5C8, el otro dígito candidato R5C8=8 se fuerza a verdadero según el supuesto actual.

R5C8=6 es falso. En la misma casilla R5C8, el otro dígito candidato R5C8=8 se fuerza a verdadero según el supuesto actual.
R5C8=6 es falso. En la misma casilla R5C8, el otro dígito candidato R5C8=8 se fuerza a verdadero según el supuesto actual.
Paso 6 · Relación débil: conflicto de dígitos candidatos vinculados

R5C8=8 es cierto. Retire R9C8=8.

R5C8=8 es cierto. Retire R9C8=8.
R5C8=8 es cierto. Retire R9C8=8.
Paso 7 · Relación fuerte: el otro extremo es forzado

R9C8=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 9. Por lo tanto, R9C3=8 debe ser verdadero.

R9C8=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 9. Por lo tanto, R9C3=8 debe ser verdadero.
R9C8=8 es falso. Juntos, estos dos lados contienen todas las opciones restantes en fila 9. Por lo tanto, R9C3=8 debe ser verdadero.
Paso 8 · Relación débil: conflicto de dígitos candidatos vinculados

R9C3=8 es cierto. Retire R9C3=6.

R9C3=8 es cierto. Retire R9C3=6.
R9C3=8 es cierto. Retire R9C3=6.
Paso 9 · Resumen de AIC

La cadena se cierra como un bucle alterno continuo. Por lo tanto, cada relación débil en el bucle es fuerte, lo que elimina R9C3=5 de la casilla o unidad de Sudoku afectada.

La cadena se cierra como un bucle alterno continuo. Por lo tanto, cada relación débil en el bucle es fuerte, lo que elimina R9C3=5 de la casilla o unidad de Sudoku afectada.
La cadena se cierra como un bucle alterno continuo. Por lo tanto, cada relación débil en el bucle es fuerte, lo que elimina R9C3=5 de la casilla o unidad de Sudoku afectada.
Paso 10 · 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 11 · Resumen de AIC

El recorrido del bucle está completo; retire sus estados de verdad lógicos temporales y elimine permanentemente R9C3=5.

El recorrido del bucle está completo; retire sus estados de verdad lógicos temporales y elimine permanentemente R9C3=5.
El recorrido del bucle está completo; retire sus estados de verdad lógicos temporales y elimine permanentemente R9C3=5.

lo que permite

El recorrido del bucle está completo; retire sus estados de verdad lógicos temporales y elimine permanentemente R9C3=5.

Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.
Nice Loop / AIC · Utilice el resultado verificado: elimine un dígito candidato o coloque un dígito cuando su estado de verdad lógico opuesto sea imposible.

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