Principios de Programación con Restricciones

programación con restricciones es un enfoque alternativo a la programación informática que consiste en una combinación de la informática y la lógica, o el razonamiento, técnicas. El principio básico de la programación con restricciones es especificar problemas con la información impredecible, incompleta y resolver esos problemas al establecer condiciones o propiedades - también conocida como restricciones - satisfechas por la solución.

Restricción

programación con restricciones se basa en la idea de una restricción: una relación, a menudo una igualdad o desigualdad de relación entre los valores de dos variables matemáticas. En otras palabras, una restricción puede ser pensado como un requisito que indica qué combinaciones de valores de la gama de valores posibles para cada variable son admisibles; "X> 3", por ejemplo, es una restricción en "x".

Sistema de Restricciones

Un sistema de restricción especifica formalmente las normas que rigen las fórmulas adecuadamente formados, o la sintaxis y la verdad o la falsedad o la semántica, de las limitaciones de interés. Un sistema de restricción especifica el idioma en el que se expresan las restricciones, lo que los símbolos de restricción son, cómo están definidos, y que las fórmulas de restricción se utilizan para la lógica en el lenguaje de programación con restricciones.

Satisfacción de Restricciones

En teoría, la programación de restricción consta de dos fases: la generación de una representación de un problema y la solución del problema. En la práctica, cada una de estas fases se pueden desglosar en una serie de pasos más pequeños, que se pueden realizar de forma alterna. Para resolver un problema utilizando programación con restricciones, el problema debe haber especificado, o se formula como un problema de satisfacción de restricciones, que consiste en un número finito de restricciones que se aplican a cada uno de una secuencia específica de variables. satisfacción de restricciones intenta asignar valores a las variables de manera que todas las restricciones son verdaderas. Por lo general, un problema de satisfacción de restricciones puede ser representado en más de una forma; programación con restricciones es muy flexible porque las restricciones pueden añadirse, modificarse o eliminarse.

restricción Solver

Un solucionador de restricciones implementa una fórmula matemática, o algoritmo, que recoge las limitaciones de uno o más programas en ejecución, los simplifica y, si es posible, los resuelve. El resultado final se conoce como la restricción de respuesta.

aplicaciones

Problemas resueltos utilizando la programación con restricciones se formulan normalmente en términos de requisitos, propiedades o leyes. Este tipo de problemas se producen con frecuencia en la industria y el comercio, incluyendo el análisis, el diseño, la planificación, la asignación de recursos y el transporte. programación con restricciones se aplica con éxito en muchos otros campos, incluyendo la ingeniería eléctrica, la biología molecular y la investigación de operaciones.