Maths Olympiad Prep

Library / /48 of 61

Combinatorics Difficulty 6.9 National olympiad Prove it Belarus

Given the set of NN four-digit numbers formed from the digits 11, 22, 33, 44, 55, 66, 77, 88. Find the smallest possible value of NN if the set satisfies the following condition:

a) For any two different digits from 11, 22, 33, 44, 55, 66, 77, 88 there exists a number from the set which contains both of them;

b) For any two different digits from 11, 22, 33, 44, 55, 66, 77, 88 there exist no greater than two numbers from the set which contain both of them.

(E. Barabanov)

Solution

a.
See Problem B.4.

b.
Let it be possible to choose six four-digit numbers satisfying the problem condition. By the above, any of digits 11, 22, 33, 44, 55, 66, 77, 88 must be exactly in three of these six numbers.

Further, it is not hard to prove that no two of the chosen numbers have the same three digits.

Let a1,a2,a3,a4,a5,a6a_1, a_2, a_3, a_4, a_5, a_6 be the chosen six numbers. Let PiP_i denote the set consisting of six pairs formed by the digits of aia_i, i=1,,6i = 1, \dots, 6. It is easy to see that the set i=16Pi\bigcup_{i=1}^6 P_i has exactly 2828 elements. Moreover, either PiPk=P_i \cap P_k = \emptyset or PiPkP_i \cap P_k has exactly one element, and PiPjPk=P_i \cap P_j \cap P_k = \emptyset, for all distinct i,k,ji, k, j.

By inclusion-exclusion formula (N(X)N(X) is the number of elements of the set XX)
N(i=16Pi)=i=16N(Pi)i,j=1i<j6N(PiPj).() N\left(\bigcup_{i=1}^{6} P_i\right) = \sum_{i=1}^{6} N(P_i) - \sum_{\substack{i,j=1 \\ i<j}}^{6} N(P_i \cap P_j). \quad (*)
Since N(i=16Pi)=28N\left(\bigcup_{i=1}^{6} P_i\right) = 28 and N(Pi)=6N(P_i) = 6 for any i=1,,6i = 1, \dots, 6, equality ()(*) can be written as
i,j=1i<j6N(PiPj)=8.() \sum_{\substack{i,j=1 \\ i < j}}^{6} N(P_i \cap P_j) = 8. \qquad (**)
Let xx be the number of pairs (Pi,Pj)(P_i, P_j), i<ji < j, for which N(PiPj)=0N(P_i \cap P_j) = 0, then for the remaining 15x15-x pairs we have N(PiPj)=1N(P_i \cap P_j) = 1. Thus ()(*) can be rewritten as 15x=815-x=8, or x=7x=7.

It is not very hard to prove that x7x \neq 7. Thus x6x \leq 6, and so N7N \geq 7.

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.