In mathematics, a semi-infinite programming (SIP) problem is an optimization problem with a finite number of variables and an infinite number of constraints. The constraints are typically parameterized. In a generalized semi-infinite programming (GSIP) problem, the feasible set of the parameters depends on the variables.[1]
The problem can be stated simply as:
min\limitsx f(x)
subjectto:
g(x,y)\le0, \forally\inY(x)
where
f:Rn\toR
g:Rn x Rm\toR
X\subseteqRn
Y\subseteqRm.
In the special case that the set :
Y(x)
x\inX