我有多个不相交的全局最优解（不是PSD）的线性约束QP问题。我想做一个QP解算器来描述 all 的全局最优解。这是发生这种情况的一个非常简单的示例：
minimize f(x,y)=x*y
subject to:
[1] (x + y) <= 1
[2] (x + y) >= 0.5
[3] x >= 0
[4] y >= 0
在这里，在x轴[0.5,1]上有一个连续的最优解（f = 0），在y轴上还有一个不连续的最优解。我将这个问题提出给具有高NumLoc和NumSol值的BARON，但是在找到单点解决方案后，它似乎过早地放弃了。 （尝试过BARON，因为它似乎很擅长于解决其他问题中的多点解。）
是否有更好的方法或解决方案来解决此类问题？