AlgebraDifficulty 5.3AIME, harderFind the answerUnited States
Problem:
Consider a number line, with a lily pad placed at each integer point. A frog is standing at the lily pad at the point 0 on the number line, and wants to reach the lily pad at the point 2014 on the number line. If the frog stands at the point n on the number line, it can jump directly to either point n+2 or point n+3 on the number line. Each of the lily pads at the points 1,⋯,2013 on the number line has, independently and with probability 1/2, a snake. Let p be the probability that the frog can make some sequence of jumps to reach the lily pad at the point 2014 on the number line, without ever landing on a lily pad containing a snake. What is p1/2014? Express your answer as a decimal number. If C is the actual answer to this question and A is your answer, then your score on this problem is ⌈max{25(1−20∣C−A∣),0}⌉.
A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
Solution:
Answer: 0.9102805441016536
First, we establish a rough upper bound for the probability p. Let q be the probability that the frog can reach the lily pad at the point 2014 on the number line if it is allowed to jump from a point n on the number line to the point n+1, in addition to the points n+2 and n+3. Clearly, p≤q. Furthermore, p is approximated by q; it should be easy to convince one's self that jumps from a point n to the point n+1 are only useful for reaching the lily pad at point 2014 in very few situations.
Now we compute q. We note that, if the frog can jump from points n to points n+1,n+2, and n+3, then it can reach the lily pad at the point 2014 on the number line if and only if each snake-free lily pad is at most 3 units away from the closest snake-free lily pad on the left.
Define the sequence {am}m=1∞ by a0=1,a1=1,a2=2, and am+3=am+2+am+1+am for m≥0. Then, it can be shown by induction that am is the number of possible arrangements of snakes on lily pads at points 1,⋯,m−1 so that the frog can make some sequence of jumps (of size 1,2, or 3) from the lily pad at point 0 to the lily pad at point m without landing on a lily pad containing a snake. It follows that q=a2014/22013. So
Analyzing the recurrence relation am+3=am+2+am+1+am yields that (a2014)1/2014 is approximately equal to the largest real root r of the characteristic polynomial equation r3−r2−r−1=0. So to roughly approximate p, it suffices to find the largest real root of this equation.
For this, we apply Newton's method, or one of many other methods for computing the roots of a polynomial. With an initial guess of 2, one iteration of Newton's method yields r≈13/7, so p≈r/2≈13/14≈0.928571. A second iteration yields r≈1777/966, so p≈r/2≈1777/1932≈0.919772. (It turns out that the value of r is 1.839286…, yielding p≈r/2=0.919643….)
Using tools from probability theory, we can get an even better estimate for p. We model the problem using a discrete-time Markov chain. The state of the Markov chain at time n, for n=0,1,…,2013, indicates which of the lily pads at positions n−2,n−1,n are reachable by the frog. It is clear that the state of the Markov chain at time n only depends (randomly) on its state at time n−1. There are 23=8 possible states for this Markov chain, because each of the lily pads at positions n−2,n−1,n can be either reachable or unreachable by the frog. Number each state using the number 1+d2+2d1+4d0, where di is 1 if the lily pad at point n−i is reachable, and 0 otherwise. So, for example, at time n=0, the lily pad at point n is reachable (d0=1) whereas the lily pads at points n−1 and n−2 are unreachable (d1=d2=0), so the Markov chain is in state number 1+d2+2d1+4d0=5.
The transition matrix M for the Markov chain can now be computed directly from the conditions of the problem. It is equal to
(The verification of this transition matrix is left as an exercise for the reader.) So the state vector v for the Markov chain at time 2013 is v:=M2014[0,1,0,0,0,0,0,0]t
Now, the lily pad at point 2014 is reachable by the frog if and only if the Markov chain is in state 3,4,5,6,7, or 8 at time 2013. This happens with probability p=[0,0,1,1,1,1,1,1]v
By expanding [0,1,0,0,0,0,0,0]t in an eigenbasis for M, we find that p1/2014 is approximately equal to the second-largest real eigenvalue of the matrix M. The characteristic polynomial of M is det(λI−M)=−8λ3+83λ4+4λ6−23λ7+λ8 so its eigenvalues are the roots of this polynomial. The largest real root of this characteristic polynomial is λ=1, and the second-largest real root is 0.9105247383471604… (which can be found, again, using Newton's method, after factoring out (λ−1)λ3 from the polynomial), which is a good approximation for p.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.