Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Coloring
Conteggio
2
Tabella per costruire duale in genere:
3
Formulazione lineare:
Problemi :
- Set covering
- Set Partitioning
- Vertex Color
Scheduling :
Nei problemi di scheduling si rende necessaria la necessità di non sovrapporre il processamento di due
attività (i e j). Per modellare questa disgiunzione abbiamo bisogno di introdurre una variabile binaria xij
4
cui diamo la seguente interpretazione: xij = 1 se i precede j (e xij = 0 se j precede i). Coerenti con questa
interpretazione, scriviamo quindi anche la coppia di vincoli:
1. tj ≥ ti + pi − M(1 − xij)
2. ti ≥ tj + pj – Mxij
Se M `e una costante (calcolabile off-line in funzione dei dati) i vincoli e sono lineari. Inoltre, se il valore di
M `e sufficientemente grande (ad esempio, M = Pn i=1 pi), per xij = 1, viene attivato il primo vincolo nella
forma tj ≥ ti +pi mentre il secondo vincolo viene reso inattivo poich`e soddisfatto per ogni valore di ti e tj.
Viceversa, quando xij = 0, viene attivato il vincolo due nella forma ti ≥ tj + pj (e quindi il processamento di j
precede quello di i) mentre il vincolo 1 viene disattivato.
Min T
Allora T dovr`a essere un istante successivo a quello in cui termina ciascuna attivita. Questo si traduce nei
vincoli
Esempio numerico :
5
Problema trasporti :