Differenze

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

--- matematica:asd:asd_17:start [16/05/2018 alle 06:18 (7 anni fa)] – [Programma] 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 8: / Linea 8: @@
 ==== Avvisi ====
-  * Lezioni del 9 e 16 maggio cancellate per consentire agli studenti di seguire un altro corso.
+  * Sono disponibili il [[progetto_17|[progetto]]] e il [[mini_progetto_17|[mini-progetto]]] del corso.
+  * 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.
-  * Per il ricevimento, consultare la [[http://www.di.unipi.it/~grossi|homepage del docente]].
-  * Per chi intende sostenere l'esame scritto, le date sono da concordare su appuntamento
-  * Mesi consigliati per consegnare il progetto e completare l'orale: gennaio, febbraio, marzo, giugno, luglio, settembre, ottobre.
   * [[https://www.dropbox.com/sh/o7hyigl7ffbbbxa/Awg3RMaGgR|Immagini usate]] durante la lezione.
   * [[http://www.di.unipi.it/~grossi/html5/|Visualizzazioni in HTML5]] mostrate a lezione.
@@ Linea 45: / Linea 44: @@
   * Parte prima, a scelta una delle seguenti possibilità:
     * [[progetto_17|[progetto]]] con sviluppo di nuovi algoritmi e relativa implementazione, avente una votazione in trentesimi (non richiede la presentazione del mini-progetto).
-    * scritto con esercizi da svolgere, avente una votazione in trentesimi, più un [[mini_progetto16|[mini-progetto]]] con votazione booleana (prova superata o meno per valutare le capacità programmative);
+    * scritto con esercizi da svolgere, avente una votazione in trentesimi, più un [[mini_progetto_17|[mini-progetto]]] con votazione booleana (prova superata o meno per valutare le capacità programmative);
-    * seminario basato su un argomento di ricerca nel campo dell'algoritmica, avente una votazione in trentesimi, più un [[mini_progetto16|[mini-progetto]]] con votazione booleana (vedi sopra);
+    * seminario basato su un argomento di ricerca nel campo dell'algoritmica, avente una votazione in trentesimi, più un [[mini_progetto_17|[mini-progetto]]] con votazione booleana (vedi sopra);
   * Parte seconda, comune per tutti: verifica tramite l'orale basato sul programma dettagliato (vedi sotto).
@@ Linea 94: / 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]] |