MathDB
Poland 2017 P2

Source:

April 4, 2017
combinatorics

Problem Statement

A sequence (a1,a2,,ak)(a_1, a_2,\ldots, a_k) consisting of pairwise distinct squares of an n×nn\times n chessboard is called a cycle if k4k\geq 4 and squares aia_i and ai+1a_{i+1} have a common side for all i=1,2,,ki=1,2,\ldots, k, where ak+1=a1a_{k+1}=a_1. Subset XX of this chessboard's squares is mischievous if each cycle on it contains at least one square in XX.
Determine all real numbers CC with the following property: for each integer n2n\geq 2, on an n×nn\times n chessboard there exists a mischievous subset consisting of at most Cn2Cn^2 squares.