Differenze

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

--- matematica:asd:asd_17:start [09/06/2018 alle 07:08 (7 anni fa)] – Roberto Grossi
+++ matematica:asd:asd_17:start [01/05/2019 alle 06:59 (6 anni fa)] (versione attuale) – [Algoritmi e Strutture dei Dati: A.A. 2017-2018] Roberto Grossi
@@ Linea 2: / Linea 2: @@
 Prof. Roberto Grossi\\
-Luca Versari
+Dott. Luca Versari (supporto)
 {{:matematica:asd:asd_14:asd_logo.jpg?200|}}
@@ Linea 9: / Linea 9: @@
   * Sono disponibili il [[progetto_17|[progetto]]] e il [[mini_progetto_17|[mini-progetto]]] del corso.
-  * Periodi consigliati per consegnare il progetto e completare l'orale: sarò in congedo per motivi di studio dal primo novembre 2018 fino alla fine di febbraio 2019 (circa).
+  * Importante per consegnare il progetto e completare l'orale: sarò in missione nel periodo 19.09.18-15.10.18 e in congedo per motivi di studio nel periodo 01.11.2018-28.02.19 (ma sarò a Pisa fino al 16 novembre).
   * Per chi intende sostenere l'esame scritto, le date sono da concordare su appuntamento
   * Orario lezioni: mar 11-13, mer 14-16, ven 14-16.
@@ Linea 93: / Linea 93: @@
 |11.05.2018| Riduzioni a la Karp: da SAT a soddisfacibilità con clausole a 3 letterali (3-SAT), da vertex cover (VC) a 3-SAT, da independent set (IS) a VC, da hitting set (HS) a VC. Algoritmi di r-approssimazione.| [CGGR, par. 8.8-8.9] |
 |15.05.2018| 2-approssimazione per min VC e max SAT. Inapprossimabilità di TSP nel caso generale e sua 2-approssimazione per istanze metriche. | [CGGR, par. 8.10-8.11] [TBA] |
-|18.05.2018| Algoritmi esatti parametrizzati.  | [TBA]  |
+|18.05.2018| Algoritmi esatti parametrizzati: esempio con min VC | [[https://www.mimuw.edu.pl/~malcin/book/parameterized-algorithms.pdf|sect. 2.2.1, 3.1]] |
 |23.05.2018| Esercitazione: grafi e discussione progetto | [[http://carp.di.unipi.it/asd1718/#/task/dijkstra/statement]] |