Professional Documents
Culture Documents
LATTETTI
Budapest, 2006
tium
döntése alapján az Oktatási Minisztér;
tásiPályázatok irodája által lebonyolított
keretében jelent meg Ta
először f
Tartalomjegyzék
Előszó
2 Gráfelmélet
2.1. Alapfogalmak
2.2. Fák és tulajdonságaik
2.2.1. A mohó algoritmus
2.3. Euler- és Hamilton körök
2.4. Gráfok és mátrixok
24.1. Szomszédsági mátrix
4.2. Ileszkedési mátrix
4.3. Ki
4 4
áfok duálisa
amikor a könyv előkészítésén munkálkodtunk
fűzhetjük, ha belép a Typoklutba, ahonnan gy gráfot?
1. Szemléletes ei lőkészítés
jakcióinkról, programjainkról, és amelyet a wuxw.
tupote hu 28 A kétféle bejárás leírása
n megtalálhatj
aza egys könyvekhez tartozó hi Legrövidebb utat kereső algoritmusok
"mert sajnos hibák olykor előfordulnak
Elsúlyozatlan eset
Dijkstra algorítmusa
k 8.3. Ford algoritmusa
iaeegytló531795-ben alapított k 2.8.4. Floyd algoritmusa
Ó HEG eérterjesztők Egyesüléséne k tagja 2.9. Párosítások és folyamok
2.9.1. Párosítás páros gráfban
29.2. König és Gallai tételei ENNÉZ
29.3. Párosítás tetszőleges gráfban , . . . , . ,
2.9.4. Hálózati folyamok fa
2.9.5. A folyamprobléma általánosításai
29.6. Mengertételei . 5...
2.9.7. Többszörös összefüggőség . . .
72
73 6.5. Dírekt szorzat, Abel portok . , .
75 6-6. Csoportok megadása,-cso
77 6.7. További érkezésem pél dák. ,
ggsEPE
77 6.8. Az egész számok gyűrűje ey; .
R BE
77 6.81. Kongruenciák
6.9. Hálók Fi
84 6.10. Testek 8
85 6.11. A Galois-elmélet alapjai
86 7 Rekurziók és generátorfüggvények
86 71. Homogén lineáris rekurzió
89 7.2. Strling-számok
7.3. Bell-számok
7.4. Számelméleti partíciók
91 7.5. Catalan-számok
8 Extremális halmazrendszerek
"Szomszédossági tömbök És listák 8.1. Erdős-Ko-Radó tétele
2 Láncolt szomszédossági listák
8.2. Spemer-rendszerek
-§ [Né mégjegyzések Tárgymutató
AP,NP ésNP-iteljesProblémaoszi lyok Ajánlott irodalom
NEEE essét aljorímus is lehetjó
119
119
119
120
121
125
125
129
132
. 135
A véges matematika különféle
rákkal (pl. a gráfelmélettel) és lehet
algor
őségek
terjedése óta mind a matematikában, aitmus okkal foglalkozik, A.
számít
közgazdaságtani, biológiai stb.) alkal ni
mazásaiban különösen fontos s:
Ez a tankönyv a véges matematika alábbi területeire nyújtbevez
etést:
1. Klasszikus leszámlálási problémák, módszerek
F
Nagyon rövid átismétlés, mert ezt legtöbben máraközépi
skolában me
ták. Aki bonyolultabb eljárásokra is kíváncsi, a 7. fejezet
ben talál! ye
2. Gráfelmélet
Ez a könyv legfontosabb — egyben leghosszabb — része. Agi
nemcsak az alapfogalmait tartalmazza, hanem számos
fejezetéből
mély eredményeket ís. Tórekszűnk az algoritmikus szemléle
tre; a
legtöbbször algoritmikus bizonyítást adunk.
Ndatkezelési eljárások, gráfelméleti adatstruktúrák, a bonyolti
elemei
Ez a fejezetet elsősorban a villamosmérnök hallgatóknak szánjuk.
matikusok és az informatikusok ezekről jóval többet fognak hallani ké
tanulmányaik során; ehhez Rónyai Lajos, IvaGábor nyo és Szaból
s
gontmuselmélet" című könyvét ajánljuk (Typotex, Budapest, 1999).
4. A számelmélet elemei
A matematikus hallgatóknak természetesen ennél sokkal többet
számelméletből — itt csak a következő fejezet megértéséhez
mereteket tárgyaljuk
Nyilvános kulcsú titkosírások
A számítógépes adatvédelembe épp csak bepíltantunk. Az éi
tóknak Györfi László, Győri Sándor és Vajda István ,Anf
mélet" című könyvét (Typotex, Budapest, 2000) ajánljuk.
6. Csoportok, gyűrűk, testek, hálók bj
Ez a fejezet elsősorban a műegyetemistáknak készült :
tóknak az absztrakt algebrából sokkal többet
: EE SESZEtE bettő lefedi sz ELTE éz a BME alkal. Klasszikus leszáml:
1 elmű előa
ói számára
dások tartott
anyagána, Véges
k nagymatematika" vagy hat
részét; az első ,Kombina.
pedig a problémák
számára tartott , Számítástudomány elemej" című
E műszaki informatikus hallgatói számára tartott nBe-
letbe? című tárgy anyaga (a más tankönyvből elsajátítandó
]) azitteni 1-2. és4-6. témák.
ol 6 6. fejezetet Szabó Csaba írta, a többi Katona Gyula
munkája. A számelméleti eredmények jelentős része így a
§
és a6.8.szakaszban is előjön. Tudatosan döntöttünk a teljes könyv
256-kal növelő átfedés mellett — így az olvasók megismerhetik
smódot ís,amikaz oregész számokat egy speciális gyűrű. 1.1. Permutációk, variációk, kombinációk
!Ésazta megközelítést ís, amikor a számokkal végzett
algoritmusok Az itt következő fogalmakat és tételeket valószínűleg
bonyolultságuk vizsgálatához használjuk fel a számelmélet néhány
d kolai tanulmányaikból, Ezért a definíciókon kívül csakmár sokan ismerik
egy-egy feladaton
be a fogalmakat,
bbi jegyzeteinket, melyeket az n és a BME-n
s 8
tartott nal Frege .
9
ValamintEÉNÉTE
számos kollégánk, elsősorban
köszönet Fried! Katalin,inie
Ró. sresorrendbgoetűat
ző
en tehetiEgyezt egyetemi
JNGSZS Teájtk kívül illeti hallgató hallgatóna k n pontosan
vizsgát kell leténüie, Tissé
meg? (minden vizsgát egyszer kell
korábbi változataiban számos elírást, sajtóhibát, stb. találtak és
igyzéseikkel segítették
aszöveg véglegesítését MEGOLDÁS: Az első vizsgát n-féleképpen választhatjuk ki. Haaz el
letette a hallgató, akkor akármelyik is volt az első vizsga, a második
n- 1 választási lehetőségünk van. "Tehát az első két vizsgát n(z
—1)
választhatjuk ki. A harmadik vizsgánál további a — 2 választási lehetőség
zi okoskodást így folytatva látható, hogy az utolsó előtti vizsgánál 2 választásiva
r tőség van, míg az utolsónál már nincs választási lehetőségünk. Tehátm vizsi
n(n—1)(m—2)(n —3)--.2-1:féle különböző sorregdbet tékétüéslő sz
zs E0(29-Cöb
rés 8 Klasszikus leszámlálási problémák
— DDD-ODEIJEgEJE
Először számoljuk meg hány sorrend lehetséges, ha a fiúkat, illetve
iymás között nem különböztetjük meg. Ha n fiú és n — 1 lány lenne.
ÖR ÖBB
csak a FLFL FLF...
sorrend jönszóba. Viszont az n-edik lányt állít.
elé, vagyazclsőésmásodik közé (ahol ekkor 2 lány áll), vagy a
közé, . . ., vagyazutolsó fiú után. Ez n 4- 1 lehetőség. Ha most
4 fiúkat egymástól, akkor egymás között n!-féleképp cserélhe-
Ugyanez ahelyzet aza lánnyal is. Tehát az összes lehetőségek
1.2. Skatulya-—elv
it!Hínyféleképp választható ki 3 különböző szám az 1,2,... 100
azösszegük osztható legyen 3-mal?
"hogy Skatulya-elv: Ha van ndarab gyufásdobozunk és n41 gyufaszálunk,
or akár-
hogy rakjuk bele az összes gyu
afát
skatulyákba, valamelyik skatulyába legalább
észre, hogazösszeg
y csak úgy lehet 3-mal osztható, ha mind gyula jut.
"ad3-mal osztva, vagy pedig mindhárom különbözőt Két tételt fogunk mutatni, amelynek bizonyítása a skatulya-elven
33 darab ad 0 maradékot, (§)-féleképp választhatunk ki 3
1.2.1. Tétel (Erdős-Szekeres, 1935). Bármelyik nk4 1 darab különböző si
adót; Hasonlóan, (5")-féleképp választhatunk ki 3 külön álló sorozatban van vagy n-nél bosszabb csökkenő részsorozat, vagy
tés (9)-féleképp 3 különböző 2 maradékot adót. Amikor 3 hosszabb növekvő részsorozaát.
: akarunk kiválasztani, akkor 33 -34. 33-féleképp v álaszt
száma BIZONYÍTÁS; Legyen az eredeti sorozat x1,X29:.2ake1- Jelöljük
hosszabb, x,-vel kezdődő csökkenő részsorozat hosszát, b,-vel pediga!
M-es
a feltételeknek. (A skatulya-elv egyszerű következményét hasz
§ kevesebb gyufavan, mint doboz, akkor marad üres doboz )
vi Va
2.1. ábra.
TTYTATNAMMANAR
da eszszédepontok,
§ wa). és(viz)N(wi wa) ee,
halas ek, z
fentirelációekvivalencia osztályokat határoz meg G pontja in 2.2.3. Tétel. Egy n pontú fa éleinek
a G gráfö sszef üggő kompo . száman— 1
4 esőpontok általfeszítettrészeráfokat BIZONYÍTÁS:
4, számuk at
c(G) -veljelöljük. Ha a komponensek száma I, vagyis Bizonyítsunk a pontszámra
voi jes indukcióval.
összefüggő az állítás triviálisan teljesül, Tegyükfel,högy
, kétpontjaközöttvezet út, akkoraG gráf az üihásjeeeást a
előző tétel szerint minden ng pontú fában van
almakra is elsőfokú Pont. Ha elhi
szükség lesz a következő fog pontot és a hozzá tartozó egyetlen élet,
akkor mivel a "maradék ng—
már igaz az állítás, látható, hogy az ng pontú eredeti fának ng
EgyXC E élhalmazt elvágó élhalmaznak nevezünk, ha az X. —1 élevan
nőagráfkomponenseinek száma, azaz a gráf több kompo. 2.2.4. Definíció. Az F gráf a G gráf feszítőfája, ha F
mint. eredetileg állt.X sza ha vedd de BEGAZJK valódi nek.
fu, és feszítő
egyelemű tásokat elvágó éleknek nevezzül
mekészőepeselőőlE ártott gráfokkal foglalkozzunk, vagyis . Tétel. Minden összefüggő G gráf tartalmaz feszítőfát,
],amelyeknek éleinem(u.a) alakú rendezetlen párok, hanem (vi, va)
ilyen (viva) élnek vi a kezdőpontja, va a végpontja BIZONYÍTÁS Ha G-ben van kör, akkor hagyjuk el a kör egy tetszőleges élét.
n a ,életegyvi -bőlva-be mutató nyíllal ábrázoljuk. Forrásnak hívunk egy adék gráfban megint van kör, ismét hagyjuk el ennek egy élét, Éseztaz elj
egyetlen élnek sem végponta, nyelőnek, ha egyetlen élnek sem kezdő. folytassuk egészen addig, amíg találunk kört. Ha már nincs több kör, akkor!
meg, mit kaptunk. Az eli folyamán soha sem sérült meg az 31
hegy (vo,
erYi e2v2, 4) utat akkor hívunk irányított hiszen mi: £ egy kör egyik élét hagytuk el. Nem hagel agráfnakkegyi
ytu
(ovi), ez7 (vi, 2),ny ek Az irányított kör defini sem. Így a maradék gráf láthatóan G egy feszítőfája. .Ó
ló. Egyirányított
gráferősen összefüggő, ha bármely pontjából bármely
havezetírányítottút 2.2.6. Definíció. A körmentes gráfokat erdőnek nevezzük. Egy F gráfa
feszítőerdője, ha F erdő és minden komponense feszítőfája G megfelelő
nensének a
s tulajdonságaik Könnyen látható, hogy egy erdő összefüggő komponensei fák. Így
összefüggő körmentes gráfokat fáknak nevezzük "nlóan a fentiekhez belátható, hogy ha az Ferdő pontjainak száma a, kom
seinek száma k, akkor F-nek pontosan ni — k éle van. Ennek speciális esete
néhány egyszerű tételt bizonyítunk be F fa, hiszen ekkor 1 komponensből áll
Cayley bebizonyította, hogy az (1.2, .. .,n) pontokonha most:
legalább 2 pontú fában van legalább két elsőfokú pont tekintjük az egyébként izomorf gráfokat — pontosan s"? darab.
meg Ennek a tételnek a bizonyításához lesz szükségünk a Prüfer-kódta.
: a fában található leghosszabb utat, legyen ez (v, Az (1,2,. ...n) pontokon adott fához rendeljünk egy
ek mindkét végpontja, v, és va, elsőfokú. Tegyük fel, zőképpen. Hagyjuk el a fa elsőfokú pontjai közül a legkisebb
belőle még egy él a fa valamely pontjába. Az út fel a szomszédja (a vele összekötött egyetlen pont) indexét. 1
(ekkor kört tartalmazna a fa. Ha pedig egy új u jük az eljárást a maradék fára, majd folytassuk egészen addig, a
"utatevvelmegtoldva egy hosszabb utat kapnánk, marad. Világos, hogy az utolsó pont azsisorszámú. Ugyanis ezt!
14 feltevésünknek (2.4. ábra). 0 tuk el soha, hiszen mindig legalább két elsőfokú pont volt,
2.2.1. A mohó algoritmus
Rendeljúneg k yG féleihezsúlyokat, ni
vel az e-hez rendeltgrá
súlyt.Ha.X
must, amely megkeresi a mini C É(G),akkor X sú,
mális súlyú feszítőerdőt
2.2.9. Algoritmus (Kruskal).
rint. Először válasszuk ki
hogy már kiválasztottunk a gráfból a legkisebb súlyú
néhá
élek egyikét, amely nem alkot ny élet. Ekkor válasszuk
kort az ki;
megállunk, ha van, akkor ezt az eddig már kiválasz
eljárást ismételjük
Egy algoritmust mohó algoritm
minden lépésben az éppen a legjobbnusna k nevezünk, ha végr
ak tűnő lehetőséget választjuk €si
dünk azzal, hogy esetleg egy most rosszabbnak
ményt kaphatnánk, A Kruskal algo tűnő választással vé
ritmus nyilván egy mohó
súlyú feszítőerdő megkeresésére, A mohó al;
Jául a legkisebb súlyú kör megkeresése vagy
megkeresése (lásd 2.9.1) esetén nem feltétlenülpáros gráfban a.
ad jó megoldást.
2.2.10. Tétel. Az előbbi algoritmus G minimális súlyú feszítőerd
őjét
adja.
TÁS: A definícióból könnyen látható, hogy egy fához nem (. rtozi
Feüferr A A Mökekőd ae
BIZONYÍTÁS: Nyilvánvaló, hogy az algoritmus végén a kiválasztott
feszítőerdőt alkotnak, Tegyük fel indirekt, élek egy
ságkód,mi
Hansasorozath
Mese rsnziklához , szádalág ogtáetsá nal ss hogy Ap minimális sülyű,
oz egy fa, melynek a Prüfer-kódja 5(Fo)eltörte
cs(F). azaHa több ilyen ellenp van,akkoréld
ezekközül
a azt vál
sorozat, valamint azt,hogya kapott sorozatok száma
épp/
0gy hányszámból álla Prúferkód,könnyen meghatározha Ner e.
tjuk kötsz
a-nel egyenlő, Legyen u, az a Pont, amelyik elhagy
á
, Elégtehátmeghatározni wy-t minden 4-ra, ebből
ható afa. már egyért elműen
wy a legkisebb szám, ami nem fordul elő
s Va-1 között. Általában s, pedig a legkisebba Prüfer-kódban
IME
szám, ami nnem
VEgVEs 19: V4-1 számok között er]
Mivel ez eljebb
ző szám, mindig van ilyen legkisebb szám
Fene). (2-1 6a-1) éleket. Belátjuk hogy
meg, és akkor belátható, , hogy ennek
a fának
- Indirekt tegyük fel, hogy nem, azaz a ki
§ újabb w, felírásakor eg
egy olyán lépésnek, a; y újabb 2.6. ábra.
felírnunk, amit már korábban
felírtunk. Ez
Ha eg-t hozzávesszük F-hez, akkor kapunk egy C kört. Ha va
(e0) élre s(e) 5 s(eo) állna, akkor az algoritmus során e he
2 elem mind.
h, tartozik €gy-egy fa,
és különböző
volna. Így s(e) S s(eg) minden e € E(C)-re. Mivel Fg—
Soroza72
t van, ennyi a különböző áll, van legalább egy olyan eg € E(C) — (eg)CE(F) él,
1 Fo — eg két különböző komponenséhez tartozik. Nyilván
Í e0) u (eg) is. Márláttuk, hogy s(e1) £ s(eg). Nemet:
ellentmond F;minimalításána
Csakk.
s(e1)—s
lenne,amelynek eggye!többközöséle15)
AI ja
ká ,Ealertől megkérdezték Königsberg lakói, hogy miért nem tug. H-beli. Indirekt tegyük fel,
résen os
gráfot, amelyet úgy kaptunk, hogy a G gráfból elhagy 6
hídjain úgy. hogy mindegyiken pontosan egyszer mentek át
G nem feltétlenül összefüggő, viszont összesen tuk
kündulópont nincs benne. a-nél keves ebb pontia veg
Az indukciós feltevés miatt
Euler-kór.Mivel G összefüggő, G" valamelyik kompominde n!
nensének
gb
amelyik H-ban szerepel. Nevezzük
azebben a komponensben t
, Tehát ha elindu
lunk az előbb talált közös pontból,
majd H-t, akkor egy H élszámánál nagyobb Élszám és el
ú zárt élsoroz
ellentmond a feltevésünknek. Vagyis H Euler-kór 0
Tétel. összefüggő G gráfban akkor és csak akkor van
E
a páratlan fokú pontok száma 0 vagy 2.
2.7. ábra. BIZONYÍTÁS: A 2.32. tétel bizonyításához hásonlóan belátható!
van Euler-út, akkor az Euler-út két végpontjának kivételével minden pont!
ereda következő definíció és tétel A másik irány bizonyításához viszont felhasználhatjuk a 2.32. tételt. ús
áratlan foku pont, akkor készen vagyunk. Ha 2 darab páratlan fokú pont
AG gráf Euler:körének nevezünk egy zárt élsort ha az él.
egyszer tartalmazza G összes élét. Ha az élsorozat n
kkor kössük össze ezeket egy újabb e éllel (párhuzamos éleketís
feltétlenül A keletkező G" gráfban minden pont foka páros lesz, így a 232. tétel
ta kapunk. van benne Euler-kör, ami definíció szerint tartalmazz
azeélet
a is.Hagyjuk e
fük, hogy
afenti definíció értelmében tehát minden Euler-kör egy 22 Euler-körből az eélets így eggy ENIKESENESRRNNNNENENNNT
fút is. Fon
mégtos
megjegyezni, hogy az Euler-kör és -út általában nem 268
Útalgráfban, hisz
egyen
ponton többször is áthalad. Precízebb lenne 234. Dettlá BRT B
ontosan
A aldál egytetszőleges pontjából, és járjuk körbe az másik városba milyen költséggel tud eljutni (repülőjegy, autóút ára):
(léa .kimenések"Pontba
ae ez pontosan annyiszor , mentünk
és ,bemenések" számának összege
sen szeretné az utak összköltségét minimalizálni. Ez a feladatsok!
felmerül, és csak bizonyos speciális esetekben ismeretesek jó
Így biztosan páros, 9; oldására.
"Elindukcióval bizonyítjuk. Tegyük fel, hogy j Ha most feltesszük, hogy bizonyos várósokból nem le
G egy n pontú gráf. Induljunk el a gráf egyes másik városokba, míg a többi városba egységnyi ké
2. Gráfelméleg
elemét az
8. Ebben
azk-adikösszeadandóagráf v,-ből va-ba vezető és v,-ból v,-be
mának szorzata. Így a skalárszorzat ezeknek az összegzése minden
c hogy lehetk — ( vagy
k—Js Ilyenkor számoljuk a hurokéleket is
ésvyközötti
2élbőlállóélsorozatok száma
eiében teljes indukcióval bizonyítunk, a fenti gondolatmenetet hasz.
felj hogy 1 — 1-re már bizonyítottuk az állítást. A definíció szerint
[NAL AzA" mátrix egymi) elemét ezért az A"! mátrix (-edik s ának
hálrix j-edik oszlopának skalárszorzataként kapjuk meg. Ebben a skalár
k-adik összeadandó
agráf v,-ből va-ba vezető r— 1 hosszú élsoroza
(ből w-be vezető élek számának szorzata. Így a skalárszorzat c.
minden k-ra,tehát m/ av, és v, közötti r élből álló élsoroza
29. ábra.
,Tétel. Válasszunk
kiaznpontú. e élű, összefüggő irányított G gráf körmátrj.
an 2 —n 4.1oszlopot.
Ezekakkoréscsakakkorlesznek lincárisan függetlenek,
ere alkotja.
a amegfelelő e—n 4-1él G egyfájának komplement
Hagy kétpólusú alkatrészekből álló villamos hálózatra fel akarjuk írni a Kireh
akkor gépiesen /: egyenletet kaphatnánk (minden pont.
"Láttuk (24.2. tétel), hogy ezek közül csak nm —c di lenne lincári.
gyakorlatban ezén a hálózat gráfjában (pontosabbai
A nnak min.
Jegő komponensében) egy-egy pontot figyelmen kívül yunk az áram.
B.€T-0 és 0-É zo
25. Síkbarajzolható gráfok
algoritmusokat kívá.
nem célszerű ezekkel a mátrixokkal projekció. Ez az eljárásmegfordítható,
haaz€
Tista, láncolt szomszédos. nem balad át rajta él, így a Bömbre rajzolt gráfok
kevesebb lépésszámú algoritmu. Evvel a módszerrel beláthatjuk, hogy bármely
tartománya egy másik lerajzolásban lehet külső tart
egy gómbre úgy, hogy a déli pólus a kiválasztott
Majd a visszavetítés előtt forgassuk el a gömböt égy,
kiválasz tott tartomány belsejében. jő
rmészetesen nem
210 ábra BIZONYÍTÁS: Tekintsük a gráf egy C körét (ha van)ésennek egya élét, AC kör
a síkot két részre osztja. Ezeket egyéb élek további tartományokra öszthalji
mindkét részben van egy-egy olyan tartomány, amelya
nek
határa. Haa-t el
(A körmátrix nemcsak, jékony, dé nem is alkalmas eszköz gráfok a két romány egyesül, azaz a tarrományok száma eggyel csökken. A ci
Es árráloknakís lehet azonos körmátrixa. gráfot a nem változik, tehát aelhagyásával az n— e 4-t érték nem változik.
si nösen egyértelmű
izomortnak nevezünk, ha élei között kölcsö st addig folytassuk, amíg a gráfban nem marad kör, Ekko
és hozhat ó létre. A 2.10. ábrán gyeng én izomor f (de nem izc egy feszítőfa maradt, E az állít
látók. Ezeknék alkalmas irányításesetén azonos akörmátrixuk. A gye! 3. tétel alapjáne-n—1
mórűiát használjuk
szokták 2-izomorfiának is nevezni, de mi az előbbi elnevezést Megjeg egjegyezzük, hogy a fenti tétel nem csak egyszerű gráfokra igaz, hanem:
TÜgyenez a probléma merülfel a vágásmátrixokkal kapcsolatban is. s- és hurokéleket tartalmazó gráfokra ís. Az Euler-formula
akör- ill.vágásmátrixok egymást egyértelműen meghatározzák
hhogy izonyítható a következő két tétel.
izomorfia definíciójában körtartás helyett vágástartást is mondhattunk
5.4. Tétel. Ha G egyszerű, síkbarajzolható gráf és pontjainak száma legi
kkor az előbbi jelölésekkel e £31-—6.
hogy a gráf pontjainak a száma legalább 3. Tegyük fel, 2.5.8. Definíció. A G és H gráfok tojpológikusan
összege egyenlő az élszám kétszeresével, 6n £ 2e. transzformációk ismételt alkalmazásával izomorf gráfokba u
26£6n— 12. Így viszont ellentmondásra jutunk, hiszen
jat zonban
2.5.9. Tétel (Kuratowski), Egy gráf akkoréscsak akkor síkbaraiz
tartalmaz olyan részgráfot, amely topológikusan
izomorf Ka 3-mal
A tételben szereplő feltétel szükségesség
ét láttuk, azeli
elég bonyolult, ezért nem részletezzük, Szinté n bizonyítás nélkül n
következő tételt.
2.5.10. Tétel (Fáry-Wagner). Ha G egy egyszerű, síkbarajzolható gráf,
211. ábra. zik olyan síkbeli ábrázolása ís, melyben minden élet egyegyenes szaki
tunk le,
2.17. ábra.
2.19. ábra.
be, hogy az ilyen lépésekkel mindig
gyengén
az állítás egyik iránya, a másik irány A bejárási algoritmusok formális leírásaelőtt.
í ábrán látható gráfon. Tegyük fel, hogy aza!
5; A
(va)
STOP 2.29. ábra.
Minden a-val egy komponcnsben
levő pontot bejártunk Vizsgáljuk meg a kétféle bejárás lépésszám-igényét! A széléss
Hai 5 v, akkor a gi keresés ése
tén sorra kell vennünk va összes szomszédját. A mélysé
gráf összefüggő. kell az összeset sorba vennün k az előr elép de
éshe v,rról
z, vis
tünk, ha már az összeset sorba vettük. Így minden ényépontbanaZ
fokszámával arányos. A teljes bejárás lépéss zám-ig
mával arányos (hisz di 4-d2t ..4dy29. B ban
véve, hogy a gráf nem feltétlenül összefüggő,
2.Gráfelmélet
2.30. ábra. [/
Élsúlyozatlan eset x Mind a mostani, mind a következő szakaszban I(e)-vel jelöük aze élhossz
dettó egy
en Valamennyi a igorítmusunk úgy fog kezdődni, hogy
6Gz(V.E) gráf ésegy Kitüntetett s€V pontja. GE
debb út 5-ból egymásik kiválasztott " pontba, vagy akár azt is, hogy mi d( )tömböt. Szemléletesen az u pontra d(u) értéke aztfogjajelenteni,
goritmus során eddig tal s kezdőpontból u-ba vezető utak közül a.
b úts-ből minden más pontba át nincse: hos: a d(u). atmbi
Ennek megfelelően először d(5) a 0 értéket kapja,
hogy az út hossza az utat alkotó élek s ávolságra
ésrövidebb élek). Ekkor s összes szomszédja cs a végtelent, vagyis minden algoritmusunk0.lépése tartalmazni;
ami maga nem szomszédja
szomszédok minden olyan szomszédja, d(5) — 0 és minden u sé s-re díii) — es
§gnyi távolságra van 5-től stb " 3 j p
szetés gondolat tehát, hogy a szélességi keresést alkalmazzuk a — 5 vá. utasításokat. .Nyilvánvaló továbbá, hogy minden algoritmus kuleslépése"
] Amikorazalgoritmu s ér, a kiválasztott ( ponthoz határozzuk meg a
véget
—uz
Ppont itszs; akkorag(wi)— 42 pontot; ha uz 7 5 akkor a g(u2)
ot;ha ha x-ből vezet egy e él y-ba és d(y) 5 d(x9)4.I(e)
b "Nyilvánvaló, hogy előbb-utóbb eljutunk egy olyan k indexhez, melyre
akkor d(y) — d(x) (e)
je. zéáááj
(SZ tkp dér—14k2 vett 1) Nem túl nehéz belátni, hogy ha a (ss) javítás semmilyen élre nem műki
tunk. Csak az a probléma, hogy ugyanaz azeél sokszoris
úts-ből1-be. c sokszor csökken a különféle x-be vezető élek miatt),
jirányított volt,akkor ugyanez az algoritmus az 5-ból 1-be vezető leg-
lyítot utathatározza meg.
tnek azalgorítmusnak a lépésszám-igénye? A bejár áshoz —mint már
arányos lépésszám kell, utána még annyi lépés, amil. en hosszú
or biztos, hogy w -nek az s-től való távolsága hi, hisz bárm
el elképzelhető, hogy az út hossza e (gondoljunk arra, a gráf Iva legalább ennyivel kezdődik az út, és a hossza csaknőhet
általában ennél gyorsabb algoritmus nem lehet (e) 5 0 minden e-re. A 2.31. ábramutatja, hogy különben
lenne így.) Ezt az észrevételt általánosítva elkészíthetjük a
goritmust;:
k és folyamok
páros gráfban
Ggráfot páros gráfnak nevezünk, ha a G pontjainak V(G
: Egy
te, egyAésB halmazra osztható úgy, hogy G minden élének egyik
másik végpontja B-ben van. Ennek jelölése: G — (A.B). A Ka
páros gráfolyanG — (A, B) párosgráf,ahol JAJ —a és [BI —b, és 2.9.3. Definíció. Párosításnak, vagy részleges párosításnak
béli pont össze van kötve minden B-beli pontta! halmazt, ha semelyik két élnek nincs közös pontja. Azilyen éleket!
nek ís nevezzük. A részleges párosítás lefedi éleinek végpontjait.
Egy
lefedi. de; b
2.33. ábrán. teljes párosításnak nevezünk, ha a gráf min.iden pontját
jan megismert Kz 3 Kuratowski-gráf is
N(X)-szel jelöljük egy X S V(G) ponthalmaz szom
él,
on v pontok halmaza, amelyekhez van olyan
5 csak akkor páros gráf,ha minden G-ben levő kör
y, másik pedig egy X-beli pont.
és!
29. Párosítások
akzkor vanA-t je
ES ÉT ré
ING)! 2 IXol.(Ezt a feltétel Erapy tarva (1, x-szel majd (x: 3
si g ellentmond 77 T"
ke "Tehát N(T) . Művelszögnek
r)a—77,
Ú(u
N(aTz
párosítás, akkor teljesül a fele. a TU (u) C A hak.lm OD
lelműen hozzárendelnek egy telj a es
Hall ül
-fel téte
Ennek a tételnek egy egyszerű követk b
ik be, hogy ekki
már van egy Af párosításunk.
"aHall-feltétet, és lássul amigylefedi ekkoraz vanX.€A.A 2.9.5. Tétel (Frobenius). Egy G — (A,B) páros
Teljes párosítás, ha JAl— IBI ésINGX)I sejtmindenXC A.
EA —X pont, amit nem (2.35 ábra). Minden v € g Jó ús
pedig legyen a B-beli, M által lefedett pontok BIZONYÍTÁS: A két feltétel szükségessége nyilvánvaló, Ha.
),akkor egy élet hozzávehetünk 4. sodik feltétel, akkor a Hall-tétel miatt van A-t lefedő párosítás.
Al — IBI, ez lefedi B-tis, DO té
A Hall-tétel bizonyításában leírtak alkalmazásával, javítóutak
kony algoritmust kapunk a maximális élszámú párosítás megt;
nimus magyar módszer néven vált ismertté. Azalgoritmus
Amíg tudunk, egy párosításhoz hozzáveszünk további függ
punk egy M párosítást, ami még nem feltétlenül maximális. Ha
séges, akkor keresünk egy javító utat, és ennek segítségével növeljük
A 29.11. tétel bizonyítása során adódni fog, hogy ha a javító utak n
M párosítás nem növelhető, akkor M-nél több élű párosítás
agráfban
Hogyan keressük a javító utat? Induljunk
ki egy A-beli, Máltát
4 pontból és mintha szélességi keresést végeznénk, menjünk elen
2.35. ábra szédjába, amelyeket bi, ...ba jelöljön. Ezek nyilván mind B-beli p
lefedi M. hiszen ellenkező esetben ennek a pontnak telehetne a párja,
hozzávehetnénk mi gy független élet. Miután M lefedi a by... bál
(
w-nak minden szomszédja X-ben van Ekkor is elő. ag ezek M által meghatározott párjait. Most mindem da.
ges ú azonba
hogyn,
növelni tudjuk a párosíélszámtását. Ha van egy olyan P út nem M-beli élen elérhető pontjába menjünk el, Látható, hogy
in egy
du 8—l,X"-bel t pontba n végződik § azok a pontok, amelyekbe vezet u-ból 3 élből álló altemálóút, Folytáss
sító or járást, amíg lehet. Tehát lényegében a BES algoritmust alkalmazzunk,
ső M-beli él sze város sorszámú szintről M-beli és minden páratlan sorszámú színtől
i azM-beliek száma. Az ilyen P utakat javító útnak nevezzük. Ha € adhatunk tovább.
M), vagyis ha M-ből elhagyjuk a P-ben szereplő
6 (MMPJJU(P— Ha eljutunk egy B-beli M által le nem fedett pontig, akkor talá
ozzáve többi P-beli élet, akkor az így kapott M" párosítá élszáma vga m, akkor nincs u-ból kiinduló javító út. Ha tehát eztaz;
szóba egyjavító utatvagy!
jövő u-ra elvégezzük, akkor vagy találunk
bb lesz. A javító utakat és részeiket", vagyis az olyan utakat, ame
ból indulnak és minden második élük M-beli, de a többi nem nincs ilyen,
(édidevítőúralsem növelhetjük a párosítást. Belátjuk, hogy 2.9.2. König és Gallai tételei
:
Legyen7"azon 8-beli pontok halmaza, amelyek elérhetők
feltevésünk szerint 77 C X", Jelölésünk szerint T a T" 2.9.6. Definíció, Jelöljük v(G)-vel a G gráfban naldbtő ő
TCX (d, a2.36. ábrát). Belátjuk, hogy N(T) —7" számát. X CV(G) egy lefogó ponthalmaz, ha G szülte
gy TC N(T). Tegyük fel tehát, hogy van egy olyan ontját tartalmazza. A lefogó pontok minimális számt tő
Legyen P egy alternáló út u-ból 4-be. Ekkor P G) lefogó élhalmaz, ha minden pontot lefog- A nincs beni
,utolsó és ha egy
élenemlehetazM-beli (xx)Ígyél,azonban V(G) függetles száma a(G).trv
p(G) jelöli, X.€ pontok
":nek kétszer kellene átmennie x-n. P-t pont. A független maximális
2 Gráfelmeélegr
V(A5l)—1 c HK) — 2
hagypéldáu
) beakövetkezis.
ő
enM egy
pizosvíTás: Először v(G) —t(G)-t bizonyítjuk. Legy
avító utak módszerével már nem bővíthetőés az
meg ezek között a számok között a következő
aza,
A X, T" azon B-beli pontok halm
,összefüggést adnak seit. Legyen UV
alternáló úton, T pedig ezek párjainak
halm aza asigét
T1U(X—T), En
Legyen Y—gnak ne aznak
ahalmk
entes G gráfra Jet lefo , hiszen N(TUU) ", agyáóst EL
(6)1 a(G) —IV(6)I minden hürökm minden €:
tásában. Így t(G
MI £ v(G), amiből viszont a 29.7. tétel miatt már!
az állít
lenek, ha a V(G fost már könnyű belátni, hogy a(G) — p(G). Gallai kéttétele
"EgyX halmaz pontjai akkoréscsakakkor fi összekötött
Hiszen ha X nem független, akkor van két fog le egy v(G p(G) — 1(G) 4-a(G), és az imént láttuk, hogy V(G) 5 5(G).
ha V(G) —X nem
V(G)—X nemfogjaleezt azélet Fordítva, mindkét vé
élnek Következmény: A 29 5. tétel bizonyítása után megismert magyar m
jaböző élet,akkor X-ben ennek az itmus V(G) és t(G) értékének meghatározására (sőt, egy
IV(G) —XI teljesül mind en X függ etlen ponthalmazra. Ebből pedig kony a
—YI mind naz, illetve egy minimális lefogó ponthalmaz megt
1(G)ral) £IV(G)I. Hason jan a(G) 2 (V(G)
4-a(G) 2 IV(G)I köve tkez ik páros
páros gráf an
amib 1(G)ől
iroi
M párosf
L Akko csak akkor létezik G-ben javító út egy
ésr
ítás
haMnem maximális élszámú páros
ván nem ma n a javítóút
: Havanjavító út, akkorMnyil
jutunk. Tegyük most
íjve azéleket, eggyel nagyobb párosításboz
INI 5 (MI. Feltehetjük,
fnemlétezikjavítóút,devanegy N párosítás, hogy ) élhalmaz
41. Teki ntaz MAN
sü k — (MUN ) — (MON
ól ú Nyilvánvaló;
Ezcsakizolált pontokból, páros körökből és utakb minden él!
vagyis sa,
élén a folyam értéke kisebb mint az él kapacitá
INj — (M]--1,IEC)! páratla n, í g y /-ban kell lenni páratla n útnak megnövelhetjük ant
Ez ezen út mentén a folyam értékét minden élen grófja,
elsőa
].ígyvanolyan páratla n út ís amelyn ek első és utolsó éle N-beli.
eávik él telített legyen. Ezt szemlélteti a2.41,ábr
javítóút. Ilyen javításr a azonban nem mindig van lehetőség, Legyen a gráfban .
v-t y út, aminek most nem kell feltétlenül azirányítás szet
I(Berge). Tetszőleges G gráfra a független élek maximális száma en01,
folyam értékét abban azesetben, ha mindé
nia. Növelhegül
) és f(e) c elen, vagy ez (Wiynésfled 2
uw)
Me an 12 ((G— 2) re vagy€ Vis Visa
tételben látni fogjuk— növelj
XgY(G) 2 első típusú éleken —mint a következő foly
így azössz
tékét, míg a második típusúakon csökkentjük,
közöljük a bizonyítását, mivel elég nehéz hívjuk. Egy ilyet szemlélte t a 2.41. ábra!
utakat javító útnak
harmadi lik gráfban nincs javító út
éscsak akkor maximális, ha
29.19. Tétel. Egy foly: am értéke akkor
Gegyirányított gráf.Rendeljünk minden éléhez egy c(e) s-ből r-be.
amit azélkapacitásának nevezünk. Jelöljünk ki továbbá
termelőnek illetve fogyasztónak hívunk. Ekkor a BIZONYÍTÁS: Le: en P egy javító út. EkkorPminden ( po
f(e;), a máso dik tíjpusúra pedig az f(e) érték szigorúan
sodik ;
f(e)-t d-vel. amá
o edett
megetngt
növeljük
la módos is
folyíamt
yan ?
;javitóút5-ből-be. Lehetnek azonban ol me g, hi
os t ne m köv ete ljü k
"zavitó úton. (M az ily en po nt ok hat;
Legyen
hogya 71 legyen)müres,hiszen 5 €X.t € V(G) -X
L A V( G) —X ne
tbólegy nem X-beli y.ba
amely egyX-beli x pon e vezető javító út enyej
az s-ből x-b ol
ltatna Ugyanígy egy
jesül, hogy /(e) — 0. Tehá,
lgá
vezető javító utatszo
"s-ből.
gd bő l eg yX- be lt bemu ta tel
t.
n VIG) a y X közFe
ött futó élek mind telítettek, és a visszafelé mutató éleket
n
MESS ezena vágánesmo
folyhat át több víz. Vagyis / maximális
ben
243. ábra,
mB tte
PERT-móds zer Az elnevezés az angol Progra
niguc svidítéséből származik.
ük fel, hogy egy Összetett feladatot Kell
n )él előre-él, a (w.y) él vissza-él sjá az egyes részfeladatok nem végezhetőek úr ezzeltatÉ
ába(a.5
2.47.ábragrálfjaz ő r e - é l e k , a
kás hogya mélységi erdőhöztart ozóélek mind e l pítés 50 arán a kőművesmunkák nyilván megelőzik a festési ki
ató, hogy egy (p, p") kere szt- élre "ay G eráffal szemléltethetjük, melynek pontjaiarészfelada tok;ési18
Az is kön nye n lát h
élaztfejezi ki, hogy az részfeladatnem
bi éle! ilyen lehet.
Ha ugyanis lenna e gráfban például egy (u,y) (49) irányított ilyenkor 2
kell kisebbnek lennie. az y meg lát a nélkül kezdése után / idővel. !— 0 is lehetséges: a ésy
mem léptünk volna visszaősé1-be
n
ételből vagy y későbben
ge rögtön kitűnik az alábbi észrev
"osztályozásának jelent
or és csak akkor van irányított kör, ha a
gy irányított gráfban akk
rás során találunk vissza-élt.
ége a szakasz végén követ.
égségesség persze triviális, a szükségess
musból fog adódni.
gráf V ponth lmazának azt a V
:emeletekre bontásnak az irányított
J.U partícióját (ha ilyen létezik), mely ben bá mely (x,y) ir ított
"Viés y E V/.akkor ( £ j teljes ül és nincs olyan él ami két V.-beli pont
hogy ilyenkor Vj elemei források (vagyis be-fokuk zérus) és
Vil
, aforrások és nyelők létezése
(vagyiski-fokuk zérus)de
letekre bonthatóságot.
]
Gráf erősen összefüggővé irányít.
ellenőrzése ű
]
sot különböző színűreX(Kn)színezün k, az jó színe.
£(G), hiszen ha minden csúclehet kiszí nezni , tehát —"
-etennélkevesebbe nemlis
páros,
zó G gráf akkor és csak akkor
Tétel. Egylegalább egy élet tartalma
G)s2.
t pirossal, a
NYÍTÁS: Ha a gráf páros, akkor az egyik oldalon levő pontoka
Ha agráfnak van
Jevőket kékkel színezve 2 színnel színeztük a £ áfot.
színűre,
jegyéle,akkorennek kétvégpontját nem színezhetjük ugyanolyan
2 szereplő
definíciójában
G) — 2,akkorakét színosztály épp a páros grál
"me gfekéthalmaz
lel lesz
ő (Id. 29.1 definí ció)
ó
ció, G egyteljes részgráfját klikknek nevezzük. A G-ben találhat
éretű klikk méretét, azazpont szám át
60(G)-vel jelöljük és a gráf klikk- 2.52. ábra,
zög, akkot
Először lássuk be, hogy ha Gyrban neni volt hároms
2. Tegyük fel, hogy mégis van három szög Gesirben, !
azaz 40(G4
hiszen ekkor volna háro
ván nem lehet mindhárom csúcsa Gg-ban,
kettő csaku éstt)
Ha w a háromszög egyik csúcsa, akkor a másik
a
Ha uja A
nem szomszédosak.
kus számra élespéldául olyankor, ha a gráf egy teljes radt, hogy a másik két csúcs Vx ÉS Vgs
ÉSVya hanem VipVz5
áf is,amire nagyon rossz ez a korlát. v; szomszédaival, ekkor nem csak tis Vx
a.
211. Gráfok színezése
ÉK TÓ N
léma, amel szédja mindkét komponensben,
E E K
Tim lehet prob
S S S
1. Azolyan ezek végpo
S
t nem váláltoztattuk fel és G2-ben is. Így nem lehet A 4-1 pontú teljes
E
gre Ekkor
(Brooks). Ha G egyszerű, összefüggő gráf. nem teljes gráf. és nem Most tehát a tételt már csak 3-szorosan Összefüggő nemteljes
ú akkor X(G) £ 4 — maxseviGy dl), azaz ekkor a kro
n hosszúságkör, belátnunk. Legyenek vr,va,wa olyan pontjai Genek, amelyekre (vi
k,
em nagyobb, mint a maximális fokszám E(G), de (viva) € E(G) Ilyen pontok biztosan vanna
és összefü;
"iskönnyen látható, hogy A — 2 esetén a grát cs egy egy- A gráf többi pontját úgy alkarjuk megjelölni va,
is, Mivel G
leltet. Ha út, illetve páros hosszúságú kör, akkor nyilván pontnak legyen nagyobb indexű szomszédja
Enneka n
[A fennmaradó cset a páratlan kör. Ez pedig megfelel a a G — (viva) gráf még biztosan összefüggő.
ítőfvan vartől ki
ának
szítőfája (2.2.5. tétel) és ennek a fesz
megfelel a feltételt [asonlóan
v-et és v2-t mondj
ax "EL ÁS. Mindig
2 Énél kisebb indexű szomszágsz
van. (Összesen legfeljebb A sz,
-nek ugyan lehet, hogy 5. 2.11.10. Tétel. Minden intervallumgráf perf
ekt.
vi és va. Tehát meztöli
BIZONYÍTÁS: Mivel az íntervallumgráfok feszíten
másik példa erre e; ezét t íselégbelátni, hogy azintervallumgráfok kromatikus szát a
korlát lehet nagyon rossz. Egy kikkszámukkal. j
! él), ekkorA —n— 1, viszont 6(G) — k. Mivel X(G) 22 0(G),
0(G), elégbel
Essga
(egyközépső ponthoz Cs atakozika— Legyen
aa színezni a pontoknak megfelelő intervallumokat balról jobba
intervallumok közül mindig azt színezzőktá;
balrább van, F intervallumot a A 4-1-dik színnel kellos 4
keelytlsa, jöláalt
Eöntt
;
Tegyük fel, hogy Béla gondol egy x egész számot 1 és n között. Ezta számot a L
nyítás nélkül
a témakörből még két tételt bizo kitalálni Aliz. Aliz megkérdezhetiBélát, hogy azáltalagondolt szám
— Megemlítűnk ebből k egésznél. Hány kérdésre van szüksége Aliznak ahhoz, hogy NETES 7
út -Stone). Hz
— 21Tét 1dős.
2el(Er Ha sorban minden számot megkérdezne Aliz, akkor legrosszabb esetben 1
hogy
te. de átlagosan ís n/2 lépésre lenne szüksége. Ehelyett jobb, ha aztkérdezi,
sa AG ZAT lagyobb-e 1/2-nél. Ha igen, elég a sorozat második felév hanem,el, adót
elég "
így a.
zatelső felével foglalkoznia. Minden ilyen lépésben megfelezi a sorozatot,
Kr. 1, hancm létezik lyan c(e,mi
G-ben nemcsak hogy van legalább egy osszabb esetben log2t lépésben végez.
ks
1-osztályú részgráf, amelyben az osz. 1
ans ís,hogy G-ben vanolyan teljesm szám van
Ez az eljárás nyilván akkor is használható, ha n tetszőleges
ontszáma legalább clogn. nem is mind különböző (és növekvő" helyett , mem csökkenő" sorrendről
van
e ha n nem éppen 2 valamelyik hatványa. Ekkor azeljárás során! 8a.
Tétel(Erdős-Simonovits). Hz G1,G2,.: :Ga adott gráfok, akkor létezik 1k/2] alsó vagy
egészrész
páratlan k számot kell , feleznünk". Ilyenkor
164) függvény, amelyre teljesül, hogy minden olyan G gráf- a
1. 62, zrész lép k/2 helyébe. A lépésszámás flógan! lesz.
IG) — n ése(G) 2 f(rG1.G2,...G1), van valamelyik G, gráffal
Mesmutatjuk, hogy nem lehetséges olyan algoritmust készíteni, ást Mogaitk
Azf függvényre teljesül, hogy n ennél kevesebb bármilye:
nél kevesebb összehasonlítással sőt, általánosabba mindig
1 2 amel vagy nemmel megválaszolandó kérdés feltevésével
— — (259 algoritmust
Tegyük fel, hogy Aliz készítené egy ilyen
min, 4X(G) — 1 ezt a feladatot.
rossz.
akarja mutatni, hogy ez az algoritmus
Ez 1 ésG— Ka. esetén X(Kn1) — 4 1 miatt (2.5) ay kérdést, a még szóba jöhető szi hogy
a " válasz zárja ki. Béla azt mondja Aliznak,
t, alka lmaz za eze kre az,algoritmi
és egy x számot, és megkéri Aliz ..,n sorozatra gondol,
! 2.
A valóságban Béla mondjuk az r6
re mindig úgy
x-re sem, hanem Aliz kérdései
afelét zárja ki. Így
jöhető számoknak legfeljebb
4
3. Adatok kezelése
3.3. Sorba rendezés
kevesebb nyké:t" h,Bar
iz fog: r]-nél
ilye eredmé
n Most ís elmondhatjuk, hogy atennyiben azösta e,
e t rm
sakábá
, amely esetén
ugyanezeke
r a, beszűrásokhoz szükséges mlantozgatészkos képes t,
számot 15 ez volt x. algontmus d
fogja rá", hogy Lényegében ugyani lyen lépéss zámmal
; szerte
s a, éésserre működika kt
rendezés isi s 3
ett tömb öss;z azét ZkE
Egy k és egy ! hosszú arendez
tómb legkisebb elemét És kisebbet isss
hozó valós számunk van, növekvő sor. két tömb két legkisebb eleme közül áttesszük a kisebbet aztbe
8
új tömbbea!k
hogya— 1darab ogre 1 be kell szúrnunk a sorozatba. Ez helyre. És így tovább, amíg minden elem átkerül
mo vallumból kellene kiíválasztanunk a megfe. sank-tI 1 összehasonlítást végeztünk. az.összefésült tömbbe. f;
Az összefésül léses rendezéskor előszór két nagyjából egyforma et
találjuk meg x helytbe ét, de utána1 az xután követke. rendezendő tömböt és a két részt rekurzívan összetééses rendezéssel
majd a két részt a fenti módszerrel összefésüljük. Megmutatható; hogyezarei
sszabb cse nn— lépésre anloga n összehasonlítást használ,
tás lényegesen idő- és pénzigényesebb műve. Léteznek olyan — bonyolultabb — algoritmusok ís, például
a kupacos
ahol nemcsak az összehasonlítások száma, hanem ateljeslépésszárís fendezés,
példái esetleg egy
(Gondoljunk
fizikai vagy kémiaiő
kís érl et ely 26 lentheti, míg
ctő felülről a legrosszabb esetben. Ezekkel részletesebben nem köles
et másodperc alatt) Ilyenkor a
tőbb millió elvégelezhhető k gjobbnak. Ha nem ez a helyzet, Felhívjuk viszont a figyelmet három további sorba rendező algotámúse;
a ft
nthető gyakorlatilag
szerűen működik. Az adott nszám közül előszörválsz
teki Össze hasoni ások szán lecsökkent.
a többi közül a második legkisebbet stb. Az összehasonlítások
1 (tehát nem csak az tot
roza
1]-re, de ehhez a so ruktúi ell alkalmaznunk, Ezzel
hanem más faj ta ada tst
vann 1jy2sent
ereds
bbi lépések száma ís maximum ugyanennyi (hisz azösszehasonlítás
zőer fel kell cserélni a két számot, vagy nem), Ha azösszeha-
38 Sorba rendezés nem nagy (pl. adott számokat kell összehasonlítani, és m sem
a rendezéséhez
nböző valós szám sorbnis
. Ezekutánazonnal látszik, hogy n darabehaskülö tás Tekintsük ugya aszámokat ű ű
miatt gyakran használják ezt az algorítmust
n népszerű a buborék rendezés is, amely szintén nem
elt röbb,mint log;n darabössz onlítoljára érkezettet szúrjuk b, ddi
asorrendben érkeznek, és mindíg a legu iszen cn? összehasonlítást használ:
, Világos, hogyösszesen A rendezendő tömb elejétől kezdve hasonlítsuk össze azegymás méllétt álló"
Vér.
a nagyobb elem van előrébb, akkor cseréljük fel őket. Haegyszer
az foga 114 [109221 4----t (log2n
:ész tömbön, akkor nyilván a legnagyobb elem foga tömbutolsó
onlítást végeztünk. ni, de a többi elem még nem feltétlenül lesz rendezve. Ezért ismét az
ami k a ism eljük meg az eljárást, az első n— 1 elemre ,az első.
majd ismét
belátni, hogy ha Aliz bármilyen olyan algoritmust készít, elejé
-nnel gy. nemmel megválaszolandó kérdést tesz fel, Béla tudúgy vála n —2elemre, stb.
cnloga n-nélisgyorsabb,
jaláb is elméletben), hog y
az nszám n! féle sorrendje közül a k-ik kérdés A harmadik algoritmus, a láda rendezés, még ek ésérték ük pl-
Rh sorr
€ en
szóba den. Aliz algoritmusa tehát biztos rossz, ha
jöhess : használható, ha a sorba rendezendő számok egész
n hosszúságú b(1),b
unk egy
S1oga(n). Mivel "ed (csak ismeretlen sorrendben). Nyiss
ali) szám értéke j, akkor a b
bín) tömböt. Ha az í-edikként beérkező a b!
4.log Hogy 1 az darab a(i)-re befejeztük, akkor
írjuk be az í értéket. Ha ezt mind olt
épp ; áll, hogy milyen sorrendben kell az ali) elemeket kobr—!
4), ak
fenti a értéknél (hisz minden felső egészrész kép-
sorrendbe kerüljenek: és
rüljenel Ha pl.1 5 é.
ink), megállapíthatjuk, hogy a fenti a érték (ami isebb,
a legk 4. eleme a kö
csakugyan, az d tömb 2. eleme
3. Adatok
3.4. Hogyan tároljunk gráfokat?
csak ertlépésszámú, Ésmég akkor ;
mem 1-től n-ig. hanem 1-tőj ei 221 ő aki
szeszoattató e
a b tömb hossza is egn elő
eket 234 IZ ERTSEZNERBB
1414
kiotvasáskor eltekintünk a zérus elem
3.1. ábra.
i 1 3 2 TARR 44 1 2 65
12 5 7 10.$4aegélenő 4.
a szomszédossági listák általában különböző hosszúságúak ,érdemes hogy hol kezdjükelazí-edik
tömbben tárolni, ésegy külön tömbben tárolni a , mutató Most is a v hosszú tömb i-edik eleme mutatja meg, ől. Azt azonba3 naz
ú tömbb
I kezdve kell olvasni egy adott pont szomszédait. Így a fenti pont szomszédainak kiolvasását az első 2 hossz
megfelelő eleme) mutatja me
tömb
lévő szám (tehát a második 2e hosszú szim bólu m jelz i, hogy
illetve egy speciális 4
hol fol:vitassuk az olvasást,
listának.
os, hogy ezzel a tárigényt közel megdupláztuk. Viszont
nk, csaka második tömb L-
sa esetén nincs más ICEMJŐI
3. Adatok kezel
3.5. NNP-beli problémák
z hozzá aka rnánk venni veni kezik-e egy
ha a gráfho
-ról 13-raésa 11-edik elem, ia teni, hogy például rendel ezzük az nézi
egy
olyam problémákat, amikor.
ob lé má na k nev
döntési pr 9),
eleme az első
tömbnek 5 áll.
3, am
.G összefüggt,ő-eame
kérdés (pl. azon ut vágen"
lyek az fi Outpmére
roblémák osztályá tének p in
jelölj
felülről becsülhető eidőb en mego ldhatók, Jelöljük P-vet. Például egy
gőségének eldöntés P-ben van. orlatban,
gezni, hol az egyik,
ük meg, mit is jelent a gyak
nem, T. rázegy
gráfelméleti mű
veletet akarunk elvé ), os oldani polinomiális időben vagyus 3000n$ lépésben, pépesA ;
különösen jób ntár ak(Id.a 3.1.. Táblázatot Font ben működik, míg a B algoritm
seb olási mód 98 f
a gépe. t, (mak oritt azA gráf
, elő nyö másodpercenként 10"? műveletetk végez s
példáut egé
túrák kb. cv? lépés. atju
lehet.) Ha 1 percig használhmego
belátható, hogy ezek adatstruk egy konkrét gráfel.
a
i, aholn£ [og36. 114,OLHa vag ZA Z ÉNSÉT 2
tsak az a kérdés. hogy olyan problémákat tudunk n £ldan(4/6 -T0T /300 0) — nasíMS
eldőnthető-e, akkor az adatstruktúra megválasztása sal viszont olyanokat, ahol A algoritmussal csak 51-re, al azonban egyóra áll.
a énéke nagyon nagy (Pl, a nagy bonyolultságú integ.
legfeljebb vlogv-vel fendelkezésünkre, akkor az re, a B-vel 260-re emelkedik a
) és ezért csak v-vel, vagy megoldható probléma méreteproblémák, amelyekre eddi
akkor a megfelelő adatstruktúra ki. Sajnos" vannak olyan l a Hamilton-kör eszsentltezn
KERSZ
lis algoritmust adni. Ilyen példáu
(HI) Input: G gráf. Kérdés: VanaG-ben Hamilton-kór?
-e
3.1. táblázat.
időigénye, ha a gráfot
éle gráfelméleti műveletek
Tárigény ésa különf szal gi tömbbel (B), rendez
ett Ha most egy varázsló megmondja nekünk, hogy G-ben van Hamilton-kór, és
(A), szomszédossákos sági ú listával (D) adjuk meg be tudom bizonyítani u tanárnak;
mutatja, melyik kör az, akkor én a vizsgán
y láncolt szomszédossás
d mátrix
(zomszédossági többa el (C) vag , ebben a gráfban van Hamilton-kör. Ha azonban nincs a grálban Hamúlton
kör, akkor a varázsló sem tud jobbat, minthogy minden egyes körről megmutatja.
nekem, hc 2 nem Hamilton-kör. Ezt viszont egy nagyobb gráfesetén eselleg egy
egész félévig is magyarázhatnám a tanárnak. Az olyan eldöntési problémák O$Z-
olyan segítséget
tályát, amelyeknél az igenlő válasz esetén a varázsló biztosat tud
bizonyítani, hogy a válasz igen, NP-nek
adni, amellyel polinom időben be tudjuk
szük. Pontosabban, egy eldöntési probléma akkor NP-beli, ha minden olyán
hogy
I puthoz, melyre a válasz igenlő, létezik egy olyan, I-től függő T tanú",
, másrészt / és
syrészt T hossza felülről becsülhető / hosszának egy polinomjával k
ben polinom időben ellenőrizhető, hogy a válasz igenlő. választ tud-
a nemleges
Eszetesen vannak olyan problémák is, amelyeknél ilyen
avarázsló. Az problémák osztálya
uk polinom időben bebizonyítani,hasegít jó
hogy ilyen a következő.
a co-NP osztály. Egyből adódik,
n-kör?
-e, hogy a G-ben nincs "Hamilto
(HP) Input: G gráf
P-beli problé mák esetén.
kből nyilvánvaló, hogy P c NP, hiszen a varázsló segítsége né
linom időben meg tudjuk határozni a Vi lő. A bonyolultságelmélettalán!
álas zt és ezál tal,
a válasz igen
be is tudjuk bizonyítani, hogy
kesebb m. se, hogy ítt vi
NP-teljes problémaosztályok
tárgyalt nem biztos) viszony
ztunk kifeja ezett en algoritmusokkal, de sok eddig el eldön- NP 0.co-NP-ben vannak. Ilyenek
például:
!felmerül kérdés, hogyan tudnánk számítógépp
problémák
3. Adatok kezelése 35. NP-beli
teljes feladatok
polinomrendű áll. NP-
3.2. táblázat.Nevezetes
]
bb x darab fug- ]
legalább
£darab fug- Van
getlen pont?
-e G minden éle legfel- 1
EG minden pontja leg-
Tegfeljebb K hosszú-
gú
számelmélet, algoritmusok az
fe
egész számok körében
4.1. Az alapműveletek
leírásához (logioxi
nimusokról volt szó,
csak a-tól és b-től függ
c-logx-szel becsülhető,
hető el polinomrend-
oz)
(tehát nem a kiszámításáh
vagyis logx-nek) exponencir
m legy
az adott két a,b egész sszáís
bemutatásával hogy
nnak 1; OZÓ úi n. euklideszi algoritmu
poli-
1(a.b)-um osztást
s b, akkor az a: b maradékos
Kon
107
106 dköeádt sége lű
§ deleg le,Látni fogjak
b-tosztjuk amaradókkat 59?
elvégezziák. majd 4. polinom időben előállítani
3 rasta £ És k rögzített számok),
csekkám legnagyobb Közös osz-
ré k: ak az euklideszi algorítmussál
kh
vege 1
c § a köngruens b.
ák a b számok
nazt
3 egi oroljuk az egész
A s adékosztálynak. Más szó-
7 Etna
Ekkor pe ; jék égy másikat azokmel a számok, ő
lyettesítve m kis. H il jabb osztályt azok, melyek kettő
sül
1-1 közösközös os oszt T £ kkor teljesül,1, hah a —b osztható m-mel
mrnek isosztó z " Hac árd áss
(mod m) telje.
de k,végül k is.
indéző m-1 k.
Korábban r
nunk, hog N nod m)
végiggondoljuk.
sorozat viszonyl
Ekkor viszo bíc-d
látható
t4-1 tényező egyike sem osztható n-
Nyilvános kulcsí ti
5.1. Mi a jelszó?
Flőkészítésképp tekintsük az alábbi problémát, A sz
runk helyezni fontos információkat
azzal,hogycsaka
valami jelszó igazolja a jogosultságot, akkor a számítógép belő
programozó illetéktelenül hozzájuthat a jelszóhoz,
ésazon keresztül
hoz. Elképzelhi e olyan , jelszó", amit
arends; maga.
ellenőrizni, hogy mi ismerjük-e? MEZ EÉSRESIÉROR
A 4.6. szakasz végén mondottak sugalljá k Váli
amegoldást.
jegyű p és a prímszámot és csak az n — pg szorzatukat adjuk
rendelkezzünk úgy, hogy annak adhatják ki az adatokataki
, a va
mondja meg. Annak ellenőrzése, hogy azadatokért jelentkező
k—g teljesüke)
au k szám osztója-e n-nek (vagyis k a p vagy
függmely
vé nygyű
a400-je nexszámho
k, z egy az előző gés e eésztstsa kikt
az új módszerek
x — D(y) függvényt
függvény inverzét, az Másik
nem kell (3) féle titkos kódot kítatálny,
hozza a saját C kódoló függvénye többi r—2 résztvevő előtt.
A régi utkosírások harmadik
megad ja), de titokban tartja a D dekődolg ényleg a feladó írt-e neki, vagy ,azeli
feladó) el akarja küldeni az x üzei pszAz előző pontban leírt rüddssáryat tet
C, kódolófügg.
akkor az általa ís hozzáférhetőmazza az 1-ik
a csak általa mindenki hozzáfér, nem csak
) üzenetet küldi el. A címzett alkal vevő,
eszéllytyt. Az dákí-ik fésztrésztves
c k ezt a veszé
rülhetjü 1.
D/(y)— DJ(C/(3)) —x üzenetet, A
aja
ésmegkap 2 €/(z) kódolást, majd ezt a w , özenetet külde
olhatatlan
ber számára y dekód ó és Di, Da... dekódoló 6) előszöracsak általa ismertD
Ci.Ca.r kódol függvényt alkalmazza, hisz
függvényeket készít eni, hogy re G(3) vagy D.(3) kiszámítása gyorsan
sen következtetni. Ehhez EADIWYY 7C(DKC) - e (gj
"elvégezhető legyen, de a C ismeretében D-re ne lehes
maprésztvevő válasz 200-jgyű
álaszt t kétkét 200-je je
prímszámot, , jelöl.
egyű príms G
A hogy azí-ik — így az üzenetet csak j tudja elolvasni, és bi;
Tegyük fel, Legye n ny — piti: Emlék eztet ünk rá, hogy o(n,) ey új módszer negyedik előnyét mkke eehetbenne;h
jükezeketpr-velésgevel)i 1
(Read
—
(p. —
av tása egyolyanc; számot is, melyre
1)(a,— 1),jelöljük ezta mennyiséget mvel
ezen kívül kiválaszt egy olyésan(4. 1 1)-hez is. Végül megoldva
1)- hez is
el 2 ny
egy
zők titkosírásaira gondolunk, hanem egyi jölágétizles.
sb. titkos üzeneteire, Itt ugyanis előfordulhat, hogy
nem fizet, így J-nek ,bíróság" elékell vinnieazügyet: Be.
ésamelyrelatív prí m
iát (Id. 4.5. sza kas z) meg hat áro zza azt a d, szá mot, melyre ú feladta a rendelést, tehát valamilyen értelemben A kapottw.
(41) típusúköngruenc nak x jelentését is be kell mutatnia, de a bírónak semákágja.
ed;51 (mo dm).
tán
"Ezu azí-ik rés ztvevő nyilvánosságra hozza az n, és e; számokat, viszont ti. D, dekódoló eljárását és nyílván nem kényszerítheti az vellet
olófüggvény egy x üzenethez eljárásának felfedésére. a látszólag sokkal kompli y.
tokban tartja a Pi,9i, "u és d; számokat A C; kód
hozzárendeli azt azy — C4(x) számo t, melyr e megoldható: A pert kezdeményező j nem csak wt,hanem azuci
dekódolt" üzenetet is bemutatja abírónak", A ,bító?kizárólagainyily
1 (mod n;), mára is hozzáférhető C;, C/ kódolási eljárások segítségévellet
gy
út tényleg j-nek jött az üzenet, és hogy (2)xs
(modn;). Így
az ) y-hoz annak d/-ik hatványát rendeli
míg a a D,dekódolófüggvény az í-től jöt üzenet.
ja
a jiszséé zart — [60] az x (mod n,)
5.4. Bizonyítás információközlés
nélkül
A titkosíi kal kapcsolatos megfontolásaink
mind azon§
özatokra bontjuk, majd mindegyik sorozat utolsó elemét úgy választjuk tett számokat nem tudjuk prímtényezőkre bontani, Ha
a probi volinomidejű algoritmust, akkor minden ílyen
gy e feltétel teljesüljön. Dekódolás után egyszerűen elhagyjuk az utolsó
törni
Márpedig lehet, hogy a probléma polinom időbeg m
, negatív" eredményünk, mint pl. a Hamilton-kör problémá;
(ami szintén nem bizonyítja ugyan a probléma P-nkívül!
valószínűsíti). Sőt, olyan pozitív" eredmény ísszülétett!
kn több gyenge pontjaisvolt. Mindenekelőtt, ha két sze- és Lovász), hogy egy némiképp hasonló probléma (égÉSZ
akart váltani egymással, akkor először meg kellett állapod- irreducibilis tényezők szorzatára bontása) éppen hogy poli
"(teháttalálkozniuk kellett egymással még az üzenetváltás
Volt módjuk, akkor biztosítaniuk kellett, hogy amikor az
út ís bemutatunk. ami nemérea prím felbontás ne.
NP-teljesség épül. Felí;fo
s ), hogy két adott gráf
algoritmus,
á sem ismeretes polinomrendű
olyan G gráfot, mely nek van Hami.
"tudunk konstruálni egy más nem
a a pontok nevétpermutál juk és így adjuk meg a gráfot,
benne ör
jé (mondjuk a banknak) azzal, hogy csak
-körét. Hogy győz.
ismeri G-nek egy Hamilton megszer.
bankárt, hogy jogosult az információét?
Hamilton-kör
a bankár ís ismerné G-nek egy
és azt állítja, hogy
"mutat egyGi gráfot
Csoportok, gyű
nálók
6.1. Alapfogalmak
A matematika számos területén találkoztunk olyan körül
számokon, hanem egészen más természetű objek
elvégeznünk. Ilyenek voltak például
avektorok vágya,
rixok illetve a lincánis transzformációk szorzása,
Most megadjuk a művelet általános definícióját.
l csoportnak nevezünk, ha
Egy G halmazt a művelette azaz a za!
mie
)e)-
:(b ; €
nden ab,c G esetén
(a.za4 Most a csoportaxiómák sátfo
gal Imazás
fogjuk vizs
elyre a ezeaza
vaeEG-re nogy a (b) és (c) pontokban megkövetelt
v. (b) 3e€G, am dali egység" illetve inverzelem létezését elői
re úg3yho dgyad7-d:aze l Él
— (0 VaeG:EG ük ogliáltásésyátgőha
Állítás.s. (1. átfoga
tele msz ámá t IGI -ve ! jelö lj ük, ésG rendjének nevezz 6.15. Áll lmaz
. A cso por port. ha
nem írjukkiú, ,aa:
ett ab-t írunk.
b helylyet 1:
a otgyakran
a művelet asszociatív, a (b) azt,
hogy létezik egy. (a) (ab)c —albo);
jelenti,
t az összeadás, akkor 0-val. A (c)
"izosáktl5fgyeljelőljük.ha a művele
tajsőt k nevezzük és a"!-gyel
jelöljük, A (4) 36€ G, amelyre ae — a;
ntb an eml íte tt ele
a! met aza eleminverzéne sét , ha ez
"po kommutativitási szabály teljesülé (9 a (b) pontban említett e-k közül van olyan
eg, vada
-csoportművelettől nem követeljük megporatról beszélünk. hhogy G
féle) cso hogy ad — eg.
( teljesül, kommutatív (Abel-
Példák: Legyen d aza egyik jobbinverze,
a. BIZONYÍTÁS:
ok Abel-csoportot alkotnak az összc
(1. Azegész, a racionális és a valós szám észe tes szám ok (NN) viszo nt nem
4), a term
dásra nézve ((Z,-), (2.4), (R.:, ad" 7 eg — egég z egg!
k Abel-csoportot alkotnak a szor.
4A A pozitív valósésa pozitívracionális számo
—— zásranézve((RT,), (Ot, 1 kapjuk, ezért eg baloldali egységelem
is.
a szorzásra nézve , és mint ilyen, a fentiek miatt egyértelmű. é
.1 x n-es invertálható mátrixok csoportot alkotnak
az a zdegzdad
A szabályos n-szög egybevágóságai csoportot alkotnak, ahol a művelet
egymás után való elvégzés. Megjegyezzük, hogy itt a csoport egységeleme
al , a csoport rendje 2, ugyanis van n darab tengelyes tükrő- Mindkét oldalt jobbról szorozva a! valamely jobboldalkinvei
helybenhagyással együtt n forgatás. A csoportot D.-nel jelöljük és függést kaptuk, tehát a! balinverz is. Ezzel igazoltukacső o
ortnak egy síkidom egybe-
nevezzük. Általában is definiálhatjuk
A második átfogalmazás előnye, hogy nem szerepelnek!
tációi (önmagára való bijektív leképezései) csoportot alkotnak mek.
A csoportot n-ed fokú szimmetrikus csoportnak nevezzük,
öljük, $-valrendje n!. Egy A halmaz elemeinek összes permutációinak 6.1.6. Állítás. (2. átfogalmazás) Egy asszociatív
jelöljük pontosan akkor csoport, ha tetszőleges a,b G-beli:
len olyan x és egyetlen olyan y elem, amelyekre
sai (Aut(I)) (csúcs és éltartó bijektív leképezései)
mint műveletre.
6.Csoportok, gyűrűk, testek,hágy
jobbal
júegységeleme. Az ax — € egyenlet
áliításfeltételeit, tehát G esöpbete eat példák: maga a;
den csoportnak részcsoportja
egyformán viselkedő csoporto
kat nem akarjuk megkü. 1 Mi ögyelemű halmaz. Ezeket a részesopo
ezektől különböző részcsoportokat valódi
csoportjának rész: A
zzük, ha van közti ük 2. A val ós számok additokív addit ív csoportja. ik
"Definíció.
izomorfaknak neveolya
csoportokat : azaz van
s, n egy
pedig az egés z szám
leképezé
lé tg művelettartó ját a
0:61—G2 5, A háromszög egybevágóságainak (Dy) részcsopon
Aznx m-es invertálható mátrixok csoportjának
4.
£.h E Gi esetén nánsú m nátrixok.
ké pe zé s, am el y bij ektív és tetszőleges
le
alkotjákapál
6(g)ó(h) — 0(gh) s. n elem permutációinak részcsoportját
Gi — G: 6. A nem 0 komplex számok (C— (0) a szorzásra nézve
— teljesül,JelöléseGi ze Gr. vagy egyszerűen Ennek egy részcsoportját alkotják az 1 abszolút étékűikomale
kósza
nak pedig részcsoportját az n-edik egységgyőkök.
saves sa számohogy
egész k, hogy at a rat-!za1,, áza
a—— al!Ekko azazvan
(2) vannak olyan k,/Eleg szegységelem. Legyen n a legkisebb ilyen szám
KMz(lmikeK, mely
jsebb ilyen számot a rendjének nevezzük, és o(a)-vaj je. részesoj
Definíció. t Ha ni nc s í)ilyen szám, végt en rendű elemről besze6. halmazt értjük. Legyen H £ G ztál yának e de e
(ordó .ere
t jobboldali (balolda li) mell ékos
pert nevezzük
a
Túnk sának
—11.ava, af!) Ezen elemek különbözőek, mert al
l ő á t l kg .
zneset
ola)eset én"! ar
dé
én(a)
!zzré
7( aholí—
nne,dz
Ulenü Jn Továbbá
zabbE
evlSTbsb mindenk
min
t píz AzÖTÉ
de € Z előáll ér .táonsi
k— 6.2.10. Állítás. Legyen H £ G. Ekkor
d 2 klgá
hogy jogos voltke
n— ! közölt ve ígazoltuk,
4 ee Hg
mi nd eg hat ván ya szé rép el az els ő ÉL
ó fog
l a g
alo mra ugy an: azt a szót használni (2) a Hg mellékosztály minden eleme reprezentálj a n
aHg
Játstáv zoli
dje megc8y ezik az által: erált részcsoport rendjévej
6.2.5. Áltítás. Egy elemren (3) két különböző jobboldali mellékosztály vagy egybeesik, vagy di
csoportokat ciklikus csoportnak ne.
62.6. Definíció. Az egy élem által generált (4) haHvéges, akkor bármely mellékosztály elemszáma megegyezik
vez zü
ésCyrn kjük.
eljelöl
ígygs1g€Hg 4
" elemű csoport BIZONYÍTÁS: (1)1€H,
Következmény: Minden"i2 0 egész számra van h— hig, At
(Valóban, tekintsük az (1aa", ...a77") halmazt, ahol a szorzás a fent leírt mó. (2) Legyenh€Hg. Ekkor vanolyanh, € H, hogy Hh
ol CHg.
ja ,éság
ra érvényes xh — (xhi) g össze függé s ig az hogy
"don történik. Ez egy n elemű ciklikus csoport
"aelemű ciklikus csoportrajópélda az n-edik kompl
ex egys ökök a szor: azt, hogy Hg CHh
ásra, a szabályos n-szög forgatásai vagy a számok összeadása modulo n.
Ezek a (19-ből és (2)-ből közvetlenül következik (3).
csoportok lényegében nem különböznek: A hg —hog egyenlőséget g7! -zel jobbról szorozva kapjuk, hogyhu
A
öz
higéshg különbez ne
igazo (4)-et. Cd
ljak,
6217. Állítás. Azonos rendű ciklikus csoportok izomorfak Most már kimondhatjuk Lagrange tételét:
IÁs: Legyen
G — (a) végtelen ciklikus csoport, Tekintsük a
6.2.11. Tétel (Lagrange). Legyen G véges, H £ G, EkkorH re
9G-Z jét.
ki ka s 1
((homomorfizmus tétel). Legyen 9:G — G; homomorfizmus. Ekkor (79NL/ "ENEETS
G1/Ker(ó) Im(ó) . permutációval, ahol £1 ny — (kiska cska) Pet
vénykompozícióval ellentétben balról jobbra végezzük, pél
ül a 0:Im(d) — G1/Ker(0), 6(ó(g)) — Ker(ó) e leképe-
jy0 izomorfizmus. Legyen£€ Im(ó) tetszőleges, x €Gi 1 2 37 47YfEVZNSAR
€ Ker(é). Ekkor d(A) —1G, miatt ó (xh) — 0 (x)
0(h) — (s 3 3 )
ek, hálók
testk,
64. Permutációcsoportok,
gyűrűk,to
6. Csopor
cserél KÁD BÉB 8
két permutációt fordított sor. 71), (— 1)ez lstású
nem kommutatív. az előző EZAGLEBBÉ ís változnak,ezég , azaz
Mivel minden permutác ió előál l egy
res ép AL AJTSA
MEg aagetet 2 , 4) ciklus, ahol
; 715 zttók
see páros
ót párossal szorozva Páro
pernt,mutáci
ros atla páratlan permutációt. sat, x
páros Párossal sz.
ís felírhatjuk. ,
AZ (irí2, Fadannal szorozva pedigadódik az alábbi
a
lynél ír í2-be, íz i3-ba, íg.
rációt jelöli, amead. títás PÁTOS permutáció,
bbiel emhelyben mar ;
pedigh-beképződik.a tö 646. Tétel. An aSn. [So Ar 2,
ugyan e
4 í
F8 ) §,-ben, ennek indexe 2, így
B
í (insiz sí) 7(iz "tációvag,
g BIZONYÍTÁS Tekintsük a
yben maradó elemeket fixpontoknak nevez.
ció.A permutációnáli 7helJ) transzpozóíciónak nevezzük.
(6.41. Definítes
0-5.
(ij),
zük. A ket " ciklusokat Ra AAhan páros
t
nper ókat áltaá lában. ia
mutácijciókat Di
ciklusokat ranúgy szorozzuk össze. mia c:
moz gat nak . Vilá gos, a hanpáratlan
, hiszen különböző elemeket (idot
jani cikhsókfelcserélhetőek jeképezést. (Ca a szokásos,
hogy Ker (0)— An. Lévén minden homomorfizmu Halkan
áció előáll diszjun kt ciklusok szorzataként. Ez a fel.
6.42. Áttítás. Minden permut
értelmű.
első di
fele.Im(6)
máso k felé
t.
—Ca miatt $5/A,5Cz,
s tehát(ő77 fgjenye
An72, ami íg 5
Árás sorrendtől eltekintve egy
b
6.4.7. Definíció. Az S, szímmetrikus csoport részcsoportjait
n-edfokúpe
ócsoportoknak nevezzük.
(aZS
MRNNTE EG) tés (24-i ETT (1,29(21r en) 7 (1.K) ösz
"megmutatja, hogy5,két elemmel generálható
47 ((1.2,-...(1.20)
m),
Legye n
apermutáció. Az i € j elemek inverzióban vi ióját, amely bármely g-hez annak h-szorosát, git-t ren
"permutációt párosnak illetve páratlannak nevezünk, ha a hogyki
elemek egy permutációja, ehhez azt kell megmutatni,
mekhez különböző csoportelemeket rendet. Nyilvánvaló!
81 — 82. Ez a megfeleltetés injektív, hiszen minden per
port eg: égeleméhez. A leképezés művelettartói mert
1
levezethető, hogy a paritás , összeszorzódik", Ugyanis, ha
torzunk az (i,j)(i c j) transzpozícióval balról, akkor az ó(hi)ó (ha) 7 6
(ab
6. Csoportok, győrűk, testek, hálók
BIZONYÍTÁS: Az állítás első fele. fi
mert ha valóban mindent tudnánk a permutá. MI (ag) Jac ag,
összes csoportról, ez pedig nem áll. Másrészt
ES ús Da izomori 56 egy részcsoportjával, de Az (1), (2) pontok nyilvánvalóan Ji
A tétel mellyen része(önmaga) A kocka egybevágósági cso. dig az (a, 1) (146) z (eb) az(tetek u Gő
már S-nak Jeyetétel alapján ezért G része Sss-nak. Ha azonban a höz tekintsüka sb) (ala) szösttetet
elemű. A Cay! ate]6-ig. akkor minden transzformáció felfogható 18
ip azaz1-6
1-ő számok permuitációjaként. Precízen megfogalmazva tekintsük 9468 B
(ab) ab
0:G—S —B alpi; a,
leképezést. Ker(0) — Ni, Im(g)
mindentranszfot rmációhoz
hozzárendeli azt a permutációt, ahogy -adódik. Hasonlóan kapjuk (5) másodikfela omerfemnas telbőlA
amely
Ker(o)—(1). hisz minden lap fix, a
ha kocka is helyben Érdekes megjegyezni, hogy azelőző állítás €y
a lapokat izomorf 56 egy részcsoportjával
"marad. Tehát G — Im($), azaz G 1jon két csoport direkt 1 szorzataként,
szorzata
eates Po
portok Állítás. Legyen G csoport, Ny GR
6.5. Direkt szorzat, Abel-cso as pontjai, azaz Nin 20G,
16 ésNN; és—teljesül
G, enekaz
előzőállt
csoportkonstrukció t bemutat
fogunk utatni szerepe megegyezik az elő ításbeli
NiésNy NONI
Ebben afejezetben ((a,b)la CA, b € B) halmazt
A x 87
s Veseeosonok Tekintsükaz
bib2) 9
Az állítás bizonyítását elhagyjuk,
azét
Nem
Tegyen (a1,b1) : (a2,b2) — (ara. nem, mert nem lesz rá szükségünk a továbbiakban aréráladj; !
szempontjából maga az állítás. Ha egy G csoportban verte ett f
6.51. Állítás. (A x B, ) csoport rendelkező Ni és N2 normálosztó, akkor azt mondj
a
Áltítás. [4081 — JAl[8]. Valamint vannak olyan Ni , N: B, hogy Csoportok szerkezetéről általában keveset tudunk. A fenti
közölt) állítás azt írja le, mikor áll elő egy csoport direkt;
ilyen csoport, de a csoportok nagy osztálya leírható a direkt
6.5.6. Tétel (Véges Abel-csoportok alaptétele), Legyen A!
előál ! prímhatvány rendű ciklikus csoportok direkt
szereplő prímhatványok egyértelműek, maguk a
6.6. Csoportok megadása, példák
6. Csoportok.
gyűrűk, testek, hálók
Nagy n-ek esetén
eza össz set
gar osi cny aholfeszes éget ézkes.
B 2 €46C3. Valóban. (a? ate) — c, Ségével a csoport bármely két elemét €
ös yBivegi
2-3: A tételalapjánCs jó. metszetük (e). e— ce,a — ata
Te), 6 denen jege] mm, tehát a két normálosztó szorzata C, 41) e) c zaenggygi e a
FafU geg a ggétégjet SZEGTE
e4 — Cs £C4 sőt legyen n — Pf... Pt. Ekkor Gy zz
ahol a kitevők összeadását és kivonását
Most tekintsük át a legföljebb 10 el modulo
nértjük.
ni, hogy adott n-re hány n-edrendű Abel. hogy más csoport nincs, általában nem közöl;
100. 100az alábbi módokon bontható fel prím, 1 elemű csoport csak az egységelemből álió e
4.25-2-225 5.552:2-5 -5.
Így 4 féle Mivel p prím esetén tudjuk , hogy a pedrendi csoport
C: Cas —CB Csgy, elemszámú csoport izomorfizmus véjélyzési
Cs ésCr85 Cs Co
GC 0CS DCS 9pCOCS . 7Cin CI 5; csoport besvan,a megfelelő :Á
Co
Izomorfizmus erejéig kétféle 4 elemű c:
ta a következő: Port van, AzegyikCa!
Zé
Csoportok megadása, példák
ai
6.6.
szimmetriacsoportja
Jelöljük az óra járásával ellenkező
szabályos es tükrözéseketty,2 ta-nel
ó gat
/ lvalfor ástf-fel, a tenge
eáayban2gne tenglyre l) való tük
ti és z.
rözszor
szöge x/n. így két szoms: s tenge
szomszédos tengely — tf-et, jobbrólt 1 szorozva pe.
fott szpg octt ájeg tet szorozva 1
14.—ffvaretkapjuk,amiből Mint látható, mindhárom e-től különbözi
mutatív, és két másodrendű elem szorzata Kéz
lásodrendű, fe
ken tsafzfnzfn csoportnak hívják, V-vel jelölik és izomorf Cs x Cz-vel, zta cságégétl
V ésC4nemi
Abel-csoportok alaptétele miatt. Könnyű iga
zol
hogymás
ni,
4-elemű
adódik. Ezekből azösszefüggésekből felírhatjuk a csoport művelettáblázatát, az Hatelemű csoportból kettőt ismerünk, Cs s Cs XICy és.Dy 5265
úgynevezett Cayley-táblázatot izomorfak, mert az egyik kommutatív, a másik nem. Más 6elemű:
Izomorfizmus erejéig öt nyolcadrendű csoport létezik. AzAbel-félék
C3, Ca x Cs €
és Cs. A nem kommutatívak közül Das
máret
ismerjük A
kommutatív nyolc elemű csoport a kvaterniócsoport:
09— (1.
juk1
,—i,—,
j,—k)
ahol
b. 83 4
hht4 -—-hijzkjkzikizj
tee-fe. 9 valamint minden g € 0-ra(—1)g —g(—1)- —g.
Zu 1 ds Ezekből az összefüggésekből bármely
két elem szórzi
va. SL 7 als
aját
Het f
12 ALBA
zés 1
47. További alapfogalmak
672 Ánítás-LegyenR gyűrű, a be R"
u a nellelem és az ellentett egyértelmű;
007070
41-i d -6-1-k í a)b ——ab;
eÜT ater
a tk / (Da
Jerez kh (—a)(-b) 7ab,
ESET
;
ert
süt
!
el
4
-k-i í
ONYÍTÁS: AZ első pont annak követke ménye, hogyR
KESKS Pa j-t- dásr Az a0—
LA a(0-4-0) — a04-a0 egy.
men míg0-ban hat negyedrendő elem van (í, j.k,—i, másiásodik pont adódik.
aGta A harmadik pont az ab--(- Hb z (a—, bg
ey
-ben csak kettő (/.17)-
li 3 b sség következménye, a negyedik pedig em e
két nem izomorf létezik. Ezek
€ és Cs x Cs arj b) 7—(-ab) zab. a § ennek folyománya, hisz:
ciklikus csoport: Ds és Cio — Ca x Cs. Más
ésaer
a diéd
ilván nem izomorfak
páldák:
1. Az egész számok kommutatív, egységelemes gyűrűt alj ka
szeadásra és szorzásra. Jele Z.
ztunk, amelyekben egy művelet
. Azelőző fejezetben olyan struktúrákkal foglalko ok, ahol lehet össze- 2. Az m-mel osztható e ész számok kommutatív gyűrűt alkotnak
"voltértelmezve, Gyakran merülnek fel olyan algebrai objektum veletekre.
. adniésszorozni is.
ha
6.7.1. Definíció. AzR halmaza4 és -műveletekkel gyűrű, 3. A racionális, a valós, a komplex számok kommutatív, eg
alkotnak a szokásos műveletekre. b;
(0)a4b-b4a Va,bER esetén;
4. Az n x n-es komplex (valós, racionális, egész) mátrixok
ebjrezatlbró]) Vab,cER esetén; egysé
kommutatív gyűrűt alkotnak a mátrixósszea
ésMálriks
dásr zorzástaal
.R-beli elem(jelöljük 0-val), hogy a0—0-4-a—a VacR esetén ségelem az egységmátrix.
EG-re3d E IGúgy, hogy a4-a! —0 (ahol0a (3)-ban szereplő elem); 5. Egy H halmaz részhalmazai az
tbjreza:(bsc) Va,b,cER esetén;
A--B—-(AUBJUANB) éSABZANB
-b)-éza:c4b:e VajbceR esetén;
"bjzcate-b Va,b,cER esetén. műveletekre kommutatív gyűrűt alkotnak. Az összeadás
neve szi
differencia. Az elnevezéstaz 0
íg, hogy félcsoportaszorzásra nézve. A szorzás --ját gyakran elk (AUB) (AB)
-(ANBJU(BNA)
illetve hetedik axiómákat jobboldali illetve baloldali disztributív
összefüggés indokolja. A nullelem azüreshalmaz,
az
elem, egységelemes gyűrűről beszélünk. A harmadik axi- Jegyük észre, hogy tetszőlegesa€ R eseténa?— a.Az.
"nüllelemnek nevezzük. Egy R-beli a elem összeadásra vo- rendelkező gyűrűt Boole-gyűrűnek nevezzük. Az
0 egyenlőség is teljesül.
nak nevezzük. Tekintsük most át a gy
Ezek arról szólnak, hogy egy gyűrűben teljesülnek 6. A komplex (valós, racionális, egész)
a polinomösszeadásra És SZOFZÁSTa.
orto
6. Csopgyűrűk k,
, testek , hálók
űr
értelmezett ) (folytonos) függvények gyűr
-részayenyyókb J()e) peoktezkosíisi ;3 Azegész számoknak részgyűrűjét , ez
számok n-nel vett osztásakor vet 2. A racionális számok részgyűrűje a valós,
...m— 1 maradékoknak megfele. lex számok gyűrűjének.
3. Az n x n-es komplex (valós,
kotják azon mátrixok, amelyeket eeő
Utolsó soraés
hair jan írjaleazalábbi
metmj e :jontda baítjön Z összes részgyűrűjét
ar, 0gran ri Ha
meny — mo, abol íjzkmá rt 6.1.7. Állítás. 2 minden részgyűrűje az (1) iát
za my. Ezt agyűrűt Za-mel jelöljük és a modulo
ja any, azegységeiei dékok) gyűrűjének nevezzük. Ha ez nem okoz BIZONYÍTÁS: Legyen R £ 2, R 4 (0), Ekkor R.-ben Podve
helyett 1-tírunk. a legkisebb R-beli pozitív egész m, Megmi
tg
Legyen s € R. Ekkor vannakom ge OS remsárek kett
Rgyűrű. Az0
IDeiaició. Legyen a € Relemet baloldali (jobboldali) nult.
űj Éeélz
havanhozzá0zb€R,hogya
nevezzük,
gy ab - 0 (ba 0).
ING Áítás. Legyenn— pt psz epét, m — pipi? ssPit. Ekkor nés m legna. értékhez jutunk. C
gyobbközösosztója
gyes Megjegyzés: Mindhárom függvény rendelkezik az úgynevezett
miatonba) pminaz aj ,
., panlas ba donság Az f egészeken értelmezett függvény multiplikatív, ha(c
(nm)
—pi a rájuk:
f(ab) — f(a)f(b). A d, c, p függvények multiplikativitása
közös többszöröse letből látszik.
2 N.aholavb —[a,b], a ésb legkisebb közös többszöröse, a b— 6.9.11. Állítás. en B Boole-algebra. Ekkor.
b legnagyobb közös osztója (a rendezés az , osztója" (a,b), aés
reláció)
(avby!zd Ab, — (akbyzdvi
3.Egy halmaz részhalmazai
ahol A,
V.B—A u8. AMBI
(——— AN B (a rendezés
tartalmazásy;
b BIZONYÍTÁS: A két állítás hasonlóan bizonyítható,
ezértmicsak az;
EA Legyen Haf0TJ intervallumon fol 1lytonos függvények halmaza, nyít;
a
31 fvazmaxífig), 10g— minff,e) a vb) v (d Ab) (avovd) Alavbvb) —(LVB)AGLVa) STATE
-0
c. a minden pontban kísebb-egyenlő), 1.6) A (a Ab) —(aa AG) V (bad Ab) — (0A5) VGA) 9
1 Ap nel
Tehát (a v.b) komplementuma dAb. 8
részcsoportjai, HV.K — (4, K), HAK zHNK (a rendezés a
.Ennek részhálóját alkotják a normálosztók, hisz két normálosztó Boole-algebrákból egyszerűen nyerhétbak EGES ;
tuma is normálosztó. vez. gy olyan gyűrűt, amelyben a — a teljesül minden 83 3
nincon
Tpag s se egység- se nullelem
lem,. AA másodii ik példában B Boole-algebra, a,b € B esetén legyen
példában az egységelem G,
nincs egy-
áló csoport. a nullelem a), ab (ant) V(bAd):
elemre (részhalmazra) telj új teljesülése.
j A
esülnek a Ellenőrizhető a gyűrűaxiómák
teljesül minden elemre.
CS(AVCJA(BVC)
6.9.12. Állítás. EgyBoole-gyűrű ko
610- Testek
6. Csoportok,
gyűrűk, testek, hálók
példák: kése.
racionális, a valós illetve a koz
ni R Boole-gyűrű, a.b E R. Ekkor a-ta — (aa)? — 92
aatata, azáza4a—2a—0. Ezzel az állítás második része, 1 Számok (0, R, C)
f ként aztkaptuk, hogy a——a mindena€R-re. a.b ES ék műveletekre.
őt ab— —baadódik. ab ——abmiatt ab— ba. DO ;
A modulo 2 maradékosztályok testet alk
ól kapott Boole-gyűrű egységelemes, az 1 az egységelem leírt műveletekre. Elég ellenőrizni, hogy az tnekÖn tk)
n-ne
ező tételarrólszól,hogyminden egységelemes Boole-gyűrű megkapható 1-1 7 1 miatt az 1 inverze önmaga.
ól, ésfordítva. A modulo 5 maradékosztályok testet alkotnak a
(Tétel. Legyen R egységelemes Boole-gyűrű. Ekkor R Boole-algebra az leírt műveletekre. lég ellenőrizni, hogy az 12.34 elsmeláek VS
1.171.2-356 14 47 16—1 miattaz1 ésa 4 inverzeönm
avVbzatb—ab aAb zab a3. aga,
. Balr
a!ól
-gyel szorozvab —0 Beszorozva g7—tel dg? — p? adódna. Azegyenlet lán d pi
páratlan, míg a jobboldalon páros hatványon SZerep vez.
VA. egyeílőségőjé
Az (arpva) S —bd
a ad
nem nulla számra.
- 61 o. Testek
R. Tekintsük az aa, ad3,:"-aaa elemeket. agy— a
az a-4-bi-4-cj- dk alakú számokat,ahol
"Tekintsük OÉS Eitosztómentesség miatt a, — a; teljesül, azaz azag,elem
"az összeadás a koordinátánkénti összeadás, az í, j, k el 44 Mivel n elem van, ezért fólsoroltuk az összes elemet,
k úgy,minta Ekkoradisztributív törvények őek azvan olyan e ER, hogy ae — a, 8
ő "két kvaterió szorzatát. Azaz legyen.
ató san tetszőleges b € R-re bae — ba, azaz
akot
4-dik) 4 (az 4 bit4 csj 4 d2k) — ae 0 1) 0. A mullosztómentesség ésaA 0 miattezcsak
atber ". Tchát e egységelem; Az aa; elemek közt szerepel
eis, azi
4 (bibi (erez) jet (di 4 d:)k
aba)
(arcat aza db: —d:bi) já (a1d: 3- azdi 4- bicz —bc) k ZONYÍTÁS: Zm akkor nullosztómentes, ha a,b€ 2, esetén
ab —0-ből a:
. Ezta halmazt a fönti műveletekre a kvaterniók (ferdejtestének, elemeit Pedig BZ következik, azaz m ]ab esetén m ] a vagy m( b. Ez pont a §
knak nevezzük. Mint a komplex számok körébe n, a kvaterniók közt is Ezzel azoltuk állításunkat. 0
.
értelmezzük
akonjugált ésanorma (hossz) fogalmát A Z,gyűrűt, ha mint testre gondolunk rá, F-vel is jelöljük.
zi
atbitcjtákza—bi—cj—dk és
6.10.6. Definíció. Legyenek L £ K testek. L-et K résztestének, K-tL 5 Y
ek nevezzük. Az K (L párt testbővítésnek nevezzük, K vektortér L fölött,K 43
feciproka is a komplex számoknál megszokott módon kapható. Hi fölötti dimenzióját (dimr(K)) a testbővítés fokának hívjuk, IK : L1-Ietjelöljük. Ha A
147Okvatornió, akkor k.K/Ik/? — 1. Ezzel igazoltuk a ferdetest axiómákat E véges bővítésről beszélünk. a,b,... € K eseténalegszűkebb olyan 9:
"valóban
nem test, hisz íjAji. tet, amely az a,b,. ..elemeket tartalmazza, L(a,bv:..)svel jelöljük;
ésazt
ézük meg, miben térnek el a kvaterniók a testektől Mint tudjuk, hogy L-ből az a,b, elemek adjunkciója révén áll elő. Az egy elem
9 n-edfokú polinomnak legföljebb n gyöke lehet. Tekintsük az x2 egy test ójával nyert bővítést egyszerű bővítésnek nevezzük, a megfelelő elemet
"együk észre, hogy ennek poli
a polinomnak a kvaterniók felett gyö elemnek hívjuk.
"Edk alakú szám, ahol b?4.c? . d? — 1, tehát végtelen sok gyö ke minden
ke van. Más Ismételt testbővítések fokáról szól azalábbi
hogy 27-11 —(x4-1(x—i) A (xtJ(x—J) —(x--k)(x—k)
ahol ( gyöke a polinomnak. Azon nban a különböző hel
yeken vett he
különbözhetnek, pl. i-t helyei ttesítve az első három fel
bontásba
6.10.7. Tétel (fokszámok szorzástétele). Legyenek K C LC M. Ekkor
D((— 0) —0, (i--jJ(i—j)— —24, (63-kJ(1—k) — 2 adódik. Végül M:KI-IM: IE: KI.
egyezni, hoazgy a--bi (a3-bj, stb.) alakú számok a kompi
rf
résztestjét alkotják a kvaternióknak. Felme lex számok.
rülhet a kérdés, lehet-e még a
ámokon ésa kvaterniókon kívül — esetleg valami
f. féle hasonló módszerrel
Példák:
t tartalmazó (ferdejtestet szerkeszteni. Errő
1 szól Frobenius 1. A CI R pár véges testbővítés, foka 2, C— R(i).
o -(gjnelne,
állítás alapján minden test előáll 0 vagy valamc!, bővítéseként. Vizsgál.
razt
azesetet, amikoX r2 F,. Legyen a € K tetszőleges. Tekintsük az
haz "Pa összeget.hat...$az a lat
Este ...41-a a
0a-0,
p-ger p-szer , ízó
Es elemet p-szerösszeadv
0-tkapunk,
a Ezt a p számot aK test karak.
k: nevezzük. Ha níncs ilyen p, 0-karakterisztikájú testről aK(a) 1K testbővítés fokan.
beszélünk,
:Tétel, LegyenK véges test. EkkorKelemszáma Prímhatvány
BIZONYÍTÁS: Az E Ba! alakú elemek nyilván benne vannak K(a)-bans
YÍTÁS; Vanoly
p.an
hogyF,£ K. K vektortér F, fölött. uk, hogyezek testet alkotnak, ezzel igazoljuk állításunkat, A testaxiórmák
ktortér bázisF,
a felett. Ekkor minden elem egyértelmű.
s ellenőrizni a műveleti zártságot, az inverz, nullelem ésegységelemlé
a Ez utóbbi kettő és az ellentett létezése nyilvánvaló. Két ilyen alakú szám!
Poe (a, eF) ilyen al; mert E Bit E vat — £ (B, 44)af.Két ilyen elem szorzatábani
íg
előfordulnak magasabb kitevős tagok is, de £ ca! zOrmiátt
LegyenLIK testbővítés, a c I. Az
a elemet algebrai elemnek
"ha vanolyan f € Kb) polinom, amel
yre f ÉV és f(a) —0. Ha
akkorazelemet (ranszcendens elem
nek nevezzük. Az L K
L mindeneleme algebrai K fölöt
t. azaz az n-nél mag; ba
) gyöke
a
ató tet.
abaxk 4-ba.gxket 4 tiz ehesek VAB ino
égünk
megvan hozzá, kevés
ítani, inkább példákkal szemléltetjü
k a fogalmakat. Legyen6 () —y. Ekkor
Az LO véges testbővítést normális az ige
Vt 0-ből p összes (€-beli) gyö
bőv. ítésnek hívjuk, ha van 0— (0) —c (b4B" beg Bt a,
keinek a. idjungálásával áll cnn) -o(goe)
elő.
bővítés egyszerű, itt is található primitív k
foka8. Megjegyzendő, hogy ezek szerint a 3 nem primitív elett a Ez a T(K IL) csoport, mint T(K )0) részcsoportja.
olható, hogya 93 ( primitív elem me Legyen most H £ T(K 10). H-nak megfeleltetjük
Kazon elemeit, ame
ik ráa Galóis-csoport vizsgálatára. Ez egy 8-elemű csoport lesz,
amely H minden eleme helybenhagy, azaz
Kgyékeit
Azi képe 2: lehet, mert gyökeaz2? - 1 racionális együtt
293 képepedig (zV/3,-i4/3) lehet. Ez összesen 2.4 8 H (a€K]o(a) — a VoEH).
Ésazí képe egyértelműen meghatározza
az automorfizmust,
ek mind automorfizmusokat határoznak te. A megfeleltetésből látszik, hogy bővebb részcsoporthoz szűke
test,bb
bővebbl
ak megmeg. Nézzü
Nézzükk
a
megfelelő automorfizmusoknál meg a hez szűkebb részcsoport tartozik.
Fi
6.11.4. Tétel (a Galois-elmélet főtétele).
(7) -ré (jeey7 A
0£L EK illetve H £ P(K 10) esetén, azaz a közbülső tésté
csönösen értelműen megfelelnek a részcsoportnak, Sőt, IL9jz
IS IL: H
ci 6 3 6. GJ an
§ nézsz E(R-t 4Fozt) sz
Hz eleeki
telmében ennek pontosan p komp
lex gyöke van, "amelyek
azonosak is. Két esetet különböztetünk meg.
Ha a karakterisztikus egyenlet győkei
X7iAuz valamilyen A, állandókkal. z1,22, . ..Zp, mind külön
ket rendre behelyettesí
Mivel a 0.1,2,..4p-i
tve egy egyenletrendszert kapunk a
1 pedig márkövetkezik (7.1). 2 7 zj, az ezekből képzett Vandermonde A,. gyi
delermináns nem nulla,
látható, hogy bármely 0 £ r c Tiz számra rendszerből megkaphatjuk a A, együtthatókat, és evvel megkaptuk ra
F(x) abszolút konvergens az A másik eset, ha í— 12... 5-re 2, keszeres győke a ki
úgy azösszes átalakítás jogos volt. nek. Ekkor az explicit alak
A későbbiekben nem fog.
azátalakítások jogosságát (ez néha egyáltalán nem
)ezetmeje hiszen a gencrátorfüggvény-technikának könny analízisbelj
ismeretében explicit képlethez jussunk, és
az a lényeg, hogy raz (Aa na fÜnktet ze
ha már m aptuk a képletet
annakhelyességét analízis-beli módszerek nélkül is bebizonyíthatjuk HAD 4 ADN EVA lelte ze
.épp a rekurziót alkalmazva) (teljes
Azelőbb említettük már, miaza generátorfüggvény, HAD An se KÖnket
yen,
most pontosan definiáljuk
Definíció. Egyro, ri,a. .valós számokból álló végtelen sorozat
ge! nerá. 7.2. Stirling-számok
amelynek hatványsorában minden i-re
az í-edik 7.21. Definíció. Jelöljük S(n,k)-val azt a számot, ahányféleképpennde b
böző tárgyat k nemüres csoportba lehet osztani (feltesszük, hogy k 2 1
Iz 420E nat Az S(n,k) számokat másodfajú Stirling-számoknak nevezzük.
4—reip
p
he 4] s
BSE; Sint tájat
7.3.3. Tétel.
5.-t8K
szeg
Bali ser v]- 5:
. mh
7 E sí- MEÉ 0] - BIZONYÍTÁS: Mivel k 5 n esetén S(n,k) —0, a Súrling-számok exp
felhasználva
- - k
z P $24-1) sdté B,7 Y S(n,k)— ÉS egere
fzA p! [es 5] pa zak
ormában márkönnyen elvégezhetjük a deríválást kéz
; TE
ami pedig épp az állításunk. 0
Most pedig foglalkozzunk a B, exponenciális generátorfüggvényével.
7.34. Tétel.
b E esetek,
nag
b tg Dee Tis
ÉR 8 — E 5(n,k), han 21.Például
sz zéreágáa Most keressünk explicit form ési ob
oknál, Előszöradjunkrekurziós formulaát Be, szálnokíra, S(n.k) (6-1)
st pe zó-ug Ho
Ha ezt az utolsó tagot deriváljuk, azt kapjuk, hogy 6(x) pé
—
(logb(x))" — b(x)/b(x) - e miatt tudjuk, hogy b(x)—
tansra. Tudjuk azonban, hogy ef" — b(0)— 1, amiből követki
Bis1 mi
raj nt / ( stb. A 7.1. ábrán látható rajzokat Ferrer-diagramoknak nevezik.
2 feb
z IV Most nézzük meg, hány pont van egy-egy sorban. Így n-nek egyolyan p
kapjuk, ahol pontosan k összeadandónk van, hiszen pontosan k sor van. !
hiszen
n— EZ.) ka. kétféle partíció között egyértelmű megfeleltetés van, tehát számukís mel
- [jedit — eri
173 asse
Evvel a Rényítől származó módszerrel megkapbatjuk azt is, hogy hány olyai 160600. ...
Partíció van,ahola csoportok mérete egy adott A C (1,2,...) számhalmaz elemei 2606... .—..
Például, minden í-re Az. - 0 helyettesítéssel megkaphatjuk, hány olyan pickló
Vanyahol a halmazok méretepárosszám,Általában az exponenciális generátoríoss
hosszó
30
§ 8g-
da
7.1. ábra.
7.4. Számelméleti partíciók
Az előbbiekben az volt a kérdés, hogy hányféleképp oszthat Evvel gyakorlatilag a következő tételt is bebizonyítottuk,
unk csoportokr.
halmazt bizonyos feltételek mellett. Az ílyen tipusú
felosztásokat halmazeln leti 3. Tétel. Az olyan partíciók száma, ahol a legnagyobb összeadandó legfeljebb
hívjuk, Számelméleti partícióról
beszélünk akkor,
akkor, haha az a kérdé. k, me; ryezik az olyan partíciók számával, ahol az összeadandók száma legfeljebb
fányféleképpenlehetaznszámot összeadandókra bontani, valamilyen megkötések,
P(n,k)-val azt jelöljük, , hogy hányf
iyfél eképpen lehet az n számot k
éleké
egész számösszegeként előállítani. Példáulppei ozitf
analógiájára jelöljük a 7. , P(n,k) menny P(4,2) — 2, P(5, 3) —2. A Bell. egéssői
iséget ?,-nel
nik
7.4.4. Tétel. Az olyan partíciók száma, ahol minden összeadandó különböző, mege
741. Tétel ezik az olyan partíciók számával, ahol minden összeadandó páratlan.
k
P(n4-k,k) z ) P(n,i)
ízt BIZONYÍTÁS: Legyen aj 4-a2 4. . dm — n, ahol mindenaz külön
e számokat a, — 2$b, alakba, ahol b, páratlan szám. Rendezzük át az
összeget a b, számok szerint. Egy d páratlan szám együtthatója §4-di
ál nem tőbb tag összegeként,
szummázás azon i indexek szerint történik, melyekreb, —d). Ha tehátő
zesen épp k darab összead. landóés képz el-
legyen. mi darab 1-est, Ya darab 3-ast, ,.., akkor n-nek egy olyan előállítását
landóhoz 1-et. Így az nk
l, Innen pedig már kövevetkezik
tkezi az állítás
számot állítot- minden összea andó páratlan. Elég tehát azt megmutatnunk, hogy
előállítást pontosan egyszer kaptunk meg a fenti módszerrel,
§ ei
11—)1— 1 — ő)
különböző számok összegére:
MIEN),
különböző páratlan számok összegére pedig:
UF EANI FŐee
Ez utóbbiból egyébként új bizonyítást nyert Eulér a 7.44.tételre.
04) generátorfüggvényei ugyanis megegyeznek.
é 7. c TELAZEBSEKÍNEN
[szd TE TETTETETT ENEJ] Ga.5 M-es mea NI j
Itt jegyezzük meg, hogy az eddig tárgyalt mennyiségek nagysi
korák
EGET
ETEJE ETÉ ték JNA hős
en Szorzatban1együtthatója éppen annyi, ahányféleképp
szk, alakú összegként, Ez viszont éppen egy partíc előáli k, 42424 Elég persze a nagyságrend érzékeléséhez annyit megjegyezni,
hogy
iónak felel meg gy (7.4)-et
4)részalapján könnyen látszik, hogy ba 5, (x). el 1ogB,sz nlogn
jelöljük az olyan par.
Benerátorfüggvényét, amelyben az összea. ida
ndók nem nagyobbak
TAR
1
Pal) - (Az2j(1—2)(1—
KAT e 7 7.5. Catalan-számok
ő) 1 — e)
miatt ez ik 1 £ Az alapfeladat annak a meghatározása, hogy hányféleképp zárójel
az összeadandók VögtáslbeSzáspáy 740) generátorfüggvényé- nyezős szorzat. ( Például a(be)d)e)f rossz zárójelezés.) Ezt a szán
"nál, Ekkor viszont lőljük. A C, számokat Catalan-számoknak nevezzük. Először
rekurziós formulát.
-;[ Bá (9 -w].
átabinomiális együt
thatót:
ESA
[2 AL0—2(01—9(1—6)(1—8)...(1— 24.42)
k -
TEKERTE
Tat eeBő)
szá
8.1. .Erdős-Ko-Rado tétele
Halmazrendszernek egy alaphalmaz részhalmazainak családját n
mazrendszereket írott nagybetűkkel jelöljük, legtöbbször -fel. ;
szer elemei az alaphalmaz részhalmazai, amiket nyomtatott nagy j
PI. A € F. Az alaphalmaz elemeit kisbetűkkel jelöljük: x,y €A.Mivel:
nem lényeges, hogy mik az alaphalmaz elemei, egy s elemű alapi 1
lólunk, és ennek összes részhalmazainak családját 2/"I-nel, Például haln
egy V alaphalmaz néhány kételemű részhalmaza. Ez természetesen
felel meg, a kételemű részhalmazok az élek. Emiatt szokása h
hipergráfoknak is nevezni. Ha az összes részhalmaz k elemű, akkor
pergráíról vagy halmazrendszerekről beszélünk. Így minden hurokmentes gr.
2-uniform hipergráf. Ebben a fejezetben általában arról lesz szó, hogy
hány részhalmazt lehet megadni úgy, hogy azok kielégítsenek bizonyos fe
Például bármely két halmaz messe egymást
$.1.1. Tétel (Erdős-Ko-Rado, 1961). Ha 9 C 2"! k-uniform halmazrendszer!
n/2) olyan, hogy minden A,B € F-re AnB £ 0, akkor
IF sín
BIZONYÍTÁS: [Katona O. H, Gyula, 1972] A házigazda ésn— 1 vendége e
alakú asztalnál akarnak leülni. A házigazda az asztalfőre ül, 9" elemei
k tagú társaságok, akik mind egymás barátai, és ezért azasztalnálk egy
helyre akarnak ülni, azaz egy ívet alkotnak az asztal körül. Ültessükte
vendégeket. Így bizonyos társaságok ívet alkotnak, bizonyosak nem.
rint bármely két társaságnak van közös tagja. Belátjuk, hogy legfe
asztal körül.
Az asztalon két szomszédos hely között egy pohár van.
annál a pohárnál kezdődne, akkor az egyik társaság jobbra,
tól, hiszen különben a két társaság megegyezne (minden
ost éyengíjűk a feltételta metszetmártás,
Tétel (Ray-Chaudhuri-Wilson, 1975). Legyen
köre L nemnegatív, n-nél kisebb egészek halmaza.
"van, ígyeddig k(n— 1)! társaságot számolt 945ösze relánBi
EL,akkor
E számoltak. Mindegyiket k!(n—fs
alkot ívetegytársaság. Tehátatársaságok száma $
visz
isága" (1-1), BIZONYÍTÁS: Legyen F — (A),
Az,
kzi
8.2. .Sperner-rendszerek
Mostantól másféle feltételt teszünk a halmazrendszerre.
822Tétel.
az A LYM-egyenlőtlenségben
összesk eleműhalmazból áll.
BIZONYÍTÁS: Vegyük az alaphalmaz elemeinek egi
óját (ez olyan, mint azülésrend az Erdő
Talamelyik eleme épp az (3... .X431-1) halmaz, vagyis
rabegymásután következő elemből áll, azaz egy ív. Az il;
J
teljesíti a Spemer-tétel feltételeit
(gr Sper. párokat fogjuk kétféleképp összeszámolni.
HaF € 7 és IFI—k, akkor pontosan kt(n—k)!olyan pe
Men F egy ív. Tehát a permutáció-halmaz párok jozkz száll)
(8.1) Jelöljük 74-val, hogy egy adott 2 permutációban
hány khosszúságú !
4elemű halmazok számát jelen. —F-ből. Ha két 7-beli halmaznak megfelelő ív első eleme mege
egyik ív tartalmazza a másikat, ekkor pedig 9 nem Sperner-rendszér: Tel
elem csak egy ív kezdőpontja lehet. Tehát £?.174S n. Belátjuk, hogy e
"azalaphal elemci egy permutációjának fele! me.ín), ahol csak akkor állhat fenn, ha minden ív egyforma hosszú. Ha
van. Egy tetszmaz őleges maximális láncnak legfeljebb egy szi minden elemnél kezdődik egy ív. Ha nem volna minden ív pedrzbsói
ai olyan ív, hogy a rákövetketkező elemnél kezdődő ív tövidebb nála.
"ha kettő szerepel, akkor az egyik ré: c a másiknak, de
m§ rendszer Nézzük meg, hány láncban szerepelhet egy A c nem Sperner-rendszer. Mivel a ciklikus permutációk száma (a—DL
FEDástbste Kjt darabmaximális lánc tartalmazza 4,7. halmaz párok száma legfeljebb (ni — 1)!n, és akkor éscsak akkor pontosan eni
"hozzárendeljük azőt tartalmazó maximális láncok. bármely permutációban az ívek hossza egyenlő, Mivel szónban övékkét g.
, akkor
ünk kétszer, mivel egy láncban nincs két elem a Spee, halmazhoz van olyan permutáció, amelyben mindkettő ív, így akkor
éscsak
pontosan ennyi a permutáció-halmaz párok száma, ha bármely két halmaz
a, egyforma.
DoAkt(n— kk)! S nt,
4-0 Ezt összevetjük avval, amit az előbb kaptunk;
el a tételállításátkapjuk. a
E fiktn—k)t— TD IFI(n—IFDLSANZÁJIZA
: (Spemer-tétel) Könnyen látható, hogy minden 4-ra igaz, Feg
hogy
és egyenlős ég akkor és csak akkor teljesül, ha § minden eleme egyenlő
. HAM halmaz,és ben az összes ekkora halmaz benne van. OD
baloldaltcsökkentjük, ha (7) helyett ( £)-t írunk. Így általánosabb tételt is bebizonyítunk, amit Bollobás, Katona, JaegerésPayanis
mástól függetlenül bebizonyított.
v
síkbarajzolható vágás 24
gráf 38 vágás értéke 66
Símonovíts 90
Skatulya-elv 17 vágásmátrix 37
Spemer-rendszer 179 valódi részcsoport .129
Stírding-számok .165 valódi részgyűrű 144
Stone 90 variáció 12
számelmélet alaptétele 106 véges bővítés 155
számelméleti partíció 170 végpont 24
Szekeres 17 visszavezethetőség 98
színezés 77
színosztály 77 w
szimmetrikus csoport 126 Wagner 41
szimultán kongruencia Whitney 45, 46
113 Wilson 114
Szíta módszer 18
szomszédos 22
KA
szomszédos élek 22
szomszédossági tömb 95
Z 126,143
szomszédsági mátrix 32
a 144
zám 23
Sztereografikus projekció
39
T
tartomány 38
telítetlenél 65
telítettél 65
teljesgráf 22,40
teljesmaradékrendszer 109
teljes páros gráf 56
teljespárosítás. 57
termelő 64
néhány, jórészt
A témakör hallatlanul gazdag irodalmából csak
könyvet emelünk ki.
s Olvasók Boltja
e Magiszter Könyvesbolt
Budapc 1
e Osiris Könyvesház
Bi
e Pont Könyvesbolt
k
Buda
e Szakkönyv uház
Budapest 1065
A véges
Matemat
különféle ika kül
Struktúrá önfél,
leh,
joglalkozik kka Bek összes
. A számí l zámi álásávai
ban, mind tógép
annak mű ek , "terjedése ót 0 és algorit
Mazásaib szaki köz a Sokka
an külön gazdaságta Mind a Matemati .
A könyv el
öser JOn
tos szere n i biológiai st k,
sősorban e Pet játszi
k
b, Ikal
a BME M zeket a té
atematik máka foglal
mára tartott us ja össze az
Véges mate nazott
m temat ELTE és
let címG ka vagy Komb ikus hallgatói szá
előadások in ttorika
algebra le hoz Emel
gfont lett száme és gráf
osabb clem lmélet És
villamosme eibe ís be az
rnök hallga ve Zetőt ny
mei tói számár újt, ho
című tárgy a tartott A
anyagát számítástudo
számára ta és a BME műszak
rr
rtott Bevezetés a sz iniorm
atiku.
nak nagy rész ámításelmé
ét is lefedje l tbe című tárgy an
y 1gá.
A könyv szer
zői évtizedek
Pesti Műszak óta oktatják
i és Gazda ezeket a té
ságtudomány gyakat a Bud;
Eötvös Loránd Egyetemen
Tudományegye valamint az
tem n