Maths Olympiad Prep

Track / Stage 6 / 375 of 400 #1375 of 1964

Problem 1375

National olympiad, first round
Combinatorics Difficulty 6.9 Prove it

An integer is written in each cell of a board ofN N rows and N+1N + 1 columns. Prove that some columns (possibly none) can be deleted so that in each row the sum of the numbers left uncrossed out is even.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Define the sets and the board:
Let C={C1,C2,,CN+1} C = \{C_1, C_2, \ldots, C_{N+1}\} be the set of columns of the given board, where each column Cj=(x1j,x2j,,xNj) C_j = (x_{1j}, x_{2j}, \ldots, x_{Nj}) and xijZ x_{ij} \in \mathbb{Z} for all 1iN 1 \le i \le N and 1jN+1 1 \le j \le N+1 .

2. Define the power set and related sets:
Let P(C) \mathbb{P}(C) be the power set of C C , i.e., the set of all subsets of C C , including the empty set and C C itself. Then P(C)=2N+1 \big|\mathbb{P}(C)\big| = 2^{N+1} .

Let A:=P(C){} \mathbb{A} := \mathbb{P}(C) - \{\emptyset\} . Then A=2N+11 \big|\mathbb{A}\big| = 2^{N+1} - 1 .

Let B:={(y1,y2,,yN):yi{0,1},1iN} \mathbb{B} := \{(y_1, y_2, \ldots, y_N) : y_i \in \{0,1\}, 1 \le i \le N\} . Then B=2N \big|\mathbb{B}\big| = 2^N .

3. **Pairing elements of A\mathbb{A} with B\mathbb{B}:**
We pair the elements of A \mathbb{A} with the elements of B \mathbb{B} according to the following rule:
{Cj1,Cj2,,Cjk}(z1,z2,,zN) \{C_{j_1}, C_{j_2}, \ldots, C_{j_k}\} \longrightarrow (z_1, z_2, \ldots, z_N)
if
xij1+xij2++xijkzi(mod2) x_{ij_1} + x_{ij_2} + \ldots + x_{ij_k} \equiv z_i \pmod{2}
for all 1iN 1 \le i \le N and 1kN+1 1 \le k \le N+1 .

4. Application of the pigeonhole principle:
Since 2N+11>2N 2^{N+1} - 1 > 2^N for all NZ+ N \in \mathbb{Z}^+ , by the pigeonhole principle, there must be at least two different elements X,YA X, Y \in \mathbb{A} that are paired with the same element in B \mathbb{B} .

5. Constructing the desired set of columns:
Consider the sets X X and Y Y which are paired with the same element in B \mathbb{B} . Define the symmetric difference of X X and Y Y as:
(XY)(YX) (X \setminus Y) \cup (Y \setminus X)
Since XY X \neq Y , this set is non-empty.

6. Ensuring the sum in each row is even:
If we remove all columns except the ones belonging to the set (XY)(YX) (X \setminus Y) \cup (Y \setminus X) , the sum of the numbers left uncrossed out in each row will be even. This is because the sums corresponding to X X and Y Y are the same modulo 2, and the symmetric difference will ensure that the sums in each row are even.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.