Problem

Source: JBMO Shortlist 2023, C1

Tags: square grid, JBMO, JBMO Shortlist, combinatorics



Given is a square board with dimensions $2023 \times 2023$, in which each unit cell is colored blue or red. There are exactly $1012$ rows in which the majority of cells are blue, and exactly $1012$ columns in which the majority of cells are red. What is the maximal possible side length of the largest monochromatic square?