En la programación de restricciones, ¿hay modelos que tengan en cuenta la cantidad de cambios variables?

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 el control de algún otro agente y hay una sobrecarga de involucrar a ese agente para cambiar la variable. Otro ejemplo: la variable participa en una de las restricciones, y la satisfacción de esta restricción implica llamar a una función costosa (como un simulador), por ejemplo, es la restricción, y es una costosa función de cálculo Por lo tanto, e son variables costosas de cambiar. $z = f(x, y)$ $f$ $x$ $y$

algorithms constraint-programming

— amit
fuente

La función objetivo habla de los valores finales de la CSP y desconoce el proceso de búsqueda. Entonces, en formulaciones estándar, los cambios en tales variables no están expuestos al modelo CSP. Algunos solucionadores, como Choco, proporcionan heurísticas para guiar el proceso de búsqueda. Algunos de estos incluso pueden ser definidos por el usuario. Quizás ese sea el lugar para cambiar la forma en que se realiza la búsqueda.

— Dave Clarke

Pero, ¿por qué la función objetivo reflejaría lo costoso que era encontrar la solución? ¿No debería comparar las soluciones según lo útiles que sean en el dominio del problema después? ¿O es el tiempo de solución parte del problema del mundo real?

— Raphael

Parece que está en el entorno de satisfacción de restricciones distribuidas y parece que está buscando heurística.

— Dave Clarke el

Parece que quiere una técnica de optimización sensible al costo (consciente del costo, presupuestada) . Minimizar dos valores (por ejemplo, la solución de su objetivo y el costo de las operaciones en e ) es un problema de optimización multicriterio , y estos tienden a ser muy difíciles de resolver. Un enfoque común es especificar un presupuesto para los costos máximos permitidos y luego minimizar la función objetivo con respecto a los . Esta formulación tiende a encajar perfectamente en los marcos existentes como una restricción adicional. Por supuesto, especificar la función de costo y el presupuesto permitido de tal manera que obtenga soluciones significativas puede ser difícil; esto dependerá del problema específico que esté tratando de resolver. $x$ $y$ $costs(x,y) \le Budget$

— Mella
fuente