Alice and Bob are stuck in quarantine, so they decide to play a game. Bob will write down a polynomial with the following properties:
(a) for any integer , is an integer;
(b) the degree of is less than 187.
Alice knows that satisfies (a) and (b), but she does not know what is. In every turn, Alice picks a number from the set , and Bob will tell Alice the value of . Determine the smallest positive integer so that Alice always knows for sure the parity of within turns.
, 2020
Solution
The smallest .
Let , and the binary representation of is . First we note that the -th difference gives . By Lucas' theorem we know that is odd if and only if the positions of the 's in the binary representation of are a subset of the positions of the 's in the binary representation of , so
where is the set of positions of the 's in the binary representation of . From this it follows that Alice only needs to know
, and she can then determine the parity of .
On the other hand, if some in has not yet been queried, then Alice cannot distinguish between and , where is a polynomial of degree at most satisfying and . It is well known that also sends integers to integers. However, applying the identity modulo two obtained in the previous paragraph, we know that is an odd number, so in this case Alice cannot determine the parity of .
In summary, Alice must ask at least times.