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?
Problem
Source: 239 MO 2024 S4
Tags: combinatorics
DVDthe1st
29.07.2024 22:04
We can adapt the proof of Graham-Pollak slightly. If our good sets are $R_k\times C_k$, let us instantiate $x_i, y_i\in \mathbb R$ for $i=1,..,n$ and define $x(S) := \sum_{i\in S} x_i$ and likewise $y(S)$. Then if the good sets ($K$ of them) indeed form a partition, we have $$\sum_{i=1}^K x(R_i) y(C_i) = \sum_{i\neq j} x_iy_j = (\sum x_i)(\sum y_i) - \sum x_i y_i$$so if $K\le n-1$ we can find a nontrivial solution to the system $X(R_i) = 0$, but because $(\sum x_i)(\sum y_i) - \sum x_iy_i$ for any choice of $y$, this means that $x_1=x_2=...=x_n = \sum x_i =0$, a contradiction. The construction for $K=n$ is easy.
DVDthe1st
05.08.2024 07:46
Interpret the cells as a matrix with 0 along the main diagonal and 1 otherwise. Then, if this can be partitioned into $k$ good sets, then this is the sum of $k$ rank 1 matrices (by interpreting each good set as a matrix with 1 for the good set and 0 otherwise). But the original matrix has rank $n$, so $k\ge n$.