MathDB
Combinatorial numbers are all even

Source: 2019 China TST Test 4 P6

March 29, 2019
number theorycombinatorics

Problem Statement

Given positive integer n,kn,k such that 2n<2k2 \le n <2^k. Prove that there exist a subset AA of {0,1,,n}\{0,1,\cdots,n\} such that for any xyAx \neq y \in A, (yx){y\choose x} is even, and A(kk2)2k(n+1)|A| \ge \frac{{k\choose \lfloor \frac{k}{2} \rfloor}}{2^k} \cdot (n+1)