Originally posted by: PhilippeLaborie
> Assume I have a first criterion which is bounded to be positive and that the staticLex finds its optimal value 0. I guess we can assume than CP will now focus only on the remaining criteria, since there is no use to improve anymore the first one, right ?
Yes. although the search may be slightly different than if you would only minimize the second criterion in a second step.
> In an other use case, if cp cannot prove optimality for the first criterion, I would like to be sure that much of the effort is not only kept on it, while we could improve the remaining ones. I understand everything could be controlled accurately with 2-steps optimization , but this is clearly something I would rather avoid
With staticLex, if the search opportunistically improves the second criterion (while of course not deteriorating the first one), it will keep it as the incumbent solution. So in a sense, not all the effort is spent at improving the first criterion. If you want to completely focuse on the first criterion and then on the second one, you should use two steps.
#CPOptimizer#DecisionOptimization