Найдите количество перестановок   
 a1, a2, ... , a10  
 чисел 1,2,...,10, таких, что   
 ai+1 не меньше, чем ai-1  
 (для i=1,2,...,9).  
   
 


			
После каждого числа в перестановке, о которой идет речь в условии,  
 следует либо большее его число, либо на единицу меньшее.  
 Каждое ai, i=1,2,...,9, пометим значком "+",  
 если ai+1>ai, и значком "-",  
 если ai+1=ai-1.  
 Итак, каждой перестановке сопоставлена строка из 9 символов "+"  
 и "-". Ясно, что количество таких строк равно 29=512  
 (для каждого из 9 символов в строке имеется две возможности  
 - быть плюсом или минусом).  
 Осталось теперь показать, что это соответствие взаимно однозначное,  
 т.е. по строке из плюсов и минусов перестановка восстанавливается   
 однозначно.  
 В самом деле, пусть вначале в строке записано n1  
 минусов (возможно, n1=0), а затем стоит плюс,  
 затем n2 минусов, затем плюс, и т.д.  
 Тогда перестановка должна начинаться с группы из n1+1  
 чисел, идущих подряд по убыванию, после которых следует новая  
 группа из n2+1 чисел, идущих подряд по убыванию, и т.д.  
 При этом первое число из второй группы должно быть больше   
 последнего числа из первой группы. Поскольку в первую и вторую группы   
 входят различные числа, это означает, что каждое из чисел второй группы   
 больше каждого из чисел первой группы.  
 Аналогичным образом, каждое из чисел третьей группы   
 больше каждого из чисел второй группы и т.д.  
 Приведенные выше рассуждения дают возможность восстановить  
 перестановку однозначно  
 (при этом мы пользуемся тем, что каждое из чисел 1,2,...,10  
 должно встретиться в перестановке);  перестановка имеет вид:  
 n1+1, n1, ... , 1, n1+n2+2,  
 n1+n2+1, ... ,  n1+2, ...  
 (Числа в перестановке расположены "лесенками" длин  
  n1+1, n2+1, ... идущих подряд по убыванию чисел.)
			
29=512.  
			
Разбиения на пары и группы; биекции Последовательности (прочее)