Branch and Bound - più di due variabili intere

[anonymous_b7df6f]

Ciao a tutti,

consideriamo un problema di programmazione lineare intera in cui si hanno due variabili $x_1$ ed $x_2$ ed otto vincoli (disuguaglianze valide). Oltre a tali vincoli, si pone il vincolo che $x_1$ ed $x_2$ devono essere maggiori o uguali a zero e devono essere intere.

Il problema di PLI può essere risolto utilizzando l'algoritmo di Branch and Bound e creando otto variabili di scarto per ogni vincolo.

Quello che mi chiedo è.....
se oltre alle due variabili $x_1$ ed $x_2$, anche le otto variabili di scarto dovessero essere intere, è corretto dire che il problema non sarebbe più risolubile grazie all'algoritmo di Branch and Bound?