Due studenti per progetto
Lavoro indipendente, con coordinamento per mettere insieme le due parti
Lavoro comune per sperimentazione
Qualunque linguaggio di programmazione
Senza scadenza
Specifica, manuale d’uso, codice, risultati sperimentazioni
Vincoli classici
Implementare gli algoritmi di AC e PC, e confrontare i loro tempi su vari problemi di vincoli
Implementare gli algoritmi per AC e AC direzionale, e confrontarli
Implementare la ricerca con backtracking senza e con AC, e confrontare i loro tempi
Implementare la ricerca con backtracking e confrontare varie scelte della prossima variabile e del prossimo valore
Vincoli soft
Implementare il branch and bound per vincoli fuzzy, con AC soft
Implementare il metodo dei tagli per vincoli fuzzy, con backtracking senza propagazione per vincoli classici
Implementare il branch and bound per vincoli pesati (min +)
Prime cose da decidere
Linguaggio di programmazione
Strutture dati per rappresentare le variabili, i domini, i vincoli, le preferenze
Per testare gli algoritmi implementati, generare problemi random (numero variabili, numero elementi nei domini, densita’, strettezza dei vincoli). Variare un parametro e fissare gli altri.
Comments