Problem

Source: 239 MO 2024 S4

Tags: combinatorics



Let $n$ be a positive integer greater than $1$ and let us call an arbitrary set of cells in a $n\times n$ square $\textit{good}$ if they are the intersection cells of several rows and several columns, such that none of those cells lie on the main diagonal. What is the minimum number of pairwise disjoint $\textit{good}$ sets required to cover the entire table without the main diagonal?