MathDB
2018 VNTST Problem 2

Source: 2018 Vietnam Team Selection Test

March 30, 2018
combinatoricsrectangle

Problem Statement

For every positive integer mm, a m×2018m\times 2018 rectangle consists of unit squares (called "cell") is called complete if the following conditions are met: i. In each cell is written either a "00", a "11" or nothing; ii. For any binary string SS with length 20182018, one may choose a row and complete the empty cells so that the numbers in that row, if read from left to right, produce SS (In particular, if a row is already full and it produces SS in the same manner then this condition ii. is satisfied). A complete rectangle is called minimal, if we remove any of its rows and then making it no longer complete.
a. Prove that for any positive integer k2018k\le 2018 there exists a minimal 2k×20182^k\times 2018 rectangle with exactly kk columns containing both 00 and 11. b. A minimal m×2018m\times 2018 rectangle has exactly kk columns containing at least some 00 or 11 and the rest of columns are empty. Prove that m2km\le 2^k.