[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 29 KB, 300x300, math_400-300x300.jpg [View same] [iqdb] [saucenao] [google]
4382049 No.4382049 [Reply] [Original]

Hey, /sci/, was hoping you could help me with this one problem I'm stuck on.

I have an idea on how to solve it, but I need to ask you:

Is it always possible to change a recursive sequence into a non-recursive one? If not, why and if so, do you know any theorems that could help with this? Thanks.

>> No.4382065
File: 452 KB, 500x600, cutey_Emma_redsihuett.png [View same] [iqdb] [saucenao] [google]
4382065

For example, every sequence defined by a linear recurrence with constant coefficients has a closed-form solution.

http://en.wikipedia.org/wiki/Recurrence_relation

http://en.wikipedia.org/wiki/Closed-form_solution

>> No.4382079

>>4382065

What about sequences defined by a non-linear recurrence?

>> No.4382108
File: 47 KB, 289x319, tv_browning_stupid_drunk.jpg [View same] [iqdb] [saucenao] [google]
4382108

>>4382079
they usually can't be solved
sadface.jpg

>> No.4382125

>>4382108
Uh, yes they can.

>> No.4383578

>>4382125

Care to enlighten us?

>> No.4383588

>>4382049
Please define 'change'.

>> No.4383596

>>4383588

Given a non-linear recursive sequence, how do you find its closed-form solution, assuming one exists?

>> No.4384024

>>4383596
Solve for the polynomial of one degree higher than highest-ordered term of the recursion.

If f(n+1) = f(n) + n, the highest order is 1, so the closed form is of order 2

If f(n+1) = f(n) + n^2, the highest order is 2, so the closed form is of order 3.

Etc...

>> No.4384031

So uhh, how bout prime number finding?
Or does "find the first n prime numbers and then find the next one" count as a non-recursive function?

>> No.4384044

>>4384031
nevermind, I guess finding the nth prime number isn't really a truly recursive process anyway. Factorial though maybe?