Maths Olympiad Prep

Library / /40 of 84

, 2014

Algebra Difficulty 5.3 AIME, harder Find the answer United 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 00 on the number line, and wants to reach the lily pad at the point 20142014 on the number line. If the frog stands at the point nn on the number line, it can jump directly to either point n+2n+2 or point n+3n+3 on the number line. Each of the lily pads at the points 1,,20131, \cdots, 2013 on the number line has, independently and with probability 1/21 / 2, a snake. Let pp be the probability that the frog can make some sequence of jumps to reach the lily pad at the point 20142014 on the number line, without ever landing on a lily pad containing a snake. What is p1/2014p^{1 / 2014}? Express your answer as a decimal number. If CC is the actual answer to this question and AA is your answer, then your score on this problem is max{25(120CA),0}\lceil\max \{25(1-20|C-A|), 0\}\rceil.

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 pp. Let qq be the probability that the frog can reach the lily pad at the point 20142014 on the number line if it is allowed to jump from a point nn on the number line to the point n+1n+1, in addition to the points n+2n+2 and n+3n+3. Clearly, pqp \leq q. Furthermore, pp is approximated by qq; it should be easy to convince one's self that jumps from a point nn to the point n+1n+1 are only useful for reaching the lily pad at point 20142014 in very few situations.

Now we compute qq. We note that, if the frog can jump from points nn to points n+1,n+2n+1, n+2, and n+3n+3, then it can reach the lily pad at the point 20142014 on the number line if and only if each snake-free lily pad is at most 33 units away from the closest snake-free lily pad on the left.

Define the sequence {am}m=1\left\{a_{m}\right\}_{m=1}^{\infty} by a0=1,a1=1,a2=2a_{0}=1, a_{1}=1, a_{2}=2, and am+3=am+2+am+1+ama_{m+3}=a_{m+2}+a_{m+1}+a_{m} for m0m \geq 0. Then, it can be shown by induction that ama_{m} is the number of possible arrangements of snakes on lily pads at points 1,,m11, \cdots, m-1 so that the frog can make some sequence of jumps (of size 1,21,2, or 33) from the lily pad at point 00 to the lily pad at point mm without landing on a lily pad containing a snake. It follows that q=a2014/22013q=a_{2014} / 2^{2013}. So

p1/2014q1/2014=(a2014)1/2014/22013/2014(a2014)1/2014/2 p^{1 / 2014} \approx q^{1 / 2014}=\left(a_{2014}\right)^{1 / 2014} / 2^{2013 / 2014} \approx\left(a_{2014}\right)^{1 / 2014} / 2

Analyzing the recurrence relation am+3=am+2+am+1+ama_{m+3}=a_{m+2}+a_{m+1}+a_{m} yields that (a2014)1/2014\left(a_{2014}\right)^{1 / 2014} is approximately equal to the largest real root rr of the characteristic polynomial equation r3r2r1=0r^{3}-r^{2}-r-1=0. So to roughly approximate pp, 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 22, one iteration of Newton's method yields r13/7r \approx 13 / 7, so pr/213/140.928571p \approx r / 2 \approx 13 / 14 \approx 0.928571. A second iteration yields r1777/966r \approx 1777 / 966, so pr/21777/19320.919772p \approx r / 2 \approx 1777 / 1932 \approx 0.919772. (It turns out that the value of rr is 1.8392861.839286 \ldots, yielding pr/2=0.919643p \approx r / 2=0.919643 \ldots.)

Using tools from probability theory, we can get an even better estimate for pp. We model the problem using a discrete-time Markov chain. The state of the Markov chain at time nn, for n=0,1,,2013n=0,1, \ldots, 2013, indicates which of the lily pads at positions n2,n1,nn-2, n-1, n are reachable by the frog. It is clear that the state of the Markov chain at time nn only depends (randomly) on its state at time n1n-1. There are 23=82^{3}=8 possible states for this Markov chain, because each of the lily pads at positions n2,n1,nn-2, n-1, n can be either reachable or unreachable by the frog. Number each state using the number 1+d2+2d1+4d01+d_{2}+2 d_{1}+4 d_{0}, where did_{i} is 11 if the lily pad at point nin-i is reachable, and 00 otherwise. So, for example, at time n=0n=0, the lily pad at point nn is reachable (d0=1)\left(d_{0}=1\right) whereas the lily pads at points n1n-1 and n2n-2 are unreachable (d1=d2=0)\left(d_{1}=d_{2}=0\right), so the Markov chain is in state number 1+d2+2d1+4d0=51+d_{2}+2 d_{1}+4 d_{0}=5.

The transition matrix MM for the Markov chain can now be computed directly from the conditions of the problem. It is equal to

M:=[1000120000000120000100012000000012000012000120001200012000012000120001200012]. M:=\left[\begin{array}{cccccccc} 1 & 0 & 0 & 0 & \frac{1}{2} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & \frac{1}{2} & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & \frac{1}{2} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & \frac{1}{2} & 0 & 0 \\ 0 & 0 & \frac{1}{2} & 0 & 0 & 0 & \frac{1}{2} & 0 \\ 0 & 0 & \frac{1}{2} & 0 & 0 & 0 & \frac{1}{2} & 0 \\ 0 & 0 & 0 & \frac{1}{2} & 0 & 0 & 0 & \frac{1}{2} \\ 0 & 0 & 0 & \frac{1}{2} & 0 & 0 & 0 & \frac{1}{2} \end{array}\right] .

(The verification of this transition matrix is left as an exercise for the reader.) So the state vector vv for the Markov chain at time 20132013 is
v:=M2014[0,1,0,0,0,0,0,0]t v:=M^{2014}[0,1,0,0,0,0,0,0]^{t}

Now, the lily pad at point 20142014 is reachable by the frog if and only if the Markov chain is in state 3,4,5,6,73,4,5,6,7, or 88 at time 20132013. This happens with probability
p=[0,0,1,1,1,1,1,1]v p=[0,0,1,1,1,1,1,1] v

By expanding [0,1,0,0,0,0,0,0]t[0,1,0,0,0,0,0,0]^{t} in an eigenbasis for MM, we find that p1/2014p^{1 / 2014} is approximately equal to the second-largest real eigenvalue of the matrix MM. The characteristic polynomial of MM is
det(λIM)=λ38+3λ48+λ643λ72+λ8 \operatorname{det}(\lambda I-M)=-\frac{\lambda^{3}}{8}+\frac{3 \lambda^{4}}{8}+\frac{\lambda^{6}}{4}-\frac{3 \lambda^{7}}{2}+\lambda^{8}
so its eigenvalues are the roots of this polynomial. The largest real root of this characteristic polynomial is λ=1\lambda=1, and the second-largest real root is 0.91052473834716040.9105247383471604 \ldots (which can be found, again, using Newton's method, after factoring out (λ1)λ3(\lambda-1) \lambda^{3} from the polynomial), which is a good approximation for pp.

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.