Formulazione LP per if-condition

Ho il seguente LP:

/* Funzione obiettivo */
min: 1 w + 2 x + 0,5 y + z;

/ * Limiti di variabili * /
w + x <= T1;
w + y = U1;
x + z = U2;
T1 = 50;
U1 = 70;
U2 = 25;

In questo caso U1 + U2> T1 e la soluzione ottimale è y = 70 e z = 25. Voglio imporre la condizione che alle variabili w e x siano assegnati valori prima di assegnare valori a y e z. Se U1 + U2 <T1, allora voglio solo che w e x abbiano valori y = z = 0. Esiste un modo per applicare un tale vincolo in un LP o un MILP?

Ecco le risposte alle tue due domande. I dettagli dipenderanno dal solutore che stai utilizzando:

• $w$$x$$y$$z$

• Il kit di programmazione lineare GNU ha in realtà un if-then-elsecostrutto per esprimere i condizionali. Cerca "condizionale" nel manuale . Si potrebbe avvolgere le clausole a cui sei interessato in questa affermazione un: if U1 + U2 < T2 then y = 0 and z = 0 else true. (Nota che in realtà non l'ho provato, quindi la sintassi potrebbe essere sbagliata.)

• $U1$$U2$$T1$$U1 + U2 < T1$$U1 + U2 \ge T1$