Rekursiv funktion

Från Wikipedia
Hoppa till: navigering, sök

Rekursiv funktion, en matematisk funktion som definieras med hjälp av rekursion, d.v.s. med hjälp av referenser till sig själv. För att en definition av en rekursiv funktion skall vara korrekt måste den innehålla minst ett basfall som inte refererar till funktionen själv, mer komplicerade fall kan sedan referera till basfallen.

Exempel[redigera | redigera wikitext]

Matematisk fakultet[redigera | redigera wikitext]

Ett exempel är definitionen av fakultet som kan skrivas rekursivt. Fakulteten av talet n, skrivet n!, är produkten av talen 1, 2, 3 ... n.

Denna definition leder för fallet 3! till följande steg:

Ett annat känt matematiskt exempel är definitionen av fibonaccitalen.

Tornen i Hanoi[redigera | redigera wikitext]

Man kan använda rekursion för att härleda det minsta antal flyttningar som krävs för att lösa problemet Tornen i Hanoi. Om man låter an beteckna det minsta antalet flyttningar som krävs för att flytta ett hanoitorn med n skivor så erhålls rekursionen an=2an-1+1; a1=1. Denna (rekursiva) differensekvation har ingen uppenbar lösning, men genom att räkna ut ett fåtal termer i början kan man göra en gissning som därefter kan bevisas medelst induktion över n. Denna gissning är lämpligen 2n-1, som är konsistent med rekursionen och startvillkoret.

Rekursiva funktioner är ett centralt begrepp inom den diskreta matematiken och datavetenskapen. Det har till exempel visats att rekursiva funktioner är precis de funktioner som kan beräknas av turingmaskiner.


Collatz problem[redigera | redigera wikitext]

Ett annat exempel på rekursion är Collatz problem. Man börjar med ett positivt heltal n. Sedan fortsätter man med att multiplicera talet med 3 och addera med 1 om n är ett udda tal. Om n är ett jämnt tal så delar man talet med 2. Sedan upprepas detta tills resultatet blir 1. Till exempel om man börjar med starttalet 5 så ser talföljden ut såhär:


Problemet är då att avgöra om man kan nå talet 1 oavsett vilket tal man startar med. Än så länge har ingen kunnat bevisa att alla talföljder slutar med 1 eller hittat någon talföljd som inte slutar på ett. Så hittills är problemet olöst.


Look-and-say sequence[redigera | redigera wikitext]

Ännu ett exempel på rekursion är "en:look-and-say sequence".

Tajföljden börjar såhär: 1, 11, 21, 1211, 111221, 312211, 13112221, ...

För att få fram nästa tal i talföljden så säger man vad som står i det föregående talet. Till exempel:

  • 1 läser man som "en 1a" eller 11.
  • 11 läser man som "två 1or" eller 21.
  • 21 läser man som "en 2a, en 1a" eller 1211.
  • 1211 läser man som "en 1a, en 2a, två 1or" eller 111221.



Om man startar med en siffra d från 0 till 9, om talet inte är 1 så kommer alltid varje talföljd se ut såhär.

d, 1d, 111d, 311d, 13211d, 111312211d, 31131122211d, …

Varje tal slutar alltså på d.



Alla talföljder kommer till slut att växa obegränsat oavsett vilket tal med startar med, utom starttalet 22, då nästa tal i talföljden alltid blir detsamma som föregående:

22, 22, 22, 22, ...


Talen kommer också till slut att växa med ungefär 30% varje gång. Om är antalet siffror i det -te talet i talföljden, så ges Conways konstant av

där är en rot till en polynom av grad 71. Conways konstant gäller för alla starttal utom 22.

Inom matematik[redigera | redigera wikitext]

Rekursion används inom matematisk bevisföring i induktionsbevis. Tekniken innebär grovt att man rekursivt utnyttjar tidigare (del)resultat för att bygga vidare på beviset.

Många komplicerade och oförutsägbara fenomen uppkommer genom rekursion. Ett klassisk exempel är rekursionen xn+1=r(1-xn), som får ett kaotiskt beteende för r>3.57. Fraktaler är ett relaterat område där både kaos och rekursion går hand i hand, då många fraktaler, så som juliamängder och de från itererade funktionssystem är definierade rekursivt.


Användning i programmering[redigera | redigera wikitext]

Inom funktionell programmering, såsom Lisp, använder man rekursiva funktioner istället för loopar. Eftersom varje delsteg måste sparas vid beräkningen av en rekursiv funktion sker det ibland en optimering vid kompilering eller interpretering av dessa språk som ersätter rekursiva beräkningar med loopar.

I Haskell kan beräkning av det n:te fibonaccitalet definieras

fib :: Integral t => t -> t
fib 0 = 1
fib 1 = 1
fib n = fib (n-1) + fib (n-2)

Se även[redigera | redigera wikitext]