Derangement

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¡.[1][2]

For n > 0, the subfactorial !n equals the nearest integer to n!/e, where n! denotes the factorial of n and e 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.

Example

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,

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 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

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:

  1. Pi receives a hat other than h1. This case is equivalent to solving the problem with n − 1 people and n − 1 hats because for each of the n − 1 people besides P1 there is exactly one hat from among the remaining n − 1 hats that they may not receive (for any Pj besides Pi, the unreceivable hat is hj, while for Pi it is h1). Another way to see this is to rename h1 to hi, where the derangement is more explicit: for any j from 2 to n, Pj cannot receive hj.
  2. Pi receives h1. In this case the problem reduces to n − 2 people and n − 2 hats, because P1 received hi's hat and Pi received h1's hat, effectively putting both out of further consideration.

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

for ,

where and .[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,932

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

for

and

for

where is the nearest integer function and is the floor function.[3][6]

Other related formulas include[3][7] and

The following recurrence also holds:[6]

Derivation by inclusion–exclusion principle

One may derive a non-recursive formula for the number of derangements of an n-set, as well. For we define to be the set of permutations of n objects that fix the -th object. Any intersection of a collection of i of these sets fixes a particular set of i objects and therefore contains permutations. There are such collections, so the inclusion–exclusion principle yields and since a derangement is a permutation that leaves none of the n objects 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 as n approaches ∞

From and by substituting one immediately obtains that 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

An asymptotic expansion for the number of derangements in terms of Bell numbers is as follows: where is any fixed positive integer, and denotes the -th Bell number. Moreover, the constant implied by the big O-term does not exceed .[9]

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 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 AS, we often wish to know the number of pairs of functions (fg) 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:

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

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 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]

in the complex plane

In particular, for the classical derangements, one has that where is the upper incomplete gamma function.

Computational complexity

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]

References

  1. ^ The name "subfactorial" originates with William Allen Whitworth; see Cajori, Florian (2011), A History of Mathematical Notations: Two Volumes in One, Cosimo, Inc., p. 77, ISBN 9781616405717.
  2. ^ Ronald L. Graham, Donald E. Knuth, Oren Patashnik, Concrete Mathematics (1994), Addison–Wesley, Reading MA. ISBN 0-201-55802-5
  3. ^ a b c Hassani, 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. JSTOR 2315337.
  6. ^ a b c Stanley, Richard (2012). Enumerative Combinatorics, volume 1 (2 ed.). Cambridge University Press. Example 2.2.1. ISBN 978-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. S2CID 122311800. Retrieved 27 December 2011.
  11. ^ Lubiw, Anna (1981), "Some NP-complete problems similar to graph isomorphism", SIAM Journal on Computing, 10 (1): 11–21, doi:10.1137/0210002, MR 0605600. Babai, László (1995), "Automorphism groups, isomorphism, reconstruction", Handbook of combinatorics, Vol. 1, 2 (PDF), Amsterdam: Elsevier, pp. 1447–1540, MR 1373683, 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?.

Read other articles:

You can help expand this article with text translated from the corresponding article in Vietnamese. (March 2009) Click [show] for important translation instructions. View a machine-translated version of the Vietnamese article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wik…

Sebring International Raceway in 1952-1966 The race was won by a red Ferrari TR58 driven by Phil Hill Stirling Moss in Aston Martin DBR1 Caroll Shelby in Aston Martin DBR1 Roy Salvadori and the Aston Martin DBR1 The Elva-Climax MkIII of Kurtz and Patterson The 1958 12-Hour Florida International Grand Prix of Endurance for the Amoco Trophy took place on 22 March, on the Sebring International Raceway, (Florida, United States). It was the second round of the F.I.A. World Sports Car Championship, wh…

Old Dragon redirects here. For other uses, see Dragon (disambiguation). School in Oxford, Oxfordshire, United KingdomDragon SchoolAddressBardwell RoadOxford, Oxfordshire, OX2 6SSUnited KingdomCoordinates51°46′05″N 1°15′23″W / 51.76818°N 1.25639°W / 51.76818; -1.25639InformationTypePreparatory day and boarding school and Pre-Prep schoolMottoLatin: Arduus ad Solem(Reach for the Sun)Religious affiliation(s)Church of EnglandEstablished1877FounderA. E. ClarkeDepart…

Village in Uttar Pradesh, IndiaVyaspurVillageVyaspurVillage location on Varanasi district mapShow map of Varanasi districtVyaspurVyaspur (Uttar Pradesh)Show map of Uttar PradeshVyaspurVyaspur (India)Show map of IndiaCoordinates: 25°23′46″N 83°02′15″E / 25.396021°N 83.037480°E / 25.396021; 83.037480Country IndiaStateUttar PradeshPopulation (2011) • Total536Languages • OfficialHindi & UrduTime zoneUTC+5:30 (IST)PIN221007STD0…

Questa voce sull'argomento fisici statunitensi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Premio Nobel per la fisica 2004Hugh David Politzer (New York, 31 agosto 1949) è un fisico statunitense. Vincitore nel 2004 del Premio Nobel in Fisica insieme a Gross e Wilczek per la scoperta sulla libertà asintotica in cromodinamica quantistica, permettendo di completare il quadro nel panorama del modello standard. Nato nel 1949 a New York, si è laureato…

Verschiedene DIP-Gehäuse ICs in DIP-Gehäusenverschiedene EPROMs in DIP-Gehäusen Der englische Begriff Dual in-line package (Akronym DIP, auch Dual In-Line, kurz DIL, dt. «zweireihiges Gehäuse») ist eine längliche Gehäuseform (engl. Package) für elektronische Bauelemente, bei der sich zwei Reihen von Anschlussstiften (Pins) zur Durchsteckmontage an gegenüberliegenden Seiten des Gehäuses befinden. Inhaltsverzeichnis 1 Funktion und Anwendung 2 Typische Abmessungen 3 Pinbelegung 4 DIP ver…

  لمعانٍ أخرى، طالع تنوير (توضيح). التنوير هو الفهم الكامل لموقف ما. يُستخدم هذا المصطلح بشكل شائع للإشارة إلى عصر التنوير، ولكنه يُستخدم أيضًا في الثقافة الغربية في سياق ديني. يفسر هذا المصطلح عدة مفاهيم ومصطلحات بوذية لعل أهمها بوذي وكينشو وساتوري. هناك مصطلحات أخرى من…

Questa voce sull'argomento calciatori è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Omar Da FonsecaNazionalità Argentina Francia[1] Altezza179 cm Peso72 kg Calcio RuoloAttaccante Termine carriera1993 CarrieraSquadre di club1 1978-1981 Vélez Sarsfield45 (2)1982 Renato Cesarini13 (9)1982-1985 Tours97 (42)1985-1986 Paris Saint-Germain17 (2)1986-1988 Monaco52 (10)…

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut). …

Boris Karloff in James Whale's 1931 film Frankenstein, based on Mary Shelley's 1818 novel. The monster is created by an unorthodox scientific experiment. Aspects of genetics including mutation, hybridisation, cloning, genetic engineering, and eugenics have appeared in fiction since the 19th century. Genetics is a young science, having started in 1900 with the rediscovery of Gregor Mendel's study on the inheritance of traits in pea plants. During the 20th century it developed to create new scienc…

داون أندر 2018 تفاصيل السباقسلسلة20. داون أندرمنافسةطواف العالم للدراجات 2018 2.UWT‏مراحل6التواريخ16 – 21 يناير 2018المسافات783٫8 كمالبلد أستراليانقطة البدايةPort Adelaide [الإنجليزية]‏نقطة النهايةأديلايدالفرق19عدد المتسابقين في البداية131عدد المتسابقين في النهاية125متوسط السرعة39٫…

رادي أفراموفيتش معلومات شخصية الميلاد 29 نوفمبر 1949 (العمر 74 سنة) الطول 194 سنتيمتر  مركز اللعب حارس مرمى الجنسية صربيا  المسيرة الاحترافية1 سنوات فريق م. (هـ.) 1969–1974 بوراتس تشاتشاك [الإنجليزية]‏ - 1974–1979 رييكا 119 (0) 1979–1983 نوتس كاونتي 149 (0) 1983 FC Inter-Montréal [الإنجليزية]‏ 1…

Questa voce sull'argomento stagioni delle società calcistiche italiane è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Voce principale: Associazione Calcistica Perugia Calcio. Associazione Calcio PerugiaStagione 1956-1957 Sport calcio Squadra Perugia Allenatore Guido Mazzetti Presidente Gaetano Salvi IV Serie - Gir. F14º posto StadioSanta Giuliana 1955-1956 1957-1958 Si invita a seguire il modello d…

Official motto of the Commonwealth of Massachusetts Ense petit placidam sub libertate quietem used on the coat of arms of Massachusetts Ense petit placidam sub libertate quietem is a Latin passage and the official motto of the U.S. Commonwealth of Massachusetts and the University of Massachusetts Amherst. The phrase is often loosely translated into English as By the sword we seek peace, but peace only under liberty. The literal translation, however, is she seeks with the sword peaceful repose un…

2002 filmThe Adventures of Pluto NashTheatrical release posterDirected byRon UnderwoodWritten byNeil CuthbertProduced by Martin Bregman Michael Scott Bregman Louis A. Stroller Starring Eddie Murphy Randy Quaid Rosario Dawson Joe Pantoliano Jay Mohr Luis Guzmán James Rebhorn Peter Boyle Pam Grier John Cleese CinematographyOliver WoodEdited by Alan Heim Paul Hirsch Music byJohn PowellProductioncompanies Castle Rock Entertainment Village Roadshow Pictures Distributed byWarner Bros. PicturesRelease…

ごとう ゆうこ後藤 邑子プロフィール愛称 ゴトゥーザ様[1]、むらこ[1]、ぽんこつ[1]、ゴトゥース[1]性別 女性出身地 日本・愛知県一宮市[2]生年月日 (1975-08-28) 1975年8月28日(48歳)血液型 O型[3][4]身長 163 cm[3][4]職業 声優、ラジオパーソナリティ、歌手事務所 アクセルワン[3]公式サイト 後藤 邑子|タレント|アクセ…

Centre d'études historiquesHistoireFondation 18 mars 1910Dissolution 24 novembre 1939CadreType Institution sociale, centre d'étudesDomaine d'activité HistoirePays  Espagnemodifier - modifier le code - modifier Wikidata Le Centre d'études historiques (Centro de Estudios Históricos) est une institution fondée en 1910 en Espagne dans le but de fournir des moyens matériels de recherche et d'aider la formation d'une élite intellectuelle dans le pays. Né comme un petit atelier, le Centre…

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Universitas Megow Pak Tulang Bawang – berita · surat kabar · buku · cendekiawan · JSTOR (Februari 2020) artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kemba…

Civil war in China (1915–16) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: National Protection War – news · newspapers · books · scholar · JSTOR (July 2018) (Learn how and when to remove this message) National Protection WarDate25 December 1915 – 14 July 1916LocationSouth and Southwest ChinaR…

В Википедии есть статьи о других людях с такой фамилией, см. Чупров; Чупров, Александр. Александр Иванович Чупров Дата рождения 6 (18) февраля 1842 Место рождения Мосальск, Калужская губерния, Российская империя[1] Дата смерти 24 февраля 1908(1908-02-24) (66 лет) Место смерти Мюнх…