Programmazione lineare

Programmazione lineare contiene alcuni algoritmi utili per risolvere certi problemi di ottimizzazione.

Introduzione

Andiamo in questa sezione a definire un problema di programmazione lineare

Definizione

• Variabili reali che saranno le variabili del nostro problema, sono in numero finito (eg. tutti in Rn)
• Funzione obiettivo che ci definisce il costo $f:{\mathbb{R}}^n\to \mathbb{R}$
• Vincoli lineari che limitano il dominio delle variabili reali e li mettono in relazione fra di loro

Se le variabili appartengono agli interi andiamo a parlare di programmazione lineare intera.

• Slide

  

Rappresentazione della soluzione si può formalizzare sempre in questo modo:

$$max\{cx|Ax\le b\}:A\in M_{m\times n},c,b\in M_{n\times 1}$$

Programmazione lineare intera

In modo curioso la programmazione lineare è più facile rispetto alla PLI.

• Esempio di modelizzazione

  Ha fatto un esempio di modelizzazione di un problema introduttivo in classe, in effetti si deve fare attenzione a moltissime cose… (soprattutto costraints impliciti).

Quantitative rappresentano alcune quantità

Logiche rappresentano valori binari (di solito utilizzati per modellare l’assegnamento ad un task)

Relazioni logiche

Possiamo codificare con relazioni fra variabili logiche il concetto di negazione, implicazione congiuzione e disgiunzione.

Le variabili $x\in \{0,1\}$ in questo caso. La cosa interessante è che possiamo codificare relazioni logiche con relazioni lineari!

• Slide rappresentazione di relazioni logiche con relazioni lineari

  

Vincoli di (semi-)assegnamento

Abbiamo un insieme di $N=\{1,...,n\}$ oggetti da assegnare in $V=\{1,...,m\}$ luoghi.

Questo si può codificare con una matrice $n\times m$ e usare una variabile logica per specificare se è stato assegnato a quel luogo o meno.

(Secondo me si potrebbe anche utilizzare un numero per questo, ma magari l’algoritmo utilizzato è leggermente diverso, no forse specifica una possibilità di assegnamento, per questo una matrice è una cosa giusta).

Vincoli di semiassegnamento

Ossia ogni oggetto è assegnato a un singolo luogo

• Slide semiassegnamento

  

Vincoli di assegnamento

Ogni oggetto ha un singolo luogo e ogni luogo un oggetto

• Slide assegnamento

  

Selezione sottoinsiemi

Vogliamo selezionare il minimo fra certi sottoinsiemi (non per forza partizioni!)

Formulazione classica: sia $F=\{F_1,...,F_m\},F_i\in \mathbb{N}$, voglia determinare $D\subseteq F$ tale che abbia il costo minimo fra tutti. Nella selezione di questi sottoinsiemi possiamo considerare insiemi di copertura, di riempimento o di partizione.

Esempio del costo classico $\min \sum x_j{c}_j$ cioè aggiungo il costo con la variabile booleana che decide se lo scelgo o meno, e poi chiamo $a_{ij}$ una matrice che dice se l'elemento i è in $F_j$

• Formalizzazione classica

  

• Copertura, riempimento partizione

  

Variabili a Valori Discreti

Questa parte tratta di valori vincolati a valori reali. (un esempio solito è una macchina che è stata costruita a lavorare entro voltaggi precisi).

Si indica per un insieme di valori che una variabile può assumere. Una rappresentazione classica è in silde sotto

• Slide

  

Minima Quantità Positiva Prefissata

Di solito queste tipologie di variabili rappresentano valori di produzione di una macchina perché o è spenta, rappresentata da uno 0, oppure è accesa e presente in un intervallo

• Slide

  

Funzione a carico fisso

Indica costi 0 quando la macchina non è in produzione, mentre però è attiva, anche se fa poco, c'è un carico fisso ossia un costo che c'è sempre, e poi cresce in modo lineare

• Slide introduttive

  

• Formalizzazione classica

  

Rappresentazione del valore assoluto

SI tratta di come rappresentare mediante vincoli la relazione di valore assoluto.

Un problema con questo metodo è che non sempre si riescono a gestire

Anche gestendolo in questo modo ci sono alcune ambiguità

• Slide, formalizzazione classica e funzione costo

  

Funzioni lineari a tratti

L'idea è utilizzare una variabile logica che ci dice in quale tratto è presente, poi utilizzare la funzione per calcolare il valore corretto.

In pratica questa è una forma di generalizzazione dei problemi con funzioni a carico fisso, in cui vengono introdotte delle variabili per dire dove sei, e poi utilizzare la funzione di costo del carico fisso.

Questo metodo è buono perché posso utilizzarlo per quanti tratti mi pare

• Formalizzazione

  

  

  

Modellizzazione per Problemi noti

Problema della fonderia

• Soluzione fonderia

  

Problema pianificazione della produzione

• Soluzione pianificazione produzione

  

Problema dello zaino (!)

• Soluzione del modello

  

Albero di copertura di costo minimo

• Soluzione

  

Problema del commesso viaggiatore

• Note sulla path hamiltoniana

  

• Soluzione modellizzazione

  

Problema dell’agenzia matrimoniale (!)

• Soluzione modellizzazione

  

Problema allocazione dei lavori alle macchine (!)

Descrizione del problema

• Dal libro

  

  

Abbiamo dei lavori che devono essere svolti in questi intervalli : $t_i,t_i+d_i$, che sono certi valori che svolgono qualcosa, vogliamo cercare di massimizzare il numero di cose svolte, avendo un certo numero di macchine. Una macchina può avere solo un lavoro (o dipendente).

Questo è un problema di semiassegnamento.

Modellizzazione

poniamo $x_{ij}=1$ se il lavoro $i$ è svolto dalla macchina $j$, altrimenti 0

vincoli necessari semi-assegnamento $\forall i,{\sum }_{j=1}^m{x}_{ij}=1$, ora dobbiamo andare a modellizzare il concetto dell’intervallo.

Quindi mi definisco un insieme $S(i)$ che contiene tutti i lavori incompatibili a $i$.

Allora il vincolo diventa $x_{ij}+x_{hj}\le 1$ con $h\in S(i)$, Cioè vogliamo che una macchina esegua solamente un lavoro, o nessun lavoro. E questo vincolo ci dà il concetto di vincolo.

Ora passo alla discussione della funzione obiettivo, quindi introduco una nuova variabile che mi conta le macchine utilizzate

$f(obiettivo)=\sum y_j$, per tutte le macchine, e poi questa $y_j$ è maggiore di tutti gli $x_{ij}$ per una macchina j fissata.. Così provo ad utilizzare meno macchine possibili

• Soluzione dal libro

  [[https://www.notion.so]]

Problema docente di informatica (!)

Questo problema è rappresentato nel libro come di minimizzazione del tempo per lavori di macchina a pagina 37 del pdf delle dispense

Descrizione del problema

Ho $t_1...t_n$ progetti da compilare su $m$ pc, voglio che ci mettano meno tempo possibile.

Modellizzazione

Sia la variabile $x_{ij}$ la variabile logica se il progetto $t_i$ è data alla macchina $j$

Semi-assegnamento al massimo assegno il progetto a una singola macchina

${\sum }_{j=1}{x}_{ij}=1$. Ora entra la parte difficile, introdurre delle variabili che siano utili per avere questo concetto di tempo.

Sia $y_j={\sum }_i{t}_i{x}_{ij}$, questo rappresenta il tempo di utilizzo del singolo PC. Quello che noi dobbiamo minimizzare è

Ma questo vincolo non è lineare, quindi è un problema $\min (\max Y),Y=\{y_j:j=1,...,m\}$

Quindi introduco un valore che $z:\forall j{\sum }_i{x}_{ij}{t}_i\le z$ e provo a minimizzare solamente z, quindi sarà il suo valore più basso. (minimo upper bound)

Problema assegnamento delle frequenze

• Soluzione problema assegnamento

  

Problema della commesse

Ho n dipendenti, devo evadere m pacchi, un sottoinsieme $D_j$ che indica da chi può essere eseguito questo pacco j, può essere da luogo a un ricavo di $r_j$. Un dipendente può lavorare su un solo pacco per un intervallo di tempo. Può essere che non tutti i pacchi siano da evadere.

Inizio modello

$F_j=boh$

$x_j=1$ se la commessa j è selezionata, altrimenti 0

$a_{ij}$ boh

$x_i\in \mathbb{Z},0\le x_i\le 1$

$\forall i\sum a_{ij}{x}_j\le 1$

Funzione obiettivo $\max {\sum }_{j=1}^m{x}_j{r}_j$