De presentatie wordt gedownload. Even geduld aub

De presentatie wordt gedownload. Even geduld aub

Hoe een TomTom een sudoku oplost dr. Arnold Meijster

Verwante presentaties


Presentatie over: "Hoe een TomTom een sudoku oplost dr. Arnold Meijster"— Transcript van de presentatie:

1 Hoe een TomTom een sudoku oplost dr. Arnold Meijster

2 Palindromen Opdracht: Ga van een willekeurig woord na, of het een palindroom is of niet. ➲ lol ➲ pop ➲ lepel ➲ negen ➲ droomoord ➲ parterretrap ➲ meetsysteem

3 Zet links bij het eerste teken Zet rechts bij het laatste teken HERHAAL ALS teken bij links verschilt van teken bij rechts DAN UITVOER geen palindroom STOP ANDERS links 1 naar rechts rechts 1 naar links TOTDAT links >= rechts UITVOER wel palindroom LEPLE linksrechts Algoritme: Palindromen

4 Palindromen: Een iets andere kijk op de zaak Een ‘tekst’ met nul tekens is een palindroom. Een ‘tekst’ met 1 teken is een palindroom. Een ‘tekst’ aXa is alleen een palindroom als X een palindroom is. Een ‘tekst’ aXb is geen palindroom.

5 Recursie ➲ Recursie = zelf-referentie. ➲ Recursie is een alternatief voor herhaling. ➲ Vaak is recursie een natuurlijke manier om ingewikkelde problemen op te lossen.

6 Google eens naar recursie ;-)

7 Faculteitsfunctie 4!= 4*(4-1)! = 4*3! = 4*3*(3-1)! = 12*2! = 12*2*(2-1)! = 24*1! = 24*1*(1-1)! = 24*0! = 24*1 = 24 Reeks: 1, 1, 2, 6, 24, 120, 720, 5040, 40320, …. Basisgeval: 0! = 1 Recursiegeval: n! = n*(n-1)! int fac(int n) { if (n == 0) return 1; return n*fac(n-1)); }

8 Het Divide & Conquer Paradigma ➲ Als we een klein probleem hebben, dan lossen we het probleem direct op. (BASISGEVAL.) ➲ Bij een groter problem, splitsen we het probleem in een aantal kleinere deelproblemen. (DIVIDE.) ➲ Los elk van deze deelproblemen onafhankelijk van elkaar op (recursief). ➲ Combineer de deeloplossingen tot een oplossing van het hele probleem. (CONQUER.) Divide et impera

9 Recursie = Lui zijn!?

10 Pakje kaarten sorteren: instructies ➲ Verdeel: Ontvang een stapeltje kaarten Als het ‘stapeltje’ 1 kaart bevat, geef het dan direct terug. Anders: Splits het stapeltje in twee (ongeveer gelijke) helften Geef de eerste helft aan de (achter)buurman. Geef de tweede helft aan de (achter)buurman. ➲ Heers: Ontvang van je buren twee stapeltjes Herhaal totdat de kaarten op zijn: Vergelijk de top van de twee ontvangen stapeltjes Kies de grootste en leg onderaan een nieuwe stapel Geef de ‘nieuwe’ stapel terug.

11 Voorbeeld: Merge sort

12 Sudoku

13 Equivalente sudokus ➲ Voor iedere sudoku bestaan er equivalente sudokus. ➲ 2*9!*6^8 = ➲ De factor 9! is eenvoudig te verklaren. Immers, verwissel maar eens een cijfer met een ander cijfer. Je hebt dan nog steeds een sudoku.

14 Transpositie 2 mogelijkheden 2*9!*6^8 =

15 rij/kolom verwisselingen Binnen een blok van drie aaneengesloten rijen/kolommen mag je vrijelijk verwisselen. Dit levert 3!=6 mogelijkheden. Totaal dus 6^6 mogelijkheden voor de gehele sudoku. 2*9!*6^8 = 2*9!*6^6*6^2=

16 blokken verwisselen Je kunt ook blokken verwisselen. Dit levert 36 = 6^2 mogelijkheden. 2*9!*6^6*6^2=

17 Handmatig oplossen van sudokus

18 Sudoku: recursieve oplossing ➲ Strategie: Voor ieder vakje dat nog niet ingevuld is, kies een cijfer. Controleer of dit cijfer kan/mag volgens de regels. Zo ja, vul in, en los de nu ontstane puzzel op (indien mogelijk). Dit is een kleinere versie van het oorspronkelijke probleem! Zo niet, kies een ander cijfer. Als geen enkele keuze mogelijk is, dan zitten we op een dood spoor. We gaan dan een stap terug naar het vorige beslissingspunt (backtracking).

19 Backtracking ➲ Strategie voor het ‘zoeken’ naar een oplossing. ➲ Volg een ‘route’ naar een oplossing totdat het duidelijk wordt dat langs deze weg geen oplossing gevonden kan worden. Op dit punt gaan we terug langs het pad (backtrack) tot we een punt hebben bereikt waar vanuit we weer verder kunnen zoeken naar een oplossing.

20 void losop(int rij, int kolom, int sudoku[9][9]) { int cijfer, r, k; /* basisgeval */ if (rij == 9) { toonOplossing(sudoku); return; } /* recursiegeval */ if (kolom < 8) { r = rij; k = kolom + 1; } else { r = rij + 1; k = 0; } if (sudoku[rij][kolom] != 0) { /* er is reeds een cijfer ingevuld, ga door */ losop(r, k, sudoku); } else { for (cijfer=1; cijfer < 10; cijfer++){ if (cijferToegestaan(rij, kolom, cijfer, sudoku)) { /* vul het cijfer in en ga de recursie in */ sudoku[rij][kolom] = cijfer; losop(r, k, sudoku); /* maak het vakje weer leeg */ sudoku[rij][kolom] = 0; }

21 Acht koninginnen-probleem ➲ Vind alle configuraties van acht koninginnen op een schaakbord zodanig dat ze geen van allen een andere kunnen slaan.

22 Acht koninginnen-probleem

23 Acht koninginnen: uitputtend zoeken ➲ Genereer alle mogelijke combinaties en controleer voor ieder combinatie of het een oplossing is. Dit zijn (64!)/[(8!)(64-8)!]=(64*63*62*61*60*59*58*57)/40320 = 4,426,165,368 combinaties ➲ Eenvoudig verbetering: stop proberen als een oplossing toch niet mogelijk is.

24 Acht koninginnen-probleem ➲ 8 koninginnen, 8 rijen ➲ Dus, ➲ in elke rij moet een koningin geplaatst worden. ➲ in elke kolom moet een koningin geplaatst worden.

25 Acht koninginnen-probleem ➲ Recursieve oplossingstrategie: Iedere recursieve aanroep probeert een koningin te plaatsen in een specifieke rij i. Als dit lukt, ga dan recursief verder met rij i+1. Bij een aanroep is de toestand van het bord ten gevolge van eerdere aanroepen bekend (m.a.w. waar staan de andere koninginnen?). Als alle mogelijke posities van een rij zijn geprobeerd, dan gaan we een stap terug (backtracking) en proberen andere mogelijkheden voor plaatsing op de voorgaande rij(en). Als het niet mogelijk blijkt een koningin te plaatsen op rij i, probeer dan niet verder te gaan met rij i+1 maar keer ook nu terug naar rij i-1 (backtrack). Het aantal te inspecteren posities is nu maximaal 8!=8*7*6*5*4*3*2=

26 Acht koninginnen-probleem ➲ Als een koningin op de positie (r, k) wordt geplaatst, dan bestrijkt zij: – de rij met nummer r – de kolom met nummer k – een stijgende ‘diagonaal’ door (r,k) – een dalende ‘diagonaal’ door (r,k) ➲ Coördinaten van een stijgende diagonaal voldoen aan k-r = constant. ➲ Coördinaten van een dalende diagonaal voldoen aan k + r = constant. ➲ We representeren de plaatsing van koninginnen op het bord in een rij pos. ➲ pos[r]=k betekent “in rij r staat een koningin in kolom k”. ➲ De keuze van de representatie van een bordconfiguratie geeft al dat we geen twee koninginnen in een kolom kunnen plaatsen.

27 Acht koninginnen - programma void plaatsKoningin(int rij, int pos[8]) { if (rij == 8) { /* basisgeval: klaar */ drukAf(pos); } else { /* recursiegeval */ int r, kolom; for (kolom=0; kolom < 8; kolom++) { for (r=0; r < rij; r++) { if (pos[r] == kolom) { /* reeds koningin in deze kolom? */ break; } if (abs(pos[r]-kolom) == rij-r) { /* reeds koningin op diagonaal? */ break; } if (r == rij) { /* veld is niet aangevallen, plaats koningin */ pos[rij] = kolom; plaatsKoningin(rij+1, pos); } int main(int argc, char *argv[]) { int pos[8]; plaatsKoningin(0, pos); return 0; }

28 Het Handelsreizigersprobleem Gegeven: een lijst van steden die een handelsreiziger moet bezoeken, samen met de tabel van de afstanden tussen ieder paar van deze steden. Vind de kortste route waarbij de handelsreiziger iedere stad precies eenmaal bezoekt en eindigt waar hij begon.

29 Oplossingsmethode: TSP ➲ Laat aantal steden N=4 zijn: ➲ Genereer alle rijtjes beginnend met 1: 1,2,3,4 1,2,4,3 1,3,2,4 1,3,4,2 1,4,2,3 1,4,3,2 Bepaal voor ieder rijtje de lengte van de route en onthoud de kortste.

30 Oplossingsmethode: TSP ➲ Genereer vervolgens alle rijtjes beginnend met 2: 2,1,3,4 2,1,4,3 2,3,1,4 2,3,4,1 2,4,1,3 2,4,3,1 Enzovoorts.....

31 Permutaties ➲ Je hebt 4 verschillende letters (A, B, C en D). Op hoeveel verschillende manieren kun je die permuteren? 4! = 4*3*2*1 = 24 7! = ! =

32 1998: CRPC Researchers Solve TSP for Record-Breaking 13,509 Cities “CRPC Researchers (Rutgers University) have determined a breakthrough solution to the Traveling Salesman Problem (TSP), a method for finding an optimal path for a salesman to take when traveling through a specified number of cities. The researchers have solved the TSP for 13,509 U.S. cities with populations of more than 500 people, a dramatic step beyond their previous record of 7,397 cities, set in 1994.”

33 Nog groter William Cook, a professor in Georgia Tech's School of Industrial and Systems Engineering, is a reigning champ of the traveling salesman problem. (2004: 24,978 Swedish cities)

34 Grootst?

35 Waar studeren? void vindUniversiteit(char *plaats) { if (strcmp(plaats, “groningen”) == 0) { /* basisgeval: klaar */ drukAf(“GRONINGEN!\n”); return; } else { /* recursiegeval */ int city; for (city=0; city


Download ppt "Hoe een TomTom een sudoku oplost dr. Arnold Meijster"

Verwante presentaties


Ads door Google