Garey – Computers and intractability

• Dispense e lucidi reperibili al sito dell'insegnamento (vedi sotto)

Argomenti del programma: Teoria della calcolabilità · Prerequisiti matematici · Funzione coppia · Linguaggi di programmazione RAM e while · Sintassi e semantica operazionale · Compilatori · Aritmetizzazione di programmi · Interprete e funzione universale · Eliminazione del "goto" · Funzioni ricorsive parziali · Tesi di Church · Esistenza di problemi non decidibili · Passaggio automatico di parametri · Sistemi di programmazione accettabili ·…

Argomenti del programma: Introduzione all'ottimizzazione combinatoria. Formulazioni strong e definizione di Convex Hull. Algoritmi esatti (Branch-and-Bound, Cutting Planes, Branch-and-Cut). Problemi di separazione e loro risoluzione. Problemi polinomiali su reti. Algoritmi euristici e meta-euristici (Tabu Search, Variable Neighborhood Search, Adaptive Large Neighborhood Search, Kernel Search, GRASP).

Argomenti del programma: Introduzione all'ottimizzazione combinatoria. Formulazioni strong e definizione di Convex Hull. Algoritmi esatti (Branch-and-Bound, Cutting Planes, Branch-and-Cut). Problemi di separazione e loro risoluzione. Problemi polinomiali su reti. Algoritmi euristici e meta-euristici (Tabu Search, Variable Neighborhood Search, Adaptive Large Neighborhood Search, Kernel Search, GRASP).

Argomenti del programma: Introduzione all'ottimizzazione combinatoria. Formulazioni strong e definizione di Convex Hull. Algoritmi esatti (Branch-and-Bound, Cutting Planes, Branch-and-Cut). Problemi di separazione e loro risoluzione. Problemi polinomiali su reti. Algoritmi euristici e meta-euristici (Tabu Search, Variable Neighborhood Search, Adaptive Large Neighborhood Search, Kernel Search, GRASP).

Argomenti del programma: Introduzione all'ottimizzazione combinatoria. Formulazioni strong e definizione di Convex Hull. Algoritmi esatti (Branch-and-Bound, Cutting Planes, Branch-and-Cut). Problemi di separazione e loro risoluzione. Problemi polinomiali su reti. Algoritmi euristici e meta-euristici (Tabu Search, Variable Neighborhood Search, Adaptive Large Neighborhood Search, Kernel Search, GRASP).