Maths Olympiad Prep

Library / /14 of 16

Combinatorics Difficulty 7.5 National olympiad, round 2 Prove it Japan

The JMO Cluster initially consists of five stars OO, AA, BB, CC, and DD. Each star is assigned a value called its importance. The importance of OO is 00, and the importance of each of AA, BB, CC, and DD is 11. Moreover, there are one-way direct flights from OO to AA and CC; from AA to BB and DD; from BB to OO; from CC to BB and DD; and from DD to OO, and no other direct flights exist.
To prevent the stars from aging, the JMO Cluster periodically performs an operation consisting of the following sequence of actions:
(1) Abolish all existing direct flights and destroy all the stars.
(2) For each direct flight ff abolished in step (1), construct a new star SfS_f. Then assign to SfS_f an importance equal to the sum of the importances of the departure and arrival stars of ff.
(3) For every ordered pair (f,f)(f, f') of two abolished direct flights such that the arrival star of ff coincides with the departure star of ff', open a one-way direct flight from SfS_f to SfS_{f'}.
Find the sum of the importances of the stars constructed in the 100th operation.
Figure 1

Solution

Let the initial configuration be called state 00, and for each integer n1n \ge 1, let state nn denote the configuration after the nn-th operation.

Lemma 1. There exists an assignment of every star into exactly one of groups 00, 11, or 22 such that:
(1) Star OO is assigned to group 00.
(2) For every flight ff, the star SfS_f belongs to the same group as the arrival star of ff.
(3) For every flight ff, if the departure star of ff lies in group ii, then its arrival star lies in group i+1i + 1 (where group 33 is identified with group 00).

Proof of Lemma 1. In state 00, assign the five stars OO, AA, BB, CC, DD to groups 00, 11, 22, 11, 22, respectively. Now assume inductively that every star in states 00, 11, ..., nn has already been assigned to a group satisfying conditions (1)-(3). To extend the assignment to state n+1n + 1, proceed as follows:
* For each flight ff in state nn, assign the new star SfS_f to the same group as the arrival star of ff. This guarantees condition (2) in the new state.
* To check condition (3), consider any flight SfSfS_f \to S_{f'} that appears in state n+1n+1. By construction this means the arrival star of ff coincides with the departure star of ff'. If SfS_f lies in group ii, then its arrival star is in group ii, so by the induction hypothesis the arrival star of ff' (hence SfS_{f'}) must lie in group i+1i+1.
This completes the inductive step, and hence the proof. ■

Using Lemma 1, partition all stars into the three groups. For any star SS, we define g(S){0,1,2}g(S) \in \{0, 1, 2\} such that SS belongs to group g(S)g(S). Moreover, we set d0=2d_0 = 2, d1=2d_1 = 2, d2=1d_2 = 1. For any integer kk, define dk=drd_k = d_r, where rr is the remainder when kk is divided by 33.

Lemma 2. For any star SS, the number of outgoing flights from SS is dg(S)d_{g(S)}.

Proof of Lemma 2. We argue by induction on nn, where SS is a star in state nn. The base n=0n=0 holds by inspection. Assume the claim for state kk, and let ff be any flight in state kk, arriving at some star TT. Then the number of flights departing from SfS_f in state k+1k+1 equals dg(T)d_{g(T)}, which is the number of flights departing from TT in state kk. Since g(Sf)=g(T)g(S_f) = g(T), this completes the induction. ■

Lemma 3. For each nonnegative integer nn and each integer ii, all stars in state nn that lie in group ii have the same importance, say vn,iv_{n,i}.

Proof of Lemma 3. We proceed by induction on nn. The claim is clear for n=0n=0. Suppose it holds for n=kn=k. Let ff be any flight in state kk, departing from a star T1T_1 and arriving at a star T2T_2. Then we have
importance(Sf)=vk,g(T1)+vk,g(T2)=vk,g(Sf)1+vk,g(Sf). \text{importance}(S_f) = v_{k,g(T_1)} + v_{k,g(T_2)} = v_{k,g(S_f)-1} + v_{k,g(S_f)}.

From Lemma 3 we have the recurrence vn+1,i=vn,i1+vn,iv_{n+1,i} = v_{n,i-1} + v_{n,i}. Let Vn=j=02vn,jV_n = \sum_{j=0}^{2} v_{n,j}. Then, we have Vn+1=2VnV_{n+1} = 2V_n with V0=2V_0 = 2, so Vn=2n+1V_n = 2^{n+1}. Moreover, it follows that
vn+1,i=2n+1vn,i+1, v_{n+1,i} = 2^{n+1} - v_{n,i+1},
and therefore
vn+3,i=2n+32n+2+2n+1vn,i+3=32n+1vn,i. v_{n+3,i} = 2^{n+3} - 2^{n+2} + 2^{n+1} - v_{n,i+3} = 3 \cdot 2^{n+1} - v_{n,i}.
Thus, we have
v100,2=(v100,2+v97,2)(v97,2+v94,2)+(v94,2+v91,2)+(v4,2+v1,2)v1,2=32983295+3292+322(v0,1+v0,2)=32101+492=210123. \begin{aligned} v_{100,2} &= (v_{100,2} + v_{97,2}) - (v_{97,2} + v_{94,2}) + (v_{94,2} + v_{91,2}) - \cdots + (v_{4,2} + v_{1,2}) - v_{1,2} \\ &= 3 \cdot 2^{98} - 3 \cdot 2^{95} + 3 \cdot 2^{92} - \cdots + 3 \cdot 2^2 - (v_{0,1} + v_{0,2}) \\ &= 3 \cdot \frac{2^{101} + 4}{9} - 2 \\ &= \frac{2^{101} - 2}{3}. \end{aligned}

Next, let sn,is_{n,i} be the number of stars in state nn lying in group ii. Since each new star in state n+1n+1 corresponds to a flight departing from a star in group i1i-1, Lemma 2 yields
sn+1,i=di1sn,i1. s_{n+1,i} = d_{i-1} s_{n,i-1}.
In particular one finds
sn+3,i=di1di2di3sn,i=4sn,i. s_{n+3,i} = d_{i-1} d_{i-2} d_{i-3} s_{n,i} = 4 s_{n,i}.
With s0,0=1s_{0,0} = 1, s0,1=s0,2=2s_{0,1} = s_{0,2} = 2, this gives
s100,0=s100,1=267,s100,2=268. s_{100,0} = s_{100,1} = 2^{67}, \quad s_{100,2} = 2^{68}.
Finally, the total importance in state 100100 is
s100,0v100,0+s100,1v100,1+s100,2v100,2=267(v100,0+v100,1+2v100,2)=267(V100+v100,2)=267(2101+210123)=268(21021)3. \begin{aligned} s_{100,0} \cdot v_{100,0} + s_{100,1} \cdot v_{100,1} + s_{100,2} \cdot v_{100,2} &= 2^{67}(v_{100,0} + v_{100,1} + 2v_{100,2}) \\ &= 2^{67}(V_{100} + v_{100,2}) \\ &= 2^{67} \left( 2^{101} + \frac{2^{101} - 2}{3} \right) \\ &= \frac{2^{68}(2^{102} - 1)}{3}. \end{aligned}

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 and solution reproduced as published; topic and difficulty added by this site.