Поскольку рубрика в "Науке и жизни" называется "Психологический практикум", предположу, как автор
составлял задачу. В том далёком 1973 году он интересовался
латинскими квадратами (ЛК). Их связь с задачей очевидна. Удобно присвоить каждой ласточке одно из чисел
![$0,1,2,3,4$ $0,1,2,3,4$](https://dxdy-04.korotkov.co.uk/f/f/6/6/f66af21d90211b4db42de2468026f54082.png)
(номер группы) и считать, что сначала улетели ласточки группы
![$4$ $4$](https://dxdy-03.korotkov.co.uk/f/e/c/f/ecf4fe2774fd9244b4fd56f7e76dc88282.png)
, потом
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
, ..., а осталась группа
![$0$ $0$](https://dxdy-03.korotkov.co.uk/f/2/9/6/29632a9bf827ce0200454dd32fc3be8282.png)
. Тогда номер группы показывает, сколько осталось ласточек в каждом столбце и строке после её отлёта.
Рассмотрим ЛК порядка
![$5$ $5$](https://dxdy-02.korotkov.co.uk/f/9/6/1/9612eecfec9dadf1a81d296bd247377782.png)
. Их всего
![$161280$ $161280$](https://dxdy-01.korotkov.co.uk/f/c/6/6/c66a12bebfcf4b4aa3a1c0ea4e3b97c782.png)
. Будем считать эквивалентными ЛК, которые можно получить друг из друга композицией перестановки строк, столбцов и "перестановки символов" (биекция
![$M\to M$ $M\to M$](https://dxdy-01.korotkov.co.uk/f/0/1/c/01c104bdcfe97c65e01885cd0f5c167482.png)
, где
![$M=\{0,1,2,3,4\}$ $M=\{0,1,2,3,4\}$](https://dxdy-04.korotkov.co.uk/f/b/c/d/bcd98bb71152aa1d232931d0beda3a8082.png)
). Тогда существует всего
![$2$ $2$](https://dxdy-04.korotkov.co.uk/f/7/6/c/76c5792347bb90ef71cfbace628572cf82.png)
класса эквивалентности. И в одном из них есть представитель, имеющий настолько упорядоченную форму, что каноничнее не бывает:
![$\begin{bmatrix}0&1&2&3&4\\1&2&3&4&0\\2&3&4&0&1\\3&4&0&1&2\\4&0&1&2&3\end{bmatrix}$ $\begin{bmatrix}0&1&2&3&4\\1&2&3&4&0\\2&3&4&0&1\\3&4&0&1&2\\4&0&1&2&3\end{bmatrix}$](https://dxdy-04.korotkov.co.uk/f/7/1/5/71516bc86c9e9dcfe78c7f844dda74eb82.png)
Мало того, что первая строка и первый столбец содержат числа в порядке возрастания (чего всегда легко добиться), так это ещё и таблица Кэли для циклической группы
![$5$ $5$](https://dxdy-02.korotkov.co.uk/f/9/6/1/9612eecfec9dadf1a81d296bd247377782.png)
порядка. Поэтому такая табличка
встречается во многих книгах и статьях — это ключевой пункт моего расследования.
Дальше автор выбрал
![$4$ $4$](https://dxdy-03.korotkov.co.uk/f/e/c/f/ecf4fe2774fd9244b4fd56f7e76dc88282.png)
ласточки, по одной из каждой "улетевшей" группы:
![$\begin{bmatrix}0&1&2&3&4\\{\color{magenta} 1}&2&{\color{magenta} 3}&4&0\\2&3&4&0&1\\3&{\color{magenta} 4}&0&1&{\color{magenta} 2}\\4&0&1&2&3\end{bmatrix}$ $\begin{bmatrix}0&1&2&3&4\\{\color{magenta} 1}&2&{\color{magenta} 3}&4&0\\2&3&4&0&1\\3&{\color{magenta} 4}&0&1&{\color{magenta} 2}\\4&0&1&2&3\end{bmatrix}$](https://dxdy-01.korotkov.co.uk/f/4/f/c/4fc03ff4090013e1dce53472f1a32ca482.png)
Позиции нулей дают решение задачи.
Сознавал ли автор, что при данных условиях решение неединственно? Наверное, да.