Forzado

¿Es adivinación? La controversia de Cadenas forzadas

No. Cadenas forzadas explora todas las posibilidades simultáneamente sin comprometerse con ninguna suposición. Compara todas las ramas y solo actúa cuando las ramas convergen. Tres propiedades distintivas: exploración exhaustiva, conclusión determinista y corrección comprobable. Cadenas forzadas son menos elegantes que las técnicas basadas en patrones, pero son comprobablemente correctas.

Celda Cadena de fuerza

Comience desde un Celda bivaluado {A, B}. Propague las implicaciones para cada rama. Compare los resultados. Contradicción: una rama es inválida, por lo tanto, el Celda debe ser el otro candidato. Convergencia en colocación: ambas ramas obligan al mismo dígito en el mismo Celda distante. Convergencia en eliminación: ambas ramas eliminan el mismo candidato del mismo Celda.

Cadena de forzamiento de región (Cadena de forzamiento de dígito)

Comience desde las 2-3 posiciones de un dígito en una casa. Explore cada posición como una rama. Mismas tres tipos de deducción. Celda forzado es eficaz cuando las celdas bivaluadas tienen implicaciones de amplio alcance. El forzado de región es eficaz cuando la posición de un dígito tiene efectos en cadena fuertes.

Red de fuerza: Ampliando el recuento de ramas

Celda Red de forzamiento: celdas con 3-6 candidatos. Red de forzamiento de región: casillas con 4-6 posiciones para un dígito. Más ramas, más costoso, pero puede encontrar deducciones Cadenas forzadas no puede. La lógica es idéntica. Solo difiere el número de ramas.

El motor de propagación

Cada rama se propaga a través de singles desnudos, singles ocultos, Candidatos bloqueados, y pares desnudos, iterativamente hasta alcanzar un estado estable. Una única suposición puede propagarse a través de docenas de pasos intermedios en todo el tablero. Cuando dos ramas llegan a la misma conclusión mediante caminos completamente diferentes, la convergencia demuestra con certeza la conclusión.

Los tres tipos de deducción

Contradicción: Una rama produce un estado inválido. Esa suposición es falsa. Más común. Convergencia en colocación: Todas las ramas obligan al mismo dígito en la misma Celda. Menos común pero decisiva. Convergencia en eliminación: Todas las ramas eliminan el mismo candidato de la misma Celda. Tipo más sutil.

Cuándo usar las técnicas de forzamiento

Último recurso lógico. Se aplica después de que todos los demás métodos fallen. Se prueba primero Cadenas forzadas (2-3 ramificaciones). El Nudo Forzado (3-6 ramificaciones) solo cuando fallan las Cadenas. Ambos son de Nivel 12 (Extremo). Para solucionadores por computadora, el Nudo Forzado garantiza completitud: la seguridad de que la lógica sola puede resolver cualquier rompecabezas válido.

Una nota filosófica sobre la elegancia y la completitud

Las técnicas basadas en patrones revelan relaciones estructurales y son más elegantes. Pero existen puzles válidos que requieren lógica de nivel de forzamiento. Las técnicas de forzamiento son la red de seguridad que atrapa cada puzle que las técnicas basadas en patrones no pueden manejar. La aproximación más satisfactoria: intentar primero todas las técnicas basadas en patrones, y recurrir al forzamiento solo cuando el puzle lo exija verdaderamente.

Resumen

Cadenas forzadas y red de fuerza son las técnicas lógicas más potentes, al nivel 12 (Extremo). Exploran todas las posibilidades desde un punto de partida, propagan las consecuencias y comparan los resultados. Las deducciones surgen por contradicción, convergencia en la colocación o convergencia en la eliminación. Son el último recurso antes del retroceso forzado, proporcionando completitud para cualquier rompecabezas de Sudoku válido.