R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion Accélérateur matériel Résolution d’une grille de Sudoku 9x9 simple Déroulement.

Présentation au sujet: "R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion Accélérateur matériel Résolution d’une grille de Sudoku 9x9 simple Déroulement."— Transcription de la présentation:

1 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr Accélérateur matériel Résolution d’une grille de Sudoku 9x9 simple Déroulement de la recherche de solution R2D2/IRISA

2 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 3471 582417 184 751 29 631 249 682143 4682 Chargement de la grille

3 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 3471 582417 184 751 29 631 249 682143 4682 Chargement de la grille

4 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 3471 582417 184 751 29 631 249 682143 4682 Cycle 1 Question : Une seule valeur possible ? OUI : 9 ? ? ? ?

5 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 9 3471 582417 6 184 751 4 29 7 631 24 5 9 682143 4682 Cycle 1 5 décisions

6 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 7 9 6 9 3471 5824176 184 7514 29 7631 249 682143 4682 Cycle 2 5

7 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 6 8 8 7 9 6 4 7 5 3471 582417 184 751 29 631 249 682143 4682 Cycle 2 4 décisions

8 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 6 8 8 7 3471 5824176 19684 7514 29 7631 2459 682143 4682 Cycle 3

9 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 3 5 décisions

10 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 4

11 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 4 7 décisions

12 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 5

13 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 7 5 8 9 3 5 326 54 8 8 7 1 65 9 2 9 3 2 1 3 36 6 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 5 14 décisions 6

14 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 9 3 5 326 54 8 8 7 1 65 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 289 7631 24759 682143 4682 Cycle 6

15 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 28 7 1 49 5 3 9 3 5 326 54 8 8 7 1 65 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 6 8 décisions

16 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 5 28 7 1 49 5 3 9 3 5 326 54 8 8 7 1 65 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 249 682143 4682 Cycle 7

17 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 9 97 28 7 1 49 5 3 9 3 5 326 54 8 8 7 1 65 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 7 3 décisions

18 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 9 97 28 7 1 49 5 3 9 3 5 326 54 8 8 7 1 65 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 8

19 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr 5 9 97 28 7 1 49 5 3 9 3 5 326 54 8 8 7 1 65 9 2 9 37 2 1 3 6 5 36 6 8 8 7 3471 5824176 1984 7514 29 7631 2459 682143 4682 Cycle 8 1 décision Calcul terminé

20 R2D2, ENSSAT, 6 rue de kerampont, BP 80518, 22300 Lannion http://r2d2.enssat.fr Temps de résolution 8 cycles : –de 15 nano seconde –120 nano secondes soit environ 5 millions de grilles résolues par seconde