Propagación de Restricciones
Método algorítmico que propaga las restricciones generadas al confirmar un número a las celdas relacionadas, reduciendo automáticamente los candidatos.
La Propagación de Restricciones (Constraint Propagation) es un método que actualiza inmediatamente los candidatos de las filas, columnas y bloques afectados cuando se confirma un número. Es esencialmente lo mismo que la actualización manual de notas por parte de un humano, pero un ordenador puede propagar todas las implicaciones de forma instantánea y sin omisiones.
Rol en el solver
La propagación de restricciones mejora drásticamente la eficiencia del backtracking. Cada vez que se coloca provisionalmente un número, se propagan las restricciones y, si alguna celda queda con 0 candidatos, se retrocede inmediatamente (poda temprana). Las celdas que quedan con un solo candidato se confirman automáticamente.
Correspondencia con la resolución humana
La detección de Singles Desnudos y la actualización de notas que realiza un humano es la versión manual de la propagación de restricciones. La función de eliminación automática de candidatos en aplicaciones digitales ejecuta la propagación de restricciones en tiempo real.