Pagina del corso PLS: Programmazione Matematica - Verona, presso il Marconi

Esercitazioni (CMS PLS2015)

Vai al Form per la richiesta di credenziali al CMS PLS2015

I nostri appuntamenti (presso il Marconi)

  1. lunedì 23 marzo, dalle 14:30 alle 17:00.
  2. lunedì 30 marzo, dalle 14:30 alle 17:00.
  3. venerdì 17 aprile, dalle 14:30 alle 17:00.
  4. venerdì 24 aprile, dalle 14:30 alle 17:00.
  5. lunedì 27 aprile, dalle 14:30 alle 17:00.

Materiale

  1. Cosa è AMPL

  2. Sito ufficiale di AMPL
  3. il fantastico Book di AMPL (in inglese, ma davvero ottimo)
  4. una breve guida in italiano all'uso di AMPL
  5. una sintesi (slides in italiano) di alcuni aspetti sottostanti la sintassi di AMPL

Siti Online per Esercitarsi con AMPL

(non serve installare nulla)
  1. servizio offerto dal sito ufficiale di AMPL (risponsività immediata, come Solutore devi selezionare lpsolve se vuoi che non ignori i vincoli di interezza)
  2. NEOS (consente di sperimentare più linguaggi di modellazione matematica, e più Solutori)

Come Installarsi una versione demo di AMPL

Scaricarsi dal sito preposto il pacchetto adatto alla vostra piattaforma, e installarlo seguendo le istruzioni. La maggior difficoltà? Settare la variabile di ambiente PATH in modo che l'eseguibile possa essere avviato dalle cartelle dove risolverete i vari problemi. (Altrimenti hai la scomodità di poterlo lanciare solo dalla cartello dove lo hai messo).
Consiglio di scaricarsi sia la versione IDE con interfaccia grafica che quella da riga di comando (la prima non contiene la seconda anche se piè un file molto più grosso) e di giocare con entrambe.
Fatto?
... e allora giochiamo! Ecco  i  nostri

MODELLI di Programmazione Matematica

  1. Un modello dello zaino per masterizzarsi il CD delle canzoni preferite!
    Proposte di lavoro per voi
    1. Prova a sottomettere il solo file knapsack.all ai solutori online, e vedete se vi aiuta a masterizzare il CD.
    2. Si noti che nel file knapsack.all ci sono sia la descrizione del modello che i dati. Conviene scomporlo (come il bellissimo manuale di AMPL consiglia di fare) nei 3 files .mod, .dat e .run con il modello, i dati di singola istanza, e gli script di gestione. Ne comprendi i vantaggi?
    3. Prova a fornire un'altra istanza del problema Knapsack modificando solamente il file .dat
  2. Modelliamo il sudoku
    Proposte di lavoro per voi
    1. Prova a scrivere la soluzione su foglio Excel.
    2. Prova a leggere l'istanza da foglio Excel.
  3. Un esercizio svolto passo passo ad allargare
    Proposte di lavoro per voi
    1. Prova a completare il percorso del tutorial.
  4. Un modello di PLI per il problema delle 8 regine e sue generalizzazioni pesate
    Proposte di lavoro per voi
    1. Prova a lanciare queens.mod con il comando ampl a riga di comando.
    2. Prova a caricare e lanciare queens.mod dall'IDE di ampl.
    3. Prova a fornire altre istanze del problema, per scacchiere via via più grandi, per andare a conoscere i limiti del Solver di PLI.
  5. Passando dalle regine alle torri, un politopo a vertici interi
    Proposte di lavoro per voi
    1. Prova a scrivere la soluzione su foglio Excel.
    2. Prova a leggere l'istanza da foglio Excel.
    3. Prova a sperimentare/studiare le proprietà di interezza del politopo.
    4. Questo è in pratica il modello dell'assegnamento ottimo. Prova a cercare in internet o sui libri per saperne di più in merito a questo importante modello della Ricerca Operativa.

Reperibilità Docente


created:   26 marzo 2015
updated:   28 aprile 2015
© Department of Computer Science
University of Verona