У меня линейно ограниченные задачи QP с несколькими непересекающимися глобальными оптимумами (не PSD). Я бы хотел, чтобы решатель QP характеризовал все глобально оптимальных решений. Вот очень простой пример возникающего случая:
minimize f(x,y)=x*y
subject to:
[1] (x + y) <= 1
[2] (x + y) >= 0.5
[3] x >= 0
[4] y >= 0
Здесь на оси x имеется непрерывный сегмент оптимальных (f = 0) решений, а на оси y - еще один несвязный сегмент оптимальных решений. Я поставил эту проблему для BARON с высокими значениями NumLoc и NumSol, но она, похоже, преждевременно сдается после нахождения единственного точечного решения. (Пробовал БАРОН, поскольку кажется, что он умеет находить многоточечные решения в других задачах.)
Есть ли лучшие методы или решения для таких проблем?