Icon Università degli Studi di Milano Icon Polo Didattico e di Ricerca di Crema Icon Dipartimento di Tecnologie dell'Informazione
Icon Home page Icon Teaching page

Quinto laboratorio (18 dicembre 2008)

Si tratta di realizzare un algoritmo di branching per il Sudoku, progettato con l'induzione matematica, ma realizzato in forma iterativa attraverso una libreria generale per algoritmi di branching.

Una dispensa che descrive passo passo l'esercizio

  1. La libreria generica per algoritmi di branching
  2. Prima soluzione: problema di decisione
  3. Seconda soluzione: problema di ricerca
  4. Terza soluzione: problema di ottimizzazione
  5. Quarta soluzione: problema di conteggio
  6. Quinta soluzione: problema di enumerazione

IconE-mail address
Pagina aggiornata il