Задача
В клетках квадратной таблицы $n\times n$, где $n$ > 1, требуется расставить различные целые числа от 1 до $n^2$ так, чтобы каждые два последовательных числа оказались в соседних по стороне клетках, а каждые два числа, дающие одинаковые остатки при делении на $n$, – в разных строках и в разных столбцах. При каких $n$ это возможно?
Решение
Пронумеруем столбцы и строки от 1 до $n$ соответственно слева направо и сверху вниз, а также раскрасим доску в шахматном порядке так, чтобы угловая клетка в первом столбце и первой строке была чёрной. Пусть $n$ чётно. Заполним таблицу числами от 1 до $n^2$ так: ставим их друг за другом, начиная от 1, сначала в первой строке слева направо, а потом – вдоль столбцов: вниз по последнему столбцу, вверх по предпоследнему, и т.д. (получается что-то похожее на змейку). В итоге число $n^2$ окажется прямо под 1, см. пример для $n$ = 6 на рисунке.


Значит, каждый столбец начинается с остатка $i$, равного своему номеру, кроме n-го, который начинается с нуля, причём в чётных столбцах остатки идут по возрастанию c $i$ до $n - 1$, а потом с нуля до $i-1$, а в нечётных – по убыванию с i до 0, а потом с n - 1$ до i + 1$.
Докажем, что в каждой строке все остатки различны. Пусть в какой-то строке совпали два остатка. Они не могут находиться в столбцах одной чётности – такие столбцы получаются друг из друга циклическим сдвигом. Значит, один остаток находится в чётном столбце, а второй – в нечётном. Но тогда эти два остатка стоят на клетках разного цвета и не могут совпадать. Противоречие. Предположим, что удалось заполнить таблицу при нечётном $n$. К противоречию можно прийти по-разному. Первый способ. Заметим, что в нашей раскраске чёрными окажутся те клетки, сумма номеров строки и столбца которых чётна, а белыми – остальные. В нашей змейке чисел от 1 до $n^2$ цвета клеток чередуются, поэтому числа одной чётности находятся в чёрных клетках, а другой чётности – в белых.
Рассмотрим клетки таблицы, в которых стоят числа, дающие остаток $k$ при делении на $n$. Сумма их номеров строк и столбцов по условию равна $(1 + 2 + 3 + ... + n) + (1 + 2 + 3 + ... + n)$, так как каждая строка и каждый столбец участвуют по одному разу; в частности, эта сумма чётна. Но у каждой белой клетки сумма "координат" нечётна, а у каждой чёрной – чётна, следовательно, число белых клеток среди рассмотренных чётно.
Взяв $k$ = 1 и $k$ = 2, получаем, что среди чисел с остатком 1 чётное количество находится на белых клетках, и среди чисел с остатком 2 – тоже. Но для каждого числа с остатком 1 следующее за ним число имеет остаток 2 и стоит на клетке противоположного цвета. Значит, на чёрных клетках стоит чётное количество чисел с остатком 2 и всего чисел с остатком 2 чётно. Противоречие с нечётностью $n$.
Второй способ Заменим числа на их остатки от деления на $n$ и проведём стрелку из каждой клетки с единицей в соседнюю клетку с двойкой. У нас имеется $n$ стрелок, соединяющих единицы и двойки. У некоторых стрелок могут быть парные – стрелки противоположного направления, занимающие те же два ряда (см. рисунок). Но число стрелок нечётно, поэтому найдётся стрелка без пары.


Ответ
При всех чётных $n$.
Чтобы оставлять комментарии, войдите или зарегистрируйтесь