I have the following doubt:
Being $x$ an integer variable that takes the values $1$, $2$ or $3$. Being $y_1$ a binary variable. Being $y_2$ a binary variable.
I want to express the two following logical constraints:
if $x=2$ then $y_1=1$ if $x=3$ then $y_2=1$
That's all. I have looked around here but usually the constraints are inequalities or continuous variables.
Thanks in advance.
I have come up with the following solutions:
when $x=1 \rightarrow y_1=0$,
when $x=3 \rightarrow y_1=0$,
when $x=2 \rightarrow y_1=1$.
when $x=1 \rightarrow y_2=0$,
when $x=2 \rightarrow y_2=0$,
when $x=3 \rightarrow y_2=1$.
It breaks the linearity, but the constraints are in a Mixed Integer Nonlinear Programming problem.
Could be that a valid solution?