Maths Olympiad Prep

Library / /153 of 520

Combinatorics Difficulty 6.6 National olympiad Find the answer

A hundred tourists arrive to a hotel at night. They know that in the hotel there are single rooms numbered as 1,2,,n1, 2, \ldots , n, and among them kk{} (the tourists do not know which) are under repair, the other rooms are free. The tourists, one after another, check the rooms in any order (maybe different for different tourists), and the first room not under repair is taken by the tourist. The tourists don’t know whether a room is occupied until they check it. However it is forbidden to check an occupied room, and the tourists may coordinate their strategy beforehand to avoid this situation. For each kk{} find the smallest nn{} for which the tourists may select their rooms for sure.

[i]Fyodor Ivlev[/i]

Solution

1. Define the problem and notation:
- We have nn rooms numbered 1,2,,n1, 2, \ldots, n.
- Among these rooms, kk rooms are under repair.
- 100 tourists arrive and need to find a free room without checking an occupied room.
- We need to find the smallest nn such that the tourists can always find a free room without checking an occupied room.

2. **Define the function f(i,j)f(i, j):**
- Let f(i,j)f(i, j) be the jj-th room that the ii-th tourist will check in the strategy.
- The tourists need to coordinate their strategy to avoid checking an occupied room.

3. Lemma:
- If f(i1,j1)=f(i2,j2)f(i_1, j_1) = f(i_2, j_2) for some i1<i2i_1 < i_2, then j1+j2k+3j_1 + j_2 \geq k + 3.
- This lemma ensures that when the i2i_2-th tourist is checking the j2j_2-th room, they won't check an occupied room.

4. Proof of the Lemma:
- ()(\Rightarrow) If f(i1,j1)f(i_1, j_1) is under repair, then the lemma holds.
- If i2i_2 had checked another room that is occupied by i1i_1, then i2i_2 would have exploded.
- Otherwise, in the sequence f(i1,1),f(i1,2),,f(i1,j11),f(i2,1),f(i2,2),,f(i2,j21)f(i_1, 1), f(i_1, 2), \ldots, f(i_1, j_1-1), f(i_2, 1), f(i_2, 2), \ldots, f(i_2, j_2-1), there are at least k+1k+1 rooms, and therefore there exists at least one room that is not under repair.
- Hence, either f(i1,j1)f(i_1, j_1) won't be occupied by i1i_1, or i2i_2 won't check this room.
- ()(\Leftarrow) If j1+j2k+2j_1 + j_2 \leq k + 2, and the kk rooms f(i1,1),f(i1,2),,f(i1,j11),f(i2,1),f(i2,2),,f(i2,j21)f(i_1, 1), f(i_1, 2), \ldots, f(i_1, j_1-1), f(i_2, 1), f(i_2, 2), \ldots, f(i_2, j_2-1) are under repair, then i2i_2 will explode in this strategy when checking the j2j_2-th room.

5. Strategy Success Condition:
- A strategy will succeed if and only if for all i1i2i_1 \neq i_2 and j1,j2j_1, j_2, if f(i1,j1)=f(i2,j2)f(i_1, j_1) = f(i_2, j_2), then j1+j2k+3j_1 + j_2 \geq k + 3.

6. Case Analysis:
- If k=2l1k = 2l - 1 (odd), then for all i1i2i_1 \neq i_2, (j1,j2l(j_1, j_2 \leq l or j1=l+1,j2l)j_1 = l + 1, j_2 \leq l), f(i1,j1)f(i2,j2)f(i_1, j_1) \neq f(i_2, j_2). Therefore, n100l+1n \geq 100l + 1.
- If k=2lk = 2l (even), then for all i1i2i_1 \neq i_2, j1,j2l+1j_1, j_2 \leq l + 1, f(i1,j1)f(i2,j2)f(i_1, j_1) \neq f(i_2, j_2). Therefore, n100(l+1)n \geq 100(l + 1).

7. Construction of the Strategy:
- If k=2l1k = 2l - 1 (odd), let:
f(i,j)={l(i1)+jif jl100l+1if j=l+1l(100i)+2l+2jif jl+2 f(i, j) = \begin{cases} l(i-1) + j & \text{if } j \leq l \\ 100l + 1 & \text{if } j = l + 1 \\ l(100 - i) + 2l + 2 - j & \text{if } j \geq l + 2 \end{cases}
- If k=2lk = 2l (even), let:
f(i,j)={(l+1)(i1)+jif jl+1l(100i)+2l+3jif jl+2 f(i, j) = \begin{cases} (l + 1)(i-1) + j & \text{if } j \leq l + 1 \\ l(100 - i) + 2l + 3 - j & \text{if } j \geq l + 2 \end{cases}

8. Conclusion:
- For kk odd: n50k+51n \geq 50k + 51.
- For kk even: n50k+100n \geq 50k + 100.

The final answer is 2k:50k+512 \nmid k: 50k + 51 and 2k:50k+1002 \mid k: 50k + 100.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.