Datalogi, grundkurs 1 Övningsuppgifter i Scheme. Serafim Dahl, Carina Edlund, m.fl.

Transkript

1 Datalogi, grundkurs 1 Övningsuppgifter i Scheme Serafim Dahl, Carina Edlund, m.fl. Hösten 2004

2

3 Datalogi, grundkurs 1, hösten Vad blir det för resultat vid beräkningen av följande Scheme-uttryck. a. (- 10 (- 8 (- 6 4))) b. (/ 40 (* 5 20)) c. (/ 2 3) d. (+ (* ) (/ 4-3)) 2. Översätt följande aritmetiska uttryck till Scheme-uttryck. a. (4 7) (13 + 5) b. (3 (4 + ( 5 3))) c. (2.5 (5 (1 10))) d. 5 ((537 ( (375 ( )))) + 255) 3. Översätt följande Scheme-uttryck till det vanliga skrivsättet som används t.ex i matematik. a. (+ 10 ( )) b. (+ 10 (- ( ) 10)) c. (+ (* ) (* )) d. (/ ( ) ( )) 4. Nedan finns en sekvens av uttryck. Vad kommer guile att skriva som svar på inmatning av dessa uttryck? Antag att de matas in i den ordning de står. a. 10 b. ( ) c. (- 9 1) d. (/ 6 2) e. (+ (* 2 4) (- 4 6)) f. (define a 3) g. (define b (+ a 1)) h. (+ a b (* a b)) i. (= a b) j. (if (and (> b a) (< b (* a b))) b a) k. (cond ((= a 4) 6) ((= b 4) (+ 6 7 a)) (else 25)) l. (+ 2 (if (> b a) b a))

4 2 Övningsuppgifter scheme m. (* (cond ((> a b) a) ((< a b) b) (else -1)) (+ a 1)) 5. Översätt följande uttryck till scheme ( 2 ( 3 ( ))) 5 3 (6 2) (2 7) 6. Definiera en procedur som tar tre tal som argument och returnerar summan av kvadraten av de två största av talen. >(maxsqsum 1 2 3) Definiera en procedur som beräknar ytan av en ellips area(a, b) = π a b med a och b som argument. Visa beräkningsstegen för uttrycket >(area 3 4) 8. Definiera en procedur volume(a, b, h) = h area(a, b) som beräknar volymen av en elliptisk cylinder med radierna a och b samt höjden h som argument. area(a, b) är proceduren definierad i föregående uppgift. Visa beräkningsstegen för uttrycket >(volume 3 4 5) 9. Märk att beräkningsmodellen i Scheme tillåter kombinationer vars operatorer är sammansatta uttryck. Använd denna observation för att beskriva hur följande procedur fungerar: (define a-plus-abs-b (lambda (a b) ((if (> b 0) + -) a b))) 10. Om man definierat (define succ (lambda (x) (+ x 1))) (define pred (lambda (x) (- x 1))) kan man implementera + på många sätt. Illustrera för båda definitionerna nedan av plus beräkningen av följande uttryck, med hjälp av substitutionsmetoden.

5 Datalogi, grundkurs 1, hösten >(plus 3 2) >(plus 2 3) a. (define plus (lambda (a b) (if (= a 0) b (succ (plus (pred a) b))))) b. (define plus (lambda (a b) (if (= a 0) b (plus (pred a) (succ b))))) c. Vilken är svansrekursiv? Motivera! 11. Implementera den rekursiva funktionen nedan i Scheme. 0 om n = 0 2 om n = 1 f(n) = 37 om n = 2 f(n 3) + 1 om n är udda f(n/2 1) + 7 annars a. Visa med hjälp av substitutioner hur beräkningen av din implementation sker då anropet är: >(f 17) b. Är din lösning svansrekursiv eller ej? Motivera! 12. De naturliga talen kan delas i udda och jämna tal. En rekursiv beskrivning kan vara jämnt om n = 0 f(n) = udda om n = 1 f(n 2) annars Ur den beskrivningen kan man finna mönster för att implementera egna versioner av even?, som kollar om ett tal är jämnt och odd?, som kollar om ett tal är udda. a. Implementera even? med hjälp av pred. b. Implementera odd? med hjälp av pred c. Implementera odd? med hjälp av even? Det kan göras på två olika sätt finn och implementera båda.

6 4 Övningsuppgifter scheme 13. Om man definierar (define succ (lambda (x) (+ x 1))) (define pred (lambda (x) (- x 1))) kan man implementera +, *, ^, fac, min och max med hjälp av succ, pred och varandra. Gör detta för de naturliga talen (så att procedurerna fungerar för endast 0 och de positiva heltalen). Algoritmer som kan vara till hjälp är bland annat: { 0 om y = 0 mul(x, y) = plus(x, mul(x, pred(y))) annars x om y = 0 cut off(x, y) = 0 om x = 0 cut off(pred(x), pred(y)))) annars { 1 om n = 0 power(b, n) = mul(b, power(b, pred(n))) annars Visa samtidigt hur interpretatorn hanterar subrutinanrop och rekursion. a. Skriv * med hjälp av lösningen till föregående uppgift (med plus) b. Skriv fakultetsberäkning med hjälp av de redan implementerade procedurerna. c. Skriv s.k. cut-off -subtraktion, d.v.s. så att man får noll för resultat som skulle gett negativt resultat om alla heltal varit tillåtna. d. Skriv min som ger det minsta av sina två argument till resultat, med hjälp av cut-off -subtraktionsproceduren. e. Skriv max som ger det största av sina två argument till resultat, med hjälp av cut-off -subtraktionsproceduren. f. skriv power ( upphöjt till ). 14. Antag att du låter guile utföra beräkningen av (list 1 (list 2 (list 3 4))) Visa vad guile-interpretatorn kommer att svara och ge motsvarande box-ochpekar-diagram.

7 Datalogi, grundkurs 1, hösten Antag följande definitioner: (define x (list 1 2 3)) (define y (list 4 5 6)) Vad kommer guile svara då följande uttryck beräknas? a. (append x y) b. (cons x y) c. (list x y) Rita även motsvarande box-och-pekar-diagram. 16. Det är vanligt att man behöver utföra samma beräkning på alla element i en lista och tillverka en ny lista av alla svaren. Byt alla?? mot uttryck så att proceduren nedan kan användas för att, då den anropas med en lista, återsända en lista vars element är kvadraten på elementen i den medsända listan. (define square-list (lambda (a-list) (if???? (cons (square?? ) (square-list?? ))))) 17. Definiera en procedur last-pair som returnerar en lista som innehåller bara ett enda element, nämligen det sista elementet av en given (ej tom) lista: >(last-pair (list )) (34) 18. I ett försök att skriva squarelist svansrekursivt har följande procedur kommit till världen: (define square-list (lambda (x) (define iter (lambda (list answer) (if (null? list) answer (iter (cdr list) (cons (square (car list)) answer))))) (iter x ()))) Den fungerar inte så bra eftersom resultatet kommer reverserat jämfört med vad man väntar sig. Förklara varför. I ett försök att rätta till saken införs i stället följande

8 6 Övningsuppgifter scheme (define square-list (lambda (x) (define iter (lambda (list answer) (if (null? list) answer (iter (cdr list) (cons answer (square (car list))))))) (iter x ()))) Det fungerar inte heller något vidare. Förklara varför. 19. Definiera en procedur som beräknar medelvärdet av alla tal i en lista med bara tal. >(mean (list 1 2 3)) Definiera en procedur som beräknar det minsta talet av talen i en lista med bara tal. >(minimum (list 1 2 3)) Definiera en procedur filter som tar två argument varav den ena är ett predikat och den andra är en lista. Proceduren filter filtrera ut de elementen i listan för vilka predikatet ger värdet \#t. >(filter odd? (list )) (1 3) 22. reverse vänder på en lista men inte på de listor som är element i listan (om det finns). Sålunda kommer resultatet av (reverse ((1 2) (3 4))) att bli ((3 4) (1 2)) Skriv proceduren deep-reverse som vänder på alla listor på alla nivåer, så att (deep-reverse ((1 2) (3 4))) blir ((4 3) (2 1))

9 Datalogi, grundkurs 1, hösten Två listor anses lika om de innehåller samma element ordnade på samma sätt då de jämförs med equal?. Därför får man guile>(equal? (this is a list) (this is a list)) #t guile>(equal? (this is a list) (this (is a) list)) #f Definiera myequal? som en procedur så att a och b är lika enligt equal? om de båda är symboler och lika enligt eq? eller de båda är listor och (car a) är equal? med (car b) och (cdr a) är equal? med (cdr b). 24. Ingen version av make-rat som givits på föreläsning eller i boken är riktigt korrekt. Om man ska normalisera ett rationellt tal bör numeratorn vara det som bär på det rationella talets tecken, men ingenstans har man tagit hänsyn till tecken över huvud taget. Det är till och med så att den gcd-algoritm som givits i boken bara fungerar med positiva heltal. Den som finns inbyggd i guile däremot fungerar korrekt. Definiera om make-rat så att de rationella talen normaliseras korrekt oavsett gcd-version. 25. Om man vill representera punkter i planet kan detta göras med par av tal medan linjer i planet enklast representeras med par av punkter. a. Skriv konstruktorer och selektorer för att representera punkter i planet. b. Skriv konstruktorer och selektorer för att representera linjer i planet. c. Skriv med hjälp av de ovan nämnda konstruktorerna och selektorerna en procedur som återsänder mittpunkten på en linje. 26. I boken använder man talintervall som ett sätt att hantera osäkerhet, om än lite luddigt förklarat. Det man är ute efter är att man i många fall inte kan bestämma ett värde exakt, utan måste nöja sig med ett ungefärligt värde. Trots detta kan man vara tvungen att försöka använda det funna (ungefärliga) värdet på ett meningsfullt sätt. Man kan då antingen ge ett intervall, t ex [5..7], eller ett nominellt värde och en felgräns, t ex 6±1. Man får då speciella regler för hur man ska räkna med sådana ungefärliga värden. Här nedan återges några av verbatimmen i boken med viss modifiering: (define int-add (lambda (x y) (make-interval (+ (lower-bound x) (lower-bound y)) (+ (upper-bound x) (upper-bound y))))) (define center-width (lambda (c w) (make-interval (- c w) (+ c w))))

10 8 Övningsuppgifter scheme (define center (lambda (i) (/ (+ (lower-bound i) (upper-bound i)) 2))) (define width (lambda (i) (/ (- (upper-bound i) (lower-bound i)) 2))) (define int-div (lambda (x y) (make-intervall (/ (lower-bound x) (upper-bound y)) (/ (upper-bound x) (lower-bound y))))) (define int-mul (lambda (x y) (let ((p1 (* (lower-bound x) (lower-bound y))) (p2 (* (lower-bound x) (upper-bound y))) (p3 (* (upper-bound x) (lower-bound y))) (p4 (* (upper-bound x) (upper-bound y)))) (make-interval (min p1 p2 p3 p4) (max p1 p2 p3 p4))))) (define int-div-2 (lambda (x y) (int-mul x (make-interval (/ 1 (upper-bound y)) (/ 1 (lower-bound y)))))) a. Skriv de i verbatimmen använda konstruktorerna och selektorerna för intervallen (make-int, lower-bound och upper-bound). b. Skriv en procedur som subtraherar två intervall. c. Visa att vidden (avståndet mellan undre och övre gränserna) för summan av resp. differensen mellan två intervall endast beror av vidden på operanderna (de två intervall man ska operera på) och ge exempel på att det int är fallet för multiplikation resp. division. d. Den föreslagna divisionsoperatorn fungerar inte så bra om dividenden (det man dividerar med) är ett intervall som spänner över noll (vars undre gräns är negativ medan övre gränsen är positiv). Skriv om divisionsprocedurerna så att de varnar om det är så (och inte utför operationen). 27. Trapetsregeln används i boken som ett exempel på hur summationsformeln kan användas för att utföra integralberäkningar:

11 Datalogi, grundkurs 1, hösten y f(x) A a dx b x Namnet trapetsregeln kommer sig av att man kan betrakta varje parallelltrapets i figuren för sig och räkna ut ytan som begränsas av funktionen och x-axeln från x = a till x = b som summan av alla parallelltrapetserna. A = b a f(x) dx vilket i sin tur kan approximeras som A n a i, n i=1 [ ( f a + dx ) ( + f a + 3dx ) ( + + f b dx )] dx och beräknas med schemeproceduren (define integral (lambda (f a b dx) (define +dx (lambda (x) (+ x dx))) (* (sum (+ a (/ dx 2)) (- b (/ dx 2)) f +dx) dx))) Simpsons formel är en noggrannare formel för numerisk integrering än trapetsregeln. Enligt Simpsons formel är integralen, A, för en funktion f i intervallet [a, b] ungefär h 3 (y 0 + 4y 1 + 2y 2 + 4y 3 + 2y y n 2 + 4y n 1 + y n ) där h = (b a)/n för något jämnt heltal n och y k = f(a + k h). Noggrannheten ökar ju större n är. Definiera en procedur simpson, som tar fyra

12 10 Övningsuppgifter scheme argument, f, a, b och n och vars värde är ungefär lika med f, approximerad med hjälp av n enligt Simpsons formel. Testa med att beräkna b a 0 n = 100 och n = Skriv in proceduren integral, som den givits på föreläsning, gör motsvarande test och jämför med resultaten från simpson. 1 x 3 för 28. Proceduren sum är bara en av de enklaste av en mängd liknande abstraktioner (generaliseringar) som kan definieras som högre ordningens procedurer. a. Skriv en analog procedur product som returnerar produkten av alla funktionsvärden (för en given funktion) i punkter i ett intervall. Visa hur man kan definiera fact (factorial) i termer av product. b. Visa också hur man använder product för att beräkna π enligt formeln π 4 = Både sum och product är specialfall av en ännu mer generell abstraktion som vi kan kalla accumulate, som kombinerar en mängd termer genom att använda någon sorts ackumuleringsfunktion. (accumulate combiner null-value term a next b) Accumulate tar som argument samma term och intervallspecifikation som sum och product. Dessutom tar accumulate en combiner-procedur, som specificerar hur en term skall kombineras med redan ackumulerat resultat och ett null-värde som specificerar vilket värde som ska användas då serien av termer tar slut. Skriv accumulate och visa hur både sum och product kan definieras som enkla anrop till accumulate 30. Definiera en procedur cubic som tar tre argument och genererar en funktion för att beräkna värdet av ett tredjegradspolynom. D v s att (define f (cubic a b c)) ska generera en procedur som representerar f(x) = x 3 +ax 2 +bx+c. Testa cubic genom att använda den tillsammans med intervallhalvering 1 och med Newton-Raphsons metod enligt föreläsning eller AS. 31. Om f är en funktion och n är ett positivt heltal kan man generera den n-te repeterade applikationen av f som definieras som den funktion vars värde i punkten x är 1 som ju är svansrekursiv enligt guile f(f(... (f(x))...)) }{{} n anrop

13 Datalogi, grundkurs 1, hösten så att om f(x) = x+1 så är ((repeated f 3) 1) 4. Skriv repeated och visa vad som händer då (define g (repeated f 3)) används. 32. Funktioner för att utjämna (eng. smoothe) är viktiga i signalhanteringssammanhang för att ta bort störningar i signaler som enligt erfarenhet skall ha ett lugnt förlopp. Om f är en funktion och dx är något (litet) tal, så kan den utjämnade versionen av f vara antingen medeltalet av f(x dx) och f(x) eller medeltalet av f(x dx), f(x) och f(x + dx). Skriv smoothe som tar en funktion som argument och returnerar den utjämnade versionen av funktionen. Se till att den fungerar tillsammans med repeated så att g blir den n-te utjämnade versionen av f genom anropet (define g (repeated (smoothe f) n)). 33. Implementera createstack, push, retrieve och pop för att manipulera en stack. 34. Kan man förena retrieve och pop i en procedur? Motivera! 35. Skriv en procedur som tar ett argument, och avgör om det är en lista. Lösningen får inte använda sig av proceduren list? (som gör samma sak), men den kan med fördel använda sig av pair? (som avgör om dess argument är ett par). 36. Skriv en procedur som tar ut det näst största talet ur en lista med heltal. Om ett näst största tal inte finns skall proceduren returnera falskt. 37. Proceduren map tar som argument en procedur och en lista, och returnerar en lista vilkas element har skapats genom att applicera den givna proceduren på varje element i den givna listan. Nedan följer ett exempel på hur map kan fungera. (define double (lambda (n) (* n 2))) > (map double (list 1 2 3)) (2 4 6) > (map odd? (list 1 2 3)) (#t #f #t) Skriv proceduren deep-map som även applicerar den givna proceduren på listor i listor. deep-map skall kunna användas på följande sätt. (define double (lambda (n) (* n 2))) > (deep-map double (list 1 2 3)) (2 4 6) > (deep-map double (1 ((2 (3)) 4))) (2 ((4 (6)) 8))

14 12 Övningsuppgifter scheme 38. Skriv en procedur polynom som tar en lista som argument. Den givna listan skall innehålla koefficienter för ett polynom. polynom skall returnera en procedur som beräknar polynomet med de givna koefficienterna. Anropet (polynom (list 1 2 3)) skall alltså returnera en procedur som givet x beräknar 1 + 2x + 3x 2. Nedan följer ett exempel. (define p (polynom (list 2 4 5))) > (p 2) Skriv en procedur make-safe som kan anropas på följande sätt: (make-safe func demands) där func är en procedur, och demands är en lista med krav som argumenten till func måste uppfylla. Första platsen i demands innehåller ett predikat (en procedur som returnerar sant eller falskt) som måste vara sant för det första argumentet till func, andra platsen innehåller ett predikat som måste vara sant för det andra argumentet till func, och så vidare. Längden av demands måste alltså vara lika med antalet argument som func tar. make-safe ska returnera en procedur som kontrollerar att alla kraven i demands är uppfyllda. Om kraven är uppfyllda skall den nya proceduren returnera värdet av func; om något av kraven inte är uppfyllt returneras ett felmeddelande. Nedan följer ett exempel på hur make-safe kan användas för att skapa ett säkert plus som tar två argument. (define safe-add (make-safe + (list number? number?))) > (safe-add 1 2) 3 > (safe-add a 2) "error" Tips: För att lösa denna uppgift måste man använda sig av proceduren apply, som tar en procedur och en lista med argument, och applicerar proceduren på argumenten. > (apply + (list 1 2)) 3

15 Datalogi, grundkurs 1, hösten a. Skriv en procedur som tar en array med heltal och returnerar det minsta talet i arrayen. b. Skriv en procedur som tar en array med heltal och returnerar det näst minsta talet i arrayen.