pouzdrotf

2022-06-30

${x}_{i}+{y}_{i}\mathrm{cos}\left({p}_{ik}-{a}_{i}\right)-{z}_{i}{q}_{ik}>{x}_{j}+{y}_{j}\mathrm{cos}\left({p}_{jk}-{a}_{j}\right)-{z}_{j}{q}_{jk}$
${x}_{i}+{y}_{i}\mathrm{cos}\left({p}_{in}-{a}_{i}\right)-{z}_{i}{q}_{in}<{x}_{m}+{y}_{m}\mathrm{cos}\left({p}_{mn}-{a}_{m}\right)-{z}_{m}{q}_{mn}$
All $p$ and $q$ are parameters, I need to solve for ${x}_{i}$, ${y}_{i}$, ${z}_{i}$, ${a}_{i}$ for all $i$.

Ronald Hickman

Expert

For purposes of this exposition, let's presume you have a system of $k$ inequalities in n variables, which has been put into the form (trivial to do)
${f}_{i}\left(x\right)\ge 0,i=1..k$
where $x$ is the $n$ by $1$ vector of variables.
Solve (using an optimizer which can handle the nonlinear inequalities) the following nonlinearly-constrained optimization problem: (but see the generalization below).
minimize ${\mathrm{\Sigma }}_{i=1}^{k}{M}_{i}$ with respect to x,M subject to
${f}_{i}\left(x\right)+{M}_{i}\ge 0,i=1..k$
${M}_{i}\ge 0,i=1..k$If the optimal objective of this problem is zero, then you have found a feasible solution to the original system of nonlinear inequalities. If it is positive, then the original system of nonlinear inequalities is infeasible (does not have an exact solution), but you will have found a solution which is close as possible to feasible, as measured per the objective function of the optimization problem.
You can use a different objective function in order to prioritize different levels of errors and relative importance of compliance among the various constraints. For instance, more generally consider an objective function such as
${\mathrm{\Sigma }}_{i=1}^{k}{w}_{i}{M}_{i}^{q}$
where ${w}_{i}\ge 0$, which allows a nonlinear "non-compliance" penalty and allows different weights for the different inequalities. The simple version presented above corresponds to all ${w}_{i}=1$ and $q=1$. If you want to get really fancy, $q$ need not be the same for all $k$ inequalities.

bandikizaui

Expert

It is also possible to linearize the inequalities using substitutions ${b}_{i}={y}_{i}\mathrm{cos}{a}_{i}$:
${x}_{i}-{x}_{j}+{b}_{i}\mathrm{cos}{p}_{ik}-{b}_{j}\mathrm{cos}{p}_{jk}+{c}_{i}\mathrm{sin}{p}_{ik}-{c}_{j}\mathrm{sin}{p}_{jk}-{z}_{i}{q}_{ik}+{z}_{j}{q}_{jk}\ge 0$

Do you have a similar question?