Maths Olympiad Prep

Library / /37 of 92

Combinatorics Difficulty 6.2 National olympiad Prove it Iran

Morteza has 100100 sets. At each step Mahdi can choose two distinct sets from them and Morteza tells him the intersection and union of those two sets. Find the least possible number of steps that Mahdi can determine all of 100100 sets.

Solution

Suppose that the sets are A1,A2,,A100A_1, A_2, \dots, A_{100}. We claim that Mahdi needs 100100 steps. First of all, notice that 100100 would be enough; by calling (1,2)(1, 2), (1,3)(1, 3) and (2,3)(2, 3) he can understand A1A_1, A2A_2 and A3A_3. Because we have
A1=((A1A2)(A2A3))(A1A2)(A1A3). A_1 = ((A_1 \cup A_2) - (A_2 \cup A_3)) \cup (A_1 \cap A_2) \cup (A_1 \cap A_3).
Then by calling (i,3)(i, 3) for 4i1004 \le i \le 100 he can determine all sets.

To prove that 100100 is necessary, consider a graph with 100100 vertices, and at each step connect vertices ii and jj if Mahdi calls ii and jj. After 9999 steps the graph has 9999 edges so one of the connected components should be a tree. Hang the tree on a vertex and consider at each step AiAj={1}A_i \cup A_j = \{1\}, AiAj=A_i \cap A_j = \emptyset then Mahdi can't distinguish between the case that all the sets at odd levels of the tree are empty and the sets on even levels are {1}\{1\} and the case where all the sets at odd levels are {1}\{1\} and the sets at even levels are empty. ■

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.