waar is hier de uitgang?

Transcriptie

1 waar is hier de uitgang? Titel van de presentatie Hendrik Jan Hoogeboom Ouderdag 18 mei 2013 Algoritmen in het Doolhof Ouderdag Hendrik Jan Hoogeboom Universiteit Leiden. Bij ons leer je de wereld kennen.

2 fundamenteel/wisk. logica fi1 discrete wiskunde continue wiskunde lineaire algebra & bv softwarelijn databases programmeermethoden Challenges algoritmiek systemen datastructuren 2 digitale technieken computerarchitectuur 2 ondersteunend Studievaardigheden

3

4 Jie Xu, Craig S. Kaplan: Image-guided maze construction. ACM Transactions Graphics 26 (2007) 29

5 kool, geit, wolf *kgw+ kgw+ kw+g kw+g* kw+g w+kg *kw+g w+kg* gw+k k+wg k+wg* *gw+k kg+w g+kw *kg+w g+kw* g+kw +kgw *g+kw +kgw*

6 wát is het doolhof?

7 muis

8 snoeien spelregels rechthoekig doolhof kaart is bekend doodlopende paden

9

10

11

12 rekenen spelregels kaart is bekend afstanden

13 kortste paden

14 Edsger Wybe Dijkstra ( ) theoretische natuurkunde Leiden 1952 Mathematisch Centrum wetenschappelijk programmeur compiler voor Algol kortstepad-algoritme 1962 TU Eindhoven (THE) 1972 Turing Award 1982 Burroughs Corporation 1984 U. Texas te Austin

15 EWD215 structured programming Go-to statement considered harmful CACM 11 (1968) A Case against the GO TO Statement

16 input output

17 rondreis (!) Der Handlungsreisende wie er sein soll und was er zu thun hat, um Aufträge zu erhalten und eines glücklichen Erfolgs in seinen Geschäften gewiß zu sein (1832)

18 ronddolen spelregels rechthoekig doolhof doorzoeken: algoritme zonder kaart ingang = uitgang

19 volg de muur

20 volg de muur

21 volg de muur

22 volg de muur

23 volg de muur (2)

24 volg de muur (2)

25 volg de muur (2)

26 structuur (1)

27 structuur (1)

28 structuur (1)

29 structuur (2)

30 structuur (2)

31 structuur (2)

32 de draad van Ariadne

33 met een touw

34 met een touw

35 met een touw

36 met een touw

37 met een touw

38 met een touw

39 structuur (3)

40 structuur (3)

41 backtrack doodlopend huidig pad

42 bomen gegevensopslag he "genealogical tree" of Haeckel. Jena (1874)

43 evaluatie ((1+5)+(1-(2+3))) + ((2+4)-3)

44 evaluatie ((1+5)+(1-(2+3))) + ((2+4)-3) postorde evaluatie

45 ζ 1 ^ ζ 2 v ζ 3 expressie a c trie s a e r t t a e l k 0 A 0 B D C code expr expr * term term term * fact fact fact b a a syntax bomen, bomen, bomen mon thur tues fri sat wed sun binaire zoek heap sat tues fri mon sun thur wed 2,3 boom

46 grafen

47 algoritmiek state chart

48 algoritmiek state chart e 1e 2s 3s 5e 6e 10w 2w 1s 8 6w 3n w 9n 9e 8n 8s 10n Farmer Goes to Market maze. By Robert Abbott 7e

49 searching the state space Search tree heel veel knopen

50 application: TipOver goal 24 initial position

51 2 AND one way OR CHOICE FANOUT

52 NP complete bounded games With Jan van Rijn & Jonathan Vis: The complexity of Klondike, Mahjong, Nonograms and Animal Chess

53 tot slot

54 terschelling2000/foto htm op de camping

55 oefenen!

56

57 13 6 met kiezels

58 een formule R R start R G R R G G R R G G O O

59 R start R G R R G G R R G G O O

60 een formule start R G R G R G we zijn bij A O G L G R G R G we zijn bij B O G L G L L G terug bij beginknoop 2x herhalen L L L startpositie beginknoop R R start R G R R G G R R G G O O

61 een formule bijna eruit! R R R G R R G G R 7 9 R G G O O