Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- matematica:asd:asd_16:start [21/07/2017 alle 12:59 (7 anni fa)] – [Programma] Roberto Grossi
+++ matematica:asd:asd_16:start [01/05/2019 alle 06:59 (5 anni fa)] (versione attuale) – [Algoritmi e Strutture dei Dati: A.A. 2016-2017] Roberto Grossi
@@ Linea 2: / Linea 2: @@
 Prof. Roberto Grossi\\
-Luca Versari
+Dott. Luca Versari (supporto)
 {{:matematica:asd:asd_14:asd_logo.jpg?200|}}
 ==== Avvisi ====
@@ Linea 96: / Linea 95: @@
 |15.05.2017| Classi di complessità P e NP: esempio dei cicli euleriani e hamiltoniani (HAM) nei grafi. Nozione di certificato polinomiale. Definizione della classe NP. Relazione tra certificato polinomiale e non-determinismo polinomiale. Riduzione polinomiale. Esempio da HAM a commesso viaggiatore (TSP). | [CGGR, par. 8.1-8.3] [[http://9gag.com/tv/p/ayzL0v/p-vs-np-and-the-computational-complexity-zoo|video]] |
 |17.05.2017| Laboratorio: Discussione del progetto (I). | [[progetto_16|[progetto]]] |
-|19.05.2017| Proprietà della riduzione polinomiale e definizione della classe NPC (problemi NP-completi). Problema della soddisfacibilità (SAT) e Teorema di Cook-Levin. Riduzione da SAT a 3-colorazione di mappe (3-COL). Riduzioni a la Karp: da SAT a soddisfacibilità con clausole a 3 letterali (3-SAT), e da 3-SAT a vertex cover (VC). | [CGGR, par. 8.4-8.6, 8.8-8.10]|
+|19.05.2017| Proprietà della riduzione polinomiale e definizione della classe NPC (problemi NP-completi). Problema della soddisfacibilità (SAT) e Teorema di Cook-Levin. Riduzione da 3-colorazione di mappe (3-COL) a SAT. Riduzioni a la Karp: da SAT a soddisfacibilità con clausole a 3 letterali (3-SAT), e da 3-SAT a vertex cover (VC). | [CGGR, par. 8.4-8.6, 8.8-8.10]|
 |22.05.2017| Algoritmi di r-approssimazione. 2-approssimazione per min VC. Inapprossimabilità di TSP nel caso generale e sua 2-approssimazione per istanze metriche. | [CGGR, par. 8.10-8.11]  |
 |24.05.2017| Laboratorio: Discussione del progetto (II). | [[progetto_16|[progetto]]] |