Browse · MathNet
PrintIranian Mathematical Olympiad
Iran counting and probability
Problem
Morteza has 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 sets.
Solution
Suppose that the sets are . We claim that Mahdi needs steps. First of all, notice that would be enough; by calling , and he can understand , and . Because we have Then by calling for he can determine all sets.
To prove that is necessary, consider a graph with vertices, and at each step connect vertices and if Mahdi calls and . After steps the graph has edges so one of the connected components should be a tree. Hang the tree on a vertex and consider at each step , 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 and the case where all the sets at odd levels are and the sets at even levels are empty. ■
To prove that is necessary, consider a graph with vertices, and at each step connect vertices and if Mahdi calls and . After steps the graph has edges so one of the connected components should be a tree. Hang the tree on a vertex and consider at each step , 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 and the case where all the sets at odd levels are and the sets at even levels are empty. ■
Final answer
100
Techniques
Euler characteristic: V-E+FColoring schemes, extremal arguments