You are on page 1of 2

Lineris rekurzi

Denci. Legyen N0 = N {0}, k N s F : Rk R. Ekkor az f(n) = F(f(n 1), f(n 2), . . . , f(n k)) (n k)

formult (k-adrend) rekurzinak nevezzk. Egy rekurzi egy f : N0 R megoldst rekurzival adott sorozatnak, vagy rviden rekurzv sorozatnak nevezzk.
k

Ha F(x1 , x2 , . . . , xk ) =
i=1

ai xi , ahol a1 , a2 , . . . , ak R adottak, akkor lineris rekurzirl beszlnk.


k

Ekkor f(n) =

ai f(n i).
i=1

Ttel. Egy k-edrend lineris rekurzi megoldsainak halmaza k dimenzis lineris tr. Bizonyts. Elszr megmutatjuk, hogy lineris tr. Ehhez be kell ltni, hogy ha f s g megoldsok, s c R, akkor f + g s c f is megolds. Legyen n k. Ekkor
k k k k

(f + g)(n) = f(n)+g(n) =
i=1

ai f(ni)+
i=1

ai g(ni) =
i=1

ai (f(ni)+g(ni)) =
i=1

ai (f + g)(ni)

s (c f)(n) = c f(n) = c

ai f(n i) =
i=1 i=1

cai f(n i) =
i=1

ai (c f)(n i).

Mivel f(0), f(1), . . . , f(k 1) egyrtelmen meghatrozza a megoldst, a megoldstr valban n dimenzis. Megjegyzs. A megoldstr egy bzist alaprendszernek nevezzk. Fibonacci-sorozat. Legyen adott f(0) s f(1). Deniljuk az f sorozatot a kvetkez (msodrend, lineris) rekurzival, minden n > 1-e: f(n) = f(n 1) + f(n 2). Ha pldul f(0) = 0 s f(1) = 1, akkor a sorozat els nhny eleme: 0, 1, 1, 2, 3, 5, 8, 13, . . . . Sejts: keressk a rekurzi feloldst f(n) = q n alakban. 1 5 Ekkor q n = q n1 + q n2 , azaz ha q = 0, akkor q 2 = q + 1, gy q1,2 = . 2 n n Megolds teht a q1 s a q2 sorozat. Az elz ttel szerint ezek lineris kombincija is megolds lesz. St, mivel q1 = q2 , ezrt minden megolds ezek lineris kombincija lesz. llts. Az sszes megoldsok halmaza:
n n {f : N0 R|c1 , c2 R : f(n) = c1 q1 + c2 q2 }.

Ha pldul f(0) = 0 s f(1) = 1, akkor c1 + c2 = 0 c 1 q1 + c 2 q2 = 1

miatt

1 1 1 5 1 5 c1 = = = , mg c2 = = = , q1 q2 5 q2 q1 5 5 5 f(n) = 5 1+ 5
n

s gy a sorozatL

5 1 5 5 2n

Megjegyzs. ltalban, az f(k) = a1 f (k 1) + a2 f(k 2) + + an f(k n) (k n)

n-edrend lineris rekurzi alaprendszert a q n = a1 q n1 + a2 q n2 + + an karakterisztikus egyenlet segtsgvel hatrozzuk meg.


n

Nevezetesen, ha q egy m-szeres vals gyke a q


i=1

ai q ni karakterisztikus polinomnak, akkor

az alaprendszer hozztartoz elemei: q n , nq n , . . . , nm1 q n . Ha pedig i egy m-szeres nem vals gykpr ( = 0), akkor az alaprendszer hozztartoz elemei: nk ((+i)n +(i)n ) s nk i((+i)n (i)n ), ahol k lehetsges rtkei 0, 1, . . . , m1.