Preguntas etiquetadas con constraint-programming

Si tengo un problema difícil, un enfoque estándar es expresarlo como una instancia SAT e intentar ejecutar un solucionador SAT en él. Otro enfoque estándar es expresarlo como un problema de satisfacción de restricciones e intentar usar un solucionador CSP. Los dos se sienten de alguna manera vagamente similares en …

18 heuristics  sat-solvers  constraint-programming 

¿Se pueden resolver los problemas de "asistencia a la fiesta" en Prolog? Por ejemplo: Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía Albus Dumbledore. Albus Dumbledore y Daisy Dodderidge dijeron que vendrían si viniera Carlotta Pinkstone. Albus Dumbledore, Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía …

18 logic  constraint-programming  prolog  logic-programming 

Considere un modelo CSP donde cambiar el valor de una variable particular es costoso. ¿Existe algún trabajo en el que la función objetivo también considere el número de cambios en el valor de la variable durante el proceso de búsqueda? Un ejemplo: la variable costosa de cambiar puede estar bajo …

10 algorithms  constraint-programming 

No se cree que la satisfacción general (con algunas excepciones, como las cláusulas Horn) tenga una solución algorítmica. Sin embargo, el siguiente algoritmo parece ser una solución para la satisfacción general. ¿Cuál es exactamente la falla con el siguiente algoritmo? Sea un conjunto vacío que contendrá todas las variables que …

8 algorithms  logic  satisfiability  constraint-programming 

Se nos da un conjunto de frutas. Cada fruta tiene un precio y un contenido de vitaminas ; asociamos la fruta con el par ordenado . Ahora tenemos que organizar estas frutas de tal manera que la lista ordenada contenga los precios en orden ascendente y el contenido de vitaminas …

8 algorithms  arrays  constraint-programming  subsequences