dtm: (Default)
dtm ([personal profile] dtm) wrote 2007-12-12 06:27 pm (UTC)

The hard bit is getting from the recurrence relation:

t(n) = t(n-1) + t(n-2) + 1

to proving that this sequence is (eventually) bounded by constant multiples of fib(n).

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting