RU-ALLRUSSIAN 1984 Problem 4
Take a large number of unit squares, each with one edge red, one edge blue, one edge green, and one edge yellow. For which m, n can we combine mn squares by placing similarly colored edges together to get an m x n rectangle with one side entirely red, another entirely blue, another entirely green, and the fourth entirely yellow.
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.