Maths Olympiad Prep

Library / /2 of 6

, 2020

Combinatorics Difficulty 8.4 Shortlist Prove it Taiwan

Alice and Bob are stuck in quarantine, so they decide to play a game. Bob will write down a polynomial f(x)f(x) with the following properties:
(a) for any integer nn, f(n)f(n) is an integer;
(b) the degree of f(x)f(x) is less than 187.
Alice knows that f(x)f(x) satisfies (a) and (b), but she does not know what f(x)f(x) is. In every turn, Alice picks a number kk from the set {1,2,,187}\{1, 2, \dots, 187\}, and Bob will tell Alice the value of f(k)f(k). Determine the smallest positive integer NN so that Alice always knows for sure the parity of f(0)f(0) within NN turns.

Solution

The smallest N=63N = 63.
Let n=187n = 187, and the binary representation of 187187 is 1011101110111011. First we note that the nn-th difference gives i=0n(1)i(ni)f(i)=0\sum_{i=0}^{n} (-1)^i \binom{n}{i} f(i) = 0. By Lucas' theorem we know that (ni)\binom{n}{i} is odd if and only if the positions of the 11's in the binary representation of ii are a subset of the positions of the 11's in the binary representation of nn, so
0BAf(iB2i)(mod2) 0 \equiv \sum_{B \subseteq A} f\left(\sum_{i \in B} 2^i\right) \pmod{2}
where AA is the set of positions of the 11's in the binary representation of nn. From this it follows that Alice only needs to know
S:={iB2iBA}S := \{\sum_{i \in B} 2^i \mid \varnothing \neq B \subseteq A\}, and she can then determine the parity of f(0)f(0).
On the other hand, if some tt in SS has not yet been queried, then Alice cannot distinguish between f(0)f(0) and f(0)+gt(0)f(0)+g_t(0), where gtg_t is a polynomial of degree at most n1n-1 satisfying gt(t)=1g_t(t) = 1 and gt(t)=0,t{1,2,,n}{t}g_t(t') = 0, \forall t' \in \{1, 2, \dots, n\} - \{t\}. It is well known that gtg_t also sends integers to integers. However, applying the identity modulo two obtained in the previous paragraph, we know that gt(0)g_t(0) is an odd number, so in this case Alice cannot determine the parity of f(0)f(0).
In summary, Alice must ask at least S=2A1=63|S| = 2^{|A|} - 1 = 63 times.

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 translated into English from zh; metadata (topic, difficulty) added by this project.