Нашел в oeis такую последовательность:
A038718В шапке страницы можете увидеть любопытное утверждение. Каждый член последовательности - число перестановок
набора
такое, что
и
для
. Если непонятно, то
- сама перестановка. Получается очень красивая рекурреннтная последовательность
. Я попытался вывести эту формулу.
Идея была такая: пусть есть набор
, и какая-то его перестановка в рамках данных условий. Увеличим все числа в перестановке на 1 и слева допишем 1. Так мы получиим первые
перестановок следующего набора
. Далее заметим, что перестановки набора
тоже можно как-то дописывать и получим еще
перестановок набора
. Ну и наконец догадываемся, что каждый новый набор генерит еще одну уникальную перестановку, которую первыми двумя способами из перестановок более мелких наборов получить нельзя.
Решение недоделанное и, вполне возможно, вообще не про то, что нужно. В правильном ли направлении я мыслю? Какие подходы использовали бы вы?