COIN-OR: quali valori una variabile intera positiva limitata contiene un processo di ottimizzazione risolto da CBC? - ottimizzazione matematica, programmazione lineare, solutore, polpa, moneta-o-cbc

Provo a risolvere un problema MILP con PuLP e CBC.

Tranne il resto del problema, affronto unproblema con un insieme di variabili intere positive. Ho un vincolo con il rilassamento, nel senso che alcune delle variabili nelle variabili intere positive non vengono fissate a un determinato valore a causa dei vincoli.

Quindi, riformulando, da un insieme di numeri interi positiviContraffazioni, alcuni ottengono valori a causa di un contraint, ma quando questo stesso vincolo è rilassato (grande M rilassamento), il resto delle variabili non deve ottenere un certo valore.

Spetta a CBC dare loro valori. La maggior parte di essi va a 0, ma alcuni di essi ottengono il valore del limite superiore della variabile che è il 1440. Perché è così? CBC restituisce questi valori a quelle variabili? C'è qualche regola che il sovrano segue?

Se non capisci qualcosa fammelo sapere in modo da poter aggiungere informazioni o riformulare, sono nuovo a questo. Grazie.

risposte:

Credo che il risolutore di CBC di solito faccia unricerca "standard" in B & B, risolvendo una sequenza di rilassamenti LP mentre cerca nell'albero. Se stai risolvendo un LP con uno dei metodi simplex, in genere il processo di ricerca per quell'LP sta camminando attorno alla superficie dello spazio ammissibile, quindi è normale che le variabili con vincoli secondari prendano il loro valore limite superiore o inferiore .