Relaxation Schemes

Relaxation Schemes

In the literature this constraints are called the Lifted Nonlinear Cuts (LNCs)

source

constraint: c^2 + d^2 <= a*b

source
c^2 + d^2 <= a*b*getupperbound(z)
c^2 + d^2 <= getupperbound(a)*b*getupperbound(z)
c^2 + d^2 <= a*getupperbound(b)*z
source

general relaxation of a cosine term

source

x - getupperbound(x)*(1-z) <= y <= x - getlowerbound(x)*(1-z)

source

general relaxation of binlinear term (McCormick)

z >= getlowerbound(x)*y + getlowerbound(y)*x - getlowerbound(x)*getlowerbound(y)
z >= getupperbound(x)*y + getupperbound(y)*x - getupperbound(x)*getupperbound(y)
z <= getlowerbound(x)*y + getupperbound(y)*x - getlowerbound(x)*getupperbound(y)
z <= getupperbound(x)*y + getlowerbound(y)*x - getupperbound(x)*getlowerbound(y)
source

general relaxation of a sin term

source

general relaxation of a square term

x^2 <= y <= (getupperbound(x)+getlowerbound(x))*x - getupperbound(x)*getlowerbound(x)
source