Dexter's Laboratory has robots, each with a program setup by Dexter. One day, his naughty sister Dee Dee intrudes and writes an integer in on each of the robot's forehead. Each robot detects the numbers on all other robots' foreheads, and guess its own number base on its program, individually and simultaneously.
Find the largest positive integer such that Dexter can setup the programs so that, no matter how the numbers distribute, there are always at least robots who guess their numbers right.
Problem 1884
Official solution
. In general, for robots and numbers, .
Upper bound estimate: Number the robots through , let the set of numbers be , the number worn by robot be , and the program be
Suppose Dee Dee randomly writes on robot , where follows a uniform distribution on , independent of the other . Then by independence, it is easy to see that
This means the expected number of robots who guess correctly , and this also implies that Dee Dee must have a way of writing the numbers such that the number of robots who guess correctly is at most .
Construction: Consider
Note that robot guesses correctly if and only if
and there must be at least values of for which the last expression of (1) holds, so the result follows.