From Wikipedia, the free encyclopedia
Permutation of the elements of a set in which no element appears in its original position
For the psychological condition, see
psychosis.
Number of possible permutations and derangements of n elements. n! (n factorial) is the number of n-permutations; !n (n subfactorial) is the number of derangements – n-permutations where all of the n elements change their initial places.In combinatorial mathematics, a derangement is a permutation of the elements of a set in which no element appears in its original position. In other words, a derangement is a permutation that has no fixed points.
The number of derangements of a set of size n is known as the subfactorial of n or the n th derangement number or n th de Montmort number (after Pierre Remond de Montmort). Notations for subfactorials in common use include !n, Dn, dn, or n¡ .[a][1][2]
For n > 0 , the subfactorial !n equals the nearest integer to n!/e, where n! denotes the factorial of n and e ≈ 2.718281828... is Euler's number.[3]
The problem of counting derangements was first considered by Pierre Raymond de Montmort in his Essay d'analyse sur les jeux de hazard[4] in 1708; he solved it in 1713, as did Nicholas Bernoulli at about the same time.
The 9 derangements (from 24 permutations) are highlighted.Suppose that a professor gave a test to 4 students – A, B, C, and D – and wants to let them grade each other's tests. Of course, no student should grade their own test. How many ways could the professor hand the tests back to the students for grading, such that no student receives their own test back? Out of 24 possible permutations (4!) for handing back the tests,
there are only 9 derangements (shown in blue italics above). In every other permutation of this 4-member set, at least one student gets their own test back (shown in bold red).
Another version of the problem arises when we ask for the number of ways n letters, each addressed to a different person, can be placed in n pre-addressed envelopes so that no letter appears in the correctly addressed envelope.
Counting derangements[edit]Counting derangements of a set amounts to the hat-check problem, in which one considers the number of ways in which n hats (call them h1 through hn) can be returned to n people (P1 through Pn) such that no hat makes it back to its owner.[5]
Each person may receive any of the n − 1 hats that is not their own. Call the hat which the person P1 receives hi and consider hi's owner: Pi receives either P1's hat, h1, or some other. Accordingly, the problem splits into two possible cases:
For each of the n − 1 hats that P1 may receive, the number of ways that P2, ..., Pn may all receive hats is the sum of the counts for the two cases.
This gives us the solution to the hat-check problem: Stated algebraically, the number !n of derangements of an n-element set is ! n = ( n − 1 ) ( ! ( n − 1 ) + ! ( n − 2 ) ) {\displaystyle !n=\left(n-1\right){\bigl (}{!\left(n-1\right)}+{!\left(n-2\right)}{\bigr )}} for n ≥ 2 {\displaystyle n\geq 2} , where ! 0 = 1 {\displaystyle !0=1} and ! 1 = 0. {\displaystyle !1=0.} [6]
The number of derangements of small lengths is given in the table below.
The number of derangements of an n-element set (sequence A000166 in the OEIS) for small n n 0 1 2 3 4 5 6 7 8 9 10 11 12 13 !n 1 0 1 2 9 44 265 1,854 14,833 133,496 1,334,961 14,684,570 176,214,841 2,290,792,932There are various other expressions for !n, equivalent to the formula given above. These include ! n = n ! ∑ i = 0 n ( − 1 ) i i ! {\displaystyle !n=n!\sum _{i=0}^{n}{\frac {(-1)^{i}}{i!}}} for n ≥ 0 {\displaystyle n\geq 0} and
where [ x ] {\displaystyle \left[x\right]} is the nearest integer function and ⌊ x ⌋ {\displaystyle \left\lfloor x\right\rfloor } is the floor function.[3][6]
Other related formulas include[3][7] ! n = ⌊ n ! + 1 e ⌋ , n ≥ 1 , {\displaystyle !n=\left\lfloor {\frac {n!+1}{e}}\right\rfloor ,\quad \ n\geq 1,} ! n = ⌊ ( e + e − 1 ) n ! ⌋ − ⌊ e n ! ⌋ , n ≥ 2 , {\displaystyle !n=\left\lfloor \left(e+e^{-1}\right)n!\right\rfloor -\lfloor en!\rfloor ,\quad n\geq 2,} and ! n = n ! − ∑ i = 1 n ( n i ) ⋅ ! ( n − i ) , n ≥ 1. {\displaystyle !n=n!-\sum _{i=1}^{n}{n \choose i}\cdot {!(n-i)},\quad \ n\geq 1.}
The following recurrence also holds:[6] ! n = { 1 if n = 0 , n ⋅ ( ! ( n − 1 ) ) + ( − 1 ) n if n > 0. {\displaystyle !n={\begin{cases}1&{\text{if }}n=0,\\n\cdot \left(!(n-1)\right)+(-1)^{n}&{\text{if }}n>0.\end{cases}}}
Derivation by inclusion–exclusion principle[edit]One may derive a non-recursive formula for the number of derangements of an n-set, as well. For 1 ≤ k ≤ n {\displaystyle 1\leq k\leq n} we define S k {\displaystyle S_{k}} to be the set of permutations of n objects that fix the k th object. Any intersection of a collection of i of these sets fixes a particular set of i objects and therefore contains ( n − i ) ! {\displaystyle (n-i)!} permutations. There are ( n i ) {\textstyle {n \choose i}} such collections, so the inclusion–exclusion principle yields | S 1 ∪ ⋯ ∪ S n | = ∑ i | S i | − ∑ i < j | S i ∩ S j | + ∑ i < j < k | S i ∩ S j ∩ S k | + ⋯ + ( − 1 ) n + 1 | S 1 ∩ ⋯ ∩ S n | = ( n 1 ) ( n − 1 ) ! − ( n 2 ) ( n − 2 ) ! + ( n 3 ) ( n − 3 ) ! − ⋯ + ( − 1 ) n + 1 ( n n ) 0 ! = ∑ i = 1 n ( − 1 ) i + 1 ( n i ) ( n − i ) ! = n ! ∑ i = 1 n ( − 1 ) i + 1 i ! , {\displaystyle {\begin{aligned}|S_{1}\cup \dotsm \cup S_{n}|&=\sum _{i}\left|S_{i}\right|-\sum _{i<j}\left|S_{i}\cap S_{j}\right|+\sum _{i<j<k}\left|S_{i}\cap S_{j}\cap S_{k}\right|+\cdots +(-1)^{n+1}\left|S_{1}\cap \dotsm \cap S_{n}\right|\\&={n \choose 1}(n-1)!-{n \choose 2}(n-2)!+{n \choose 3}(n-3)!-\cdots +(-1)^{n+1}{n \choose n}0!\\&=\sum _{i=1}^{n}(-1)^{i+1}{n \choose i}(n-i)!\\&=n!\ \sum _{i=1}^{n}{(-1)^{i+1} \over i!},\end{aligned}}} and since a derangement is a permutation that leaves none of the n objects fixed, this implies ! n = n ! − | S 1 ∪ ⋯ ∪ S n | = n ! ∑ i = 0 n ( − 1 ) i i ! . {\displaystyle !n=n!-\left|S_{1}\cup \dotsm \cup S_{n}\right|=n!\sum _{i=0}^{n}{\frac {(-1)^{i}}{i!}}~.}
On the other hand, n ! = ∑ i = 0 n ( n i ) ! i {\displaystyle n!=\sum _{i=0}^{n}{\binom {n}{i}}\ !i} since we can choose n − i {\displaystyle n-i} elements to be in their own place and derange the other i elements in just !i ways, by definition.[8]
Growth of number of derangements as n approaches ∞[edit]From ! n = n ! ∑ i = 0 n ( − 1 ) i i ! {\displaystyle !n=n!\sum _{i=0}^{n}{\frac {(-1)^{i}}{i!}}} and e x = ∑ i = 0 ∞ x i i ! {\displaystyle e^{x}=\sum _{i=0}^{\infty }{x^{i} \over i!}} by substituting x = − 1 {\textstyle x=-1} one immediately obtains that lim n → ∞ ! n n ! = lim n → ∞ ∑ i = 0 n ( − 1 ) i i ! = e − 1 ≈ 0.367879 … . {\displaystyle \lim _{n\to \infty }{!n \over n!}=\lim _{n\to \infty }\sum _{i=0}^{n}{\frac {(-1)^{i}}{i!}}=e^{-1}\approx 0.367879\ldots .} This is the limit of the probability that a randomly selected permutation of a large number of objects is a derangement. The probability converges to this limit extremely quickly as n increases, which is why !n is the nearest integer to n!/e. The above semi-log graph shows that the derangement graph lags the permutation graph by an almost constant value.
More information about this calculation and the above limit may be found in the article on the statistics of random permutations.
Asymptotic expansion in terms of Bell numbers[edit]An asymptotic expansion for the number of derangements in terms of Bell numbers is as follows: ! n = n ! e + ∑ k = 1 m ( − 1 ) n + k − 1 B k n k + O ( 1 n m + 1 ) , {\displaystyle !n={\frac {n!}{e}}+\sum _{k=1}^{m}\left(-1\right)^{n+k-1}{\frac {B_{k}}{n^{k}}}+O\left({\frac {1}{n^{m+1}}}\right),} where m {\displaystyle m} is any fixed positive integer, and B k {\displaystyle B_{k}} denotes the k {\displaystyle k} -th Bell number. Moreover, the constant implied by the big O-term does not exceed B m + 1 {\displaystyle B_{m+1}} .[9]
The problème des rencontres asks how many permutations of a size-n set have exactly k fixed points.
Derangements are an example of the wider field of constrained permutations. For example, the ménage problem asks if n opposite-sex couples are seated man-woman-man-woman-... around a table, how many ways can they be seated so that nobody is seated next to his or her partner?
More formally, given sets A and S, and some sets U and V of surjections A → S, we often wish to know the number of pairs of functions (f, g) such that f is in U and g is in V, and for all a in A, f(a) ≠ g(a); in other words, where for each f and g, there exists a derangement φ of S such that f(a) = φ(g(a)).
Another generalization is the following problem:
For instance, for a word made of only two different letters, say n letters A and m letters B, the answer is, of course, 1 or 0 according to whether n = m or not, for the only way to form an anagram without fixed letters is to exchange all the A with B, which is possible if and only if n = m. In the general case, for a word with n1 letters X1, n2 letters X2, ..., nr letters Xr, it turns out (after a proper use of the inclusion-exclusion formula) that the answer has the form ∫ 0 ∞ P n 1 ( x ) P n 2 ( x ) ⋯ P n r ( x ) e − x d x , {\displaystyle \int _{0}^{\infty }P_{n_{1}}(x)P_{n_{2}}(x)\cdots P_{n_{r}}(x)\ e^{-x}dx,} for a certain sequence of polynomials Pn, where Pn has degree n. But the above answer for the case r = 2 gives an orthogonality relation, whence the Pn's are the Laguerre polynomials (up to a sign that is easily decided).[10]
∫ 0 ∞ ( t − 1 ) z e − t d t {\displaystyle \ \int _{0}^{\infty }(t-1)^{z}e^{-t}dt\ } in the complex planeIn particular, for the classical derangements, one has that ! n = Γ ( n + 1 , − 1 ) e = ∫ 0 ∞ ( x − 1 ) n e − x d x {\displaystyle !n={\frac {\Gamma (n+1,-1)}{e}}=\int _{0}^{\infty }(x-1)^{n}e^{-x}dx} where Γ ( s , x ) {\displaystyle \Gamma (s,x)} is the upper incomplete gamma function.
Computational complexity[edit]It is NP-complete to determine whether a given permutation group (described by a given set of permutations that generate it) contains any derangements.[11][12]
=1×100
1=1×100
= 1 1 1=1×100
0 = 0 2 2=2×100
1=1×100
= 0.5 3 6=6×100
2=2×100
≈0.33333 33333 4 24=2.4×101
9=9×100
= 0.375 5 120=1.20×102
44=4.4×101
≈0.36666 66667 6 720=7.20×102
265=2.65×102
≈0.36805 55556 7 5,040=5.04×103
1,854≈1.85×103
≈0.36785,71429 8 40,320≈4.03×104
14,833≈1.48×104
≈0.36788 19444 9 362,880≈3.63×105
133,496≈1.33×105
≈0.36787 91887 10 3,628,800≈3.63×106
1,334,961≈1.33×106
≈0.36787 94643 11 39,916,800≈3.99×107
14,684,570≈1.47×107
≈0.36787 94392 12 479,001,600≈4.79×108
176,214,841≈1.76×108
≈0.36787 94413 13 6,227,020,800≈6.23×109
2,290,792,932≈2.29×109
≈0.36787 94412 14 87,178,291,200≈8.72×1010
32,071,101,049≈3.21×1010
≈0.36787 94412 15 1,307,674,368,000≈1.31×1012
481,066,515,734≈4.81×1011
≈0.36787 94412 16 20,922,789,888,000≈2.09×1013
7,697,064,251,745≈7.70×1012
≈0.36787 94412 17 355,687,428,096,000≈3.56×1014
130,850,092,279,664≈1.31×1014
≈0.36787 94412 18 6,402,373,705,728,000≈6.40×1015
2,355,301,661,033,953≈2.36×1015
≈0.36787 94412 19 121,645,100,408,832,000≈1.22×1017
44,750,731,559,645,106≈4.48×1016
≈0.36787 94412 20 2,432,902,008,176,640,000≈2.43×1018
895,014,631,192,902,121≈8.95×1017
≈0.36787 94412 21 51,090,942,171,709,440,000≈5.11×1019
18,795,307,255,050,944,540≈1.88×1019
≈0.36787 94412 22 1,124,000,727,777,607,680,000≈1.12×1021
413,496,759,611,120,779,881≈4.13×1020
≈0.36787 94412 23 25,852,016,738,884,976,640,000≈2.59×1022
9,510,425,471,055,777,937,262≈9.51×1021
≈0.36787 94412 24 620,448,401,733,239,439,360,000≈6.20×1023
228,250,211,305,338,670,494,289≈2.28×1023
≈0.36787 94412 25 15,511,210,043,330,985,984,000,000≈1.55×1025
5,706,255,282,633,466,762,357,224≈5.71×1024
≈0.36787 94412 26 403,291,461,126,605,635,584,000,000≈4.03×1026
148,362,637,348,470,135,821,287,825≈1.48×1026
≈0.36787 94412 27 10,888,869,450,418,352,160,768,000,000≈1.09×1028
4,005,791,208,408,693,667,174,771,274≈4.01×1027
≈0.36787 94412 28 304,888,344,611,713,860,501,504,000,000≈3.05×1029
112,162,153,835,443,422,680,893,595,673≈1.12×1029
≈0.36787 94412 29 8,841,761,993,739,701,954,543,616,000,000≈8.84×1030
3,252,702,461,227,859,257,745,914,274,516≈3.25×1030
≈0.36787 94412 30 265,252,859,812,191,058,636,308,480,000,000≈2.65×1032
97,581,073,836,835,777,732,377,428,235,481≈9.76×1031
≈0.36787 94412Look up
derangementin Wiktionary, the free dictionary.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4