Derangement recurrence

ID: derangement-recurrence

The number of derangements of an -element set satisfies , , and the displayed recurrence relation for . Choose the image of a distinguished element, in ways. If those two elements form a two-cycle, removing them leaves choices. Otherwise remove the distinguished element from its longer permutation cycle, leaving a derangement on elements. The inverse operation inserts it immediately before . Thus the two disjoint cases contribute for each .

New to topics? Read the docs here!