0
$\begingroup$

Let $m$ be an even integer greater than $8$. Is there any software I can use to determine for some small $m$ whether the following constraints on $t_0,\ldots,t_{m-1}$ and $w$ have solutions? \begin{cases} &-\pi\leq t_r\leq\pi,\ r=0,\ldots,m-1,\\ &0

  • 0
    Invariably, more information lead to a better solution...2012-07-20

1 Answers 1

1

The suggestions certainly will depend on the form of the problems.

If your constraints are linear inequalities then there are simple methods (linear programming) which will check feasibility. If they are polynomial (in)equalities, there are general methods for quantifier elimination like cylindrical algebraic decomposition, but these methods are usually only tractable for very small problems. For certain intermediate cases you may be able to cast your problem as a semidefinite program. For more complicated problems, like inequalities that involve polynomials but also the sine function, the problem quickly becomes provably undecidable without additional structure.

If your problem is one of the former types, a google search of the mentioned methods will find you free software to solve it.

  • 0
    Thank you for your suggestion. I have added to my post the precise structure, where I use a lot of sine and cosine functions. If replacing $\cos t_r$ and $\sin t_r$ by $x_r$ and $y_r$ respectively, the corresponding constraints will become polynomials, but the form will also become longer.2012-07-21