Platon Sudoku · Aprender sudoku

AIC agrupada de un dígito (Single-Digit Grouped AIC) · Ejemplo paso a paso

Un nodo agrupado significa que al menos uno de varios dígitos candidatos es verdadero; puede participar en una cadena de inferencia alterna. Eliminar un objetivo visto por los puntos finales forzados de la cadena.

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

Un nodo agrupado significa que al menos uno de varios dígitos candidatos es verdadero; puede participar en una cadena de inferencia alterna.

como encontrarlo

Verifique que las casillas agrupadas compartan la región requerida, luego rastree los vínculos de inferencia fuertes y débiles a través de uno o más nodos del grupo.

lo que permite

Eliminar un objetivo visto por los puntos finales forzados de la cadena.

Evite la confusión

Un grupo verdadero no significa que todos los miembros sean verdaderos. Preservar el significado del grupo OR al seguir la cadena.

Ejemplo paso a paso · un grupo

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

En bloque 6, 2 puede ir sólo en R4C7, R4C8, R5C8. El dígito debe aparecer una vez en esta región.

En bloque 6, 2 puede ir sólo en R4C7, R4C8, R5C8. El dígito debe aparecer una vez en esta región. — En bloque 6, 2 puede ir sólo en R4C7, R4C8, R5C8. El dígito debe aparecer una vez en esta región.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 2 · Razonamiento

En columna 5, 2 puede ir sólo en R1C5, R4C5. El dígito debe aparecer una vez en esta región.

En columna 5, 2 puede ir sólo en R1C5, R4C5. El dígito debe aparecer una vez en esta región. — En columna 5, 2 puede ir sólo en R1C5, R4C5. El dígito debe aparecer una vez en esta región.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 3 · Razonamiento

En columna 9, 2 puede ir sólo en R1C9, R8C9. El dígito debe aparecer una vez en esta región.

En columna 9, 2 puede ir sólo en R1C9, R8C9. El dígito debe aparecer una vez en esta región. — En columna 9, 2 puede ir sólo en R1C9, R8C9. El dígito debe aparecer una vez en esta región.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 4 · Nombre los grupos de dígitos candidatos OR

Las llaves numeradas y la leyenda definen estos grupos con nombre: OR grupo de dígitos candidatos A = R4C8=2, R5C8=2. Cada grupo es un estado de verdad lógico OR: al menos un dígito candidato es verdadero, pero la cadena no afirma que todos los miembros sean verdaderos.

Las llaves numeradas y la leyenda definen estos grupos con nombre: OR grupo de dígitos candidatos A = R4C8=2, R5C8=2. Cada grupo es un estado de verdad lógico OR: al menos un dígito candidato es verdadero, pero la cadena no afirma que todos los miembros sean verdaderos. — Las llaves numeradas y la leyenda definen estos grupos con nombre: OR grupo de dígitos candidatos A = R4C8=2, R5C8=2. Cada grupo es un estado de verdad lógico OR: al menos un dígito candidato es verdadero, pero la cadena no afirma que todos los miembros sean verdaderos.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 5 · Razonamiento

Rama 1: supongamos que OR grupo de dígitos candidatos A es falsa.

Rama 1: supongamos que OR grupo de dígitos candidatos A es falsa. — Rama 1: supongamos que OR grupo de dígitos candidatos A es falsa.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 6 · Vínculo de inferencia fuerte del grupo: forzar al otro lado

Caso 1: OR grupo de dígitos candidatos A es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R4C7=2. Si se trata de un grupo OR, al menos uno de sus dígitos candidatos es verdadero.

Caso 1: OR grupo de dígitos candidatos A es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R4C7=2. Si se trata de un grupo OR, al menos uno de sus dígitos candidatos es verdadero. — Caso 1: OR grupo de dígitos candidatos A es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R4C7=2. Si se trata de un grupo OR, al menos uno de sus dígitos candidatos es verdadero.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 7 · Vínculo de inferencia débil del grupo: excluir el lado en conflicto

R4C7=2 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R4C5=2 es falso.

R4C7=2 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R4C5=2 es falso. — R4C7=2 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R4C5=2 es falso.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 8 · Vínculo de inferencia fuerte del grupo: un lado debe permanecer

R4C5=2 es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R1C5=2.

R4C5=2 es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R1C5=2. — R4C5=2 es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R1C5=2.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 9 · Vínculo de inferencia débil del grupo: excluir el lado en conflicto

R1C5=2 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R1C9=2 es falso.

R1C5=2 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R1C9=2 es falso. — R1C5=2 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R1C9=2 es falso.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 10 · El criterio de valoración indirecto excluye los objetivos.

R8C9=2 es verdadero como estado de verdad lógico del punto final, por lo que excluye los objetivos.

R8C9=2 es verdadero como estado de verdad lógico del punto final, por lo que excluye los objetivos. — R8C9=2 es verdadero como estado de verdad lógico del punto final, por lo que excluye los objetivos.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es 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.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 12 · Caso 2: el primer criterio de valoración es verdadero

El primer punto final OR grupo de dígitos candidatos A es verdadero como un estado de verdad lógico OR, por lo que excluye los objetivos.

El primer punto final OR grupo de dígitos candidatos A es verdadero como un estado de verdad lógico OR, por lo que excluye los objetivos. — El primer punto final OR grupo de dígitos candidatos A es verdadero como un estado de verdad lógico OR, por lo que excluye los objetivos.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

Paso 13 · Ambos casos finales coinciden

Los dos casos de punto final agotan las alternativas y ambos excluyen R7C8=2, R8C8=2. Elimínelos después de retirar los estados de verdad lógicos temporales.

Los dos casos de punto final agotan las alternativas y ambos excluyen R7C8=2, R8C8=2. Elimínelos después de retirar los estados de verdad lógicos temporales. — Los dos casos de punto final agotan las alternativas y ambos excluyen R7C8=2, R8C8=2. Elimínelos después de retirar los estados de verdad lógicos temporales.
G1: R4C8=2, R5C8=2

1: Grupo OR A: al menos un dígito candidato es verdadero

lo que permite

Los dos casos de punto final agotan las alternativas y ambos excluyen R7C8=2, R8C8=2. Elimínelos después de retirar los estados de verdad lógicos temporales.

AIC agrupada de un dígito (Single-Digit Grouped AIC) · Eliminar un objetivo visto por los puntos finales forzados de la cadena.

Ejemplo paso a paso · Varios grupos

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

En bloque 1, 8 puede ir sólo en R2C2, R3C1. El dígito debe aparecer una vez en esta región.

En bloque 1, 8 puede ir sólo en R2C2, R3C1. El dígito debe aparecer una vez en esta región. — En bloque 1, 8 puede ir sólo en R2C2, R3C1. El dígito debe aparecer una vez en esta región.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 2 · Razonamiento

En bloque 2, 8 puede ir sólo en R1C6, R2C4, R2C5. El dígito debe aparecer una vez en esta región.

En bloque 2, 8 puede ir sólo en R1C6, R2C4, R2C5. El dígito debe aparecer una vez en esta región. — En bloque 2, 8 puede ir sólo en R1C6, R2C4, R2C5. El dígito debe aparecer una vez en esta región.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 3 · Razonamiento

En fila 8, 8 puede ir sólo en R8C1, R8C2, R8C3, R8C6. El dígito debe aparecer una vez en esta región.

En fila 8, 8 puede ir sólo en R8C1, R8C2, R8C3, R8C6. El dígito debe aparecer una vez en esta región. — En fila 8, 8 puede ir sólo en R8C1, R8C2, R8C3, R8C6. El dígito debe aparecer una vez en esta región.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 4 · Nombre los grupos de dígitos candidatos OR

Las llaves numeradas y la leyenda definen estos grupos con nombre: OR grupo de dígitos candidatos A = R2C4=8, R2C5=8, OR grupo de dígitos candidatos B = R8C1=8, R8C2=8, R8C3=8. Cada grupo es un estado de verdad lógico OR: al menos un dígito candidato es verdadero, pero la cadena no afirma que todos los miembros sean verdaderos.

Las llaves numeradas y la leyenda definen estos grupos con nombre: OR grupo de dígitos candidatos A = R2C4=8, R2C5=8, OR grupo de dígitos candidatos B = R8C1=8, R8C2=8, R8C3=8. Cada grupo es un estado de verdad lógico OR: al menos un dígito candidato es verdadero, pero la cadena no afirma que todos los miembros sean verdaderos. — Las llaves numeradas y la leyenda definen estos grupos con nombre: OR grupo de dígitos candidatos A = R2C4=8, R2C5=8, OR grupo de dígitos candidatos B = R8C1=8, R8C2=8, R8C3=8. Cada grupo es un estado de verdad lógico OR: al menos un dígito candidato es verdadero, pero la cadena no afirma que todos los miembros sean verdaderos.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 5 · Razonamiento

Rama 1: supongamos que R3C1=8 es falsa.

Rama 1: supongamos que R3C1=8 es falsa. — Rama 1: supongamos que R3C1=8 es falsa.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 6 · Vínculo de inferencia fuerte del grupo: forzar al otro lado

Caso 1: R3C1=8 es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R2C2=8. Si se trata de un grupo OR, al menos uno de sus dígitos candidatos es verdadero.

Caso 1: R3C1=8 es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R2C2=8. Si se trata de un grupo OR, al menos uno de sus dígitos candidatos es verdadero. — Caso 1: R3C1=8 es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R2C2=8. Si se trata de un grupo OR, al menos uno de sus dígitos candidatos es verdadero.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 7 · Vínculo de inferencia débil del grupo: excluir el lado en conflicto

R2C2=8 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R2C4=8, R2C5=8 es falso.

R2C2=8 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R2C4=8, R2C5=8 es falso. — R2C2=8 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R2C4=8, R2C5=8 es falso.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 8 · Vínculo de inferencia fuerte del grupo: un lado debe permanecer

OR grupo de dígitos candidatos A es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R1C6=8.

OR grupo de dígitos candidatos A es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R1C6=8. — OR grupo de dígitos candidatos A es falso, por lo que el vínculo de inferencia fuerte del grupo fuerza a R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 9 · Vínculo de inferencia débil del grupo: excluir el lado en conflicto

R1C6=8 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R8C6=8 es falso.

R1C6=8 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R8C6=8 es falso. — R1C6=8 es verdadero como un estado de verdad lógico en cadena, por lo que el lado mutuamente excluyente R8C6=8 es falso.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 10 · El criterio de valoración indirecto excluye los objetivos.

OR grupo de dígitos candidatos B es verdadero como estado de verdad lógico del punto final, por lo que excluye los objetivos.

OR grupo de dígitos candidatos B es verdadero como estado de verdad lógico del punto final, por lo que excluye los objetivos. — OR grupo de dígitos candidatos B es verdadero como estado de verdad lógico del punto final, por lo que excluye los objetivos.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es 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.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 12 · Caso 2: el primer criterio de valoración es verdadero

El primer punto final R3C1=8 es verdadero como un estado de verdad lógico OR, por lo que excluye los objetivos.

El primer punto final R3C1=8 es verdadero como un estado de verdad lógico OR, por lo que excluye los objetivos. — El primer punto final R3C1=8 es verdadero como un estado de verdad lógico OR, por lo que excluye los objetivos.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

Paso 13 · Ambos casos finales coinciden

Los dos casos de punto final agotan las alternativas y ambos excluyen R9C1=8. Elimínelos después de retirar los estados de verdad lógicos temporales.

Los dos casos de punto final agotan las alternativas y ambos excluyen R9C1=8. Elimínelos después de retirar los estados de verdad lógicos temporales. — Los dos casos de punto final agotan las alternativas y ambos excluyen R9C1=8. Elimínelos después de retirar los estados de verdad lógicos temporales.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grupo OR A: al menos un dígito candidato es verdadero · 2: Grupo OR B: al menos un dígito candidato es verdadero

lo que permite

Los dos casos de punto final agotan las alternativas y ambos excluyen R9C1=8. Elimínelos después de retirar los estados de verdad lógicos temporales.

AIC agrupada de un dígito (Single-Digit Grouped AIC) · Eliminar un objetivo visto por los puntos finales forzados de la cadena.

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