Maths Olympiad Prep

Library / USAMO /139 of 156

USAMO, 2010

Combinatorics Difficulty 7.8 National Olympiad, round 2 Prove it United States

A blackboard contains 68 pairs of nonzero integers. Suppose that for each positive integer kk at most one of the pairs (k,k)(k, k) and (−k,−k)(-k, -k) is written on the blackboard. A student erases some of the 136 integers, subject to the condition that no two erased integers may add to 0. The student then scores one point for each of the 68 pairs in which at least one integer is erased. Determine, with proof, the largest number NN of points that the student can guarantee to score regardless of which 68 pairs have been written on the board.
(This problem was suggested by Gerhard Woeginger.)

Solution

(By Zuming Feng and Paul Zeitz). The answer is 43.

We first show that we can always get 43 points. Without loss of generality, we assume that the value of xx is positive for every pair of the form (x,x)(x, x) (otherwise, replace every occurrence of xx on the blackboard by −x-x, and every occurrence of −x-x by xx). Consider the ordered nn-tuple (a1,a2,…,an)(a_1, a_2, \dots, a_n) where a1,a2,…,ana_1, a_2, \dots, a_n denote all the distinct absolute values of the integers written on the board.

Let ϕ=5−12\phi = \frac{\sqrt{5}-1}{2}, which is the positive root of ϕ2+ϕ=1\phi^2 + \phi = 1. We consider 2n2^n possible erasing strategies. Every strategy corresponds to an ordered nn-tuple s=(s1,…,sn)s = (s_1, \dots, s_n) with si=ϕs_i = \phi or si=1−ϕs_i = 1-\phi (1≤i≤n1 \le i \le n). If si=ϕs_i = \phi, then we erase all occurrences of aia_i on the blackboard. If si=1−ϕs_i = 1-\phi, then we erase all occurrences of −ai-a_i on the blackboard. The weight w(s)w(s) of strategy ss equals the product ∏i=1nsi\prod_{i=1}^n s_i. It is easy to see that the sum of weights of all 2n2^n strategies is equal to ∑sw(s)=∏i=1n[ϕ+(1−ϕ)]=1\sum_s w(s) = \prod_{i=1}^n [\phi + (1-\phi)] = 1.

For every pair pp on the blackboard and every strategy ss, we define a corresponding cost coefficient c(p,s)c(p, s): If ss scores a point on pp, then c(p,s)c(p, s) equals the weight w(s)w(s). If ss does not score on pp, then c(p,s)c(p, s) equals 0. Let c(p)c(p) denote the sum of coefficients c(p,s)c(p, s) taken over all ss. Now consider a fixed pair p=(x,y)p = (x, y). We claim that c(p)≥ϕc(p) \ge \phi, for which we consider two cases.

(a) First, suppose that x=y=ajx = y = a_j. Then, every strategy that erases aja_j scores a point on this pair. Therefore, we have c(p)=ϕ∏i≠j[ϕ+(1−ϕ)]=ϕc(p) = \phi \prod_{i \neq j} [\phi + (1-\phi)] = \phi.

(b) Now, suppose that x≠yx \neq y. We have
c(p)={ϕ2+ϕ(1−ϕ)+(1−ϕ)ϕ=3ϕ−1,(x,y)=(ak,aℓ);ϕ(1−ϕ)+(1−ϕ)ϕ+(1−ϕ)2=ϕ,(x,y)=(−ak,−aℓ);ϕ2+ϕ(1−ϕ)+(1−ϕ)2=2−2ϕ,(x,y)=(±ak,∓aℓ). c(p) = \begin{cases} \phi^2 + \phi(1-\phi) + (1-\phi)\phi = 3\phi - 1, & (x, y) = (a_k, a_\ell); \\ \phi(1-\phi) + (1-\phi)\phi + (1-\phi)^2 = \phi, & (x, y) = (-a_k, -a_\ell); \\ \phi^2 + \phi(1-\phi) + (1-\phi)^2 = 2 - 2\phi, & (x, y) = (\pm a_k, \mp a_\ell). \end{cases}
The bound c(p)≥ϕc(p) \ge \phi follows in each case by noting that ϕ≈0.618\phi \approx 0.618 satisfies 12<ϕ<23\frac{1}{2} < \phi < \frac{2}{3}.

Let CC denote the sum of the coefficients c(p,s)c(p, s) taken over all pp and ss. Our bound then yields that
C=∑p,sc(p,s)=∑pc(p)≥∑pϕ=68ϕ>42. C = \sum_{p,s} c(p,s) = \sum_{p} c(p) \ge \sum_{p} \phi = 68 \phi > 42.
Suppose for the sake of contradiction that every strategy ss scores at most 42 points. Then every ss contributes at most 42w(s)42w(s) to CC, and we get C≤42∑sw(s)=42C \le 42 \sum_s w(s) = 42, which contradicts C>42C > 42. Therefore, there is always some strategy which will score at least 43 points.

To complete our proof, we now show that we cannot always get 44 points. Consider the blackboard containing the following 68 pairs: for each of m=1,…,8m = 1, \dots, 8, five copies of (m,m)(m, m) (for a total of 40 pairs of type (a)); for every 1≤m<n≤81 \le m < n \le 8, one copy of (−m,−n)(-m, -n) (for a total of (82)=28\binom{8}{2} = 28 pairs of type (b)). We claim that we cannot get 44 points from this initial stage. Indeed, assume that exactly kk of the integers 1,2,…,81, 2, \dots, 8 are underlined. Then we get at most 5k5k points from the pairs of type (a) and at most 28−(k2)28 - \binom{k}{2} points from the pairs of type (b), for a total of at most 5k+28−(k2)5k + 28 - \binom{k}{2} points. The quadratic function 5k+28−(k2)=−k22+11k2+285k + 28 - \binom{k}{2} = -\frac{k^2}{2} + \frac{11k}{2} + 28 is maximized for integer kk at k=5k = 5 or k=6k = 6 and has a maximum value of 43. Thus, we can get at most 43 points with this initial blackboard, completing the solution.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.