Dans la programmation par contraintes, existe-t-il des modèles qui prennent en compte le nombre de changements de variables?

Considérons un modèle CSP où la modification de la valeur d'une variable particulière coûte cher. Existe-t-il des travaux où la fonction objectif prend également en compte le nombre de modifications de la valeur de la variable au cours du processus de recherche?

Un exemple: la variable coûteuse à changer peut être sous le contrôle d'un autre agent et il y a une surcharge d'impliquer cet agent pour changer la variable. Un autre exemple: la variable participe à l'une des contraintes, et la satisfaction de cette contrainte implique d'appeler une fonction coûteuse (comme un simulateur), par exemple est la contrainte, et est un coût- fonction de calcul. Par conséquent, et sont des variables coûteuses à modifier.$z = f(x, y)$$f$$x$$y$

Il semble que vous souhaitiez une technique d'optimisation sensible aux coûts (soucieuse des coûts et budgétisée) . La minimisation de deux valeurs (par exemple la solution de votre objectif et le coût des opérations sur et ) est un problème d'optimisation multicritère , et celles-ci ont tendance à être très difficiles à résoudre. Une approche courante consiste à spécifier un budget pour les coûts maximaux admissibles, puis à minimiser la fonction objectif par rapport aux . Cette formulation a tendance à bien s'intégrer dans les cadres existants en tant que contrainte supplémentaire. Bien sûr, il peut être difficile de spécifier la fonction de coût et le budget autorisé de manière à obtenir des solutions significatives - cela dépendra du problème spécifique que vous essayez de résoudre.$x$$y$$costs(x,y) \le Budget$