- GUIDA RAPIDA ALL'INSTALLAZIONE DI SCIP -
------------------------------------------

Per installare il sistema SCIP-SOPLEX utilizzato durante in corso, 
seguire le seguenti istruzioni. 
I termini di licenza e informazioni più dettagliate su:
http://soplex.zib.be
http://scip.zib.be

- OPERAZIONI PRELIMINARI
1. Creare una directory dove scaricare e scompattare i file compressi.

- INSTALLAZIONE DEL SOLVER LP SOPLEX
1. scaricare i sorgenti dalla pagina "http://soplex.zib.de/download.shtml" 
   seguendo il link "SoPlex version 1.4.2: complete source code";
2. scompattare e compilare con "make" dalla directory "soplex-1.4.2".

- INSTALLAZIONE DEL SOLVER SCIP
1. scaricare i sorgenti dalla pagina "http://scip.zib.de/download.shtml" 
   seguendo il link "SCIP version 1.2.0: complete source code";
2. scompattare e compilare dalla directory "scip-1.2.0" con 
   "make LPS=spx ZIMPL=false READLINE=false";
3. alla richiesta della directory del solver (prima domanda) dare la 
   directory "../../soplex-1.4.2/src";
4. alla richiesta della directory delle librerie del solver (seconda 
   domanda) dare la directory 
   "../../soplex-1.4.2/lib/libsoplex-1.4.2.linux.x86_64.gnu.opt.a"

NOTA: il percorso "../../" vale se si estraggono i due file compressi 
   nella stessa directory (indica il percorso relativo dei codici e delle
   librerie del solver LP soplex, rispetto agli eseguibili di scip).

Per verficare, provare a compilare il makefile nella directory 
"scip-1.2.0/examples/MIPSolver" con 
"make GMP=false ZIMPL=false READLINE=false" (dovrebbe produrre un 
eseguibile nella sottodirectory bin).


- ESEMPIO INTRODUTTIVO -
------------------------
Un buon esempio introduttivo all'uso di SCIP si può scaricare da 
"http://scip.zib.de/download/files/scip_intro_01.pdf" (file pdf) e 
"http://scip.zib.de/download/files/Queens.tgz" (codice).


- ESERCIZIO -
-------------
Si consideri il seguente problema di ottimizzazione combinatoria e lo si 
risolva utilizzando le librerie di ottimizzazione SCIP: per il trasporto 
di oggetti, si ha a disposizione un contenitore la cui capacità di carico 
è limitata da diversi criteri (ad esempio peso massimo, volume massimo, 
indice massimo di pericolosità etc.). Sia $K$ l'insieme dei criteri e 
$u_k$ il limite massimo del contenitore secondo il criterio $k \in K$. Sia 
inoltre $J$ l'insieme degli oggetti: si definisce con $p_j$ il profitto 
derivante dal traporto dell'oggetto $j \in J$ e $w_{kj}$ la capacità 
impegnata dall'oggetto $j \in J$ secondo il criterio $k \in K$. Si vuole 
massimizzare il profitto derivante dagli oggetti trasportati senza 
eccedere la capacità dei contenitori.