Differenze

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

--- matematica:asd:asd_13:start [10/07/2014 alle 09:26 (11 anni fa)] – [Modalità d'esame] Roberto Grossi
+++ matematica:asd:asd_13:start [25/07/2014 alle 14:32 (11 anni fa)] (versione attuale) – [Modalità d'esame] Roberto Grossi
@@ Linea 44: / Linea 44: @@
     * [[progetto_13|[progetto]]] con sviluppo di nuovi algoritmi e relativa implementazione, avente una votazione in trentesimi (non richiede la presentazione del mini-progetto).
   * Parte seconda, comune per tutti:
-    * verifica tramite l'orale basato sul programma dettagliato: Capitolo 0 ([[http://wps.pearsoned.it/wps/media/objects/14141/14480998/calcolabilita_ecomplessita_.pdf|versione elettronica]]), Capitolo 1 (tranne par.1.3), Capitolo 2 (tranne par.2.2), Capitolo 3 (tranne par. 3.5), Capitolo 4 (più [[http://www.it-c.dk/people/pagh/papers/cuckoo-undergrad.pdf|cuckoo hashing]]), Capitolo 5 (solo par.5.1), Capitolo 6 (par. 6.1, 6.3, 6.4, 6.5), Capitolo 7 (par. da 7.1 a 7.4), Capitolo 8 (par. da 8.1 a 8.5). Guardare [[http://tinyurl.com/d9ajvky|errata-corrige]], integrazioni ed esempi utilizzando ALVIE sul [[http://wps.pearsoned.it/crescenzi_strutture-dati-algoritmi2/|sito Web]].
+    * verifica tramite l'orale basato sul programma dettagliato: Capitolo 0 ([[http://wps.pearsoned.it/wps/media/objects/14141/14480998/calcolabilita_ecomplessita_.pdf|versione elettronica]]), Capitolo 1 (tranne par.1.3), Capitolo 2 (tranne par.2.2), Capitolo 3 (tranne par. 3.5), Capitolo 4 (più [[http://www.it-c.dk/people/pagh/papers/cuckoo-undergrad.pdf|cuckoo hashing]]), Capitolo 5 (solo par.5.1), Capitolo 6 (par. 6.1, 6.3, 6.4, 6.5), Capitolo 7 (par. da 7.1 a 7.4), Capitolo 8 (par. da 8.1 a 8.5 più par. 8.8). Guardare [[http://tinyurl.com/d9ajvky|errata-corrige]], integrazioni ed esempi utilizzando ALVIE sul [[http://wps.pearsoned.it/crescenzi_strutture-dati-algoritmi2/|sito Web]].
@@ Linea 88: / Linea 88: @@
 | 16.05.2014| Cammini euleriani e hamiltoniani. Classi di complessità P e NP. Colorazioni di grafi. Problema della soddisfacibilità (SAT). Riduzioni polinomiali e teorema di Cook-Levin (senza dimostrazione). | [CGGR, par. 8.1-8.5] |
 | 16.05.2014| Generazione di grafi e visita in ampiezza | [[laboratorio_13|lab]] |
-| 20.05.2014| Riduzione da 3-colorazione di mappe a SAT. Karp: riduzione da SAT a 3-SAT, e da 3-SAT a vertex cover (VC). | [CGGR, par. 8.1-8.5]  |
+| 20.05.2014| Riduzione da 3-colorazione di mappe a SAT. Karp: riduzione da SAT a 3-SAT, e da 3-SAT a vertex cover (VC). | [CGGR, par. 8.1-8.5, 8.8]  |
 | 23.05.2014| sospensione della didattica | elezioni |
 | 23.05.2014| sospensione della didattica | elezioni |