Ciao a tutti,
volevo risolvere un problema tramite programmazione lineare, ma a un certo punto mi sono trovata a dover trascrivere dei vincoli che esprimessero la seguente relazione logica:
date delle variabili binarie $x_1,...,x_n,y$, voglio che valga $\sum_{i=1}^n x_i \geq 1 \Rightarrow y=1$.
Io ho imparato solo a trascrivere vincoli che esprimano relazioni del tipo $\sum_{i=1}^n x_i = 1 \Rightarrow y=1$, ma con il $\geq$ non so come comportarmi.
Suggerimenti?
[EDIT]
potrebbe essere corretto scrivere qualcosa del genere: $\sum_{i=1}^n x_i/n \leq y \leq \sum_{i=1}^n x_i/n+1$?