ISL 2006 C4
A cake has the form of an square composed of unit squares. Strawberries lie on some of the unit squares so that each row or column contains exactly one strawberry; call this arrangement . Let be another such arrangement. Suppose that every grid rectangle with one vertex at the top left corner of the cake contains no fewer strawberries of arrangement than of arrangement . Prove that arrangement can be obtained from by performing a number of switches, defined as follows: A switch consists in selecting a grid rectangle with only two strawberries, situated at its top right corner and bottom left corner, and moving these two strawberries to the other two corners of that rectangle. (Taiwan)
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.