Zavartság - Derangement

Image
N elem lehetséges permutációinak és elromlásainak száma . n ! ( n faktoriális) az n -permutációk száma ; ! n ( n szubfaktorális) a rendellenességek száma -n -permutációk, ahol az összes n elem megváltoztatja kezdeti helyét.

A kombinatorikus matematika , a zavar egy permutáció az elemek egy sor , oly módon, hogy egyetlen eleme jelenik meg az eredeti helyére. Más szóval, a rendellenesség olyan permutáció, amelynek nincs fix pontja .

A száma zavarokat egy sor méretű n ismert, mint a subfactorial a N vagy N- edik elmezavar száma vagy N- th de Montmort számát . A közös használatú alfaktorok jelölései a következők: n, D n , d n vagy n ¡.

Ezt meg lehet mutatni! n értéke a legközelebbi egész számot n ! / e, ahol n ! jelöli a faktoriális a n és e jelentése Euler-féle szám .

A zavarok számolásának problémájával először Pierre Raymond de Montmort foglalkozott 1708 -ban; 1713 -ban megoldotta, akárcsak Nicholas Bernoulli nagyjából ugyanebben az időben.

Példa

Image
A 9 eltérés (24 permutációból) kiemelve van

Tegyük fel, hogy egy professzor négy diáknak adott tesztet - A, B, C és D -, és hagyni szeretné, hogy osztályozzák egymás tesztjeit. Természetesen egyetlen tanuló sem értékelheti saját tesztjét. Hányféleképpen adhatta vissza a professzor a teszteket a diákoknak osztályozás céljából, úgy, hogy egyetlen hallgató sem kapta vissza a saját tesztjét? A tesztek visszaküldésére alkalmas 24 lehetséges permutációból (4!)

ABCD , AB DC, A CB D , A CDB, A DBC, A D C B,
BA CD , BADC , BCA D , BCDA , BDAC , BD C A,
CAB D , CADB , C B A D , C B DA, CDAB , CDBA ,
DABC , DA C B, D B AC, D BC A, DCAB , DCBA .

csak 9 eltérés van (fent kék dőlt betűvel látható). Ennek a 4 tagú sorozatnak minden más permutációjában legalább egy tanuló visszakapja saját tesztjét (vastag piros színnel).

A probléma egy másik változata akkor merül fel, amikor megkérdezzük, hogy n különböző betűkkel címzett betűket hogyan lehet n előre megcímzett borítékban elhelyezni, így egyetlen betű sem jelenik meg a helyesen megcímzett borítékban.

Számítási zavarok

Számlálás zavarokat egy sor összege a kalap-ellenőrzés probléma , amelyben az egyik tartja a számos módon, amelyben n kalapok (nevezzük őket h 1 a h n ) vissza lehet n ember ( P 1 a P n ) olyan, hogy nincs kalap visszakerül a tulajdonosához.

Minden személy kaphat bármely n  - 1 kalapot, ami nem a sajátja. Hívja bármelyik kalapot, P 1 kapja a h i -t, és vegye figyelembe h i tulajdonosát: P i vagy P 1 kalapját, h 1 -et vagy valami mást kap. Ennek megfelelően a probléma két lehetséges esetre oszlik:

  1. P i kalapot kap, amely nem h 1 . Ez az eset egyenértékű a probléma megoldásával n  - 1 ember és n  - 1 kalap esetén, mivel a P 1  mellett minden n - 1 ember esetében pontosan egy kalap van a fennmaradó n  - 1 kalap közül, amelyeket esetleg nem kapnak meg (pl. bármelyik P j mellett P i , a meg nem kapható kalap h j , míg P i esetében h 1 ).
  2. P i h 1 -et kap . Ebben az esetben a probléma csökken n  - 2 fő, és n  - 2 kalapot, mert P 1 kapott h i kalapja és P i kapott h 1 ' s kalap, és ezzel gyakorlatilag mind ki további megfontolásra.

Mindegyik n  - 1 kalap esetében, amelyeket P 1 kaphat, a P 2 ,…, P n valamennyi kalapot kapó módok száma a két eset számának összege.

Ez megadja a megoldást a kalap-ellenőrzési feladatra: algebrailag megadva a számot! n egy elemhalmaz elfajulásai közül n

a ,

hol és .

A kis hosszúságú zavarok számát az alábbi táblázat tartalmazza.

Egy n -elemhalmaz (az OEIS A000166 szekvenciája) eltéréseinek száma kis n esetén
n 0 1 2 3 4 5 6 7 8 9 10 11 12 13
! n 1 0 1 2 9 44 265 1854 14,833 133,496 1 334 961 14 684 570 176,214,841 2 290 792 932

Vannak más kifejezések is! n , egyenértékű a fenti képlettel. Ezek tartalmazzák

számára

és

számára

ahol a legközelebbi egész függvény és a padlófüggvény .

Egyéb kapcsolódó képletek közé tartozik

és

A következő ismétlődés is érvényes:

Bevezetés - kizárás elve

Egy nem -rekurzív képletet is le lehet vezetni az n -halmaz eltéréseinek számára . A definíció szerint n objektum permutációinak halmaza, amely rögzíti a k- ik objektumot. Ezen halmazok i gyűjteményének bármely metszéspontja rögzíti az i objektumok egy adott halmazát, ezért permutációkat tartalmaz . Vannak ilyen gyűjtemény, így a felvétel-kizárási elv hozamok

és mivel a zavar egy permutációja, amely elhagyja sem a n rögzített tárgyak, ez azt jelenti,

A zavarok számának növekedése n közeledtével ∞

Tól től

és

az egyik helyettesítésével azonnal megkapja azt

Ez annak a valószínűsége, hogy nagyszámú objektum véletlenszerűen kiválasztott permutációja zavar. A valószínűség rendkívül gyorsan konvergál ehhez a határhoz, ahogy n növekszik, ezért! n jelentése a legközelebbi egész, hogy n ! / e . A fenti féllogaritmikus grafikon azt mutatja, hogy a zavar gráf elmarad a permutációs grafikon egy majdnem állandó értéket.

Erről a számításról és a fenti korlátról további információk találhatók a véletlenszerű permutációk statisztikáiról szóló cikkben .

Aszimptotikus terjeszkedés a Bell számok tekintetében

Aszimptotikus bővítés száma elváltozások szempontjából Bell számok jelentése a következő:

ahol bármilyen fix pozitív egész szám van, és a -es Bell számot jelöli . Ezenkívül a nagy O -term implikált állandó nem haladja meg .

Általánosítások

A probleme des találkozók során megkérdezi, hány permutációk egy mérete- n halmaz pontosan k fix pont.

A rendellenességek a korlátozott permutációk szélesebb körének példái. Például a ménage probléma azt kérdezi, hogy ha n ellenkező nemű párok ülnek férfi-nő-férfi-nő -... egy asztal körül, hányféleképpen lehet őket leültetni, hogy senki ne üljön a párja mellé?

Formálisan, adott halmazok A és S , és néhány készletek U és V a surjections AS , gyakran szeretnék tudni, hogy a párok száma a függvények ( fg ), hogy f van U és g van V és az összes a -ban A , f ( a ) ≠ g ( a ); más szavakkal, ahol minden f és g esetében létezik S range elmozdulása úgy, hogy f ( a ) = φ ( g ( a )).

Egy másik általánosítás a következő probléma:

Hány anagramma van egy adott szó rögzített betű nélkül?

Például egy csak két különböző betűből álló szóra, mondjuk n A és m B betűre, a válasz természetesen 1 vagy 0, aszerint, hogy n = m vagy sem, az egyetlen módja annak, hogy anagrammát képezzünk anélkül fix betűk cseréje az összes a és B , ami akkor lehetséges, ha, és csak akkor, ha n = m . Általánosságban elmondható, hogy az n 1 betűvel rendelkező X 1 , n 2 betűs X 2 , ..., n r X r betűs szó esetén kiderül (a befogadási-kizárási képlet megfelelő használata után ), hogy a válasz a forma:

egy bizonyos szekvencia polinomok P n , ahol P n foka n . De a fenti válasz esetén r = 2 ad ortogonalitásának kapcsolatban, ahonnan a P n „s az Laguerre polinomok ( akár a jele, hogy az könnyen eldönthető).

Image
a komplex síkban.

Különösen a klasszikus zavarok miatt

Számítási komplexitás

Az NP-teljességgel megállapítható, hogy egy adott permutációs csoport (amelyet az adott generációs permutációk halmaza ír le) tartalmaz-e valamilyen rendellenességet.

Hivatkozások

Külső linkek