Kiegszts II.

Permutcik, varicik, kombincik ismtlssel s ismtls nlkl

...(i) a rendezsnek sok fontos alkalmazsi terrlete van, vagy hogy
(ii) sokan akkor is rendeznek, amikor nem kellene, vagy hogy
(iii) a hasznlatban lv rendezsi algoritmusok nem elgg hatkony.
D.E.Knuth: A szmtgp programozs mvszete 3.ktet 17. old., Mszaki Knyvkiad, Bp 1988.
II.1.Definci: Az n klnbz elem egy permutcijn, n elem egy rgztett sorrendjt rtjk.
Pldul n=6 esetn legyen 1,2,3,4,5,6 a szban forg elemek, s az adott sorrendjk 3,2,4,1,5,6. A permutcit lehet gy is
definilni, mint egy n elem halmaz nmagra val klcsnsen egyrtelm lekpezst. Az elbbi permutcit ekkor meg lehet
adni az

x
1 2 3 4 5 6

alakban, ez az alak a fggvnyek tblzattal val megadsnak egy tmr jellse,

.A
f x
3 2 4 1 5 6

fels sorban fggetlen vltoz rtkei az als sorban a fgg vltoz megfelel rtkei szerepelnek. n faktorilisnak mondjuk az
egymsutn kvetkez 1,2,...,n szmok szorzatt, jele n!=1 2...(n-1)n s 0!=1, megllapods szerint.
II.1.Ttel: Az n elem H halmaz sszes klnbz permutciinak a szma Pn=n!.
Bizonyts: A H halmaz elemeinek a szma szerinti teljes indukcival bizonytunk. n=1 esetn az llts igaz, mert egy
elemet, csak egyflekppen lehet sorba lltani. Ttelezzk fel, hogy az llts igaz n-re, s mutassuk meg, e feltevsbl kvetkezik ,
hogy igaz (n+1)-re is. Legyen megadva a H halmaz elemeinek egy rgztett sorrendje pl.
? jellel jellt helyek

? h1 ,? h2 ,...,? hn ?

h1 , h2 ,..., hn . Brmelyik permutcinl a

valamelyikre beszrhatjuk a h n+1 -t. Lthat, hogy az n elem brmely permutcijbl

(n+1) darab klnbz (n+1) elem permutcit lehet legyrtani, teht brmely n-re teljesl az

Pn 1 Pn n 1 , s mivel n!

(n+1)=(n+1)!, ezrt a bizonytssal ksz vagyunk.

II.2.Definci: Legyen adott n elem, melyek kzl l1 , l2 ,..., lk rendre egyforma ( s
egy rgztett sorrendjt egy ismtlses permutcinak nevezzk.

l1 l2 ... lk n ) ezen elemek

Pldul, ha egy osztly tanulit a dolgozatukra kapott jegyek alapjn sorrendbe lltjuk, akkor az egyforma jegyet kapott
tanulk kztt mr nem tesznk klnbsget.
II.2.Ttel: Ha az n elem kzl
szma

l1 , l2 ,..., lk rendre egyforma s l1 l2 ... lk n ,akkor ismtlses permutciinak a

Pn,l1 ,l2 ,...,lk =

Bizonyts: Legyen megadva a

h1 , h2 ,..., hn

n!
.
l1 ! l2 !... lk !

elemeknek valamely ismtlses permutcija. A permutciban lv

egyforma elemeket klnbztessk meg indexekkel s permutljuk az eddig azonosnak tekintett elemeket is. {Pldul egy 5 fs
osztlyban 3 tst s 2 ngyest adtunk s a dolgozatokat (5,4,4,5,5) sorba osztottuk ki, indexelve az eddig egyformnak tekintett
jegyeket (51 ,41 ,4 2 ,52 ,53 ) . E permutcibl 3!2! ismtls nlkli permutci addik.} Egyetlen egy ismtlses permutcibl
l1 ! l2 !... lk ! szm ismtls nlkli permutcit kapunk, ezrt Pn,l1 ,l2 ,..,lk l1 ! l2 !... lk !=n!, s innen mr valban l1 ! l2 !... lk ! -vel val
oszts utn addik a ttel lltsa.
nevezzk.

II.3.Definci: Az n klnbz elem kzl kivlasztott rendezett k elemet, ismtls nlkli k-ad osztly varicinak

Pldul, ha egy fut versenyen hszan indultak s az els 3 befutt djaztk, akkor a djazottakat tekinthetjk 20 elem
harmad osztly varicijnak.
II.3.Ttel: n elem ismtls nlkli k-ad osztly variciinak a szma Vkn =n(n-1)...(n-(k-1)).
Bizonyts: Rgztett n mellett k szerinti teljes indukcival bizonytunk. k=1-re az llts igaz, mivel n elembl 1-t
pontosan n flekppen lehet kivlasztani. Ttelezzk fel, hogy k-ra teljesedik s igazoljuk (k+1)-re. Brmelyik
osztly varicihoz (n-k) elem kzl vlaszthatunk egy h k+1.-t, hogy egy
Azaz igaz a kvetkez sszefggs

h1 , h2 ,..., hk , hk 1

h1 , h2 ,..., hk

k-ad

(k+1)-ed osztly varicit kapjunk.

Vkn n k Vkn1 , miltal ttelnk bizonytst nyert.

88

II.4.Definci: Az n klnbz elembl, ha k elemet oly mdon vlasztunk ki, hogy egy elemet tbbszr is vlaszthatunk
s a sorrend szmt, akkor n elem k-ad osztly ismtlses varicijrl beszlnk.
Pldul, ha valaki kitlt egy tizenngy mrkzses tot szelvnyt, akkor az x,1,2 elemeknek megadta egy 14-ed osztly
varicijt.

nk .

II.4.Ttel: Az n klnbz elem sszes k-ad osztly ismtlses variciinak a szma Vk ,ism

Bizonyts: Jellje 0,1,2,...,n-2,n-1, az n klnbz elemet, ezen elemek kzl k-t egymsutn lerva egy legfeljebb k
jegy szmot kapunk az n alap szmrendszerben, melyeknek a szma nyilvn n k , s ezzel a bizonyts ksz.
Tekinthetjk az n klnbz elem egy k-ad osztly ismtlsese varicijt gy is mint az n elem H halmaz nmagval
vett k-szoros direkt szorzatnak egy elemt, s akkor az is elg nyilvnval, hogy

H H ... H H . Itt H jelli a H

1

halmaz elemeinek a szmt. Vegyk szre azt is, hogy az n elem H halmaz k szoros direkt szorzatnak a (h 1, h2,..., h k) elemt
tekinthetjk oly mdon is mint az K={1,2,...,k} halmazon rtelmezett f fggvnyt melynek az rtkei rendre h 1, h2,..., h k. Ekkor a
k
K-n rtelmezett H-beli rtkeket felvev klnbz fggvnyek szma n . Gondolja vgig a Kedves Olvas, hogy a K-n rtelmezett
n
H-bli rtkeket felvev injektv fggvnyek szma Vk =n(n-1)...(n-(k-1)).
II.5.Definci: n klnbz elem kzl ki vlasztva k elemet, melyeknl a rendezsre nem vagyunk tekintettel az n elem
egy k-ad osztly kombincijt kapjuk.
Pldul, ha valaki az ts lottn helyesen kitlt egy szelvnyt, akkor a 90 elemnek megadta egy 5-d osztly
kombincijt. llapodjunk meg abban, hogy

n!
n
n
szmot szoks binomilis egytthatnak is
fogja jellni a
n k !k !
k
k

nevezni.
II.5.Ttel: n elem k-ad osztly kombinciinak a szma

n
.
k

Ckn =

Bizonyts: n elem valamely ismtls nlkli k-ad osztly kombincijbl k! szm k-ad osztly ismtls nlkli
varici nyerhet, ha az elemeket egyms kztt permutljuk. Teht fennll a kvetkez Ckn k!=Vkn . Figyelembe vve, hogy

Vkn n n 1 ... n k 1

n!
, kapjuk a ttel lltst.
n k!

II.6.Definci: Ha az n elem kzl oly mdon vlasztunk ki k darabot, hogy egy elem tbbszr is szerepelhet s a
sorrendre nem vagyunk tekintettel, akkor az n elem egy ismtlses k-ad osztly kombincijrl beszlnk.
II.6.Ttel: n elem k-ad osztly ismtlses kombinciinak a szma

n k 1
.
k

Ckn,ism.

Bizonyts: A bizonyts alaptlete rviden csupn annyi, hogy megadunk egy klcsnsen egyrtelm lekpezst (n+k-1)
klnbz elem k-ad osztly ismtls nlkli kombincii s n klnbz elem k-ad osztly ismtlses kombincii kztt.
Legyen az n klnbz elem 1,2,...,n egy s az (n+k-1) klnbz elem 1,2,...,n,n+1,...,n+k-1 . Az n klnbz elem egy ismtlses
k-adosztly kombincija nagysg szerint sorba rendezve legyen 0 1 2 ... k n . Az
kombincinak feleltessk meg az

1 , 2 1, 3 2,..., k k 1

Lthat, hogy 0 1 2 1 ... k k 1 n k 1 , ezrt az

1 , 2 ,..., k

ismtlses

elemek ismtls nlkli k-adosztly kombincijt.

1 , 2 1, 3 2,..., k k 1

elemek valban az

n+k-1 klnbz elem ismtls nlkli kombincija, s az sszeads egyrtelmsge miatt a lekpezs klcsnsen egyrtelm volta
is garantlt.

89

Binomilis s polinomilis ttel

Egyszer a flembe a Gmb ezt sgta be:

Azt hiszed , tlem fgg a Sors tlete?
ha sajt forgsom tlem fgtt volna,
a szeszly lncait n dobtam volna le.
Omr Chjjm (1025?-1126), Robiyt, Magyar Helikon, 1958,

II.7.Ttel ( polinomilis ): Legyen

szm, ekkor

a1 a2 ...ak n

a1 , a2 ,..., a k R , ahol R kommutatv gyr s n egynl nagyobb termszetes

n!
a1s1 a2s2 ... aksk .
s1 s2 ... s k n s1 ! s2 !... sk !

Bizonyts: Tudjuk, hogy brmely kommutatv gyrben a tbb tag szorzst tbb taggal oly mdon vgezhetjk el, hogy
minden tagot szorzunk minden taggal. Ha felrjuk az n tnyezs

a1 a2 ...ak a1 a2 ...ak ... a1 a2 ...ak

akkor az a1-t s1-szer az n zrjelbl

az a2-t s2-szer az n-s1 zrjelbl

szorzatot,

n
,
s1

n s1

,
s2

az ak-t sk-szor az n-s1-s2--sk-1 zrjelbl

n s1 s 2 ... s k 1

flekppen lehet kivlasztani. Az

sk

n n s1 n s1 s2 ... sk 1

...
=
sk
s1 s2

n!
n s1 ! ... n s1 s2 ... sk 1 ! = n! .
n s1 !s1 ! n s1 s2 !s2 ! n s1 s2 ... sk ! sk ! s1 ! s2 !... sk !
S ez utbbi egyenlsg jobboldaln a ttelben szerepl
II.8.Ttel( binomilis ttel ): Legyen
ekkor

a1 a2

a1s1 a2s2 ... aksk tag egytthatja ll, amivel lltsunkat bizonytottuk.

a1 , a2 , R , ahol R kommutatv gyr s n egynl nagyobb termszetes szm,

s1 n

n s1 n s1
a1 a2 .
s1 0 s1

Bizonyts: A ttel a polinomilis ttel specilis esete.

Kvetkezmny:

n n n
n n
n
...
2 ()
0 1 2
n 1 n

1 1 n

90

Pascal hromszg
rtelmnket s tlkpessgnket trsalgssal alaktjuk ki. rtelmnket s tlkpessgnket ugyancsak trsalgssal
rontjuk el. (Pascal, B.; Gondolatok. Gondolat Kiad, Budapest, 1978. 9.old.) Pascal, Blaise (1623-1662), szerzetes Port Royal des
Champs ill. Port Royal de Paris-ban, janzenista.

4

0

5

0

1

0

2

0

3

0

1

1

2

1

3

1

4

1

5

1

0

0

3

2

4

2

5

2

2

2

3

3

4

3

5

3

4

4

5

4

5

5

1
1
1
1

1
1

1
2

4
5

3
6

10

1
4

10

1
5

r
r 1 r 1

k
k k 1
n
n

k
nk

r
r

k
k

r 1 r 1
r

; r
r k ;
k 1 k
k

r k
r r 1
r n
r n 1

...

k
0
1
n
n
0 k n

k
0 1
n
n 1

...
0 k n m
m m
m
m 1

Ha n Z , n 0 s

k Z , k 0 vagy k n

n

0

m n

k 1

n,mZ ,n,m0

akkor 0 .
k

m
n
...

k 1
k 1

;
n ,rZ ,n 0

m n

1 k

m
n m

0
k

Ha n=m, akkor

n
n

0
n

n
n
n
n

,...,
1
n 1
j
n

n
n
,..., ,
j
n
0

91

ezrt
n

0

...

2n
.
n

92