Platon Sudoku · Aprender sudoku

Contradicción entre componentes de coloreado (Multi-Component Coloring Contradiction) · Ejemplo paso a paso

fuertes vínculos de inferencia colorean un dígito en estados de verdad lógicos opuestos dentro de cada componente; Las relaciones entre componentes limitan qué estados de verdad lógica pueden coexistir. Elimine un dígito candidato excluido por todas las asignaciones de colores consistentes.

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

como encontrarlo

Coloree cada componente conectado por separado, luego inspeccione los conflictos entre componentes y los objetivos que ven todas las alternativas supervivientes.

lo que permite

Elimine un dígito candidato excluido por todas las asignaciones de colores consistentes.

Evite la confusión

No una componentes separados con un vínculo de inferencia fuerte no verificado ni asuma que ya hay un color colocado.

Ejemplo paso a paso · color complejo

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 · Confirmar el grupo inicial de estados de verdad con la misma lógica

“Contradicción entre componentes de coloreado (Multi-Component Coloring Contradiction)” — Este nombre describe una demostración propia de la aplicación entre varios componentes; no es una técnica independiente de HoDoKu con ese nombre. Los candidatos del dígito 2 forman 4 componentes de coloreado independientes. Al alternar colores por los enlaces fuertes, R3C1=2, R8C2=2 quedan en el lado A del componente 2: comparten el mismo valor de verdad y son exactamente los candidatos objetivo R3C1=2, R8C2=2. A y B son opuestos dentro de cada componente; los conflictos relacionan los estados entre componentes.

Paso 2 · Suponga que el estado de verdad lógico objetivo es verdadero

Trate todo el grupo de estados de verdad lógicos R3C1=2, R8C2=2 como un estado de verdad lógico y asuma temporalmente que es verdadero. Siga los conflictos entre componentes.

Paso 3 · Siga la transición de cada componente

1. R3C1=2 es verdadero, por lo que el par visible R1C2=2 es falso. Por lo tanto, el estado de verdad lógico A/B opuesto R1C9=2 en ese grupo es verdadero. 2. R1C9=2 es verdadero, por lo que el par visible R5C9=2 es falso. Por lo tanto, el estado de verdad lógico A/B opuesto R4C7=2, R5C6=2 en ese grupo es verdadero. 3. R4C7=2 es verdadero, por lo que el par visible R4C4=2 es falso. Por lo tanto, el estado de verdad lógico A/B opuesto R3C4=2 en ese grupo es verdadero. 4. R3C4=2 es verdadero, por lo que el par visible R3C1=2 es falso. Por lo tanto, el estado de verdad lógico A/B opuesto R8C1=2 en ese grupo es verdadero.

Paso 4 · La suposición fuerza su opuesto.

La suposición R3C1=2, R8C2=2 eventualmente fuerza a R8C1=2, el estado de verdad lógico opuesto A/B en el mismo grupo. Ambos estados de verdad lógicos no pueden ser verdaderos, por lo que la suposición es falsa.