Progetti 2005
Regole dei progetti Due studenti per progetto Due studenti per progetto Lavoro indipendente, con coordinamento per mettere insieme le due parti Lavoro indipendente, con coordinamento per mettere insieme le due parti Lavoro comune per sperimentazione Lavoro comune per sperimentazione Qualunque linguaggio di programmazione Qualunque linguaggio di programmazione Senza scadenza Senza scadenza Specifica, manuale d’uso, codice, risultati sperimentazioni Specifica, manuale d’uso, codice, risultati sperimentazioni
Vincoli classici 1. Implementare gli algoritmi di AC e PC, e confrontare i loro tempi su vari problemi di vincoli 2. Implementare gli algoritmi per AC e AC direzionale, e confrontarli 3. Implementare la ricerca con backtracking senza e con AC, e confrontare i loro tempi 4. 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 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 metodo dei tagli per vincoli fuzzy, con backtracking senza propagazione per vincoli classici Implementare il branch and bound per vincoli pesati (min +) Implementare il branch and bound per vincoli pesati (min +)
Prime cose da decidere Linguaggio di programmazione Linguaggio di programmazione Strutture dati per rappresentare le variabili, i domini, i vincoli, le preferenze 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. 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.