Jump to content

Derangement

From Wikipedia, the free encyclopedia
Number of possible permutations and derangements ofnelements.n!(nfactorial) is the number ofn-permutations;!n(nsubfactorial) is the number of derangements –n-permutations where all of thenelements change their initial places.

Incombinatorialmathematics,aderangementis apermutationof the elements of asetin which no element appears in its original position. In other words, a derangement is a permutation that has nofixed points.

The number of derangements of a set of sizenis known as thesubfactorialofnor then-thderangement numberorn-thde Montmort number(afterPierre Remond de Montmort). Notations for subfactorials in common use include!n,Dn,dn,orn¡.[1][2]

Forn> 0, the subfactorial!nequals the nearest integer ton!/e,wheren!denotes thefactorialofnandeisEuler's number.[3]

The problem of counting derangements was first considered byPierre Raymond de Montmortin hisEssay d'analyse sur les jeux de hazard.[4]in 1708; he solved it in 1713, as didNicholas Bernoulliat about the same time.

Example[edit]

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 received their own test back? Out of24 possible permutations(4!) for handing back the tests,

ABCD, ABDC, ACBD, ACDB, ADBC, ADCB,
BACD, BADC, BCAD, BCDA, BDAC, BDCA,
CABD, CADB, CBAD, CBDA, CDAB, CDBA,
DABC, DACB, DBAC, DBCA, DCAB, DCBA.

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 waysnletters, each addressed to a different person, can be placed innpre-addressed envelopes so that no letter appears in the correctly addressed envelope.

Counting derangements[edit]

Counting derangements of a set amounts to thehat-check problem,in which one considers the number of ways in whichnhats (call themh1throughhn) can be returned tonpeople (P1throughPn) such that no hat makes it back to its owner.[5]

Each person may receive any of then− 1 hats that is not their own. Call the hat which the personP1receiveshiand considerhi's owner:Pireceives eitherP1's hat,h1,or some other. Accordingly, the problem splits into two possible cases:

  1. Pireceives a hat other thanh1.This case is equivalent to solving the problem withn− 1 people andn− 1 hats because for each of then− 1 people besidesP1there is exactly one hat from among the remainingn− 1 hats that they may not receive (for anyPjbesidesPi,the unreceivable hat ishj,while forPiit ish1). Another way to see this is to renameh1tohi,where the derangement is more explicit: for anyjfrom 2 ton,Pjcannot receivehj.
  2. Pireceivesh1.In this case the problem reduces ton− 2 people andn− 2 hats, becauseP1receivedhi's hat andPireceivedh1's hat, effectively putting both out of further consideration.

For each of then− 1 hats thatP1may receive, the number of ways thatP2,...,Pnmay 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!nof derangements of ann-element set is

for,

whereand.[6]

The number of derangements of small lengths is given in the table below.

The number of derangements of ann-element set (sequenceA000166in theOEIS) for smalln
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,932

There are various other expressions for!n,equivalent to the formula given above. These include

for

and

for

whereis thenearest integer functionandis thefloor function.[3][6]

Other related formulas include[3][7] and

The following recurrence also holds:[6]

Derivation by inclusion–exclusion principle[edit]

One may derive a non-recursive formula for the number of derangements of ann-set, as well. Forwe defineto be the set of permutations ofnobjects that fix the-th object. Any intersection of a collection ofiof these sets fixes a particular set ofiobjects and therefore containspermutations. There aresuch collections, so theinclusion–exclusion principleyields and since a derangement is a permutation that leaves none of thenobjects fixed, this implies

On the other hand,since we can choose 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 asnapproaches ∞[edit]

From and by substitutingone immediately obtains that This is the limit of theprobabilitythat a randomly selected permutation of a large number of objects is a derangement. The probability converges to this limit extremely quickly asnincreases, which is why!nis the nearest integer ton!/e.The abovesemi-loggraph 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 ofderangementsin terms ofBell numbersis as follows: whereis any fixed positive integer, anddenotes the-thBell number.Moreover, the constant implied by thebig O-term does not exceed.[9]

Generalizations[edit]

Theproblème des rencontresasks how many permutations of a size-nset have exactlykfixed points.

Derangements are an example of the wider field of constrained permutations. For example, theménage problemasks ifnopposite-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 setsAandS,and some setsUandVofsurjectionsAS,we often wish to know the number of pairs of functions (f,g) such thatfis inUandgis inV,and for allainA,f(a) ≠g(a); in other words, where for eachfandg,there exists a derangement φ ofSsuch thatf(a) = φ(g(a)).

Another generalization is the following problem:

How many anagrams with no fixed letters of a given word are there?

For instance, for a word made of only two different letters, saynletters A andmletters B, the answer is, of course, 1 or 0 according to whethern=mor not, for the only way to form an anagram without fixed letters is to exchange all theAwithB,which is possible if and only ifn=m.In the general case, for a word withn1lettersX1,n2lettersX2,...,nrlettersXr,it turns out (after a proper use of theinclusion-exclusionformula) that the answer has the form for a certain sequence of polynomialsPn,wherePnhas degreen.But the above answer for the caser= 2 gives an orthogonality relation, whence thePn's are theLaguerre polynomials(up toa sign that is easily decided).[10]

in the complex plane

In particular, for the classical derangements, one has that whereis theupper incomplete gamma function.

Computational complexity[edit]

It isNP-completeto determine whether a givenpermutation group(described by a given set of permutations that generate it) contains any derangements.[11]

References[edit]

  1. ^The name "subfactorial" originates withWilliam Allen Whitworth;seeCajori, Florian(2011),A History of Mathematical Notations: Two Volumes in One,Cosimo, Inc., p. 77,ISBN9781616405717.
  2. ^Ronald L. Graham, Donald E. Knuth, Oren Patashnik,Concrete Mathematics(1994), Addison–Wesley, Reading MA.ISBN0-201-55802-5
  3. ^abcHassani, Mehdi (2003)."Derangements and Applications".Journal of Integer Sequences.6(1): Article 03.1.2.Bibcode:2003JIntS...6...12H.
  4. ^de Montmort, P. R. (1708).Essay d'analyse sur les jeux de hazard.Paris: Jacque Quillau.Seconde Edition, Revue & augmentée de plusieurs Lettres.Paris: Jacque Quillau. 1713.
  5. ^Scoville, Richard (1966). "The Hat-Check Problem".American Mathematical Monthly.73(3): 262–265.doi:10.2307/2315337.JSTOR2315337.
  6. ^abcStanley, Richard(2012).Enumerative Combinatorics, volume 1(2 ed.). Cambridge University Press. Example 2.2.1.ISBN978-1-107-60262-5.
  7. ^Weisstein, Eric W."Subfactorial".MathWorld.
  8. ^M. T. L. Bizley, A Note on derangements, Math. Gaz., 51 (May 1967) pp. 118-120.
  9. ^Hassani, M. "Derangements and Alternating Sum of Permutations by Integration." J. Integer Seq. 23, Article 20.7.8, 1–9, 2020
  10. ^Even, S.; J. Gillis (1976)."Derangements and Laguerre polynomials".Mathematical Proceedings of the Cambridge Philosophical Society.79(1): 135–143.Bibcode:1976MPCPS..79..135E.doi:10.1017/S0305004100052154.S2CID122311800.Retrieved27 December2011.
  11. ^Lubiw, Anna(1981), "Some NP-complete problems similar to graph isomorphism",SIAM Journal on Computing,10(1): 11–21,doi:10.1137/0210002,MR0605600.Babai, László(1995), "Automorphism groups, isomorphism, reconstruction",Handbook of combinatorics, Vol. 1, 2(PDF),Amsterdam: Elsevier, pp. 1447–1540,MR1373683,A surprising result of Anna Lubiw asserts that the following problem is NP-complete: Does a given permutation group have a fixed-point-free element?.

External links[edit]