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. ■
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.