Derangement
Encyclopedia : D : DE : DER : Derangement
In combinatorial mathematics, a derangement is a permutation φ of a set S (i.e., a bijection from S into itself) with no fixed points, i.e., for all x in S, φ(x) ≠ x. A frequent problem is to count the number of derangements as a function of n = |S|, often with additional constraints.
Here is a concrete example: an instructor returns graded exams to students named "A", "B", "C", and "D", but neglects to assure that each student gets his or her own test. In how many ways can this be done without any student getting the right paper back? There are 9:
- BADC, BCDA, BDAC,
- CADB, CDAB, CDBA,
- DABC, DCAB, DCBA
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.
One approach to counting the derangements of n elements is to use induction. First, note that if φn is any derangement of the natural numbers , then for some k in , φn(n) = k. Then if we let (k, n) be the permutation of which swaps k and n, and we let φn − 1 be the composition ((k, n) o φn); then φn−1(n) = n, and either:
- φn − 1(k) ≠ k, so φn − 1 is a derangement of , or
- φn−1(k) = k, and for all x ≠ k, φn−1(x) ≠ x.
As examples of these two cases, consider the following two derangements of 6 elements as we perform the above described swaps:
- 514623 → (51432)6; and
- 315624 → (31542)6 → (3142)56
- 51432 → 514326 → 514623; and
- 3142 → 31542 → 315426 → 315624
- [d_n = (n - 1) (d_ + d_)\,]
Limit as n approaches ∞
Using this recurrence, it can be shown that, in the limit,
- [\lim_ = \approx 0.3679\dots.]
Perhaps a more well-known method of counting derangements uses the inclusion-exclusion principle.
Generalizations
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 married couples are seated boy-girl-boy-girl-... around a circular table, how many ways can they be seated so that no man is seated next to his wife?
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)).
External links
- Sloan's Integer Sequence [A000166]
- [Non-sexist solution of the ménage problem], Kenneth P. Bogart, Peter G. Doyle
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.
