Parallel Road Rage

[Italian language only]
Presentation about Parallel Road Rage, a project I presented at college final exam (esame di maturità).
This is about Constraint Satisfaction Problems, Travelling Salesman Problem, backtracking, genetic algorithms.
available for download at http://alfateam123.minus.com/lmqylEzMQsKi1

Transcript

1. Parallel Road Rage Alessandro Balzano 5°/IF Corso Abacus, 2011-2012
2. Cos’è Parallel Road Rage? • Editor di grafi • Supporto a vincoli e risolutori per problemi di soddisfacimento dei vincoli • C++/Qt/OpenMP • Open Source
3. Constraint Satisfaction Problem • {1 ∈ 1, 2 ∈ 2 , … , −1 ∈ −1 , ∈ } • Trovare un insieme finito di soluzioni che soddisfino i vincoli • Ricerca esaustiva NON ammissibile • Necessità di algoritmi efficienti/precisi – Backtracking – Algoritmi genetici
4. Travelling Salesman Problem • Ricerca del ciclo hamiltoniano più breve • Complessità: O((n-1)!) • Visibile come CSP – Valori tutti diversi – connesso a +1 – connesso a 1
5. Risolutori paralleli • «Free lunch is over» • Riduzione tempi di calcolo da miglior sfruttamento hw • Gestione della concorrenza • OpenMP
6. Backtracking • Metodo euristico costruttivo • Algoritmo standard in CSP • Concetto di soluzione parziale • Vincoli di rigetto/accettazione • Implementazione seriale ricorsiva, parallela basata su stack • Esecuzione lenta
7. Algoritmi Genetici
8. Algoritmi Genetici: dettagli • Fitness determinato dall’aderenza ai vincoli – Ogni vincolo valuta la soluzione [0 … #nodi] – Fitness: [0 … #nodi*#vincoli] • Dimensionamento popolazione – Stimare la frequenza di soluzioni ammissibili – = 2∗(1−) 2
9. (Parallel) Test Drive