После каждого числа в перестановке, о которой идет речь в условии, следует либо большее его число, либо на единицу меньшее. Каждое a_i, i=1,2,...,9, пометим значком "+", если a_i+1>a_i, и значком "-", если a_i+1=a_i-1. Итак, каждой перестановке сопоставлена строка из 9 символов "+" и "-". Ясно, что количество таких строк равно 2⁹=512 (для каждого из 9 символов в строке имеется две возможности

• быть плюсом или минусом). Осталось теперь показать, что это соответствие взаимно однозначное, т.е. по строке из плюсов и минусов перестановка восстанавливается однозначно. В самом деле, пусть вначале в строке записано n₁минусов (возможно, n₁=0), а затем стоит плюс, затем n₂минусов, затем плюс, и т.д. Тогда перестановка должна начинаться с группы из n₁+1 чисел, идущих подряд по убыванию, после которых следует новая группа из n₂+1 чисел, идущих подряд по убыванию, и т.д. При этом первое число из второй группы должно быть больше последнего числа из первой группы. Поскольку в первую и вторую группы входят различные числа, это означает, что каждое из чисел второй группы больше каждого из чисел первой группы. Аналогичным образом, каждое из чисел третьей группы больше каждого из чисел второй группы и т.д. Приведенные выше рассуждения дают возможность восстановить перестановку однозначно (при этом мы пользуемся тем, что каждое из чисел 1,2,...,10 должно встретиться в перестановке); перестановка имеет вид: n₁+1, n₁, ... , 1, n₁+n₂+2, n₁+n₂+1, ... , n₁+2, ... (Числа в перестановке расположены "лесенками" длин n₁+1, n₂+1, ... идущих подряд по убыванию чисел.)

2⁹=512.