Difference between revisions of "Derangement"
Marianasinta (talk | contribs) |
(Undo revision 215857 by Marianasinta (talk)) (Tag: Undo) |
||
Line 29: | Line 29: | ||
==Limit as n approaches <math>\infty</math>== | ==Limit as n approaches <math>\infty</math>== | ||
− | From the recurrence <math>!n=n\cdot!(n-1)+(-1)^{n}</math>, | + | From the recurrence <math>!n=n\cdot!(n-1)+(-1)^{n}</math>, we can find that <math>\lim_{n\to\infty}\frac{!n}{n!} =\frac{1}{e} \approx 0.3679\ldots.</math> |
Also, <math>!n = \left\lfloor\frac{n!}{e}+\frac{1}{2}\right\rfloor.</math> | Also, <math>!n = \left\lfloor\frac{n!}{e}+\frac{1}{2}\right\rfloor.</math> |
Latest revision as of 12:57, 20 February 2024
A derangement is a permutation with no fixed points. That is, a derangement of a set leaves no element in its original place. For example, the derangements of are and , but is not a derangement of because 2 is a fixed point.
Contents
Notation and formula
The number of derangements of an -element set is called the th derangement number or rencontres number, or the subfactorial of and is sometimes denoted or . (Note that using this notation may require some care, as can potentially mean both and .) This number satisfies the recurrences
and
and is given by the formula
For example, the number derangements of a 3-element set is , which we know to be correct.
The first few derangements, starting from , are
Proof of Formula
This can be proven using PIE. First, you take , which represents all arrangements of the whole sequence. Then, you must subtract all arrangements in which each element appears in its original location, and now you have . Then, you must add back in permutations in which each set of two elements stay in their original positions, as we subtracted them twice. Now, we have . PIE continues to give us this pattern. We have to alternate between subtracting and adding.
Now, we can change the form of . This is written as . We can now write our relation as . We can factor out and get .
Limit as n approaches
From the recurrence , we can find that
Also,
Problems
Introductory
See also
This article is a stub. Help us out by expanding it.