Серьезный беспорядок

Пора объяснить, что такое субфакториалы.

Предположим, что у каждой из n дам имеется шляпка. Все они складывают свои шляпки в одно место, затем каждая из них берет какую-нибудь случайную шляпку и надевает на себя. Сколькими способами можно это сделать, чтобы ни на одной из дам не оказалось ее собственной шляпки? Такое размещение называется беспорядком.

К примеру, если дам три – скажем, Александра, Бетани и Валерия, – то шляпки между ними можно распределить шестью способами:

АБВ АВБ БАВ БВА ВАБ ВБА.

Для АБВ и АВБ Александра получает свою собственную шляпку, так что беспорядка не возникает. Для БАВ собственную шляпку получает Валерия, а для ВБА – Бетани. Это оставляет нам два варианта беспорядка: БАВ и ВАБ.

Если дам четыре – предположим, к группе присоединилась еще Грейс – существует 24 варианта расстановки:

однако в 15 из них (вычеркнутые) кто-нибудь из дам получает свою собственную шляпку. (Убираем все с А в первой позиции, с Б во второй, с В в третьей и с Г в четвертой.) В результате получаем 9 вариантов беспорядка.

Число вариантов беспорядка из n объектов и есть субфакториал (обозначается! n или n ?). У этого понятия множество определений. Простейшее из них, вероятно,

Первые значения этой величины