Professional Documents
Culture Documents
Diszkrét
matematika
LOVÁSZ LÁSZLÓ
PELIKÁN JÓZSEF
VESZTERGOMBI KATALIN
E lm életi m a tem a tik a
A sorozat kötetei:
Bolla Marianna - Krámli András: Statisztikai következtetések elmélete
Borovkov, Alekszandr A.: Matematikai statisztika
G. Horváth Ákos - Szirmai Jenő: Nemeuklideszi geometriák modelljei
Járai Antal: Modern alkalmazott analízis
Kiss Emil: Bevezetés az algebrába
Komornik Vilmos: Valós analízis előadások I—II.
Lovász László: Kombinatorikai problémák és feladatok
Praszolov, Viktor V.: Lineáris algebra
Rózsa Pál: Bevezetés a mátrixelméletbe
Safarevics, Igor R.: Algebra
Simonovits András: Válogatott fejezetek a matematika történetéből
Stoyan Gisbert: Numerikus matematika mérnököknek és programozóknak
Szász Pál: A differenciál- és integrálszámítás elemei I—II.
Tóth János - Simon L. Péter: Differenciálegyenletek
Weeks, Jeffrey R.: A tér alakja
L o vász L ászló
P e l ik á n J ó z s e f
V e s z t e r g o m b i K a t a l in
Fordította
Csaba Ferenc
Budapest, 2010
A könyv a Typotex Kiadó által indított, az Igényes Tankönyvkiadásért
Program keretében jelent meg.
Az első kiadás megjelenését a Felsőoktatási Tankönyv- és
Szakkönyv-támogatási Pályázat keretében az Oktatási Minisztérium
támogatta.
Kedves Olvasó!
Önre gondoltunk, amikor a könyv előkészítésén munkálkodtunk. Kapcsola
tunkat szorosabbra fűzhetjük, ha belép a TypoKlubba, ahonnan értesülhet új
kiadványainkról, akcióinkról, programjainkról, és amelyet a www.typotex.hu
címen érhet el. Honlapunkon megismerkedhet kínálatunkkal is, egyes köny
veinknél pedig új fejezeteket, bibliográfiát, hivatkozásokat találhat, illetve az
esetlegesen előforduló hibák jegyzékét is letöltheti.
Kiadványaink egy része e-könyvként (is) kapható: www.interkonyv.hu
Észrevételeiket a velemeny@typotex.hu e-mail címen várjuk.
E lő s z ó ...................................................................................................... 8
1. Számoljuk össze! 10
1.1. Andrea születésnapja ........................................................... 10
1.2. H a lm a z o k ........................................ 13
1.3. A részhalmazok s z á m a ............... 19
1.4. A részhalmazok számának k ö zelítése........................................ 24
1.5. Véges karaktersorozatok.............................................................. 25
1.6. Perm utációk................................................................................... 26
1.7. A rendezett részhalmazok s z á m a .............................................. 28
1.8. Adott elemszámú részhalmazok s z á m a ..................................... 29
4. Fibonacci-szám ok 74
4.1. Fibonacci f e l a d a t a ....................................................................... 74
4.2. Azonosságok s o k a s á g a ................................................................. 76
4.3. A Fibonacci-számok k é p le te ........................................................ 80
6 TARTALOMJEGYZÉK
5. Kombinatorikus valószínűség 85
5.1. Események és valószínűségek ....................................................... 85
5.2. Kísérletek független megismétlése................................................. 87
5.3. A nagy számok tö rv én y e.............................................................. 88
5.4. A „kis számok” és a „nagyon nagy számok” t é t e l e ................... 91
7. Gráfok 133
7.1. Páros és páratlan fokszámú p o n to k .............................................. 133
7.2. Utak, körök, összefüggőség..............................................................138
7.3. Euler-séták és Hamilton-körök........................................................142
8. Fák 149
8.1. Alternatív definíciók....................................................................... 149
8.2. Hogyan növesszünk f á t ? .................................................................151
8.3. Hogyan számoljuk össze a f á k a t ? ..................................................154
8.4. Hogyan tárolhatunk fákat?..............................................................155
8.5. A címkézetlen fák sz á m a .................................................................161
Számoljuk össze!
Amikor helyet akartak foglalni az asztal körül, nem tudtak dűlőre jutni ab
ban, hogy ki hova üljön. Andrea azt javasolta, hogy félóránként váltsanak
ülésrendet, egészen addig, amíg minden lehetőséget ki nem használnak.
- Rendben, de neked az asztalfőn kell maradnod - tette hozzá Gábor. -
Elvégre a te születésnapodat ünnepeljük.
Meddig tart a születésnapi buli, ha az egybegyűltek minden lehetséges
ülésrendet kipróbálnak (Andrea helyét nem változtatva)?
Képzeljük el, hogy egyenként akarjuk leültetni a társaság tagjait. Kezdjük
az Andrea jobb oldalán lévő székkel. Ezen a széken a vendégek közül akárki
helyet foglalhat, vagyis 6 választásunk van. Ha viszont - mondjuk - Bélát
már ideültettük, akkor a következő székre már csak az 5 megmaradt vendég
közül választhatunk, és persze ugyanez a helyzet, ha az első székre nem Bélát,
hanem Csabát, D órát... ültettük. Az első szék esetében rendelkezésünkre álló
1.1. ANDREA SZÜLETÉSNAPJA 11
Barátaink tíz nap (és tíz éjszaka) mulatozás után sem akarták, hogy kifullad
jon a buli, ennek érdekében új témákat kerestek. Ferinek tám adt egy remek
ötlete:
- Dobjuk össze a pénzünket, és nyerjük meg a lottót! Ennél könnyebb
dolog nincs is: kiszámítjuk, hány szelvény szükséges a biztos nyeréshez, és
pontosan annyit töltünk ki. Hány szelvényt is jelent ez?
(A szóban forgó szerencsejátékban 90-ből 5 számot kell eltalálni.)
- Ez olyan, mint az ülésrend - vélekedett Gábor. - Gondoljuk csak meg:
Andrea bejelöl egy számot, aztán továbbadja a szelvényt Bélának, aki szintén
beikszel egyet, majd Csabának adja a szelvényt, és így tovább. Andrea 90,
Béla már csak 89, Csaba pedig 88 szám közül választhat, az első két számot
így 90 • 89-féleképpen választhatjuk ki, ugyanezt a gondolatmenetet követve
tehát azt kapjuk, hogy 90-ből 5 számot választva 90 •89 ■88 •87 ■86 különböző
lehetőségünk van.
Andrea nem értett vele egyet.
- Szerintem inkább a kézfogások problémájához hasonlít - mondta. - A te
gondolatmenetedet követve bizonyos szelvényeket többször is megkaphatunk.
Lennének például olyanok, amelyeken én jelöltem be a 7-est, Béla pedig a
23-ast, és olyanok is, amelyeken a 23 az én számom, a 7-es pedig Béláé.
A gondolatmenetet Csaba folytatta:
- Hányféleképpen kaphattuk meg - például - azt a szelvényt, amelyiken a
7, 23, 31, 41, 55 számokat jelöltük be? Andrea jelölte be az egyiket, azután -
bármelyiket jelölte is be Andrea - Béla a maradék négy közül akármelyiket
választhatta. Ez pedig már valóban olyan, mint az ülésrend, a lehetőségek
száma tehát 5 • 4 • 3 • 2 • 1.
- Ezek szerint tehát - fejezte be a gondolatmenetet Dóra -, a Gábor
számítása alapján kapott 90 • 89 •88 •87 •86 szelvény között minden számötös
12 1. SZÁMOLJUK ÖSSZE!
így aztán inkább egy jó kártyaparti mellett maradtak. Andrea, Béla, Csaba
és Dénes bridzsezni kezdtek. Amikor a leosztás után Csaba a kártyáira pil
lantott, furcsa érzése támadt.
- Úgy vélem, ezt a leosztást egyszer már láttam.
- Ez meglehetősen valószínűtlen - mondta erre Dóra.
Mennyire valószínűtlen? A kérdés tehát a következő: hány különböző le
osztás létezik a bridzsben? (A pakliban 52 kártya van, és minden játékos
13-at kap.) Az Olvasó minden bizonnyal rögvest felismerte, hogy ez lényegét
tekintve megegyezik a lottószelvények problémájával. Ha Csaba sorban húz
egy-egy lapot, akkor az elsőt 52 lap közül, a másodikat 51 közül választja,
így az első két lapot 52-51-féleképpen választhatja ki. Ha tehát 13-at választ,
akkor ez összesen 52 • 51 • 50 ■... • 40 lehetőség.
így azonban minden leosztást igen sokszor vettünk figyelembe. Ha például
Erzsi belepillantana Csaba már elrendezett lapjaiba (mindegy, miért tenne
ilyet), és megpróbálná kitalálni, milyen sorrendben húzhatta ki a lapokat, ak
kor a következőképpen okoskodhatna. „A 13 lap közül akármelyiket húzhatta
elsőként, a második lapra már csak 12, a harmadikra pedig 11 lehetősége
volt, és így tovább. Megint az ülésrendnél tartunk: a kártyáit 13 • 12 •... • 2 • 1
különböző sorrendben húzhatta ki.”
Eszerint tehát a különböző bridzsleosztások száma
52•51-50-•-40
635 013 559 600.
13 ■12 • ••2 • 1
Annak valószínűsége tehát, hogy Csaba már találkozott a kezében lévő la
pokkal, 1 a 635 013 559 600-hoz, ez pedig valóban meglehetősen kicsi.
A hat vendég végül sakkozással ütötte el az időt. Andrea, aki csak figyelni
akarta a játszmákat, három sakktáblán is felállította a bábukat.
- Hány párt alkothattok ti hatan? - tette fel közben a kérdést. - Ez nyilván
ugyanaz a feladat, mint az ülésrend, elvégre mindegy, hogy a székek egyetlen
nagy vagy három kis asztal körül helyezkednek el. A válasz tehát szintén 720.
Bélának kétségei támadtak:
- Szerintem nem kellene különböző párosításnak számítani, ha az ugyan
azon tábla mellett ülő játékosok helyet cserélnek, ráadásul az is mindegy,
hogy melyik páros melyik táblánál ül.
1.2. HALMAZOK 13
1.1.3. Hányféle párosítás létezik egy 10 tagú társaságban (az összes szóban forgó
értelemben)?
1.2. Halmazok
Gyakran akarunk olyan kijelentéseket formalizálni, amilyen például a kö
vetkező: „a bridzs-leosztások számának meghatározása lényegében ugyanaz,
mint a lehetséges lottószelvények számának meghatározása”. A matematiká
ban az efféle általánosítások legkönnyebben a halmazok segítségével fogal
mazhatók meg. Halmaznak nevezzük tetszőleges objektumok összességeit;
a szóban forgó objektumokat a halmaz elemeinek nevezzük. Egy leosztás
például olyan halmaz, amelynek elemei kártyalapok. Az előző alfejezet szüle
tésnapi partijának résztvevői szintén egy halmazt alkotnak, amelynek elemei
14 1. SZÁMOLJUK ÖSSZE!
Andrea, Béla, Csaba, Dóra, Erzsi, Feri és Gábor (ezt a halmazt a továbbiak
ban P jelöli). Egy lottószelvényt tekinthetünk olyan halmaznak, amelynek
elemei a bejelölt számok.
A matematikában több számhalmaz is különleges jelentőséggel bír: a va
lós számok ÍR jelű, a racionális számok Q jelű, az egész számok Z jelű, a
nemnegatív egész számok Z+ jelű és a pozitív egész számok N jelű halmaza.
Szintén sokszor előfordul a nem különösebben érdekes üres halmaz is, amely
nek egyetlen eleme sincs, és amelynek jele 0.
Azt, hogy b az A halmaz eleme, így jelöljük: b € A. Az A halmaz elemeinek
számát |A\ jelöli, ezt az A halmaz számosságának is nevezzük. Eszerint tehát
\P\ = 7, |0| = 0 és |Z| = oo (végtelen).1
Egy halmazt megadhatunk úgy is, hogy elemeit - kapcsos zárójelek között
- felsoroljuk; például
{12,23,27,33,67}
{Andrea és vendégei}.
Gyakran úgy adunk meg halmazokat, hogy kijelöljük egy nagyobb „univer
zum” - például a valós számok halmaza - bizonyos tulajdonságú elemeit.
Ilyenkor is kapcsos zárójeleket használunk: jelezzük, hogy a halmazunk ele
mei melyik „nagyobb” halmazból származnak, majd egy kettőspont után
megadjuk az őket megkülönböztető tulajdonságot. Eszerint
{x £ Z : x > 0}
a nemnegatív egész számok (az imént Z+-szal jelölt) halmaza. Egy másik
példa:
{x £ P : x leány} = {Andrea, Dóra, Erzsi}
(jelöljük ezt a halmazt L-lel). Eláruljuk még azt is, hogy
a(b + c) = a b Jrac
a + b = b + a, ab = ba,
(a + b) + c = a + (b + c), (ab)c = a{bc).
A u B = B U A, A C \B = B C A , (1.2)
és hogy
A ö (B n C ) = (AUB)n(AuC). (1.4)
a + bc= (a + b)(a + c)
1.2.1. Nevezzünk meg olyan halmazokat, amelyeknek elemei (a) épületek, (b) em
berek, (c) diákok, (d) fák, (e) számok, (f) pontok.
1.2.2. Mik az elemei a következő halmazoknak: (a) egy hadsereg, (b) az emberiség,
(c) egy könyvtár, (d) az állatvilág?
1.2.3. Adjunk meg olyan halmazokat, amelyeknek számossága (a) 52, (b) 13,
(c) 32, (d) 100, (e) 90, (f) 2 000 000.
1.2.7. Adjunk meg legalább három olyan halmazt, amely részhalmazként tartal
mazza az {Andrea, Dóra, Erzsi} halmazt.
1.2.8. Soroljuk fel az {a, b, c,d, ej halmaz összes olyan részhalmazát, amelynek a
eleme, b viszont nem.
1.2.9. Adjunk meg egy halmazt, amelynek mind {1,3,4}, mind {0,3,5} részhal
maza. Keressük meg a minimális elemszámú ilyen halmazt is.
1.2.12. Kaphatunk-e 4, 6, 9, 10, 14, 20 elemű halmazt egy 5 és egy 9 elemű halmaz
unióját képezve?
1.2.13. Van egy m és n elemű halmazunk. Mit mondhatunk a két halmaz unió
jának számosságáról?
1.2.18. (a) Adjuk meg a nemnegatív egész számok Z+ és a páros egész számok
£ = {..., —4, —2, 0, 2,4,... } halmazának szimmetrikus differenciáját.
(b) Legyen C = A AB. Mit kapunk, ha az A és a C halmaz szimmetrikus diffe
renciáját képezzük?
1.3. A RÉSZHALMAZOK SZÁMA 19
0, W , {&}> {c}, {a, b}, {b, c}, (a, c}, {a, b, c}. (1.5)
Elemek száma 0 1 2 3
Részhalmazok száma 1 2 4 8
1.3.2. Hány olyan részhalmaza van egy n elemű halmaznak, amely (elemként)
tartalmazza a halmaz egy kijelölt elemét?
1.3.4. Hány olyan egész szám van, amely (a tízes számrendszerben) (a) legfeljebb
n\ (b) pontosan n számjegyből áll? (Ne feledkezzünk meg arról, hogy a nemnulla
egész számok pozitívak és negatívak is lehetnek.)
24 1. SZÁMOLJUK ÖSSZE!
1.4.2. írjunk fel egy képletet, amely megadja a 2” szám számjegyeinek számát (a
10-es számrendszerben).
368 • 2 • 100 • 12 ■31 ■13 « 2 729 000 000 000 000 000.
1.5.1. Rajzoljunk döntési fát arra, hogy miként állíthatunk össze 2 hosszúságú
karaktersorozatokat az a, b és c betűkből. Adjuk meg annak az általánosabb fela
datnak a döntési fáját is, amelyben n = 3, k% = 2, k? = 3 és kz = 2.
1.5.2. Egy üzletben pólók 5, sortok 4, zoknik pedig 3 színben kaphatók. Hány
különböző mezt állíthatunk össze, ha csak itt vásárolunk?
1.5.4. Hány lehetséges kimenetele van egy dobókocka kétszeri feldobásának (ha
különbséget teszünk aközött, hogy elsőre 4-est, aztán 1-est, illetve ha elsőre 1-est
és másodikra 4-est dobunk)?
1.5.5. Tegyük fel, hogy 20 darab ajándéktárgyat akarunk 12 gyerek között el
osztani. Nem kell minden gyermeknek kapnia valamit, előfordulhat tehát, hogy
mind a 20 ajándékot ugyanaz a kis kedvenc kapja. Hányféleképpen oszthatjuk el
az ajándékokat?
1.5.6. Húszféle ajándékunk van, és mindegyikből elegendően nagy készlet áll ren
delkezésünkre. Hányféleképpen ajándékozhatunk meg 12 gyereket, ha nem kötelező
mindegyiküknek adni valamit, azt azonban kikötjük, hogy ugyanabból az ajándék
típusból minden gyermek legföljebb egyet kaphat?
1.6. Permutációk
Andrea születésnapi buliján már felmerült az a probléma, hogy hányfélekép
pen ültethető le n személy n darab székre (valójában az n = 6 és az n — 7
esettel volt csak dolgunk, de a kérdés nyilvánvalóan általánosítható). Ha a
székeket megszámozzuk, akkor egy ülésrend megállapítása annyit tesz, hogy
minden embernek megfeleltetjük az 1, 2 , . . . , n (vagy ha a logikusok kedvében
akarunk járni, a 0 , 1 ,. . ., n —1) számokat. A feladatot akár úgy is megfogal
mazhatjuk: hányféleképpen lehet az n embert sorba állítani, vagy hányféle
(rendezett) lista adható meg, amelyen mindannyiuk neve (pontosan egyszer)
szerepel.
1.6. PERMUTÁCIÓK 27
Ha egy n elemű listát (más szóval egy rendezett halmazt, amelynek van
első, második stb. eleme) átrendezünk, akkor az új sorrendet az elemek egy
permutációjának nevezzük. Permutációnak nevezzük azt az „átrendezést” is,
amely minden tagot helyben hagy (gondoljuk csak meg: az üres halmazt is
„halmaznak” neveztük).
Az {a, b, c} halmaznak például 6 permutációja van:
1.6.1. Tegyük fel, hogy a társaságban n fiú és n lány van. Hány különböző pá
rost alkothatnak, ha kikötjük, hogy fiúk csak lányokkal, lányok pedig csak fiúkkal
táncolnak?
1.7.2. Tegyük fel, hogy a krónika mind a 100 versenyző helyezését nyilvántartja.
(a) Mennyi a lehetséges eredmények száma?
(b) Ezek közül hány olyan van, amely az első 10 hely tekintetében nem külön
bözik?
(c) Mutassuk meg, hogy az első 10 helyezettre vonatkozó eredeti feladat meg
oldható az (a) és a (b) kérdésre adott válaszok alapján.
A lista első k tagja ekkor egy, a halmaz elemeiből alkotott k tagú sorozat
lesz, amelyben minden elem különböző. Úgy is gondolkodhatunk, hogy előbb
kiválasztunk a halmazból k darab elemet, majd ezeket sorba rendezzük. így
vagy úgy, eredményünk a következő:
(n —k)\
formában adhatjuk meg. Igazoljuk, hogy a két alak ugyanazt a számot takarja.
n(n —1) • ■• (n —k + 1)
ki k\(n —fc)!
( 1 .6 )
30 1. SZÁMOLJUK ÖSSZE!
1.8.3. írjuk fel (£) értékeit a k = 0, l,n —l,n esetekben az (1.6) összefüggés
alapján, majd értelmezzük a formulákat (j() kombinatorikus jelentése szerint.
ha n ,k > 0, akkor
n —1
( 1 .8 )
71 — 1
+
k- 1 k
n! (n — 1)! (n — 1)!
k\(n —k)\ (k — l)!(n —fc)! k\(n — k — 1)!
1.8. ADOTT ELEMSZÁMÚ RÉSZHALMAZOK SZÁMA 31
Á ttekintő feladatok
1.8.8. Hányféleképpen ültethetünk le 12 embert két, egyenként 6 személyes kör
alakú asztalhoz? Az, hogy mikor kell két ülésrendet különbözőnek tekintenünk, nem
egyértelmű - adjuk meg a különböző értelmezéseknek megfelelő megoldásokat.
1.8.9. Adjunk meg olyan halmazokat, amelyeknek elemszáma (a) 365, (b) 12, (c) 7,
(d) 11.5, (e) 0, (f) 1024.
1.8.12. Mi a metszete
(a) a 3-ra végződő és a 3-mal osztható pozitív egész számok; illetve
(b) az 5-tel osztható és a páros pozitív egész számok halmazának?
1.8.14. Három halmaz elemszáma rendre 5, 10 és 15. Hány eleme lehet a három
halmaz uniójának, illetve metszetének?
(AT)
(N
1.8.22. írjuk fel a 25 és a 35 2-es számrendszerbeli alakját, majd adjuk össze őket a
bináris „összeadótábla” alapján. Ellenőrizzük a kapott eredményt a két szám 10-es
számrendszerben kiszámított összege 2-es számrendszerbeli alakja kiszámításával.
1.8.23. Igazoljuk, hogy minden egész szám felírható különböző 2-hatványok ösz-
szegeként. Mutassuk meg, hogy ez a felírás - a tagok sorrendjétől eltekintve -
egyértelmű.
1.8.26. Hány olyan 20 jegyű pozitív egész szám van, amelyekben bármely két
egymás melletti számjegy különbözik?
1.8.30. Illusztráljuk egy fával Andrea megoldását arra, hogy hányféleképpen játsz
hat 6 ember sakkot. Magyarázzuk meg, miért használná Andrea éppen ezt a fát.
Kombinatorikus módszerek
1
1+ 3 = 4
1+ 3+ 5 = 9
1+ 3 + 5 + 7=16
l + 3 + 5 + 7 + 9 = 25
1 + 3 + 5 + 7 + 9 + 11 = 36
1 + 3 + 5 + 7 + 9 + 11 + 13 = 49
1 + 3 + 5 + 7 + 9 + 11 + 13+ 15 = 64
1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 + 17 = 81
1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 + 17 + 19 = 100
Az utolsó tag nélkül a bal oldalon az első n —1 páratlan szám összege marad:
Az indukció elve szerint amennyiben (a) és (b) egyaránt igaz, úgy minden n
szám rendelkezik a tulajdonsággal.
Az imént pontosan ezt tettük. Igazoltuk, hogy az első 1 páratlan szám
„összege” éppen l 2, majd igazoltuk, hogy ha az első n — 1 páratlan szám
36 2. KOMBINATORIKUS MÓDSZEREK
(n —1) • n ■(n + 1)
l - 2 + 2- 3 + 3- 4 + ... + ( n - l ) - n
3
2.1. TELJES INDUKCIÓ 37
• • o 0 o 0 o
• • • • 0 o 0 o
• • • • • • o 0 Cl
• • • • • • • • o o
• • • • • • • • • • o
2.1.6. Az ifjú Gauss módszerével adjuk meg a 2.1.2. feladat harmadik megoldását.
2.1.9. Igazoljuk, hogy 2 első n hatványának összege (1 = 2°-nal kezdve) 2" —1.
2.1.10. Adjuk meg a 1.5.1. Tétel (amely szerint a k karakterkészlet alapján felírt
n hosszúságú sorozatok száma k n) és a 1.6.1. Tétel (amely szerint egy n elemű
halmaz permutációinak száma n!) indukciós bizonyítását.
\2 ) _ n - 1
n 2
tört akármekkora lehet, amennyiben n elég nagy. Ha például azt akarjuk,
hogy a tört nagyobb legyen, mint 1000, elegendő, ha n > 2001. Az analízis
nyelvén ezt így fejezhetjük ki:
oo In —>oo).
n
40 2. KOMBINATORIKUS MÓDSZEREK
Egy másik egyszerű kérdés: melyik nagyobb, n2 vagy 2"? Kis n-ekre a
válasz nem egyértelmű: l 2 < 21, 22 = 22, 32 > 23, 42 = 24, 52 < 25. Innentől
kezdve azonban 2" begyorsít, és sokkal lendületesebben növekszik, mint n 2.
Például 210 = 1024 már sokai nagyobb, mint 102 = 100. Igazolható, hogy
271j n 2 szintén akármekkora értéket felvehet, ha n elég nagy.
2 .2 .1 . T é t e l . [Stirling-formula]
2.3. A SZITAFORMULA 41
(n —» oo).
Most már válaszolhatjuk eredeti kérdésünkre, amely így szólt: hány jegyű a
100! szám? A Stirling-formula szerint
Azt, hogy ez a szám hány jegyű, úgy kapjuk meg, hogy kiszámítjuk a 10-es
alapú logaritmusát, és felfelé kerekítünk.
2.3. A szitaformula
Egy osztály 40 tanulója közül sokan gyűjtik a kedvenc sztárjuk fényképeit.
Az osztály 18 tanulója Beatles-képeket, 16-an Rolling Stones-képeket és 12-
en Elvis Presley-képeket gyűjtenek (ez régen történt, amikor még kisrácok
voltunk). Heten vannak, akiknek Beatles- és Rolling Stones-poszterük is van,
5-en büszkélkedhetnek Beatles- és Elvis-képpel, hárman vannak, akiknek
Rolling Stones- és Elvis-poszterük is van. Két tanuló szobája falán a két
csapat mellett a Király is ott mosolyog. A kérdés ezek után: hányán vannak
az osztályban, akik sem Beatles-, sem Rolling Stones-, sem Elvis-képeket
nem gyűjtenek?
Elsőre a következő gondolatmenettel próbálkozhatunk. Az osztálynak 40
tanulója van, vonjuk ki tehát a 40-ből a Beatles-poszterrel rendelkezők szá
mát (18), a Rolling Stones-poszterrel rendelkezők számát (16) és az Elvis-
poszterrel rendelkezők számát (12). Ha azonban 40-ből kivonjuk a 18+16+12
számot, akkor —6-ot kapunk, ami arra figyelmeztet, hogy megoldásunkkal
nincs minden rendben. Valóban: azoknak a számát, akik két sztár képeit
gyűjtik, kétszer is kivontuk. Azokat a tanulókat például, akik a Beatles-
és az Elvis-posztereket is gyűjtik, a Beatles- és az Elvis-rajongók között is
számításba vettük. A hibát helyrehozandó, adjuk hozzá a végeredményhez
azoknak a diákoknak a számát, akik két sztár képeit gyűjtik. Az eredmény
így 40 — (18 + 16 + 12) + (7 + 5 + 3). Ezúttal azonban már óvatosabbak
42 2. KOMBINATORIKUS MÓDSZEREK
Aki megoldotta az 1.3.3. feladatot, már tudja, hogy az állítás minden n > 1
esetén igaz.
Látjuk tehát, hogy az egy sorban szereplő számok összege minden olyan
tanuló esetében, aki gyűjt valamilyen képet, 0, azoknál pedig, akik a rajongás
más módját választották (vagy nem rajonganak), 1. Mivel pedig 40 sor van,
a sorok összege azt mutatja, hogy hányán vannak, akiknek nincs képük sem
a Beatlesről, sem a Stonesról, sem Elvisről.
Másodszor kezdjük az oszlopokkal. A bónuszoszlopban szereplő 40 darab
1-es összege 40, a Beatles-oszlopban 18 darab —1-est találunk, a következő
két oszlopban 16, illetve 12 darab —1-est számolhatunk össze. A következő
három („kétkedvences”) oszlopban rendre 7, 5, és 3 darab 1-es áll, végül
az utolsó oszlopban 2 darab —1-est találunk. A (2.4) egyenlet bal oldalán
szereplő tagokat kaptuk tehát, méghozzá a megfelelő előjelekkel.
Ezt a képletet szitaformulának (alkalmanként a tartalmazás és kizárás
elvének) nevezzük. Az elnevezés magyarázata a következő: objektumok egy
nagy halmazával indulunk, majd „kiszitáljuk” közülük azokat, amelyeket nem
akarunk számításba venni.
A módszer arra az esetre is kiterjeszthető, amikor a kedvencek száma
nem 3, hanem 4, 5, vagy valamilyen más szám. Az általános tétel kimondása
helyett (ami egyébként is hosszadalmas lenne) megelégszünk néhány példával
és feladattal.
2.3.1. Egy csupa fiúból álló osztályban 18-an sakkoznak, 23-an fociznak, 21-en
bicikliznek és 17-en túráznak. Tudjuk, hogy 9 olyan fiú van, aki sakkozik és focizik,
7, aki sakkozik és biciklizik, 6, aki sakkozik és túrázik, 12, aki biciklizik és focizik,
9-en fociznak és túráznak, és 12-en vannak, akik bicikliznek és túráznak is. A
sakkot, a focit és a biciklizést 4-en, a sakkot, a focit és a túrázást 3-an, a sakkot,
a biciklizést és a túrázást 5-en, a focit, a biciklizést és a túrázást 7-en tekintik
kedvenc szabadidős elfoglaltságuknak. Van 3 olyan fiú, aki mindegyik sportnak
hódol. Tudjuk végül, hogy a négy közül legalább az egyiket mindegyik fiú űzi.
Hány fiú van az osztályban?
44 2. KOMBINATORIKUS MÓDSZEREK
2.4. A skatulyaelv
Találhatunk-e New Yorkban két olyan embert, akinek pontosan ugyanannyi
szál haja van? Honnan tudhatnánk a választ? Elvégre a legtöbben azt sem
tudjuk, hogy a saját fejünkön hány hajszál van, a New York-i lakosokról
(akiknek a pontos számát még megbecsülni is nehéz) nem is beszélve. Van
azonban néhány információ, amelyre támaszkodhatunk. Először is, tudomá
nyos tény, hogy egyetlen embernek sincs 500 ezernél több szál haja, másod
szor a New York-i lakosok száma minden bizonnyal több mint 10 millió.
Ha mármost nem létezne két New York-i lakos, akinek ugyanannyi szál
haja van, akkor legfeljebb egy olyan lehetne köztük, akinek 0 szál haja van
(szokás őket kopasznak nevezni), legfeljebb egy, akinek 1 szál, és így to
vább. .. végül legfeljebb egy olyan lehet, akinek fejét (pontosan) 500 ezer
szálból álló hajkorona ékesíti. Ez azonban azt jelenti, hogy New Yorknak
legfeljebb 500 001 lakosa lehet. Mivel tudjuk, hogy nem ez a helyzet, levon
hatjuk a következtetést: bizonyos, hogy van New Yorkban két ember, akinek
ugyanannyi szál haja van.1
A megoldást a következőképpen fogalmazhatjuk át. Képzeljünk el 500 001
hatalmas skatulyát. Az elsőnek a címkéje: „New York 0 hajszálú lakosai”,
a másodiké: „New York 1 hajszálú lakosai”. .. az utolsóé pedig „New York
500 000 hajszálú lakosai”. Ha most mindenkit az őt megillető skatulyában
szállásolunk el, akkor mind a 10 millió lakos belekerül valamelyik skatulyába.
Mivel azonban csupán 500001 skatulyánk van, biztosan lesz legalább egy,
amelyben egynél többen szoronganak. Az elvre gyakran hivatkozunk, így
célszerű, ha általánosan is kimondjuk:
1A megoldás érdekessége, hogy bár beláttuk, hogy van két, ugyanannyi hajszállal rendel-
kező New York-i, de a legcsekélyebb elképzelésünk sincs arról, hogyan találhatnánk meg
őket. (Hiába gyanítanánk két - nem kopasz - lakosról azt, hogy ugyanannyi hajszáluk
van, gyanúnk igazolása lényegében lehetetlen.) Az ilyen bizonyításokat a matematikusok
tiszta egzisztenciabizonyításoknak nevezik.
2.4. A SKATULYAELV 45
2.4.1. Bizonyítsuk be, hogy van legalább 20 New York-i lakos, akinek ugyanannyi
szál haja van.
Hány olyan van ezek között, amelyben a tanár veszít? Ilyen kérdésekkel
az 1.7 alfejezetben már foglalkoztunk, így azonnal megmondhatjuk a választ:
366 • 365 • ■• 317. Annak valószínűsége tehát, hogy a tanár veszít1
366-365-■-317
36650 '
Számítógép (vagy programozható számológép) segítségével a tört értékét
közvetlenül is meghatározhatjuk, mi azonban általánosabb megoldást sze
retnénk: olyan felső és alsó becslést, amely az általános esetben - amikor a
születésnapok száma n, a diákoké pedig k - is működik. Kérdésünk tehát a
következő: mekkora az
n(n —1) ■• • (n —k + 1)
nk
tört? Célszerű, ha a tört (1-nél nagyobb)
n(n - 1) ■• • (n - k + 1) y '
reciprokával foglalkozunk. Ezt n-nel egyszerűsíthetjük ugyan, de hogy ezután
mi a teendő, az korántsem nyilvánvaló. Észrevehetjük mindazonáltal, hogy a
számlálóban és a nevezőben ugyanannyi tényező szerepel, így kifejezésünket
szorzat alakban is felírhatjuk:
nk n n n
n(n — 1) • ■• (n —k + 1) n — 1 n —2 n —k + 1'
Ezek a tényezők meglehetősen egyszerűek, de a szorzatuk nagyságát még
mindig nem könnyű megbecsülni. Minden tényező nagyobb, mint 1, bár - az
első néhány legalábbis - nem sokkal. Mivel azonban sok tényező van, nem
lehetetlen, hogy a szorzatuk elég nagy.
A következő ötlet már segít: vegyük a logaritmust!12 így az
3
(
( 2. 8)
x —1
< In x < x —1.
x
A lemma szerinti alsó korlát segítségével most alsó becslést adunk a (2.6)
kifejezésre. Egy tipikus tagra például azt kapjuk, hogy
- 1
In > l
5
n
n -j
amiből
^ 1 2 k —1
( ______ oL______ ) > | |- . . . H---------------
\ n ( n — 1). . .{n — k + 1)) n n n
k{k —1)
— —(1 + 2 + • • • -}- (k —i)) =
n 2n
(emlékezzünk az ifjú Gaussnak adott feladatra). A felső becsléshez szintén a
lemmát használjuk; az általános tag eszerint
______ ________ \ „ 1 2 k- 1
In < -------------- 1---------------- ---------------------
n(n — 1) • • • (n —k + 1)) n —k + í n —k + 1 n —k + 1
fc(fc-l) k(fc-l)
6 2n < < e 2(n—/c+l) _ (2.9)
n(n —1) • ■• (n —k + 1)
50 2. KOMBINATORIKUS MÓDSZEREK
36650
28,4 < < 47, 7.
366-364-•-317
(A pontos érték, mint az kissé hosszadalmasabb számítással megállapítható,
3 3 ,4 1 4 ....) Annak valószínűsége tehát, hogy a teremben minden gyermek
születésnapja különböző, kisebb, mint 1/28. Ez azt jelenti, hogy amennyiben
a tanár pályafutása során minden évben felajánlja a fogadást, legföljebb egy
két esetben fog csak veszíteni.
Á ttekintő feladatok
2.5.1. Mekkora a következő összeg?
1 1 1 1
T ő 2 + 2~3 + 3 4 + ' ' ' + (n - 1) • n
2.5.5. Egy osztályba 40 lány jár. Közülük 18-an sakkoznak, 23-an fociznak és
vannak, akik kerékpároznak. A sakkozó és focizó lányok száma 9, a sakkozó és
biciklizőké 7, a focizó és biciklizőké pedig 12. Van 4 lány, aki sakkozik, focizik és
biciklizik is. Tudjuk továbbá, hogy valamelyik szabadidős tevékenységnek minden
lány hódol. Hány lány biciklizik?
2.5. AZ „IKERPARADOXON” ÉS A JÓ ÖREG LOGARITMUS 51
2.5.6. Egy osztályba csak fiúk járnak; a sakkozók száma a: a focizóké b, a kerék
pározóké c, a túrázóké pedig d. A sakkozó és bicikliző fiúk száma x, a sakkozó és
túrázóké y, a focizó és biciklizőké u, a focizó és túrázóké v, a bicikliző és túrázóké
pedig w. Nem tudjuk, hogy hány fiú van, aki - például - sakkozik, focizik és túrá
zik is, de ismert, hogy legalább az egyik tevékenységet mindegyikük kedveli. Arra
vagyunk kíváncsiak, hogy hány fiú jár az osztályba.
(a) Mutassuk meg példák segítségével, hogy információink alapján a kérdést
nem tudjuk megválaszolni.
(b) Igazoljuk, hogy az osztálylétszám legfeljebb a + b + c + d, és legalább a + b +
+ c + d —x —y —z —u —v —w.
2.5.7. Kiválasztunk 38, egyaránt 1000-nél kisebb pozitív egész számot. Igazoljuk,
hogy van köztük 2, amelynk különbsége legfeljebb 26.
2.5.8. Egy fiókban 6 pár fekete, 5 pár fehér, 5 pár piros és 4 pár zöld zokni van.
(a) Legalább hány zoknit kell kivennünk a fiókból, hogy biztosan legyen közöttük
két egyforma színű?
(b) Legalább hány zoknit kell kivennünk a fiókból, hogy biztosan legyen közöttük
két különböző színű?
3. fejezet
A binomiális együtthatók és
a Pascal-háromszög
(x + y)2 = x 2 + 2xy + y 2}
(x + y)3 = {x + y ) - { x + y)2 = (x + y) ■{x2 + 2xy + y 2) =
= x 3 + 3x 2y + 3x y 2 + y3,
és így folytathatjuk:
Ha például az x-et 2-szer választjuk, akkor y-t 3-szor kell választanunk; így
kapjuk az x 2y3 tagokat. Hány ilyen tag lesz? Annyi, ahányféleképpen 3 ténye
zőből az y-t tudjuk választani (a maradék 2 adja az x2-et). Öt lehetőségből
hármat kell tehát kiválasztanunk, ezt pedig (°)-féleképpen tehetjük meg.
Az (x + y)5 „kifejtése” ennek megfelelően
(x+y)5=(o)* + 5 ( i ) x 4y + CD®3*'2*(s)a:V+G)v+(s)2"5-
Ugyanezzel a gondolatmenettel egyúttal az általános esetet, vagyis a bi
nomiális tételt is beláthatjuk:
azonosság.
Ezt a fontos azonosságot a nevezetes perzsa költő-matematikus, Ornar
Khayyam (10447-1123?) fedezte fel. A tétel neve a „kéttagú kifejezést” jelentő
görög pivoy szóból ered (esetünkben a „binorn”: x + y). Az (”) számok neve
- binomiális együttható - az ebben a tételben játszott szerepekükből ered.
A binomiális tételt több, a binomiális együtthatókra vonatkozó algebrai
összefüggés bizonyítására is felhasználhatjuk. Az x = y = 1 helyettesítéssel
például a (1.9) azonosságot kapjuk:
azonosságot. (Az összeg utolsó tagja (") = 1, amelynek előjele attól függ,
hogy az n szám páros-e vagy páratlan.)
(b) Az azonosság nyilvánvaló, ha n páratlan. Miért?
3.2. Ajándékosztás
Tegyük fel, hogy n különböző ajándékot akarunk k gyermek között eloszatni
úgy, hogy tudjuk, melyik gyereknek hány ajándékot kell kapnia. így tehát
a kis Ádámnak dám, Barbarának nsarbara ajándékot kell adnunk. A ma
tematikában szokásos (nem túlságosan bensőséges) jelölést használva a gye
rekekre az 1, 2, . . . , k számokkal hivatkozunk, az n i, n 2 , ■■., rifc nemnegatív
számok így azt jelzik, hogy melyik gyerek hány ajándékot kap. Feltesszük,
hogy n\ + ri2 + . • • + nfc = n, elvégre az összes ajándékot ki akarjuk osztani.
A kérdés mármost természetesen a következő: hányféleképpen oszthatjuk
ki az ajándékokat?
Az ajándékok kiosztása a következőképpen is történhet. Az ajándékokat
egy n hosszúságú sorba rakjuk. Az első gyermek kapja (balól számolva) az
első ni ajándékot, a második a következő n 2 darabot, a harmadik a következő
ri3-at stb. A k (jelű) gyerek kapja az utolsó rifc darab ajándékot.
Világos, hogy egy sorrend rögzítésével azt is meghatároztuk, hogy me
lyik gyermek melyik ajándéko(ka)t kapja. Az ajándékokat ni különböző sor
rendbe rakhatjuk. Ez azonban nyilván nagyobb szám, mint az általunk ke
resett megoldás, elvégre sok olyan sorrend van, amely ugyanazt az elosztást
határozza meg (vagyis nem különbözik abban, hogy melyik gyermek melyik
ajándékokat kapja). A kérdés már csak az, hogy hány ilyen, a szempontunk
ból nem különböző sorrend létezik.
Induljunk ki tehát az ajándékok egy elosztásából és kérjük meg a gyere
keket, hogy rakják szépen sorba, amit kaptak; a sort az első gyerek aján
dékai kezdik, aztán jönnek a másodikéi, majd a harmadikéi stb. így meg
kapjuk az elosztást eredményező egyik lehetséges sorrendet. Az első gyermek
nil-féleképpen, a második n 2!-féleképpen... rakhatja sorba az ajándékait. Az
összes gyermek az összes ajándékot ennek megfelelően
3.3. Anagrammák
Készített-e már az Olvasó anagrammát? A játék során kiválasztunk egy szót
- mondjuk azt, hogy kombinatorika és megpróbálunk olyan szavakat vagy
mondatokat képezni belőle, amelyekben minden egyes betűt (pontosan egy
szer) felhasználunk, és amelyek lehetőség szerint még mulatságosak is.
Elképzelhetjük például a Pál utcai fiúknak azt a változatát, amelyben
elhangzik a következő párbeszéd:
- M IK O R O N T A B I K A ?
- A M I K O R B O K A INT.
56 3. A BINOMIÁLIS EGYÜTTHATÓK ÉS A PASCAL-HÁROMSZÖG
3.4. Pénzosztás
Ajándékok helyett most osszunk pénzt. Tegyük fel rögtön az általános kér
dést: hányféleképpen oszthatunk szét n darab százforintost k gyerek között?
3.4. PÉNZOSZTÁS 57
í ) { £ A í t M © ® ©©©
A B C D
Minden gyereknek kapnia kell legalább egy százforintost (és nincs kisebb
egység, így minden gyermek 100 egész számú többszörösével gazdagodik).
Hányféle elosztás lehetséges?
Mielőtt válaszolnánk a kérdésre, vizsgáljuk meg, miben különbözik a pénz-
és az ajándékosztás. Az ajándékok esetében nem csupán azt kell eldöntenünk,
hogy melyik gyerek hány ajándékot kap, de azt is, hogy melyik ajándékokat
kapja. A pénz esetében viszont csupán a mennyiség számít. Másszóval: az
ajándékok megkülönböztethetők, a százforintosok viszont nem. (A 3.2. alfe-
jezetben tárgyalt kérdés itt föl sem merül: ha n darab százforintosunk van,
és az első gyereknek ni, a másodiknak ri2 - ■.darabot adunk, akkor csupán
egyetlen lehetőségünk van.)
Problémánk ugyan eltér az ajándékosztástól, a megoldás azonban hasonló.
Sorba rakjuk a százforintosokat (mindegy milyen sorrendben, elvégre mind
egyforma). Kiszólítjuk az első gyereket, és engedjük, hogy (balról kezdve)
néhányat eltegyen. Amikor úgy érezzük, hogy már eléggé tele van a zsebe,
helyre küldjük, és kiszólítjuk a másodikat (3.2. ábra). Az elosztást egyértel
műen meghatározhatjuk, ha megmondjuk, mikor jön a következő gyermek.
A százforintosok között n —1 elválasztó hely van, ahol „jöhet” a következő
gyerek (az első gyermek „kiszólítását” nem kell külön jeleznünk, ő rögtön az
elején sorra kerül). Ebből az (n —1) elemű halmazból kell tehát egy (k — 1)
elemű részhalmazt kiválasztanunk. A lehetőségek száma (£©) •
Eredményünket egy tételben foglaljuk össze.
3.4.2. El akarunk osztani n darab százforintost k fiú és t lány között úgy, hogy
minden lánynak kapnia kell legalább egy érmét, a fiúkra vonatkozóan viszont nincs
efféle kikötés (az igazságtalanság netovábbja). Hányféleképpen tehetjük ezt meg?
3.4.3. Grófok egy k fős csoportja a kártyaasztal mellett üti az időt és a blattot.
A játék kezdetén mindegyiküknek p pennyje volt. Hajnalban mindegyikük össze
számolja, hány pennyje maradt. Nem adtak kölcsön egymásnak, így egyikük sem
veszíthetett p pennynél többet. Hányféle különböző záróra lehetséges?
Vo)
(? ) (? )
( 2) ( 2 \
lo / (D V2 J
(3) (3 \ (3 \ í 3)
, w ll) V2 J UJ
f4) (4) (4'
le d _ u \2 / (? ) \4 .
(5) ( 5)
(?) U \2 > (? ) (? )
(?) (? ) (? ) (? ) (? ) (? :
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
6 15 20 15 6
7 21 35 35 21 7
28 56 70 56 28
n —1 n —1
+ (3.2)
k- 1 k
A (3.2) azonosság alapján a Pascal-háromszöget sorról sorra haladva igen
gyorsan előállíthatjuk. Az összefüggés alapján ezen felül a binomiális együtt
hatók számos tulajdonságát bebizonyíthatjuk, amint azt hamarosan látni is
fogjuk.
Elsőként új megoldást adunk a 3.1.2. feladatra, amelyben a
n —1 n —1 n —1 n —1 71—1
+
0 0 1 1 2
n —1 n —1 71 —1 71—1
+ ... + (-1 ) + + ( - ir
n —2 71—1 71 —1
60 3. A BINOMIÁLIS EGYÜTTHATÓK ÉS A PASCAL-HÁROMSZÖG
12 = 1,
l 2 + l 2 = 2,
l 2 + 22 + l 2 = 6,
l2 + 32 + 32 + l2 = 20,
l2 + 42 + 62 + 42 + l2 = 70.
3.6.2. A (3.4) azonosság jobb oldala a binomiális tétel szerint az xnyn tag együtt
hatója az (x + y)2n hatvány kifejtésében. Írjuk fel (x + y )2n-1 (x + y)n(x + y)n
alakban, fejtsük ki az (x + y)n hatványt a binomiális tétel segítségével, aztán pró
báljuk kitalálni a szorzat xnyn tagjának együtthatóját. Mutassuk meg, hogy ezúton
a (3.4) azonosság egy újabb bizonyítását kapjuk meg.
elhelyezkedő elemeket (3.3. ábra). A második sor első elemével kezdve például
a következő összegeket kapjuk:
1 = 1,
1 + 3 = 4,
1 + 3 + 6 = 10,
1 + 3 + 6 + 10 = 20,
1 + 3 + 6 + 1 0 + 15 = 35.
Ezek a számok éppen a háromszög következő „átlós” sorának elemei!
1
1 1
1 2 1
1 3 3 1
4 6 4 1
5 10 10 5
15 20 15 6
21 35 35 21
56 70 56 28
' fc + 1 ’
n —k
(3.6)
k+ 1
azonosság.
n \ ín
k + l ) ~ yk
< 2r'
elvégre 2" a sor összes tagjának összege. Nem sokkal nehezebb feladat egy
alsó korlát megadása sem:
( n \ 2n
\n/2j > n+ l ’
mivel 2n j ( n + 1) a sorban szereplő számok átlaga, a legnagyobb pedig nyil
vánvalóan nagyobb, mint az átlag.
Az így megadott korlátok alapján egész jó becslést adhatunk az (n"2)
számra; az már most is látszik, hogy az ilyen számok igen nagyok. Tekintsük
példának okáért az n — 500 esetet. Ekkor
2500
< 2500
501
Ha arra vagyunk kíváncsiak, hogy az (2°°) szám hány jegyű, vegyük a 10-es
alapú logaritmusát. Az alsó korlát alapján
n ! ~ V 2^ 0 " és ( n / ^ l - v ^ g ) " 72
66 3. A BINOMIÁLIS EGYÜTTHATÓK ÉS A PASCAL-HÁROMSZÖG
aminek alapján
(3.7)
57; 28; 18,33; 13,5; 10,6; 8,67; 7,29; 6,25; 5,44; 4,8; 4,27; 3,83;.
( n )
\ k + ÍJ _ n — k
~ W =TTT'
Ezt az
n —k n+ 1
k+1 k+1
alakba írva azonnal láthatjuk, hogy a szomszédos binomiális együtthatók
hányadosa annál kisebb, minél nagyobb a k szám.
29
10
0 20
egyenlőtlenségek.
Az itt szereplő alsó, illetve felső korlát emlékeztet a (3.8) közelítő egyen
lőségben szereplő e- í kifejezésre. A (3.8) jobb oldala valójában mind az
alsó, mind a felső korlátnál jobb közelítést ad. Ha például a (4°°) / (10°)
hányadost akarjuk megbecsülni (amelynek pontos értéke 0,1362 ...), akkor
(3.9) a
0,08724 < < 0,1889
68 3. A BINOMIÁLIS EGYÜTTHATÓK ÉS A PASCAL-HÁROMSZÖG
m+t t- 1 / m +1 \
In ■In + ... + In
m —1 \ m —t + l )
to + t —k \ m + t —k t
In
to —k to. —k m — k'
3.8. FINOM KIS RÉSZLETEK 69
m +t m t- 1 777 + 1
In In In <
m —1 m —t + 1
t
<
m 777 —1 777 —t + 1
Átalakíthatjuk-e ezt egy zárt formulává? Nem, de a 2.5. alfejezetből egy
másik fogást is kölcsönözhetünk. Helyettesítsük az összes nevezőt az 777—í + 1
kifejezéssel; így - az utolsó kivételével - valamennyi tört növekszik, amiből
a
t t t
<
---- 1
777 777 —17+ ...■
777 —t + 1
t
<
777 —f + 1 777 —t + 1 777 —t + 1 777 t+ 1
A (3.8) közelítésből tudjuk, hogy a bal oldal körülbelül et /m, kezdjük tehát
az
eí2/ m = C.
egyenlet megoldásával. A bal oldalon szereplő exponenciális függvényt a jó
öreg logaritmussal szelídítjük meg:
t2
— = l n C.
777
Ezt már könnyen megoldjuk:
t = \Zt77In C .
Arra számítunk tehát, hogy amennyiben t ennél nagyobb, úgy fennáll a (3.11)
egyenlőtlenség. Ne felejtsük azonban el, hogy ez csupán becslés, nem pedig a
70 3. A BINOMIÁLIS EGYÜTTHATÓK ÉS A PASCAL-HÁROMSZÖG
2m 2m
(3.13)
m —t m —t + 1 ! + . . . + (V'm2"
- l\)
)
1 / 2m ) összeget A, a
' \m —t—1. ü - t)+
+ (m-?+i) + • • • + (m -i) összeget pedig B.
A c szám definíciója szerint
2m \
m —t )
3.8. FINOM KIS RÉSZLETEK 71
amiből
/ 2m \ ( 2m \
\m -t-l) < C —1/ ’
elvégre (^™t) binomiális együttható (m^™_1)-mel vett hányadosa kisebb,
mint ( ™)-nek ( ^ 1)-hez való viszonya. A gondolatmenetet megismételve
azt kapjuk1, hogy tetszőleges i > 0 esetén
( 2m ) < c ( 2 m ) .
\ m —t —i j \ m —i )
c
B < -~ — A <
1 —c 1 —c
B < C lp2m
1-c2
3.8.1. (a) Mutassuk meg, hogy a (3.8)-beli közelítés a (3.9)-beli alsó, illetve
felső korlát közé esik.
(b) Legyen 2m = 100 és í = 10. Hány százalékkal nagyobb a (3.9)-ban adott
felső korlát az alsónál?
Á ttekintő feladatok
3.8.4. Adjuk meg az összes olyan n-t és k-1 , amelyekkel (fc" 1) = 3(£).
É(r) (:)=(:)--
azonosságok.
3.8.9. Igazoljuk az
egyenlőtlenségeket.
Fibonacci-számok
1, 1, 1 + 1 = 2, 2 + 1 = 3, 3 + 2 = 5, 5 + 3 = 8. 8 + 5 = 13,...
0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597,... .
4.1.1. Miért az első két Fibonacci-számot adtuk meg, és nem egyet vagy hármat?
Jn+1 — Jn + Jn —1 '
Jn = J n—l ■
4.1.2. Tegyük fel, hogy n dollár költőpénzünk van. Minden nap választhatunk: 1
dollárért cukorkát, vagy 2 dollárért fagylaltot veszünk. Hányféleképpen költhetjük
el a pénzünket?
0 = 0,
0 + 1 = 1,
0 + 1 + 1 = 2,
0 + 1 + 1 + 2 = 4,
0 + l + l+ 2 + 3 = 7,
0 + 1 + 1 + 2+ 3 + 5 = 12,
0 + l + l + 2 + 3+ 5 + 8 = 20,
0 + 1 + 1 + 2 + 3 + 5+ 8 + 1 3 = 33.
4.2. AZONOSSÁGOK SOKASÁGA 77
Fo + Fi + F2 + ... + Fn = Fn+2 — 1.
Sok n-re ellenőrizve az az erős sejtésünk tám adhat, hogy az azonosság min
den számra igaz, a bizonyosság és a bizonyítás azonban még nem ugyanaz.
Hogy miért nehezebb ezt az azonosságot belátni, mint az előzőeket? A vá
lasz egyszerű: ha teljes indukcióval próbálkozunk (nemigen juthat más az
78 4. FIBONACCI-SZÁMOK
A kis n-ekre való ellenőrzés ebben az esetben sem okoz nehézséget. A bizo
nyításhoz kétszer is felhasználjuk a (4.1) rekurziós összefüggést:
4.2.6. Jelöljük ki a Pascal-háromszög egyik sorának első elemét (ez biztosan egy
1-es). Haladjunk egy lépést keletre, majd egy lépést északkeletre, és jegyezzük fel,
melyik számhoz jutottunk. Folytassuk ezt addig, amíg ki nem jutunk a háromszög
ből, majd adjuk össze az utunk során feljegyzett számokat.
(a) Melyik számokat kapjuk, ha a háromszög különböző sorainak elejéről indu
lunk? Előbb próbáljuk megsejteni a megoldást, aztán bizonyítsuk is be.
(b) írjuk fel eredményünket a binomiális együtthatók segítségével.
E q = A, Ei = B , £2 = A + B, £3 = B + {A -|- B ) = A + 2B,
£4 = (A T £ ) -f- (A -(- 2B) = 2A -f- 3£,
£5 = (A + 2B) + (2A + 3B) = 3A + 5B,
£ 6 = (2A + 3B) + (3A + 5£) = 5A + 8B,
£7 = (3A + 5B) + (5A + 8B) = 8A + 1 3 £ ...
(2>-
Á4?
8-8 = 64 5-13 = 65
4.2.9. Vágjunk négy részre egy sakktáblát, és rakjunk ki egy 5 x 13 mezőből álló
téglalapot (1. a 4.1. ábrát). Vajon az következik ebből, hogy 5 ■13 = 8 2? Hol van a
kutya eltemetve? Mi köze ennek a Fibonacci-számokhoz?
azonosság.
q2 = q + 1.
Mind a c, mind az n eltűnt.1
1 + y/5 1 - V5
Qi = 1.618034, 92 = -0,618034.
Sajnos azonban sem Gn, sem G’n nem a Fibonacci-sorozat: ehhez elég rá
mutatni, hogy Go = G q = c, holott Fo = 0. Vegyük észre azonban, hogy a
rekurziós feltételt a Gn —G'n sorozat is kielégíti:
Gn+l - G'n+1 = {Gn + Gn- i) - {G'n + G'n_ l ) = {Gn - G'n) + {Gn - 1 - G'n_l )
4.3.4. Andrea azt állítja, hogy ismer a Fibonacci-számokra egy másik képletet:
Fn = [en/ 2-1] , n = 1,2,... (ahol e = 2, 718281828 ... a természetes logaritmus
alapja). Igaza van?
Áttekintő feladatok
4.3.5. Hányféleképpen rakhatunk ki egy 2 x n méretű „sakktáblát” dominókkal?
FnLn 5
II
e
(d) ^2k ~~ 2 ;
■a
ii
4.3.16. (a) Igazoljuk, hogy minden pozitív egész szám felírható különböző Fibo-
nacci-számok összegeként.
(b) Igazoljuk, hogy az előbbi állításnál több is igaz: minden pozitív egész szám
felírható különböző Fibonacci-számok olyan összegeként, amelynek tagjai
között nincs két egymás után következő Fibonacci-szám.
(c) Bizonyítsuk be, hogy az (a)-beli felírás nem egyértelmű, a (b)-beli viszont
már az.
5. fejezet
Kombinatorikus valószínűség
\A\
P(A) =
isi k '
5.1.2. Igazoljuk, hogy egyetlen esemény valószínűsége sem lehet nagyobb, mint 1.
P { H n K ) = ± = ± - ± = P( H) . P{E) ,
P ( £ n T ) = i = i . i = P( £) . P( T) .
5.2.2. Igazoljuk, hogy az 0 esemény minden más eseménytől független. Van-e más
esemény, amely rendelkezik ezzel a tulajdonsággal?
5.2.3. Legyen egy kísérlet eseménytere 5; ismételjük meg a kísérletet ro-szer (ahol
n > 2). Legyen s £ S. Legyen A a „nagy” kísérlet azon eseménye, amely akkor kö
vetkezik be, ha az első kísérletnél, B pedig az az esemény, hogy az utolsó kísérletnél
s következik be. Mutassuk meg, hogy A és B független események.
5.2.4. Mit gondol az Olvasó, hány olyan ember él a Földön, akinek a születésnapja
egybeesik az anyja születésnapjával? És olyan, aki ugyanazon a napon született,
mint az anyja, az apja és a házastársa?
FFIIIFIFIIFIFFFFIFII
Az állítás igaz marad akkor is, ha 49% helyett 49,9%-ot, 51% helyett
pedig 50,1%-ot, sőt, ha tetszőleges 50%-nál kisebb, illetve nagyobb számot
írunk. Ezt fejezi ki a nagy számok tövényének következő - legegyszerűbb -
változata:
(Ez a feltétel csupán elégséges: ha fennáll, akkor a fejek száma legalább 0,95
valószínűséggel m —t és m + t közé esik. Kissé bonyolultabb megfontolások
alapján arra következtethetünk, hogy ennél kisebb í is megfelel.) Mindkét
oldal logaritmusát véve azt kapjuk, hogy
P( ^ ) = ~Qn
Mi a valószínűsége annak, hogy a fejek száma jelentősen eltér a várt m = n/2
értéktől, vagyis m — í-nél kisebb, vagy m + í-nél nagyobb, ahol í egy
5.4. A „KIS SZÁMOK” ÉS A „NAGYON NAGY SZÁMOK" TÉTELE 91
m -nél nem nagyobb pozitív szám. Az 5.1.4. feladat eredménye alapján ennek
valószínűsége
2m 2m 2m 2m
+ ...+ + ...+
22r 0 1 m —t — 1 m+t+1
2m 2m
+
2m — 1 2m
A 3.8.2. Lemmából k = m —t-vel azt kapjuk, hogy
í 2m \ / 2m 2m 2m 2m
+ ...- < 22m—1
Vo V1 m —t — 1 m —t m
A (3.9) egyenlőtlenség alapján ez a kifejezés kisebb, mint
í^m —lg—t2/(m+í)
Á ttekintő feladatok
5.4.1. Kétszer dobunk egy dobókockával. Mi a valószínűsége, hogy a két szám
összege 8 ?
5.4.5. Egyszerre n darab érmét dobunk fel n > 1). Milyen n érték mellett lesznek
függetlenek a következő események?
(a) Az első érme fej; a fejek száma páros.
(b) Az első érme fej; a fejek száma nagyobb, mint az írásoké.
(c) A fejek száma páros; a fejek száma nagyobb, mint az írások száma.
6. fejezet
6.1. O szthatóság
Kezdjük néhány alapfogalommal. Legyenek a és 6 egész számok; azt mond
juk, hogy a osztója b-nek, vagy hogy b többszöröse a-nak, ha van olyan m
egész szám, amellyel b — am. Azt, hogy a osztója 6-nek, így jelöljük: a \ b,
annak jelölése pedig, hogy ez nem áll: a j 6. Ha a / 0, akkor a j 6 pontosan
akkor teljesül, ha b/a egész szám.
Ha a j b és a > 0, akkor beszélhetünk a 6 4- a maradékos osztásról is,
ennek maradéka olyan r szám, amelyre 0 < r < a. Ha a maradékos osztás
hányadosa q, akkor fennáll, hogy
b — aq + r.
Sokszor helyes, ha a maradékos osztásra ezen a szemüvegen át tekintünk.
Az Olvasó feltehetően találkozott már ezekkel a fogalmakkal. A következő
feladatokon ellenőrizheti, hogy mennyit őrzött meg az emlékezete.
6.1.2. Legyen a egész szám. Hogy mondjuk más szóval azt, hogy (a) 2 | a;
(b) 2 { a; (c) 0 | a.
6.1.6. (a) Igazoljuk, hogy minden a egész szám esetén a —1 j a2 —1, és hogy
ennél több is igaz:
(b) minden a egész szám és n pozitív egész szám esetén
a —1 j an — 1.
1, 2 , 3 , 4, 5 , 6, 7, 8, 9, 10, 1 1 , 12, 1 3 , 14, 15, 16. 1 7 , 18, 1 9 , 20, 21, 22, 2 3 , 24, 25, 26,
27, 28, 2 9 , 30, 3 1 , 32, 33, 34, 35, 36, 3 7 , 38, 39. 40, 4 1 , 42, 4 3 , 44, 45, 46, 4 7 , 48, 49,
50, 51, 52, 5 3 , 54, 55, 56, 57, 58, 5 9 , 60, 6 1 , 62, 63. 64, 65, 66, 6 7 , 68, 69, 70, 7 1 , 72,
7 3 , 74, 75, 76, 77, 78, 7 9 , 80, 81, 82, 8 3 , 84, 85, 86, 87, 88, 8 9 , 90, 91, 92, 93, 94, 95, 96,
9 7 , 98, 99, 100, 1 0 1 , 102, 1 0 3 , 104, 105, 106, 1 0 7 , 108, 1 0 9 , 110, 111, 112, 1 1 3 , 114,
115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 1 2 7 , 128, 129, 130, 1 3 1 , 132,
133, 134, 135, 136, 1 3 7 , 138, 1 3 9 , 140, 141, 142, 143, 144, 145, 146, 147, 148, 1 4 9 , 150,
1 5 1 , 152, 153, 154, 155, 156, 1 5 7 , 158, 159, 160, 161, 162, 1 6 3 , 164, 165, 166, 167, 168,
169, 170, 171, 172, 1 7 3 , 174, 175, 176, 177, 178, 1 7 9 , 180, 1 8 1 , 182, 183, 184, 185, 186,
187, 188, 189, 190, 1 9 1 , 192, 1 9 3 , 194, 195, 196, 1 9 7 , 198, 1 9 9 , 200, 201, 202, 203, 204,
205, 206, 207, 208, 209, 210, 2 1 1 , 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222,
2 2 3 , 224, 225, 226, 2 2 7 , 228, 2 2 9 , 230, 231, 232, 233, 234, 235, 236, 237, 238, 2 3 9 , 240,
2 4 1 , 242, 243, 244, 245, 246, 247, 248, 249, 250, 2 5 1 , 252, 253, 254, 255, 256, 2 5 7 , 258,
259, 260, 261, 262, 2 6 3 , 264, 265, 266, 267, 268, 2 6 9 , 270, 2 7 1 , 272, 273, 274, 275, 276,
2 7 7 , 278, 279, 280, 2 8 1 , 282, 2 8 3 , 284, 285, 286, 287, 288, 289, 290, 291, 292, 2 9 3 , 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 3 0 7 , 308, 309, 310, 3 1 1 , 312,
3 1 3 , 314, 315, 316, 3 1 7 , 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330,
3 3 1 , 332, 333, 334, 335, 336, 3 3 7 , 338, 339, 340, 341, 342, 343, 344, 345, 346, 3 4 7 , 348,
3 4 9 , 350, 351, 352, 3 5 3 , 354, 355, 356, 357, 358, 3 5 9 , 360, 361, 362, 363, 364, 365, 366,
3 6 7 , 368, 369, 370, 371, 372, 3 7 3 , 374, 375, 376, 377, 378, 3 7 9 , 380, 381, 382, 3 8 3 , 384,
385, 386, 387, 388, 3 8 9 , 390, 391, 392,393, 394, 395, 396, 3 9 7 , 398, 399, 400, 4 0 1 , 402,
403, 404, 405, 406, 407, 408, 4 0 9 , 410, 411, 412, 413, 414, 415, 416, 417, 418, 4 1 9 , 420,
4 2 1 , 422, 423, 424, 425, 426, 427, 428, 429, 430, 4 3 1 , 432, 4 3 3 , 434, 435, 436, 437, 438,
4 3 9 , 440, 441, 442, 4 4 3 , 444, 445, 446, 447, 448, 4 4 9 , 450, 451, 452, 453, 454, 455, 456,
4 5 7 , 458, 459, 460, 4 6 1 , 462, 4 6 3 , 464, 465, 466, 4 6 7 , 468, 469, 470, 471, 472, 473, 474,
475, 476, 477, 478, 4 7 9 , 480, 481, 482, 483, 484, 485, 486, 4 8 7 , 488, 489, 490, 4 9 1 , 492,
493, 494, 495, 496, 497, 498, 4 9 9 , 500
vizsgálni minden n-nél kisebb pozitív szám esetén, hogy osztója-e n-nek),
ez a módszer azonban a gyakorlatban használhatatlan, ha n mondjuk 20-
vagy többjegyű szám. Csupán az elmúlt negyedszázadban találtak olyan ha
tékonyabb algoritmusokat (számítógép-programokat), amelyek segítségével
eldönthető, hogy egy szám prím-e. Ezeket felhasználva akár egy 1000-jegyű
számról is meglehetősen könnyen eldönthetjük, prím-e vagy sem.
Ha egy 1-nél nagyobb szám nem prím, akkor felírható prímszámok szor
zataként: előbb felírjuk a számot két kisebb szám szorzataként, ha ezen té
nyezők valamelyike nem prím, akkor felírható két (nála) kisebb pozitív szám
szorzataként - az eljárást folytatva olyan szorzathoz jutunk, amelynek min
den tényezője prím. Már az ókori görögök is ismerték (mi több, bebizonyítot
ták!) ennek a reprezentációnak egy fontos tulajdonságát: az egyértelműségét.
Ez azt jelenti, hogy az n számot csak egyféleképpen írhatjuk fel prímek
szorzataként (eltekintve természetesen attól, hogy a szóban forgó prímeket
6.3. PRÍMTÉNYEZŐS FELBONTÁS 97
(Egy valós számot irracionálisnak nevezünk, ha nem írható fel két egész szám
hányadosaként. A pitagoreusok számára a probléma geometriai természetű:
arra voltak ugyanis kíváncsiak, hogy összemérhető-e egy négyzet átlója a
négyzet oldalával, azaz létezik-e olyan szakasz, amelynek egész számú több
szöröseként mindkettő előállítható. A tétel szerint a válasz tagadó, ami a
pitagoreus iskolában komoly felbolydulást okozott.)
B IZ O N Y ÍT Á S : Újfent indirekt úton bizonyítunk: feltesszük, hogy racioná
lis, és feltevésünkből ellentmondást vezetünk le. Az indirekt hipotézis szerint
tehát vannak olyan a és b egész számok, amelyekkel \[2 = a/b. Mindkét ol
dalt négyzetre emelve és 62-tel szorozva a 2b2 = a2 egyenlőséget kapjuk.
Tekintsük most a két oldal prímtényezős felbontását, és vizsgáljuk meg,
hogy ezekben hányszor szerepel a 2. Tegyük fel, hogy a 2 az a prímtényezős
felbontásában m-szer, a 6-ében pedig n-szer fordul elő. Ekkor az a2 szám
prímtényezős felbontásában 2m darab 2-es szerepel. Másrészt b2 prímténye
zős felbontásban a 2-esek száma 2n, így 2b2 felbontásában 2n + 1 darab 2-es
szerepel. A 2b2 = a2 egyenlőség és a prímtényezős felbontás egyértelműsége
alapján így azt kapjuk, hogy 2n + 1 = 2m. Ez azonban nem lehetséges, el
végre 2n + l páratlan, 2m pedig páros. A kapott ellentmondás azt bizonyítja,
hogy \[2 irracionális szám. □
6.3.5. Legyen p prímszám és 1 < a < p —1. Tekintsük az a, 2a, 3a,..., (p — l)a
számokat, amelyek p-vel osztva az r i , r 2 , . . . . rp_i maradékokat adják. Igazoljuk,
hogy az 1 és p —1 közötti egész számok mindegyike pontosan egyszer szerepel az
n maradékok között.
[Útmutatás: előbb lássuk be, hogy egyik maradék sem fordulhat elő kétszer.]
6.3.6. Igazoljuk, hogy ha p prím, akkor y/p irracionális. Ennél több is igaz: ha n
nem négyzetszám, akkor yfn irracionális.
6.4 .2 . TÉTEL. Tetszőleges pozitív egész k szám esetén létezik k darab egy
más után következő összetett szám.
n! + 2, n! + 3, . . . , n! + n
számokat. Lehet-e ezek közül bármelyik is prím? Nem: az első szám páros,
elvégre n! és 2 is az. A második szám osztható 3-mal, hiszen (feltéve, hogy
6.4. A PRÍMSZÁMOK HALMAZA 101
A függvényre egzakt képlet szinte biztos, hogy nem adható meg; 1900 körül
azonban Hadamard és de la Vallée Poussin bebizonyítottak egy rendkívül
erős állítást, amelyet méltán neveznek prímszámtételnek.
ÍO200 10199
« 1.95- 10 197
200 In 10 199 In 10
Ez jó sok prímszám! Mivel összesen ÍO200 —10199 = 9 ■10199 darab 200-jegyű
szám van, könnyen megmondhatjuk, milyen sűrűén helyezkednek el közöttük
a prímek:
9 • 10199
460.
1,95- 10197
A 200-jegyű számok között tehát nagyjából minden 460-adik prím.
(Vigyázat: az érvelés nem tökéletesen pontos. A hiba forrása az, hogy a
prímszámtétel csupán annyit állít: n(n) elég közel lesz n / lnn-hez, ha n elég
nagy. Rákérdezhetnénk például arra, hogy mekkorának kell az n-nek lennie
ahhoz, hogy a két kifejezés eltérése 1%-nál kisebb legyen, de ez még nehezebb
- és maradéktalanul ma sem megoldott - problémákhoz vezetne.)
A prímszámok táblázatát vizsgálgatva további egyszerűnek látszó kérdése
ket is feltehetünk, amelyekről mindazonáltal kiderül: sokkal bonyolultabbak,
mint amilyennek látszanak. Több olyan van közöttük, amelyet a mai na
pig nem sikerült tisztázni, nem egy esetben két és fél évezredes próbálkozás
ellenére. Már említettük az ikerprímek problémáját. Egy másik híres meg
oldatlan probléma a Goldbach-sejtés, amely szerint minden 2-nél nagyobb
páros szám felírható két prímszám összegeként. Goldbach a páratlan szá
mokról is megsejtett valamit: minden 5-nél nagyobb páratlan szám felírható
három prímszám összegeként. Ez utóbbit - mély módszerek mozgósításával
- a 30-as években Vinogradov „lényegében” bebizonyította. A „lényegében”
fordulattal arra utalunk, hogy a bizonyítás csak nagyon nagy számokra ér
vényes, és továbbra sem tisztázott, hogy van-e a sejtés alól kivétel.
Tegyük fel, hogy adott számunkra egy n egész szám és arra vagyunk kíván
csiak, hogy milyen gyorsan bukkanunk n után egy prímszámra. Felmerülhet
például a következő kérdés: mekkora a legkisebb 100-jegyű prímszám? A
prímszámok halmaza végtelenségének bizonyítása során beláttuk, hogy n és
n\ + 1 között biztosan találunk prímszámot. Ez nem túl erős állítás: n = 10
esetén például annyit mond, hogy 10 és 10! + 1 = 3 628 801 között bizto
san találunk prímszámot - és valóban, a l l például ilyen... P. L. Csebisev
orosz matematikus a 19. század közepén bebizonyította, hogy tetszőleges
n esetén n és 2n között biztosan van legalább egy prímszám. Ma már azt
is tudjuk, hogy két egymás utáni köbszám (tehát például 103 = 1000 és
l l 3 = 1331) között is találunk prímszámot. Az azonban, hogy ez a szomszé
dos négyzetszámokra is igaz-e, még mindig a híres, bizonyítatlan problémák
táborát erősíti. (Próbáljuk ki: elég sok prímszámot találhatunk; 100 = 102
és 121 = l l 2 között például 101, 103, 107, 109 és 113, 1002 = 10 000 és
1012 = 10 201 között 10 007, 10 009, 10 037, 10 039, 10 061, 10 067, 10 069,
104 6. EGÉSZ SZÁMOK, OSZTÓK ÉS PRÍMEK
10079, 10091, 10093, 10099, 10103, 10111, 10133, 10139, 10141, 10151,
10 159, 10163, 10169, 10177, 10 181 és 10 193 a prímek.)
6.4.1. Bizonyítsuk be, hogy a fc-jegyű számok között körülbelül minden 2, 3k da
rab számra esik egy prímszám.
Pierre de Fermat
f p \ = p ( p - l ) - - - ( p - k + 1)
\k) k(k — 1) • • ■1
aP - a = ( b + l ) p - { b + í ) = bP+ ( ^ j b p~1 + . . . + (K pP
_ ^ ) b+ 1- b- l =
=(v-i)+(^y-+...+(/_1y
A zárójelben szereplő bp — b az indukciós feltevés szerint osztható p-vel, a
többi tagra pedig a 6.5.2. Lemma alapján teljesül ugyanez. Eszerint ap — a
szintén osztható p-vel, amint azt bizonyítani kellett. A bizonyítás teljessé
tételéhez meg kell mutatni, hogy a < 0 esetén is igaz az állítás. Világos, hogy
a2 —a = a(a —1) páros szám, hisz egy páros és egy páratlan szám szorzata,
így p = 2 esetén fennáll az állítás. Ha pedig p > 2, akkor p páratlan volta
miatt ap —a — —((—a)p —(—a)), ami a bizonyítás első része szerint egy p-vel
osztható szám (—l)-szerese, így szintén osztható p-vel. □
Egy megjegyzés erejéig pillantsunk bele a matematikatörténet mély kút
jába. Ferrnat hírneve mindenekelőtt nevezetes „sejtéséből” („utolsó tételé
ből”), a „nagy” Fermat-tételből ered:
(Az n > 2 kikötés nem hagyható el, elvégre két négyzetszám összege minden
további nélkül lehet négyzetszám, például 32 + 42 = 52 vagy 52 + 122 = 132.
Mi több: végtelen sok ilyen - „pitagoraszi” - számhármas létezik, 1. a 6.6.7.
feladatot.)
Fermat azt állította, hogy sikerült bebizonyítania az állítást, de sohasem
írta le. A Fermat-sejtés 1995-ig a matematika talán leghíresebb megoldatlan
problémája volt, amikor Andrew Wilesnak (részben Richard Taylor segítsé
gével) sikerült bebizonyítania.
106 6. EGÉSZ SZÁMOK, OSZTÓK ÉS PRÍMEK
6.5.1. Mutassuk meg, hogy sem a 6.5.2. Lemma. sem a „kis” Fermat-tétel nem
marad érvényben, ha p nem prím.
6.5.2. Tekintsünk egy szabályos p-szöget, és rögzítsünk egy 1 < k < p —1 szá
mot. A p-szög csúcsaiból álló k elemű halmazokat helyezzük skatulyákba olyan
módon, hogy két ilyen halmaz pontosan akkor kerüljön ugyanabba a skatulyába,
ha a p-szög középpontja körüli elforgatással egymásba vihetó'k. így például a szom
szédos csúcsokat tartalmazó k elemű részhalmazok mind ugyanabba a skatulyába
kerülnek.
(a) Igazoljuk, hogy ha p prímszám, akkor minden skatulyába pontosan k darab
halmaz kerül.
(b) Bizonyítsuk be, hogy ha p nem prímszám, akkor (a) nem igaz.
(c) A feladat (a) része alapján adjunk új bizonyítást a 6.5.2. Lemmára.
6.6.4. Hogyan adható meg két szám legkisebb közös többszöröse a számok prím-
tényezős felbontása alapján?
6.6.5. Tegyük fel, hogy két egész szám közül csupán az egyik prímtényezős fel
bontását ismerjük. Hogyan határozhatjuk meg ekkor a két szám legnagyobb közös
osztóját?
6 .6 .1 L e m m a . A z e u k lid e s z i a lg o r itm u s k é t e g y m á s u tá n i lé p é s é b e n a k é t
s z á m s z o r z a t a le g a l á b b fe lé r e c s ö k k e n .
6 .6 .2 . T é t e l . A z a és b p o z i t í v s z á m o k le g n a g y o b b k ö z ö s o s z tó já t a z e u k
l i d e s z i a l g o r i t m u s le g f e l j e b b log2 a + log2 b lé p é s u t á n m e g a d ja .
A lépésszám felső korlátja tehát már nem a két bemenet összege, hanem
2 alapú logaritmusuké, amivel nagyot javítottunk első becslésünkön. A tétel
szerint két 300 jegyű egész szám legnagyobb közös osztóját kevesebb mint
21og2 ÍO300 = 6001og2 10 < 2000 lépésben megkaphatjuk, vagyis sokkal ha
marabb, mint amire első, naiv becslésünk 2 • 103o° felső korlátja alapján
várhattuk volna. A log2 a szám kisebb, mint a 2-es alapú számrendszerbeli
alakja számjegyeinek száma, így kijelenthetjük: az euklideszi algoritmusnak
legfeljebb annyi cikluson kell csak végigfutnia, ahány számjegy a két bemenet
bináris reprezentációjában összesen előfordul.
A tétel csupán felső korlátot szab az euklideszi algoritmus lépéseinek szá
mára, a gyakorlatban ennél sokkal szerencsésebbek is lehetünk. Ha például az
euklideszi algoritmust két egymás után következő egész számra alkalmazzuk,
akkor egyetlen lépésben véget ér. Van azonban, amikor nem számíthatunk
sokkal jobb eredményre. Ha az Olvasó megoldotta a 6.6.9. feladatot, akkor
tudja, hogy az algoritmus az Fk és Fk+i egymást követő Fibonacci-számok
legnagyobb közös osztójának meghatározása k —1 lépést vesz igénybe. Té
telünk ugyanerre a
« log2
M
= - log2 5 + (2k + 1) log2
+ log2
6.6.10. Tegyük fel, hogy a < b, továbbá hogy az a és b számok legnagyobb közös
osztója az euklideszi algoritmus segítségével k lépést igényel. Bizonyítsuk be, hogy
ekkor a > Fk és b > Fk+1 -
6 = 17-18 - 300.
b' —qa! — (ak + bl) — q(am + bn) — a(k — qm) + b(l — qn)
d = am + bn,
6.7. Kongruenciák
A jelölés a matematika logikai struktúrájában nem játszik alapvető szerepet:
ha például a valós számokat V, az összeadást pedig # jelölné, a definíciók,
a szabályok és a tételek jelentése akkor is ugyanaz maradna. Alkalmanként
azonban az is előfordul, hogy a jelölés csodálatos módon inspiratív, és valódi
fogalmi áttöréshez vezet. Ez történt akkor is, amikor Cári Friedrich Gauss
észrevette, hogy „az a és ab egész szám m-mel osztva ugyanazt a maradékot
adja” fordulatot igen gyakran használjuk, és hogy ez a reláció erősen hasonlít
az egyenlőségre. A relációra ezért külön jelölést vezetett be, és kongruenciá
nak nevezte el.
Ha tehát a és b ?n-mel osztva ugyanazt a maradékot adják (ahol a, b és
m egyaránt egész számok), akkor ezt
a = b (mód m)
ap = a (mód p).
6.7.1. Melyik az a legnagyobb m egész szám, amelyre 12345 = 54321 (mód m)l
első napja: a hétfő vagy a vasárnap - de ha az Olvasó úgy érzi, hogy a hét
vasárnappal kezdődik, még mindig tekintheti vasárnapot a nulladik napnak.)
Ezek után nem okozhat különösebb nehézséget annak megállapítása, hogy
SZERDA • KED D = S Z O M B A T , C S Ü T Ö R T Ö K 2 — K E D D , H É TFŐ - SZOM BAT =
= KEDD Stb.
A hét napjain definiált műveletekkel valójában egy új számrendszert ve
zettünk be. Ebben a számrendszerben összesen hét szám van, ezeket HÉ, K E ,
sze , csü , p é , szó és va jelöli. (Bevezethetnénk a S z e n d e , S zu nd i , M o r g ó ,
T u d o r , V id o r , H a p c i , K uka neveket is - a lényeg úgyis az, ahogyan az
aritmetikai műveleteket értelmezzük.)
Az új számokon értelmezett műveleteknek sok közös vonása van a szokásos
műveletekkel. Az összeadás és a szorzás kommutatív:
K E + PÉ = P É + K E , KE • PÉ = PÉ • KE,
és asszociatív:
(h é + sze ) + pé = hé + ( s z e + P É ), (h é ■ sze ) • PÉ = hé ■ ( s z e • P É ),
(h é + sze ) • P É = ( h é • P É ) + (SZ E • P É ).
SZE ■ HÉ = SZE.
( i t t a d i s z t r i b u t i v i t á s m e l l e t t a z t is k i h a s z n á l t u k , h o g y a V A S Á R N A P ú g y
v i s e l k e d i k , m in t a 0 ). A vasárn ap é s a 0 k ö z ö t t f e n n á lló h a s o n ló s á g a 0
a z o n t u l a j d o n s á g á r a is k i t e r j e d , a m e ly s z e r in t k é t n e m n u lla s z á m s z o r z a t a
n e m l e h e t 0, a z a z : k é t n e m -V A S Á R N A P s z á m o t ö s s z e s z o r o z v a a z e r e d m é n y
n e m le h e t V A S Á R N A P . ( E lle n ő r iz z ü k ! ) E s z e r i n t t e h á t X —Y = VA, a z a z X =
= Y + v a = Y.
Az X • P É s z o r z a t o k t e h á t k ü lö n b ö z n e k , é s m iv e l h e te n v a n n a k , a h é t
m i n d e n n a p j a , s p e c i á l i s a n S Z E R D A is k ö z ö t t ü k v a n .
E z a z é r v m in d e n o s z t á s e s e t é b e n m ű k ö d ik , k i v é t e l t c s u p á n a z a z e s e t
j e l e n t , a m i k o r V A S Á R N A P -p a l p r ó b á l u n k o s z t a n i. M iv e l a v a s á r n a p ú g y v i
s e lk e d ik , m in t a 0, e z é r t b á r m e l y i k n a p o t s z o r o z z u k m e g V A S Á R N A P -p a l, a z
e r e d m é n y V A S Á R N A P le s z . (A va / v a h á n y a d o s e n n é lf o g v a a h é t a k á r m e ly ik
n a p j a le h e t n e , n e m t e k i n t h e t ő t e h á t j ó l d e f in iá lt „ s z á m n a k ” .)
A 6.7. alfejezetben megismert kongruenciák segítségével különös számaink
is könnyebben kezelhetők. A (6.2) egyenlőséget például
(x — y) ■5 = 0 (m ó d 7)
6.8.1. H a tá r o z z u k m eg s z e / p é , k e / p é , h é / k e és s z o / k e h á n y a d o s o k a t.
+ 1 1
lo
lo lo
lo
lo
ol
I
Ol
1 1 1 1
© 0 1 0 1
0 0 1 0 0 0
1 1 0 1 0 1
6.8.3. B izo n yítsu k be, h o gy 6 m odulus esetén van olyan nem nulla szám , am ellyel
nem lehet osztani. Á lta lán o sítsu k a p éld át tetszőleges összetett m odulus esetére.
ax = 1 (m ó d p)
au = 1 (mód p).
ax = au = 1 (mód p)
1/2 = 117264.
IX + 3=0,
eszerint tehát (—20) - 7 = 1 (mód 47). A 7 reciproka tehát —20 (vagy ha úgy
tetszik: 27).
A (6.3) egyenlet mindkét oldalát 7-tel osztva az
x = 13 (mód 47)
Kongruenciaruhában:
illetve a
(—503)y = —136 (mód 127)
kongruenciát kapjuk. A negatív számokat a modulo 127 vett maradékukkal
helyettesítve:
5y = 118 (mód 127). (6.5)
6.8. KÜLÖNÖS SZÁMOK 121
Ezen nem lepődünk meg, elvégre tudtuk, hogy számaink relatív prímek. Ha
többet is meg szeretnénk tudni, újra el kell végeznünk a számítást, de most
úgy, hogy a számokat 127 és 5 egészszám-szorosai összegeként írjuk fel:
ln k o ( 1 2 7 ,5) = l n k o ( 1 2 7 - 25• 5, 5) = l n k o ( 1 2 7 - 2 5 - 5 , ( - 2 ) • 1 2 7 + 5 1 • 5 ) = 1.
Eszerint
( - 2) - 127 + 51-5 = 1,
azaz 5 • 51 = 1 (mód 127), megtaláltuk tehát az 5 reciprokát rnodulo 127.
Ahelyett tehát, hogy a (6.4) egyenletet 5-tel osztanánk, 51-gyel is meg
szorozhatjuk:
y = 51 • 118 (mód 127). (6.6)
amiből
2x = 23 - 89 ■49 = 107 (mód 127).
Újra osztanunk kell. Az előzőek m intájára most azt kapjuk, hogy
( - 6 3 ) - 2 + 127 = 1,
így aztán
64-2 = 1 (mód 127).
A 2-vel való osztás helyett tehát szorozhatunk 64-gyel, így az
Szorzattá alakítva:
A bal oldalon szereplő szorzat egyik tényezőjének 0-nak kell lennie modulo
53, azaz x = 1 (mód 53) vagy x = 2 (mód 53).
A bal oldalt „ránézésre”, könnyen szorzattá alakítottuk. Mi a helyzet,
ha az együtthatók nagyobbak, mint például az x 2 + 134517a: + 105536 =
= 0 (mód 234527) kongruencia esetében? Nem valószínű, hogy a bal oldal
szorzat alakját bárki „kitalálná”. Ilyenkor segít a másodfokú egyenlet (kö
zépiskolában megismert) megoldóképlete. Ez működik, de az egyik lépés - a
gyökvonás - meglehetősen bonyolult. Létezik a feladat megoldására hatékony
algoritmus, ez azonban túl bonyolult ahhoz, hogy ehelyütt tárgyaljuk.
6 .8 .5 . O ld ju k m eg a
2x + 3y = 1 (m ó d ii) ,
x + 4y = 4 (m ód 11)
6 .8 .6 . O ld ju k m eg az
„kongruen cia-egyenleteket” .
b i = a 1,
í>2 = <*1 T fl2j
&3 = 0.1 + 0-2 +
hn — al + &2 + 03 + ■• ■+ an.
6.9. SZÁMELMÉLET ÉS KOMBINATORIKA 123
Ha ezek között van n-nel osztható, akkor megvagyunk. Ha egyik sem osztható
n-nel, akkor osszuk el valamennyit n-nel maradékosan. írjuk le a maradéko
kat: ezek mindegyike vagy 1, vagy 2,..., vagy n — 1. Mivel n számunk van,
lennie kell közöttük kettőnek, amelyik n-nel osztva ugyanannyi maradékot
ad. Legyen ez a két szám bi és bj (ahol i < j). A bj — bt különbség ekkor
nyilván osztható n-nel, de
Megtaláltuk tehát az {ai, 02, . . . , an} halmaz egy olyan részhalmazát (az
{dj+i, a.i+2, • ■•, aj} halmazt), amelynek elemeit összeadva n-nel osztható
számot kapunk. Ezt kellett bizonyítani.
1200
darab 5-tel osztható szám van.
1200
olyan szám van, amely 2-vel és 5-el, továbbá
ÜT
1200
olyan, amelyik 3-mal és 5-tel is osztható.
ÜT
Végül a 2-vel, 3-mal és 5-tel is osztható számok a 15-töbszörösök, így 1200-ig
éppen
Tetszőleges n természetes szám esetén <p(n) jelöli az n-nél nem nagyobb, ír
hez relatív prím pozitív egészek számát (A „kisebb” helyett a „nem nagyobb”
fordulatot használjuk. Ennek persze csak n = 1 esetén van jelentősége, az 1
ugyanis az egyetlen olyan szám, amely önmagához relatív prím: <^?(1) = 1.)
A prímszámok természetesen a legtöbb számhoz viszonyítva relatív prímek:
ha p prím, akkor ip(jp) meghatározásakor minden p-nél kisebb pozitív egé
szet számításba kell vennünk, így ip(p) = p — 1. Az általános esetben is
a fenti módszert követjük: a ha az n szám prímtényezős felbontásában a
P i , P2 , . - •, pr prímek szerepelnek, akkor
^ (n) = „ . ( 1 - l ) - ( 1 - i ) . . . ( 1 - l ) . (6.7)
6.9.4. Mit kapunk, ha összeadjuk az összes n-nél kisebb, n-hez képest relatív prím
pozitív számot?
1 111222 233 334 444 555 566 667 777 888 899 967
210 — 1 | 2340 - 1 ,
amiből
11 | 2340 - 1.
n | an- l - 1
Ha most 561 prím lenne, akkor a „kis” Fermat-tétel értelmében minden 1 <
< a < 560 esetén a560 —1 osztható lenne 561-gyel. Ha azonban egy prímszám
osztója egy szorzatnak, akkor osztania kell legalább az egyik tényezőt is
(6.3.3. feladat), így az
relációk közül legalább egynek fenn kell állnia. De ezek egyike sem áll fenn,
még a = 2 esetén sem.
A Miller-Rabin-teszt ezen a megfigyelésen alapul. Ha az n > 1 páratlan
számról akarjuk eldönteni, prím-e vagy sem, akkor véletlenszeren kiválasz
tunk egy 0 < a < n — 1 számot, majd szemügyre vesszük az an ~ a kü
lönbséget. Felírjuk a(an~1 — 1) alakban, majd az x 2 — 1 = (x — l)(x + 1)
azonosságot felhasználva folytatjuk a szorzattá alakítást, amíg lehet. Ezután
ellenőrizzük, hogy van-e a tényezők között n-nel osztható.
Ha a teszt azt jelzi, hogy nincs, akkor biztosak lehetünk abban, hogy n
nem prím. De mi a helyzet, ha a teszt „nem jelez”? Ez sajnos összetett n ese
tén is megeshet, de - és ez a fontos - a hamis pozitív eredmény valószínűsége
kisebb, mint \ (emlékezzünk rá, hogy a-t véletlenszerűen választottuk).
Ha az esetek felében téves eredményre jutunk, az nem hangzik túl jól, a
teszt azonban megismételhető. Ha például véletlenszerűen választott a-kkal
130 6. EGÉSZ SZÁMOK, OSZTÓK ÉS PRÍMEK
Tegyük fel, hogy egy prímtesztet elvégezve úgy találjuk: n összetett szám.
Az értelemszerű kérdés ekkor nyilván ez: mi az n prímtényezős felbontása.
Könnyen látható, hogy ennél kevesebbel is beérhetnénk: elegendő lenne, ha
az n számot felírhatnánk két kisebb szám szorzataként, például n = ab alak
ban. Ha ezt a feladatot hatékonyan meg tudnánk oldani, akkor az eljárást
a-val és ö-vel folytathatnánk. Ha kiderül, hogy mindkettő prím, akkor meg
találtuk n prímtényezős felbontását, ha egyikük - mondjuk a - összetett,
akkor az eljárást folytatva a-t is felbonthatnánk két kisebb szám szorza
tára, és így tovább. Mivel az n számnak legfeljebb log2 n prímtényezője lehet
(6.3.4. feladat), az eljárást mindössze log2 n-szer kell megismételnünk (vagyis
kevesebbszer, mint n számjegyeinek száma).
Sajnos (vagy szerencsére? - l . a titkosírásról szóló 15. fejezetet), nem áll
rendelkezésünkre olyan hatékony módszer, amelynek segítségével egy számot
két kisebb szám sorzatára bonthatnánk. Egyelőre ki kell békülnünk azzal,
hogy nem rendelkezünk hatékony módszerrel, és azt sem tudjuk bebizonyí
tani, hogy ilyen módszer nem létezik.
6.10.2. Igazoljuk, hogy 561 Carmichael-szám: mutassuk meg, hogy 561 j a 561 —a
minden pozitív egész a esetén. [Útmutatás: mivel 561 = 3 -11 •17, elegendő belátni,
hogy 3 [ a561—a, 11 j a°61 —1 és hogy 17 | a561 —a. Igazoljuk külön-külön mindhárom
fennállását, a 341 | 2340 —1 bizonyításának módszerét követve.]
Áttekintő feladatok
6.10.3. Igazoljuk, hogy ha c / 0 és ac \ be, akkor a \ b.
6.10.5. Igazoljuk, hogy minden 3-nál nagyobb prímszám 6-tal osztva 1 vagy —1
maradékot ad.
6.10.8. Hány olyan pozitív egész szám van, amely egyetlen 20-nál nagyobb prím
mel és egyetlen prímszám négyzetével sem osztható.
6.10.10. Igazoljuk, hogy egyetlen 30-jegyű számnak sem lehet 100-nál több prím
tényezője.
6.10.11. Igazoljuk, hogy bármely 160-jegyű számhoz található olyan 100-nál nem
kisebb prímhatvány, amellyel az illető szám osztható. Ilyen tulajdonságú prímosztó
nem feltétlenül létezik.
6.10.12. Határozzuk meg a 20-nál nem nagyobb pozitív egész számok osztóinak
számát (a 6-nak például 4 osztója van: 1, 2, 3, 6 ). Melyek azok a számok, amelyek
nek páros számú osztója van? Állítsunk fel egy hipotézist, és bizonyítsuk be.
6.10.13. Határozzuk meg 100 és 254 legnagyobb közös osztóját az euklideszi al
goritmus segítségével.
6.10.16. Igazoljuk, hogy bármely m egész számhoz található m-mel osztható Fi-
bonacci-szám. (Az Fq = 0 számnak persze minden m szám osztója - rendben:
pozitív Fibonacci-számra gondolunk.)
6.10.20. Mutassuk meg, hogy a „kis” Fermat-tétel két alakja (a 6.5.1. Tétel és a
6.1. Tétel) ekvivalens.
132 6. EGÉSZ SZÁMOK, OSZTÓK ÉS PRÍMEK
1 = p+ 1
2 2
6.10.23. Hány olyan 210-nél kisebb szám van, amely osztható 2-vel, 3-mal vagy
7-tel?
7. fejezet
Gráfok
o • * >o
7.2. ábra. Páratlan pontú gráfok. A páros fokszámú pontokat fekete pontok
jelzik.
7.3. ábra. Páros pontú gráfok. A páros fokszámú pontokat fekete pontok
jelzik.
7.4. ábra. Egy gráf éleinek egyenként való berajzolása. A páros fokszámú
pontokat fekete pontok jelzik.
7.1.2. (a) Létezik-e olyan 6 pontú gráf, amelynek élei 2, 3,3, 3, 3, 3 fokszámúak?
(b) Létezik-e olyan 6 pontú gráf, amelynek élei 0,1, 2, 3,4, 5 fokszámúak?
(c) Hány olyan 4 pontú gráf van, amelyben az élek fokszáma 1,1, 2, 2?
(d) Hány 10 pontú gráf van, amelyben az élek fokszáma 1,1,1,1,1,1,1,1,1,1?
7.1.6. Hány gráfot adhatunk meg 20 ponton? (A kérdés nem egészen pontos. Meg
kellene mondanunk ugyanis, hogy mikor tekintünk két gráfot azonosnak. Ebben a
feladatban olyan gráfokra gondolunk, amelyeknek elemeit megcímkéztük, mondjuk
az Andrea, Béla. .. nevekkel. Az a gráf tehát, amelynek egyetlen éle Andreát és
Bélát köt össze, különbözik attól, amelynek egyetlen éle Erzsi és Feri között halad.)
\ /
7.5. ábra. Két út és két kör.
7.2.2. Hány részgráfja van egy n pontú él nélküli gráfnak? Hány részgráfja van
egy háromszögnek?
7.2.3. Keressük meg az összes olyan gráfot, amely komplemensével együtt út,
illetve kör.
szakasznak pedig - a d-n kívül - nem lehet közös pontja, elvégre d az első
közös pont, így a P út d „előtti” pontjai a Q útnak nem pontjai.1
Egy G gráf pontjainak vq, v\ , . . . , V k sorozatát sétának nevezzük, ha vq
és Di, V\ és r>2... egyaránt szomszédosak. A séta definíciója emlékeztet az
útéra, van azonban egy fontos különbség: egy útnak különböző pontokon
kell átmennie, egy séta viszont ugyanazt a pontot akár többször is érintheti.
Eszerint tehát egy út: ismétlés nélküli séta. Egy séta esetében az első és
az utolsó pont is lehet ugyanaz, ilyenkor zárt sétának (vagy körsétának)
nevezzük. A legrövidebb séták egyetlen vq pontból állnak (minden ilyen séta
zárt). Ha az első és utolsó pontok különböznek, akkor azt mondjuk, hogy a
séta összeköti őket.
Van-e különbség, ha egy gráf két pontját egy út, illetve egy séta köti
össze? Nincs különösebb: ha két pont sétával összeköthető, akkor úttal is.
A gráfelméleti vizsgálódásokban olykor az utak, máskor a séták használata
kényelmesebb (7.2.6. feladat).
Tetszőleges G - nem feltétlenül összefüggő - gráfnak van összefüggő rész
gráfja, ilyen például minden egyetlen pontból álló gráf. A G összefüggő kom
ponensének nevezzük G minden maximális, összefüggő H részgráfját. Más
szóval: a H részgráf a G összefüggő komponense, ha H összefüggő, de G-nek
7.7. ábra. Egy a-ból c-be vezető út kiválasztása az a-ból 6-be, illetve 6-ből
c-be vezető utak alapján.
7.2.5. (a) Hagyjuk el a G összefüggő gráf egy e élét. Igazoljuk egy példa segít
ségével, hogy a fennmaradó gráf nem feltétlenül összefüggő.
(b) Igazoljuk, hogy ha olyan élt törlünk, amely a G egy kör-részgráfjába esik,
akkor a gráf a összefüggő marad.
7.2.9. Igazoljuk, hogy egy G gráf egyetlen éle sem haladhat a gráf két különböző
összefüggő komponensébe eső pontjai között.
7.2.11. Bizonyítsuk be, hogy ha egy n > 3 pontú (egyszerű) gráfnak több mint
(" 7 1) éle van, akkor a gráf összefüggő.
Legyen v a gráf tetszőleges pontja. Ekkor nyilván létezik olyan zárt séta,
amely u-ben kezdődik, u-ben végződik, és a gráf minden élén legfeljebb egy
szer halad át; ilyen például az a séta, amely egyedül a v pontból áll. Nekünk
ez a séta túlságosan rövid, tekintsük tehát a leghosszabb ilyen - vagyis v-
ből induló, u-be érkező, bármely élen legfeljebb egyszer áthaladó - sétát, és
jelöljük VE-vel.
(a) (b)
7.11. ábra. (a) Keresünk egy élt, amelyet a W érint, de nem halad rajta át.
(b) A W és W ' séták összekapcsolása.
7.3.1. A 7.12. ábrán látható gráfok közül melyikben van Euler-séta? Melyikben
van zárt Euler-séta? Ha létezik, keressünk egyet.
7.3.2. Mikor létezik egy összefüggő gráfban két olyan séta, amelyekre teljesül,
hogy a gráf minden élén a két séta közül pontosan egy, pontosan egyszer halad át?
7.3.3. Állapítsuk meg, hogy van-e a 7.13. ábrán látható gráfokban Hamilton-kör.
Á ttekintő feladatok
7.3.4. Rajzoljuk fel az összes olyan 5 pontú gráfot, amelynek nincs 2-nél nagyobb
fokszámú pontja.
7.3.6. Rajzoljunk gráfot, amely (a) a vízmolekulát alkotó atomok, (b) egy metán
molekula atomjai, (c) két vízmolekula atomjai közötti kémiai kötéseket ábrázolja.
7.3.7. Egy partin, ahol 7 fiú és 6 lány mulat, minden fiú táncolt már az összes
lánnyal. Rajzoljuk le a táncgráfot. Hány éle van ennek a gráfnak? Adjuk meg a
pontok fokszámát is.
7.3.10. Legyen G olyan összefüggő gráf, amelynek legalább két pontja van. Iga
zoljuk, hogy ekkor van a gráfnak olyan pontja, amelynek - és a hozzá kapcsolódó
összes élnek - az eltávolítása után megmaradó gráf is összefüggő.
7.3.11. Legyen G olyan összefüggő gráf, amely nem út. Igazoljuk, hogy van a gráf
nak három olyan pontja, hogy ezek közül bármelyiket eltávolítva a gráf összefüggő
marad.
7.3.12. Legyen G olyan gráf, amelyben bármely két élnek van közös végpontja.
Igazoljuk, hogy G vagy csillag, vagy egy három pontú teljes gráf.
7.3.15. A 7.3.1. Tétel összefüggő gráfokra vonatkozik. Melyik nem összefüggő grá
fokban van Euler-séta?
8. fejezet
Fák
u-ből P mentén u-ba, majd az uv élen vissza egy kört tennénk meg. Ebből
viszont az következik, hogy a P úthoz az u pontot és az uv élt hozzáadva
egy u-t és r-t összekötő utat kapunk. Ezen az úton v az első u utáni pont,
v tehát valóban u apja. (Érvényes vajon ez a gondolatmenet a v = r esetre
is? Ellenőrizzük!)
Beláttuk tehát, hogy minden, a gyökértől különböző pontnak pontosan
egy apja van. Egy pontnak akárhány fia lehet, lehetséges akár olyan pont is,
amelynek egyetlen fia sincs. A „fiatlan” pontokat a fa leveleinek nevezzük;
más szóval: a levelek olyan, az r gyökérponttól különböző pontok, amelyek
nek a fokszáma 1.
8.1.2. Igazoljuk, hogy egy G gráf u és v pontjait egy új éllel összekötve pontosan
akkor kapunk egy új kört, ha u és v ugyanabba az összefüggő komponensbe esnek.
8.1.3. Igazoljuk, hogy egy fa bármely két pontja között pontosan egy út vezet.
Megfordítva: bizonyítsuk be, hogy ha egy G gráf bármely két pontja között pon
tosan egy út vezet, akkor a gráf fa.
Az igazi fákon újabb és újabb ágak nőnek. Most megmutatjuk, hogy ilyen
módon gráf-fákat is „növeszthetünk”. Pontosabban a következő eljárásról van
szó:
eljárás logikai konstrukciója szerint egy fa, semmi köze ahhoz, hogy az el
járás végeredményeként is fákat kapunk. Bármely iteratív eljárás, amelynek
minden lépésében szabadon dönthetünk, egyfajta „fát” eredményez.
B iz o n y ít á s : V a ló b a n , k e z d e tb e n a p o n to k s z á m a (1 ) é p p e n e g g y e l n a g y o b b ,
m i n t a z é le k é (0 ), a z ú j a b b é le k b e r a j z o l á s a k o r p e d i g m in d a p o n t o k , m in d
a z é le k s z á m a e g g y e l n ő , a k ü lö n b s é g t e h á t n e m v á l t o z i k . □
8.2.3. Ha egy fának töröljük egy v pontját (azokkal az élekkel együtt, amelyekre
illeszkedik), akkor olyan gráfot kapunk, amelynek minden összefüggő komponense
fa. Ezeket a komponenseket az eredeti fa v pontbeli ágainak nevezzük. Bizonyítsuk
be, hogy bármely fában van olyan pont, hogy az onnan induló ágak közül egyiknek
sincs több pontja, mint a fa pontjai számának fele.
154 8. FÁK
8 .3 .1 . T é t e l . (C a y le y t é t e le ) A z n p o n tú c ím k é z e tt fá k szá m a n n ~ 2.
van szükség. A célunk az, hogy fánkat a lehető legkisebb memóriát igénybe
véve tároljuk.
Lássunk néhány egyszerű megoldást.
(a) Tegyük fel, hogy a tárolni kívánt G gráfnak n pontja van. Természetes
módon felmerül egy nagy táblázat elkészítésének ötlete: legyen a táblázat
nak n sora és n oszlopa, és írjunk - mondjuk - egy 1-est az i-edik sor j-edik
rubrikájába, ha az i és a j pontok össze vannak kötve, illetve 0-t, ha nincse
nek. Célszerű, ha a 0-val jelölt pontot utoljára vesszük figyelembe, ez a pont
esetünkben a 10-edik sornak és a 10-edik oszlopnak felel meg.
0 0 0 0 0 1 0 0 0 0
0 0 0 1 0 1 0 0 0 1
0 0 0 0 0 0 0 0 0 1
0 1 0 0 0 0 0 0 0 0
0 0 0 0 0 1 0 0 0 0
(8 .1 )
1 1 0 0 1 0 0 0 0 0
0 0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 1 1 0 0
0 1 1 0 0 0 0 0 0 0
Ez a módszer természetesen nem csak fákra, hanem bármilyen más gráfra
is alkalmazható. (A kapott táblázatot a gráf szomszédsági mátrixának neve
zik.) A módszer sok esetben célravezető, fák esetében azonban meglehetősen
pazarló. A táblázat minden elemét egy bit tárolja, így n2 bitre van szüksé
günk. A helyzeten javíthatunk, ha észrevesszük, hogy elég a táblázat átlója
fölötti adatokat tárolni, mivel a táblázat szimmetrikus az átlóra. Ez azonban
még mindig (n2 —n )/2 bit tárigényt jelent.
(b) Jobban járunk, ha a fa éleit soroljuk fel. Ehhez csak annyit kell figye
lembe vennünk, hogy minden élt egyértelműen meghatároznak a végpontjai.
Célszerű, ha olyan listát készítünk, amelynek oszlopai a fa éleinek felelnek
meg. A 8.4. ábrán szereplő fa például a
7 8 9 6 3 0 2 6 6
9 9 2 2 0 2 4 1 5
táblázattal reprezentálható. Táblázatunknak már nem n, hanem csak két
sora van. Ennek persze megvan az ára: a táblázatban nem csupán 0-k és
1-esek, hanem 0 és n —1 közötti egész számok szerepelnek. Ez persze megéri:
egy pont reprezentálásához log2 n, a teljes táblázathoz pedig 2n log2 n bitre
van szükség, ez a szám pedig - legalábbis nagy rc-ek esetén - sokkal kisebb,
mint (n2 —n)/2.
Ugyanaz a fa ezzel a módszerrel többféle módon is reprezentálható. El
dönthetjük, milyen sorrendben íruk le az éleket, és minden él esetében vá
laszthatunk, hogy melyik végpontot szerepeltetjük az első, és melyiket a
8.4. HOGYAN TÁROLHATUNK FÁKAT? 157
1 2 3 4 5 6 7 8 9
6 0 0 2 6 2 9 9 2
8.4.1. Tekintsük a következő „kódokat”: (0,1, 2,3, 4, 5, 6, 7); (7, 6, 5,4, 3, 2,1,0);
(0, 0,0, 0, 0, 0,0, 0); (2, 3,1, 2, 3,1, 2, 3). Közülük melyik egy fa apakódja?
8.4.2. Igazoljuk az apakód alapján, hogy a címkézett fák száma legfeljebb nn~1.
5 2 4 6 7 3 1
2 4 0 3 3 1 0
1111100100011011010000 .
162 8. FÁK
~n—2
< Tn < 4n —1
n\
eg yen lő tlen ség et.
2n < T n < 4n
képletet kapjuk.
A planáris kód messze van attól, hogy optimális legyen: egyrészt egy cím-
kézetlen fát - a gyökér választásától függően - több planáris kóddal is megad
hatunk, másrészt nem minden 2(n—1) hosszúságú sorozat tekinthető planáris
kódnak (hogy mást ne mondjunk, a sorozatnak 1-gyel kell kezdődnie, és 0-
val kell végződnie). A planáris kód mindazonáltal meglehetősen gazdaságos
módja a fák kódolásának: egy n pontú fa kódolásához mindössze 2n karak
terre van szükségünk. Mivel több mint 2” címkézetten fa van (amennyiben
n > 30), n hosszúságú kódokkal biztosan nem boldogulnánk, ezekből ugyanis
egyszerűen nincs elég.
A címkézett fák számára vonatkozóan ismerünk egy csinos kis képletet,
a címkézetlen fák esetében már nem ez a helyzet, és valószínű, hogy „szép”
formula nem is létezik. Pólya György bebizonyította, hogy az n pontú cím
kézetlen fák száma n növekedtével an~5/ 2bn-hez közelít, ahol a = 0, 5349 ...
és b = 2, 9557... bonyolult módon definiált valós számok.
Á ttekintő feladatok
8.5.2. Legyen G összefüggő' gráf, e pedig G egy éle. Bizonyítsuk be, hogy e pon
tosan akkor „elvágó él”, ha nem tartozik hozzá G egyetlen köréhez sem.
8.5.4. Igazoluk, hogy ha egy fában van d fokszámú pont, akkor a fának legalább
d levele van.
8.5.7. Konstruáljunk fát egy n — 3 hosszúságú útból úgy, hogy felveszünk két
új pontot, és ezeket összekötjük az út ugyanazon végpontjával. Hány különböző
címkézett fát kaphatunk ilyen módon?
(a) Példa segítségével igazoljuk, hogy az így kapott gráf nem feltétlenül fa.
(b) Bizonyítsuk be, hogy ha az így kapott gráf összefüggő, akkor fa.
(c) Mutassuk meg, hogy a gráf minden összefüggő komponensében legfeljebb
egy kör van.
8.5.9. Bizonyítsuk be, hogy egy fában bármely két maximális hosszúságú útnak
van közös pontja. (Maximális, azaz nem bővíthető utakra az állítás nem igaz.)
8.5.10. Ha e egy C kör két, nem szomszédos csúcsát összekötő él, akkor e-t a C kör
húrjának nevezzük. Igazoljuk, hogy ha egy G gráfnak nincs 3-nál kisebb fokszámú
pontja, akkor G-nek van olyan köre, amelyben legalább egy húr is van.
[Ütmutatás: Kövessük annak a tételnek a bizonyítását, amely szerint minden
fának van 1 fokszámú pontja.]
8.5.11. Egy n pontú körben kössünk össze két „másodszomszédos” pontot. Hány
feszítő fája van az így kapott gráfnak?
8.5.12. Ha egy k- és egy I-pontú teljes gráfot egy éllel összekötünk, (kJ) súlyzó
gráfot kapunk. Hány feszítő fája van egy súlyzógráfnak?
8.5.13. Bizonyítsuk be, hogy ha n > 2, akkor a 8.5.1. Tételben szereplő mindkét
egyenlőtlenség szigorú.
9. fejezet
Optimális megoldások
9.1. A legjobb fa
Képzeljünk el egy országot, amelyben n város van. Az ország a városok
között telefonösszeköttetést kíván létesíteni. Természetesen nem akarják va
lamennyi várost összekötni az összes többivel, a hálózaton keresztül azonban
minden városnak bármelyik másikból elérhetőnek kell lennie. A gráfelmé
let terminológiáját használva azt mondhatnánk: a közvetlen összeköttetések
által alkotott gráf összefüggő kell hogy legyen. A kormány úgy dönt, hogy
ha két város közvetetten már összekapcsolható, akkor nem épít közöttük
követlen vonalat. (A későbbiekben megvizsgáljuk, milyen okok szólhatnak
amellett, hogy ne ezt tegyék, de egyelőre fogadjuk el: az egyetlen szempont
az, hogy a hálózat összefüggő legyen.) A kormány tehát egy minimális össze
függő gráfot, azaz egy fát kíván építeni.
Már tudjuk, hogy bármelyik fát választják ki, n — 1 vonalat kell lefektet
niük. Vajon eszerint tökéletesen mindegy, hogy melyik fát választják? Nyil
ván nem, elvégre vonal és vonal között - például az építési költség tekinte
tében - komoly különbségek lehetnek. Ha két város távolabb van egymástól,
vagy hegyek, esetleg tavak fekszenek közöttük, az nyilván növeli a telefonvo
nal költségeit. A cél tehát egy olyan fa megtalálása, amelyben a teljes költség
(az egyes élekhez tartozó költségek összege) minimális.
De honnan tudjuk, hogy mekkorák az egyes vonalak költségei? Ezt a mér
nökök és a közgazdászok nagy pontossággal előre, a tervek alapján ki tudják
számítani, így a továbbiakban adottnak tételezzük őket.
Ezen a ponton a feladat triviálisnak tűnik: vegyük sorra a fákat, adjuk
össze a megfelelő költségeket, és válasszuk azt a fát, amelynél a legkisebb
összeget kaptuk.
Vitába szállnánk azzal az állítással, miszerint a feladat triviális lenne.
A számításba veendő fák száma ugyanis hatalmas: Cayley tétele (8.3.1. Té
tel) szerint az n pontú címkézett fák száma n n~2, így 10 város esetén már 108
166 9. OPTIMÁLIS MEGOLDÁSOK
9.1.2. Hogyan építene a pesszimista kormány egy minden várost érintő kört? Mu
tassuk meg egy példán, hogy a pesszimista stratégia nem mindig vezet optimális
megoldáshoz.
9 .2 .1 . T é t e l . H a a z u ta zó ü g y n ö k p r o b lé m á já b a n sze re p lő k ö ltsé g e k k i
e lé g ítik a (9.1) h á ro m szö g -e g y e n lő tle n sé g e t, a k k o r a levágó a lg o ritm u s o lyan
9.2. AZ UTAZÓ ÜGYNÖK PROBLÉMÁJA 171
B iz o n y ít á s : A fa k ö r b e já r á s á n a k k ö lts é g e p o n to s a n a fa c k ö lts é g é n e k a k é t
s z e re s e , e lv é g r e m i n d e n é le n p o n t o s a n k é ts z e r h a l a d u n k v é g ig . A h á ro m sz ö g
e g y e n lő tle n s é g g a r a n tá lja , h o g y a k ö lts é g m in d e n k e rü lő le v á g á s a k o r c s ö k k e n ,
a k a p o t t k ö r ú t k ö lts é g e t e h á t le g f e lje b b k é ts z e r a k k o r a le h e t, m in t a le g o l
c s ó b b f e s z ítő fa k ö lts é g e .
Ezt a költséget azonban nem a feszítő fa, hanem az optimális körút költsé
gével akarjuk összevetni! Ezzel sincs azonban komolyabb probléma, a legol
csóbb feszítő fa költsége ugyanis mindig kisebb a legolcsóbb körút költségénél.
Hogy miért? A legolcsóbb körút valamely élének elhagyásával egy feszítő fát
(méghozzá egy speciálisat: utat) kapunk. Ez a fa nem feltétlenül optimális,
annyi azonban biztos: a költsége nem lehet kisebb az optimális feszítő fáénál.
Összefoglalva: az algoritmussal kapott út költsége legföljebb kétszer ak
kora, mint a legolcsóbb feszítő fáé, a legolcsóbb feszítő fa költsége pedig
kisebb a legolcsóbb körút költségénél. □
Á ttekintő feladatok
9.2.3. Bizonyítsuk be, hogy ha az élekhez rendelt költségek mind különbözőek,
akkor pontosan egy legolcsóbb fa létezik.
9.2.7. Keressük meg a legrövideb körutat (a) a 3 x 3-as; (b) a 4 x 4-es; (c) az
5 x 5-ös négyzetrácson, (d) Általánosítsuk az eredményeinket n x m-es rácsokra.
9.2.8. Mutassuk meg egy példán, hogy ha nem követeljük meg a háromszög-
egyenlőtlenség teljesülését, akkor a „levágó”’ algoritmussal kapott körút költsége
akár az optimális körút költségének 1000-szerese is lehet.
10. fejezet
Párosítások
10.1.1. Nyilvánvaló, hogy egy páros gráfban csak akkor létezhet teljes párosítás,
ha |A| = \B\. Igazoljuk, hogy ha a pontok fokszáma megegyezik, akkor ez a szük
séges feltétel automatikusan teljesül.
10.1.2. Mutassuk meg példák segítségével, hogy a tételben szereplő feltételek nem
hagyhatók el, azaz
(a) egy nem páros gráfban még akkor sem létezik feltétlenül teljes párosítás, ha
minden pont fokszáma ugyanaz; illetve
(b) egy páros gráfban egy teljes párosítás létezéséhez nem elegendő, ha minden
pont fokszáma pozitív (de nem mind feltétlenül egyenlő).
A probléma tehát hasonló az előző alfejezetben felvetett (de meg nem ol
dott!) feladathoz: be kell látnunk, hogy egy gráfban létezik teljes párosítás.
A 10.1.1. Tétel szerint ehhez elegendő, ha a gráf minden pontjának ugyan
annyi a fokszáma. Ez azonban túlágosan erős feltétel, és az imént tárgyalt
példában nem is teljesül (a B törzs 2, míg a D törzs 4 potenciális totemállat
közül választhat).
Milyen feltétel garantálhatja tehát egy teljes párosítás létezését? A visszá
járól fogalmazva: mit zár ki egy teljes párosítás?
Nem lenne szerencsés például, ha valamelyik törzs vadászterületén egyál
talán nem élnének teknősök. Ez azt jelentené, hogy a gráfban van 0 fokszámú
pont. Ez a veszély mindazonáltal nem fenyeget, elvégre a teknősök a teljes
szigetet benépesítették.
Probléma lenne az is (erről már volt szó), ha két törzs területén egyet
len teknősbékafaj élne csak, és így nem tudnának különböző totemállatot
választani. Ekkor azonban ennek a fajnak legalább 200 km2 területet kel
lene elfoglalnia, amit a feltételeink kizárnak. Előfordulhat-e az, hogy há
rom törzs vadászterületén összesen mindössze két teknősbékafaj él? Nem:
ebben az esetben ugyanis a két teknősfajnak minimum 300km2-nvi terüle
10.3. AZ ALAPTÉTEL 177
10.3. Az alaptétel
Most kimondjuk és belátjuk a teljes párosításról szóló alapvető tételt. Ezzel
(csaknem) megoldódik a törzsek és a totemek, a báli táncrend, valamint egy,
a táncot követő probléma is (amit a tétel neve sugall).
10.4. ábra. Ha egy gráf balról jobbra „jó”, akkor jobbról balra is az.
bármely 2-nél több pontú „jó” páros gráfnak van két „jó” páros gráfból
álló partíciója.
a b
10.3.1. B izo n y ítsu k be, hogy ha egy páros gráfban m inden pont fokszám a azonos,
akkor a g rá f „jó ” (és így létezik benne teljes p árosítás).
10.3.2. T eg y ü k fel, hogy egy páros gráfban az A halm az m inden X részh alm azá
hoz létezik legaláb b |X| p ont a B halm azban, am elyekkel X elem ei össze van nak
kö tve (a 10.3.1. T éte lle l ellentétben azonban m ost nem követeljük m eg, h o gy fenn
álljon \A\ = |B|). Igazoljuk, hogy k iv ála szth a tó a g rá f éleiből egy olyan halm az,
am elyn ek elem ei A m inden p o n tját összekötik B egy p o n tjával (előfordulhat, hogy
B ném elyik elem e „p áratlan ” m arad).
10.4.2. Igazoljuk, h o gy ha egy G gráfban van teljes párosítás, akkor bárm elyik
m ohó párosítás lefedi G p o n tjain ak legalább a felét.
U V
—
O------------------------- O
q c --------------------------------<) r?
o-----------o
10.7. ábra. Csúcsok elérése majdnem javító utakkal. Csak az útra illeszkedő
és az M-beli éleket tüntettük fel.
Két kérdés merül fel: (i) hogyan találunk meg egy javító utat (amennyiben
létezik)? és (ii) ha nem létezik javító út, akkor ez azt jelenti-e, hogy teljes
párosítás sem létezik? Kiderül, hogy az első kérdésre adott válasz alapján a
másodikra is válaszolhatunk (méghozzá igenlően).
Jelöljük 17-val az A, ÍK-vel pedig a B halmaz párosítatlan pontjait. Előbbi
megjegyzésünk szerint egy javító út páratlan számú ponton halad át, így egy
(/-beli pontot egy kh-belivel kell összekötnie. Próbáljunk keresni egy ilyen
utat, amely az U valamely pontjából indul ki. Mondjuk azt, hogy egy Q út
majdnem javító, ha egy [/-beli pontból indul, egy A-beli pontba érkezik, és
minden második éle M-beli. A majdnem javító utak páros sok élen haladnak
át, utolsó élük pedig az M halmaz eleme.
Azokat az A-beli pontokat keressük, amelyek majdnem javító úttal el
érhetők. Egyezzünk meg abban, hogy az [/-beli pontokat is (0 hosszúságú)
majdnem javító utaknak tekintjük; U minden pontja rendelkezik ezzel a
tulajdonsággal. Az S = U halmazból kiindulva, az 5 halmaz elemeit lépé
senként választjuk ki. Az S halmaz minden lépésben olyan pontokból fog
állni, amelyekről tudjuk, hogy egy majdnem javító úttal elérhetők. Jelöljük
T-vel a 5 halmaz elemeivel párosított S-beli pontok halmazát (10.7. ábra).
Mivel U elemei mind „párosítatlanok”, továbbá mindegyikük eleme 5-nek,
azt kapjuk, hogy
10.4. HOGYAN ADHATÓ MEG TELJES PÁROSÍTÁS? 183
Ha tehát találunk egy élt, amely 5 egy pontját egy T-ben nem szereplő
ponttal köti össze, akkor vagy M -et tudjuk bővíteni, vagy (M-et változatla
nul hagyva) az 5 halmazt. Előbb vagy utóbb előáll a következő két lehetőség
valamelyike: M teljes párosítás (és akkor meg is vagyunk), vagy M nem tel
jes ugyan, de nincs már olyan él, amely 5 valamelyik pontját egy T -n kívül
eső ponttal köti össze.
Mit tehetünk az utóbbi esetben? Semmit sem! Ha így áll a dolog, akkor
nem létezik teljes párosítás. Valóban: az 5 halmaz valamennyi pontjának
T-beliek a szomszédai és |Tj = |5j — \U\ < |5|, ebből viszont az következik,
hogy a gráfban nincs teljes párosítás.
A 10.8. ábrán az algoritmus működését tanulmányozhatjuk: a négyzetháló
egy páros részgráfjában keresünk párosítást.
Teendőink a következők. Mindig adott számunkra egy M párosítás, va
lamint A pontjainak egy 5 részhalmaza, amelynek elemeiről tudjuk, hogy
egy majdnem javító úttal elérhetők. Ha találunk egy élt, amely 5 valamely
pontját olyan ponttal köti össze, amellyel 5 egyik pontja sincs összekötve,
akkor vagy M , vagy 5 növelhető (nagyobb elemszámú halmazra cserélhető).
Ismételjük az eljárást mindaddig, amíg ilyen élt találunk. Ha nincs ilyen él,
akkor két eset lehetséges: M teljes párosítás, vagy egyáltalán nem létezik
teljes párosítás.
Á ttekintő feladatok
10.4.5. Létezik-e olyan páros gráf, amelyben a pontok fokszámai: 3, 3, 3, 3, 3, 3, 3,
3, 3, 5,6, 6? (A számok a partíció elemei között tetszőlegesen szétoszthatók.)
10.4.6. Egy páros gráfnak 16 olyan pontja van, amelynek fokszáma 5, és van
néhány 8 fokszámú pontja. Hány 8 fokszámú pontja lehet a gráfnak, ha mindegyik
a bal oldalon helyezkedik el?
10.4.7. Legyen G olyan páros gráf, amelynek két oldalán ugyanannyi pont van.
Tegyük fel, hogy a bal oldali pontok bármely nemüres A részhalmazának |A| + 1
10.4. HOGYAN ADHATÓ MEG TELJES PÁROSÍTÁS? 185
szomszédja van a jobb oldalon. Igazoljuk, hogy G bármely éle kiegészíthető teljes
párosítássá.
10.4.8. Tegyük fel, hogy egy G gráf bal oldali pontjai bármely nemüres A rész
halmazának csupán |A| —1 szomszédja van a jobb oldalon. Igazoljuk, hogy ekkor
G-ben létezik olyan párosítás, amely egy-egy kivétellel a két oldal valamennyi pont
ját lefedi.
10.4.9. Legyen G olyan páros gráf, amelynek mindkét oldalán m pont van. Bizo
nyítsuk be, hogy ha minden pont fokszáma nagyobb, mint m / 2, akkor a gráfban
van teljes párosítás.
10.4.13. (a) Hány teljes párosítás létezik egy n pontú útban? (b) Hány (nem
feltétlenül teljes) párosítás létezik egy n pontú útban? [Keressünk rekurziós össze
függést.] (c) Hány párosítás van egy n pontú körben?
10.4.14. Melyik 2-reguláris n pontú páros gráfban van a legtöbb teljes párosítás?
Kombinatorika és geometria
11.2. ábra.
Vizsgáljunk most egy olyan átlót, amely a hatszög két szemközti pontját,
mondjuk A-t és D-t köti össze. Az ábráról leolvasható, hogy ezen az átlón
négy metszéspont van. Mivel 3 ilyen átló van, 3-4 = 12 további metszéspontot
találunk.
Helyes-e a következtetés, miszerint az átlómetszéspontok száma 18 +12 =
30? Óvatosabbnak kell lennünk! Az AC és a B D átló metszéspontját két
szer számoltuk: egyszer az AC-n, másodszor a B D átlón lévő metszéspon
tok között. Ugyanez persze bármely metszéspontra igaz: mindegyiket kétszer
vettük számításba. Az eredményt tehát el kell osztanunk 2-vel, a végső (és
helyes) válasz tehát 15 (az ábra alapján könnyen utánaszámolhatunk).
A módszert követve azonban már kis n-ek esetén is meglehetősen sok
esetet kell megvizsgálnunk, megoldásunk tehát túlságosan bonyolult, bár
tetszőleges n esetén működik (próbáljuk ki). A metszéspontok összeszám-
lálására kombinatorikai ismereteinket is hadrendbe állítva sokkal elegánsabb
megoldást is találhatunk.
Jelöljük két átló metszéspontját az átlók végpontjaival. így például az
AC és a B D átló metszéspontját A B C D jelöli, az AD és a C E átló met
széspontját A C D E, és így tovább. Vajon jó ez a jelölés? Azaz: teljesül-e,
hogy különböző metszéspontok különböző „nevet” kapnak? A jelölés jó: az
A, B , C, D betűket ugyanis csak az A B C D konvex négyszög {AC és BD )
átlói metszéspontjának jelölésére használhatjuk. Ezen felül bármely 4 csúcs
pont betűi egy átlómetszéspontot jelölnek, az A C E F négyes például az A E
és C F átlókét (11.3. ábra).
Az átlómetszéspontok száma tehát megegyezik a csúcsok négyelemű rész
halmazainak számával. Ha például n = 6, akkor az átlók száma (®), amit
gyorsan kiszámíthatunk, ha felidézzük, hogy (®) = (®) = = 15. Általá
ban: egy konvex n-szög átlói (™) pontban metszik egymást.
11.3. ábra.
1 2 3
11.4. ábra.
0 1 2 3 4
1 2 4 7 11
11.6. ábra.
Tegyük fel, hogy az egyeneseket egy táblára rajzoljuk fel (11.6. ábra),
amely elég nagy ahhoz, hogy rajta az összes metszéspont megjelenjen. Fel
tesszük, hogy az egyenesek egyike sem vízszintes (ha mégis ez lenne a helyzet,
a táblát kissé megdöntjük), és hogy a tábla elég széles ahhoz, hogy alsó ha
tárvonalát mindegyik egyenes metszi. Feltesszük továbbá, hogy a tábla kissé
jobbra lejt (ha nem, akkor fordítunk rajta egy kicsit).
Tekintsük most mindegyik síkrész legalsó pontját. Minden régiónak van
egy legalsó pontja, mivel az összes régió (a táblán) véges, az őket határoló
192 11. KOMBINATORIKA ÉS GEOMETRIA
egyenesek közül pedig egyik sem vízszintes. A legalsó ilyen pont eszerint
vagy két egyenes metszéspontja, vagy egy egyenes és a tábla alsó vonalának
metszéspontja, vagy a tábla jobb alsó sarka. Minden ilyen pont valamelyik
síkrész legalacsonyabb pontja. Két egyenes metszéspontjában például négy
síkrész találkozik, a szóban forgó pont pedig közülük pontosan egynek lega
lacsonyabb pontja.
A legalsó pontok számát tehát úgy kapjuk meg, hogy összeadjuk az egye
nesek metszéspontjainak a számát, az egyenesek és a tábla alsó határvona
lának a metszéspontjait, és a tábla jobb alsó sarkát. Mivel bármelyik két
egyenes metszi egymást, és ezek a metszéspontok mind különböznek (itt
használjuk ki, hogy a feladat általános helyzetű egyenesekről szól), a legalsó
pontok száma (2) + n + 1- D
11.3.1. Adjunk meg 8 pontot a síkon úgy, hogy közülük egyik semelyik 5 ne al
kosson konvex ötszöget.
Meg lehet adni 16 pontot úgy, hogy nem lehet közülük kiválasztani 6-ot
úgy, hogy azok egy konvex hatszöget adjanak meg. Ugyanilyen tulajdonságú
17 pontot azonban még senkinek sem sikerült megadnia, a könyv írásakor
komoly - számítógépeket is csatasorba állító - projekt folyik annak bizonyí
tására, hogy a sík 17 általános helyzetű pontja közül mindig kiválasztható
6, amelyek egy konvex hatszöget feszítenek ki. A probléma általánosítása a
következő kérdés: hány (általános helyzetű) pontot kell megadnunk ahhoz,
hogy biztosan kiválasztható legyen közülük egy konvex n - szög? Más szóval:
L e g fe lje b b h á n y á lta l á n o s h e l y z e t ű p o n t v e h e t ő f e l a s í k o n ú g y , h o g y n e
le g y e n k ö z ö t t ü k n , a m e ly k o n v e x n - s z ö g e t a lk o t?
n 2 3 4 5 6
1 2 4 8 16?
Á ttekintő feladatok
11.3.2. Adott a síkon n > 3 általános helyzetű egyenes (semelyik kettő sem pár
huzamos, és nincs köztük három, amelyek ugyanabban a pontban metszenék egy
mást). Bizonyítsuk be, hogy az egyenesek által határolt síkrészek között van lega
lább egy háromszög.
11.3.4. Hány részre osztja a síkot két négyszög, ha (a) mindkettő konvex, illetve
ha (b) nem feltétlenül konvexek?
11.3. KONVEX SOKSZÖGEK 195
11.3.7. Igazoljuk, hogy a sík bármely 6 általános helyzetű pontja legalább három
konvex négyszöget határoz meg.
11.3.8. Legyen S a sík 100 olyan pontjából álló halmaz, amelyek közül semelyik
3 nem illeszkedik egy egyenesre. Bizonyítsuk be, hogy van olyan konvex sokszög,
amelynek a csúcsai mind S elemei, és amelynek belsejében (a csúcsokkal együtt)
pontosan 50 S-beli pont van.
12. fejezet
Az Euler-formula
12.2. ábra. A sziget elárasztása. Hat medence elárasztásához hat gátat kell
lerombolni.
198 12. AZ EULER-FORMULA
12.3. ábra. Az elárasztott sziget: a 13 épen maradt gát egy fát alkot.
Vegyük észre először is, hogy ebben a gráfban nincsenek körök, egy kör
belseje ugyanis száraz maradt volna. Másodszor, a gráf összefüggő, mivel
minden lerombolt gát egy (a robbantás következtében elöntött) kör egyik
éle, azt pedig már a 7.2.5. feladat (b) része alapján tudjuk, hogy egy össze
függő gráf egy ilyen él eltávolítása után is összefüggő marad. Gráfunk tehát
összefüggő és nem tartalmaz kört, vagyis fa. Már tudjuk, hogy egy c pontú
fának c —1 éle van.
Összefoglalva: a védők e — 1 gátat romboltak le és c — 1 gátat hagytak
épen. Az élek száma e két szám összege: (c —1) + (l —1) = e. Az egyenletet
átrendezve:
l -f- c — c -{- 2,
ez pedig éppen az Euler-formula. □
12.1.1. Hány részre osztanak átlói egy konvex n-szöget (feltéve, hogy nincs három
olyan átló, amelyik átmegy ugyanazon a ponton)?
12.1.2. Egy kör alakú szigeten n egyenes vonalú gátat építünk tengertől tengerig
úgy, hogy bármelyik kettő metszi egymást, de nincs olyan pont, amelyben három is
metszené egymást. Az Euler-képlet segítségével határozzuk meg, hogy hány részre
osztják a gátak a szigetet. Használjuk fel a 12.4. ábrát (ugyanarra a problémára
ez már a harmadik megoldás lesz).
12.2. SÍKBA RAJZOLHATÓ GRÁFOK 199
12.2.2. Van három ház és három kút. Lehetséges-e úgy berajzolni a házakat és a
kutakat összekötő utakat, hogy minden ház minden kúttal össze legyen kötve, és
egyik út se messe a másikat? (Az utak nem feltétlenül egyenesek.)
12.1. táblázat.
gömböt a lyukas lapjánál húzzuk szét, amíg síkba kiteríthetővé nem válik.
Erre az eredeti test éleit berajzolva egy síkbeli térképet kapunk, amelyen a
határok a test élei, az országok pedig a test lapjai. A térképekre vonatkozó
Euler-formula ekkor éppen a poliéderekre vonatkozó Euler-formulát adja.
(Az összefüggést maga Euler is poliéderekre bizonyította be.)
Á ttekintő feladatok
12.3.1. Síkba rajzolható-e a 6 élből álló kör komplemense?
12.3.2. Rajzoljuk be egy szabályos hatszög három leghosszabb átlóját. Síkba raj
zolható gráfot kapunk?
12.3.4. Bizonyítsuk be, hogy ha egy n pontú páros gráf síkba rajzolható, akkor
legfeljebb 2n —4 éle van.
12.3.6. Bizonyítsuk be, hogy ha egy konvex poliéder minden lapja öt- vagy hat
szög, akkor a hatszögek száma 12.
(Ha két tartomány egy - vagy több - pontban érintkezik, akkor ugyanolyan
színűek is lehetnek.)
13.1.1. Tegyük fel, hogy a külső tartomány kék színű. Ekkor tetszőleges R tar
tomány színét a teljes ábra kiszínezése nélkül is megállapíthatjuk a következők
szerint:
- ha R páros számú kör belsejében helyezkedik el, akkor kék,
- ha pedig páratlan számú kör belsejében helyezkedik el, akkor piros.
Bizonyítsuk be, hogy ez valóban így van (lásd a 13.3. ábrát).
jelölik. Az eredményt a 13.4. ábra (a) része mutatja. János bácsi feladata az,
hogy a pontokat két részre ossza úgy, hogy a veszekedő párokat szétválassza.
Egy lehetséges megoldást az ábra (b) részén láthatunk.
13.4. ábra. János bácsi gyerekeinek „veszekedési gráfja”; két szobában való
elhelyezésük és ennek kapcsolata a két színnel való színezéssel.
gráf kiszínezhető három színnel, akkor előbb vagy utóbb meg is találunk egy
ilyen színezést.
A sok visszatérés azonban sok időbe telhet. Anélkül, hogy a részletek szi
gorú vizsgálatába belemerülnénk, megjegyezzük: előfordulhat, hogy a pontok
egy jelentős része (mondjuk a fele) esetében meg kell vizsgálnunk mindkét
lehetőséget, ez pedig 2n/ 2 időbe telik (egy felülvizsgálatot egy egységnyi idő
tartam nak tekintve). Korábban már láttuk, hogy ez a szám már viszonylag
kis n-ek esetében is csillagászati nagyságú.
A bonyolultságbeli ugrás nem csupán abban jelentkezik, hogy az eljárás
hosszú ideig tarthat. Az igazi probléma az, hogy hatékonyabb eljárást egyál
talán nem ismerünk! Vannak olyan bonyolultságelméleti eredmények (1. a 15.
fejezetet), amelyek szerint ez a helyzet lényegesen nem is fog megváltozni. A
probléma tetszőleges k szín esetében hasonló (ahol természetesen k > 2).
Tegyük fel, hogy van egy gráfunk, amelyet mindenképpen ki kellene szí
neznünk k színnel. Léteznek legalább olyan speciális esetek, amelyekben el
dönthetjük, hogy kecsegtet-e sikerrel, ha megpróbálkozunk? A következő,
Brookstól származó tétel erre ad választ.
13.3.1. Igazoljuk, hogy a 1.3.6. ábrán látható gráfok nem színezhetők ki 3 színnel.
13.3.2. Rajzoljunk n egyenest a síkon úgy, hogy közülük semelyik három ne men
jen át ugyanazon a ponton. Bizonyítsuk be, hogy az egyenesek metszéspontjai ki
színezhetők 3 színnel úgy, hogy a szomszédos pontok minden egyenesen különböző
színűek.
13.3.3. Legyen G olyan összefüggő gráf, amelyben egy kivétellel minden pont
fokszáma legfeljebb d (azaz legfeljebb egy d-nél nagyobb fokszámú pont lehet).
Igazoljuk, hogy a gráf kiszínezhető d + 1 színnel.
Á ttekintő feladatok
13.4.1. Rajzoljunk a ceruzánk felemelése nélkül a síkon egy zárt görbét (13.11.
ábra), amely többször is metszheti önmagát. Bizonyítsuk be, hogy az így keletkező
tartományok kiszínezhetők két színnel.
13.4.2. Legyen G olyan összefüggő gráf, amelyben minden pont fokszáma legfel
jebb d, és van legalább egy olyan pont is, amelynek fokszáma határozottan kisebb,
mint d. Igazoljuk, hogy G kiszínezhető d színnel.
13.4.5. Legyen Gn az a gráf, amelyet K n-bői (az n pontú teljes gráfból) kapunk
egy Hamilton-kör elhagyásával. Határozzuk meg G„ kromatikus számát.
13.4.6. Mutassuk be egy példán, hogy egy olyan kontinensen, amelyen (mint a kö
zépkori Európában) nem minden ország összefüggő, előfordulhat, hogy egy térkép
színezéséhez 100 szín sem elegendő.
13.4. TÉRKÉPSZÍNEZÉS ÉS A NÉGYSZÍNTÉTEL 217
13.4.7. Igazoljuk, hogy ha egy síkba rajzolható gráf minden tartományát páros
számú él határolja, akkor a gráf páros.
13.4.8. Igazoljuk, hogy ha egy térkép minden pontja páros fokszámú, akkor az
országok két színnel is kiszínezhetők.
13.4.9. (a) Tekintsünk egy térképet, amelyben minden pont fokszáma 3. Tegyük
fel, hogy a térkép kiszínezhető 3 színnel. Igazoljuk, hogy a térkép gráfja páros.
(b) [Nem könnyű.] Mutassuk meg, hogy az (a) állítás megfordítása is igaz: ha egy
síkba rajzolható páros gráf minden pontjának fokszáma 3, akkor a gráf tartományai
kiszínezhetők 3 színnel.
14. fejezet
*Ez a konstrukció a m i euklideszi síkunkban is m űködik, az eredm ény egy érdekes geo-
m e tria lesz, a m it projektív geom etriának nevezünk.
14.1. KÜLÖNÖS KIS VILÁGOK 223
(C) Ha adott egy sík és rajta kívül egy pont, akkor létezik egyetlen olyan
sík, amely párhuzamos az adott síkkal és tartalmazza a pontot.
(D) Nincs kitüntetett pont.
(E) Nincs kitüntetett sík.
Az utolsó állítás valószínűtlennek hangzik, elvégre síkból - mint emlék
szünk - sokféle van. Lássuk tehát a bizonyítást. Jelölje a pontokat A , . . . , H
(14.7. ábra). Világos, hogy a kocka lapjainak megfelelő síkok egyenrangúak
(ezek ugyanis a kocka megfelelő elforgatásával egymásba vihetők, és az elfor
gatásnál minden sík képe sík lesz). Az is nyilvánvaló, hogy a két-két szemközti
csúcsból, illetve a fekete és a világosszürke pontokból álló síkok is egyenér
tékűek (a kockát a középpontjára tükrözve ezek egymásba mennek át).
Ezek voltak az egyszerűbb esetek. Most jön a fifikásabb transzformáció:
cseréljük fel az E és F, illetve a G és H pontokat (14.7. ábra). Mi történik
ekkor a síkokkal?
H G G H
Néhány közülük nem változik (bár egyes pontjaik előfordulhat, hogy he
lyet cserélnek): transzformációnk a felső, az alsó és az elülső lapnak megfelelő
síkokat, valamint az A B G H és a C D E F síkot is helyben hagyja. A bal ol
dallap A D E H síkjának képe az AD F G sík, és vice versa; ugyancsak egymás
képei a jobb oldallap B C F G síkja és a B C E H sík, a fekete pontokból álló
és az ACEG, végül a világosszürke pontokból álló és a B D F H sík.
Egyetlen sík sem maradt tehát ki. Vegyük észre a következőket.
14.1.2. A Fano-sík lakói akkor mondják, hogy három pont egy kört alkot, ha ezek
nem illeszkednek egy egyenesre. A 14.1. ábrán a háromszög csúcsai például egy
kört alkotnak. Egy kör érintőjének nevezik azokat az egyeneseket, amelyeknek a
körrel pontosan egy közös pontjuk van. Igazoljuk, hogy minden körnek minden
pontjában pontosan egy érintője van.
14.1.3. A Fano-sík lakói azt mondják, hogy négy pont hiperciklust alkot, amennyi
ben közülük semelyik három nem illeszkedik egy egyenesre. Igazoljuk, hogy három
pont akkor és csak akkor nem illeszkedik egy hiperciklusra, ha egy egyenesre illesz
kednek, és megfordítva.
14.1.6. Amikor értesültek arról, hogy az amőbasík lakói „végtelen távoli” elemekkel
bővítették ki a világukat, a Fano-síklakók úgy döntöttek, hogy egyik egyenesüket
kinevezik „végtelen távoli egyenesnek”, pontjait pedig végtelen távoli pontoknak.
A megmaradt 4 pont és 6 egyenes egy igen-igen kicsiny síkot alkot. Igaz marad-e
(g) ebben a minivilágban?
14.2.3. Tegyük fel, hogy a 10 rendű projektív sík nemlétezését számítógép segítsé
gével, de „nyers erővel” akarnánk bizonyítani. Hány esetet kell megvizsgálnunk, ha
az összes lehetőséget sorra vennénk (és ellenőriznénk az (a), (b) és (c) feltételeket)?
Hozzávetőlegesen mennyi ideig tart ez?
14.3. Blokkrendszerek
Egy kisváros lakói klubokat alapítanak. A polgárok a Fano-sík lakóihoz ha
sonlatosan demokratikus érzelműek, így nem állhatják az egyenlőtlenséget.
Ennek megfelelően nem engedik, hogy egyik klub nagyobb legyen, a másik
kisebb (attól tartanak, hogy a nagyobb klubok elnyomnák a kisebbeket). Az
is tiltott, hogy valaki több klubnak legyen tagja, mint valamelyik polgártársa
- aki ugyanis több klubnak tagja, nagyobb befolyásra tehet szert, mint aki
kevesebb társadalmi kötelezettségekkel rendelkezik. Van még egy szabály is:
minden A polgárnak bármely J3-hez és C-hez „egyenlően” kell viszonyulnia,
vagyis az A és B közötti kapcsolat nem lehet szorosabb, mint az A és C kö
zötti. Ez azt jelenti, hogy A-nak ugyanannyi klubban kell találkoznia 5-vel,
mint C-vel.
A demokratikus követelményeket a következőképpen fordíthatjuk le a ma
tematika nyelvére: a városnak v lakosa van, akik b klubot alapítanak; minden
klubnak ugyanannyi - mondjuk k - tagja van, és bármely két polgár esetén
pontosan A olyan klub van, amelynek mindketten tagjai.
Az előző bekezdésben tárgyalt klub-struktúrát blokkrendszernek nevezzük.
Egy ilyen struktúra tehát egy v elemű halmazból és a v halmaz k elemű
részhalmazainak egy családjából, a blokkrendszer blokkjaiból áll, amelyre
teljesülni kell annak, hogy a halmaz minden eleme pontosan r blokknak
eleme, és bármelyik két elemhez pontosan A blokk van, amelynek mindkettő
eleme. A blokkok számát b jelöli. Világos, hogy képzeletbeli városunk lakói
és klubjai egy blokkrendszert alkotnak. A következőkben néha a társadalmi
modell, néha a matematikai struktúra terminológiáját követjük.
Nézzünk néhány konkrét példát. Blokkrendszer például a Fano-sík (14.1.
ábra). A pontokat a városlakóknak (nem túl nagy város...) feleltethetjük
meg, és az egy egyenesre illeszkedő „lakók” alkotják a klubokat.
14.3. BLOKKRENDSZEREK 229
bk = vr. (14.1)
14.3.1. Egy városban 924 klub van, amelyek mindegyike 21 tagot számlál, és bár
mely 2 ember pontosan 2 klubban találkozik egymással. Hány lakosa van a város
nak? Hány klubnak tagjai a város polgárai? (Ne lepődjünk meg: a város kicsi, de
mindenki elég sok klubnak tagja.)
b > v. (14.3)
Jelvények. Tegyük fel, hogy a város minden klubjának van jelvénye. Fel
vonulást szerveznek, amelyen mindenkinek viselnie kell egy olyan klub jel
vényét, amelynek tagja. Megoldható-e, hogy minden polgár különböző jel
vénnyel vonuljon fel az ünnepségen?
Fel kell tennünk természetesen, hogy elegendő nagyságú jel vény készlet áll
a rendelkezésünkre, legalább annyi, ahány lakosa a városnak van: b > v (ezt
persze a Fisher-egyenlőtlenség már garantálja). De elég ez? Elvégre nem csak
azt követeljük meg, hogy a felvonulók jelvényei között ne legyenek azonosak,
de azt is, hogy mindenki olyan klub jelvényét viselje, amelynek tagja.
Klubok
P olgárok
nr < mr,
Bármely n alsó pont tehát legalább n felső ponttal össze van kötve. Most
már alkalmazhatjuk a házassági tételt (pontosabban a tételnek a 10.3.2.
feladatban szereplő speciális esetét): azt kapjuk, hogy létezik párosítás az
alsó és a felső pontok között, azaz létezik v darab közös végpont nélküli él,
amely minden alsó pontot összeköt egy felsővel. Ez a párosítás pedig minden
polgárnak „megmondja”, hogy milyen jelvénnyel kell felvonulnia.
14.4. Steiner-rendszerek
Már láttuk, hogy meglehetősen triviálisak azok a blokkrendszerek, amelyek
ben k < 2, most alaposabban megvizsgáljuk a k = 3 esetet. A A paramé
ter értékének a szóba jöhető legkisebb számot, az 1-et választjuk. Azokat a
blokkrendszereket, amelyekben k = 3 és A = 1, Jákob Steiner 19. századi
svájci matematikus tiszteletére Steiner-rendszereknek nevezzük. A Fano- és
az amőbasík Steiner-rendszerek, a kockatér azonban nem az.
Minimum hány lakos szükséges ahhoz, hogy egy város kubjai Steiner-
rendszert alkothassanak? Másképpen fogalmazva: milyen kikötést jelent v-re
az, ha a blokkrendszer Steiner-rendszer? Az (14.1) és (14.2) egyenlőtlensé
gekbe k = 3-at és A = 1-et helyettesítve azt kapjuk, hogy
3b = vr és 2r = v —1,
amiből
(14.6)
és
b = v (v ~ !) (14.7)
6
Az r és a v számnak egésznek kell lennie, ami további megszorítást jelent.
Mivel a (14.7) egyenletben szereplő tört nevezője 6, a (14.6)-beli nevező pedig
6 osztója, a v szám 6-tal osztva nem adhat akármilyen maradékot. A (14.6)
egyenlet szerint u-nek páratlannak kell lennie, 6-tal osztva tehát csak 1, 3,
vagy 5 maradékot adhat, azaz 6j + 1, 6j + 3 vagy 6j + 5 alakba írható, ahol
j egész szám. Világos továbbá, hogy v nem lehet 6j + 5 alakú, ekkor ugyanis
(14.7) alapján azt kapnánk, hogy
(6j + 5) (6j + 4)
b= = 6 j 2 + 9J + 3 + - ,
1 4 .4 .1 . T é t e l . H a van (v — l ) / 2 lé tszá m ú , m in d e n k lu b o t re p re ze n tá ló
b izo ttsá g , a k k o r m a g a a b iz o tts á g is S te in e r-re n d sze rt a lko t.
14.4.3. Tegyük fel, hogy egy v elemű Steiner-rendszernek van olyan (v — l)/2
elemű 5 részhalmaza, hogy az eredeti Steiner-rendszer azon hármasai, amelyek
nek minden tagja eleme 5-nek, szintén Steiner-rendszert alkotnak. Igazoljuk, hogy
5 elemei egy „jó” bizottságot alkotnak, azaz az eredeti Steiner-rendszer minden
hármasa képviselve van 5-ben.
0 1 2 3 0 2 1 3
1 2 3 0 2 1 3 0
(14.8)
2 3 0 1 1 3 0 2
3 0 1 2 3 0 2 1
0 1 2 3 0 1 2 3
1 0 3 2 3 2 1 0
(1 4 .9 )
2 3 0 1 1 0 3 2
3 2 1 0 2 3 0 1
14.5. LATIN NÉGYZETEK 237
0 5 10 15
7 2 13 8
(1 4 .1 1 )
9 12 3 6
14 11 4 1
238 14. VÉGES GEOMETRIÁK. KÓDOK, LATIN NÉGYZETEK...
(0 + 1 + 2 + 3) • 4 + (0 + 1 + 2 + 3) = 30,
14.5.5. A két ortognális latin n ég yzetb ő l szerk esztett m ágikus n ég yzetü n k nem tö
kéletes, m ivel az átlóösszegek kü lön bözn ek a sor-, illetve oszlopösszegektől. M elyik
ortogonális p árokból k ap h atu n k tökletes m ágikus n égyzeteket?
14.5.6. B izo n y ítsu k be, h o gy nem létezik olyan 4 x 4-es latin n égyzet, am ely a
(14.9) és (14.12 ) a la tti m indhárom latin n ég yzette l ortogonális p árt alkot.
14.5.7. T ek in tsü k a (14.13) latin n égyzetet. E z m ajdn em u gyan az, m int az (14.12)-
beli, viszont az előbbihez - ezt kell belátni! - nem létezik vele ortogonális n égyzet.
A hasonlónak tű n ő latin n ég yzetek kö zö tt teh át ég és föld lehet a különbség!
0 1 2 3
1 3 0 2
(14.13)
2 0 3 1
3 2 1 0
0 1 2 3 4 0 1 2 3 4
1 2 3 4 0 2 3 4 0 1
2 3 4 0 1 4 0 1 2 3
3 4 0 1 2 1 2 3 4 0
4 0 1 2 3 3 4 0 1 2
0 1 2 3 4 0 1 2 3 4
co
4 0 1 2 0 1 2 3
1 2 3 4 0 3 4 0 1 2
4 0 1 2 3 2 3 4 0 1
0 1 2 3 4 1 2 3 4 0
240 14. VÉGES GEOMETRIÁK. KÓDOK, LATIN NÉGYZETEK...
14.6. Kódok
Itt az ideje, hogy szót ejtsünk a fejezetben tárgyalt gondolatok néhány gya
korlati alkalmazásáról is. Tegyük fel, hogy egy zajos csatornán keresztül aka
runk üzenetet küldeni. Az üzenet, mint általában, egy 0-kból és 1-esekből
álló hosszú karaktersorozat („sztring”), a csatorna „zajos” minősítése pedig
azt jelenti, hogy az üzenet bizonyos elemei megváltozhatnak: egy 1-es 0-vá,
egy 0 pedig 1-essé változhat. Maga a csatorna lehet rádióadás, telefonvonal,
az internet, vagy a CD-lejátszó (az utóbbi esetben a „zaj” a lemez felületének
szennyeződése).
Hogyan küszöbölhetjük ki ezeket a hibákat? Másképpen: hogyan állít
ható helyre az eredeti üzenet? Természetesen sok függ a körülményektől.
Kérhetjük-e például, hogy néhány bitet újra küldjenek el számunkra? Az
internet esetében ezt megtehetjük, de egy Mars-szonda rádiójelei vagy a
CD-lejátszón hallgatott zene esetében nem. Eszerint tehát van, amikor ele
gendő, ha felismerjük, hogy az üzenet hibás, más esetekben viszont a hibát
ki is kell javítanunk a fogadott üzenet alapján.
A legegyszerűbb megoldás, ha az üzenetet kétszer is elküldjük, és ellenő
rizzük, hogy a két üzenetben mely bitek térnek el egymástól (annak, hogy
az egész üzenetet, vagy csak néhány bitjét küldjük el kétszer, nincs jelen
tősége). Az ilyen kódot ismétléses kódnak nevezzük. Ha két bit különbözik,
akkor természetesen tudjuk, hogy valami hiba van, azt viszont nem, hogy
az első vagy a második változat-e a helyes. Felismerjük tehát a hibát, de
nem tudjuk kijavítani. (Az is előfordulhat persze, hogy a szóban forgó bit
mindkét üzenetben hibásan érkezik meg; az egyszerűség kedvéért feltesszük,
hogy a csatorna nem túlságosan zajos, így az ilyen esetek valószínűsége ki
csi. A problémára még visszatérünk.) A helyzeten javíthatunk, ha az üze
netet harmadszor is elküldjük. Ekkor már ki is javíthatjuk a hibát (minden
bit esetében a legalább kétszer megérkező változatot tekintve helyesnek) -
amennyiben a csatorna nagyon zajos, úgy persze csak a hiba felismeréséről
lehet szó (ha legfeljebb két üzenetben érkezik meg tévesen).
14.6. KÓDOK 241
Ha ezt a kódot használjuk, akkor a hibát csak akkor nem vesszük részre, ha
a szavak mind a 8 bitje megváltozik. A biztonságnak azonban ára van (a szó
legszorosabb ételmében), hiszen minden bitet nyolcszor kell elküldenünk.
Egy érdekesebb kódot kaphatunk a kockatér felhasználásával. Ennek a
térnek 8 pontja van, amelyeket a 8 bitnek feleltethetünk meg. Rögzítsük
a pontok egy sorrendjét, tartsuk magunkat például a 14.7. ábra szerinti
A B C D E F G H sorrendhez. A kockatér minden P síkja megad számunkra
egy kódszót: 1-est írunk, ha a megfelelő pont illeszkedik P -re, 0-t, ha nem.
Az alsó lap például a 11110000, a fekete pontokkkal jelzett sík a 10100101
szót adja. Ezeket a szavakat a 00000000 és 11111111 szavakkal kikegészítve
egy 16 elemű kódot kapunk.
Mennyire jó ez a kód? A kérdést így is feltehetjük: hány bitnek kell meg
változnia ahhoz, hogy egy kódszó egy másikká alakuljon? Tegyük fel, hogy
két kódszavunkat a P és a Q sík határozza meg, amely síkok a kockatér (B)
tulajdonsága szerint vagy párhuzamosak, vagy egy egyenes mentén (azaz 2
pontban) metszik egymást.
Tekintsük először azt az esetet, amikor a két sík párhuzamos. Ha például
az egyik a fekete, a másik pedig a világosszürke pontokkal jelzett sík, akkor
a két kódszó:
10100101,
01011010.
A két kódot egymás alá írtuk, hogy minél nyilvánvalóbb legyen: a két sík
nak egyetlen közös pontja sincs, így (a kód értelmezése folytán) nincs olyan
pozíció, amelyben mindkét szóban 1-es állna. Mivel pedig mindkét szóban
pontosan négy 1-es van, a 0-k sem lehetnek bennük ugyanazon a helyen.
Ahhoz tehát, hogy az egyikből a másikat kapjuk meg, mind a 8 bitjüknek el
kell romolnia.
Másodszor: tegyük fel, hogy a két sík két pontban metszi egymást. A „fe
kete” és az „alsó” sík például az
10100101, 11110000
szavakat adja. Ezekben két 1-es és két 0 áll ugyanabban a pozícióban, így 4
bitnek kell megváltoznia ahhoz, hogy az egyikből a másikat kapjuk meg.
A csupa 0-ból és csupa 1-esből álló kódszavakkal utólag egészítettük ki a
kódunkat, de ezeket is könnyen ellenőrizetjük: 4 bitet kell bennük megvál
toztatni ahhoz, hogy egy sík-szót kapjunk, és 8-at, hogy egyikből a másik
álljon elő.
A lényeg, hogy ha szavaink bármelyikében legfeljebb 3 bit változik, akkor
olyan karaktersorozatot kapunk, amely a kódnak nem eleme, más szóval, a
kockatér-kód 3-hibafelismerő.
A Fano-sík egy másik érdekes kódot szolgáltat. A kódszavak bitjeit a sík
pontjai szolgáltatják (a szavaink tehát 7 bitesek), méghozzá a következőkép
pen. Minden egyenes két kódszót ad meg: az egyik az, amelyben az egyenes
pontjaihoz 1-eseket, a többi ponthoz pedig 0-kat rendelünk, a másik pedig
14.6. KÓDOK 243
0 0
14.11. ábra. Három hiba már sok a Fano-kódnak: a biteket a pontozott vonal
mentén megváltoztatva egy másik kódszóhoz jutuk.
14.6.1. Bizonyítsuk be, hogy egy kód pontosan akkor d-hibajavító, ha 2d-hibafel-
ismerő.
Áttekintő feladatok
14.6.3. Igazoljuk, hogy az amőbasík a 3 elemű test felett értelmezett affin sík.
14.6.4. Egy laboratóriumnak hét munkatársa van. Mindenki hetente három éjsza
kai ügyeletet vállal. Andrea hétfőn, kedden és csütörtökön, Béla kedden, szerdán és
pénteken, Csaba szerdán, csütörtökön és szombaton, és így tovább. Bizonyítsuk be,
hogy bármelyik két munkatárs hetente pontosan egy éjszakát tölt együtt ügyelet
ben, és hogy a hét bármelyik két éjszakáját jelöljük is ki, van olyan munkatárs, aki
mindkét alkalommal ügyeletben van. Milyen kapcsolat van a feladat és a Fano-sík
között?
négyzet - látható, az alakzatok színe piros, kék vagy zöld, de egy lap alakzatai min
dig ugyanolyan színűek. Van tehát pontosan egy kártya, amelyen 2 zöld háromszög
van, egy olyan, amelyen három piros kör stb. Jó hármasnak nevezünk három kár
tyalapot akkor, ha mindhármon ugyanannyi, vagy mindhármon különböző számú
alakzat van, ha mindhármon ugyanolyan, vagy mindhármon különböző alakzat
látható, illetve ha mindhármon ugyanolyan színű, vagy mindhármon különböző
színű alakzatok vannak. A játék úgy kezdődik, hogy leteszünk - lapjával felfelé -
kilenc kártyalapot, amelyek közül - amilyen gyorsan csak tudjuk - észrevesszük és
elvesszük a jó hármasokat; ha már nincs jó hármas, akkor felfordítunk 3 új lapot.
Amikor végleg kifogyunk a jó hármasokból, a játék véget ér.
(a) Hány jó hármas van?
(b) Igazoljuk, hogy bármely két lap esetén pontosan egy van, amellyel a szóban
forgó két lap jó hármast alkot.
(c) Milyen kapcsolat van a sm allset és a 3 elemű test feletti affin sík között?
(d) Bizonyítsuk be, hogy a játék végén vagy legalább hat, vagy egy kártya sem
marad.
14.6.11. A Fano-kód mintájára írjuk le a 3 elemű test feletti projektív sík által
meghatározott kódot. Hány hibát képes ez a kód felismerni, illetve kijavítani?
15. fejezet
A komplexitáselmélet és a
kriptográfia elemei
15.1. ábra. Egy teljes párosítással rendelkező és egy anélküli páros gráf.
11000111000010000110010100100100101100110010101100001110110000010
Arthur és Béla egyaránt ismerik ezt a sorozatot (már jó előre elküldték egy
másnak). Arthur a következő üzenetet kívánja elküldeni Bélának:
ATTACK MONDAY
Ehhez először át kell alakítania az üzenetet úgy, hogy csupán 0-ból és 1-esből
álljon. Nem biztos, hogy a középkori királyok erre ismertek jó módszereket,
de az Olvasó számára ez nyilván nem okoz gondot: használhatjuk például a
betűk ASCII-kódját, vagy a Unicode rendszert. Mi nem akarjuk túlságosan
elbonyolítani a dolgot, így az ábécé betűihez 1-től 26-ig számokat rendelünk,
ezeket a számokat pedig kettes számrendszerben írjuk fel (a számok elé annyi
nullát írunk, hogy valamennyi 5 számjegyből álljon). Az A betű számjele
eszerint 00001, a B-é 00010 és így tovább. A fenti üzenet ezzel
00001100101001000001000110101100000011010111101110001000000111001
alakot ölt. Ez elég titkosnak tűnik ugyan, de Caligulának (vagy inkább az ud
varában raboskodó kiváló görög tudósoknak) nem okozna különösebb prob
lémát a megfejtése. Arthur úgy titkosítja az üzenetet, hogy azt karakteren
ként összeadja a one-time paddel. Az üzenet első karakteréhez (a 0-hoz) a
pad első karakterét (1-et) adja, így megkapja a kódolt üzenet első karakterét:
0 © 1 = 1. A második, harmadik, negyedik.. .karaktert hasonlóan számítja
ki: 0 © 1 = 1, 0 © 0 = 0, 0 © 0 = 0, 1 © 0 = 1, 1 © 1 = 0 . . . (Ne felejtsük
el, hogy a kételemű test különös összeadótábláját kell használnunk, amely
szerint 1 © 1 = 0.) Másképpen: ha a pad fc-adik karaktere 1, akkor Arthur az
eredeti üzenet fc-adik betűjét felcseréli (a 0 helyébe 1-et ír, illetve fordítva),
ha viszont ez a karakter 0, akkor az üzenet fc-adik karaktere változatlan
marad.
Arthur így a következő titkos üzenetet számítja ki:
11001011101011000111010010001000101111100101000010000110110111011.
15.2.2. Arthur egy alkalommal hibát követett el: az üzenet első karakterét a one-
time pad második karakterével, az üzenet második karakterét a pad harmadik
karakterével titkosította, és így tovább. Ezt azonban csak akkor vette észre, amikor
a küldönc már úton volt az üzenettel. Attól tartva, hogy Béla nem érti meg az
üzenetét, ugyanazzal a one-time paddel újra titkosította (másodszor már helyesen),
és ezt is elküldte Bélának.
Caligula mindkét üzenetet elfogta, és megfejtette az üzenetet. Hogyan?
15.2.3. A királyok kifogytak a one-time padekből, egy alkalommal így Béla éppen
ugyanazzal a paddel kódolta a választ, amellyel Arthur magát az üzenetet küldte.
Caligula elfogta az üzeneteket, és mindkettőt megfejtette. Hogyan?
200 jegyű számnak egy 100 jegyűvel való osztása egy számítógép számára
triviális feladat.
Tegyük fel, hogy a rendszergazda az ügyfél fájljai között megtalálja a
szóban forgó N számot is. Ahhoz, hogy az információval visszaélhessen, meg
kellene találnia az N szám egy 100 jegyű osztóját, így ő is a nagy számok
prímtényezős felbontásának - reménytelen - problémájába ütközik. Annak
ellenére tehát, hogy az N szám minden fontos információt magába foglal, a
prímtényezős felbontás elvégzésének bonyolultsága folytán a jelszó tökéletes
biztonságot garantál az ügyfél számára.
11630000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000371
A legkisebb olyan 200 jegyű szám, amelynek első négy számjegye 1163,
1163 • 10196. Ez természetsen nem prímszám, de a fenti számhoz igencsak
közel esik. A feltételünknek valójában rengeteg prímszám eleget tesz! A 6.4.
alfejezetben bemutatotthoz hasonló gondolatmenet azt mutatja, hogy Adél
mintegy 1, 95 • 10193 prímszám közül választhat.
Ez valóban sok lehetőség - de hogyan találjunk meg közülük egyet? Nem
volna helyes, ha Adél a fenti (szóba jöhető legkisebb) számot használná, ezt
ugyanis Béla kitalálná, és megfejthetné, mi Adél lépése. Adélnak nem kell
egyebet tennie, mint véletlenszerűen kiválasztani a maradék számjegyeket,
és tesztelni, hogy az így kapott szám prím-e vagy sem. Ha nem prím, ak
kor újra próbálkozhat. A 6.4. alfejezetben már kiszámítottuk: a 200-jegyű
számok között körülbelül minden 460-adik prím, így átlagosan Adél minden
460-adik próbálkozásra egy prímszámot fog eredményezni. Ez hosszadalmas
nak tűnhet, számítógéppel azonban mindössze néhány másodpercbe telik: a
következő számot például így kaptuk meg:
11631467128765557632799097045596606908283654760066
68873814489354662474360419891104680411103886895880
57457155724800095696391740333854584185935354886223
23782317577559864739652701127177097278389465414589
15.6. NYILVÁNOS KULCSÚ TITKOSÍRÁS 255
A p r o to k o ll. Adél generál két százjegyű prímszámot, p-t és q-1, majd ki
számítja ezek m = pq szorzatát. Ezután generál két 200 jegyű számot, d-1 és
e-t, amelyekre teljesül, hogy a (p — l)(q — 1) szorzat osztója az ed — 1-nek.
(Hamarosan viszatérünk arra, hogy ez miként tehető meg.)
Az m és e számokat Adél felteszi a honlapjára (vagy közzéteszi a telefon
könyvben), a p, q és d számokat azonban titokban tartja. A d szám Adél
privát, az e szám pedig a nyilvános kódja (a p és q prímeket akár el is fe
lejtheti, ezekre csak a rendszer beindításához van szükség, a továbbiakban
semmi szerepük nincs).
Tegyük fel, hogy Béla üzenetet küld Adélnak. Üzenetét egy x szám adja
meg (már láttuk, hogy miként lehet egy szöveges üzenetet számmá alakítani).
Az x nemnegatív egész szám nem lehet m-nél nagyobb (ha mégis ez a helyzet,
akkor az üzenetet több kisebb részletben kell elküldeni).
A következő lépés a legtrükkösebb: Béla kiszámítja az x e szám maradé
kát modulo m. Mivel x és e egyaránt igen nagy (200 jegyű) számok, x e
számjegyeinek száma meghaladja a 10200-t. Ekkora számot még leírni sem
tudnánk, a kiszámításáról már nem is szólva. Szerencsére azonban nem ma
gára a számra, csupán az m-mel való osztásakor kapott maradékára van
szükségünk. Ez utóbbi is elég nagy, de már elfér 2 vagy 3 sorban.
Legyen tehát r a szóban forgó maradék, Béla ezt küldi el Adélnak. Adél
az üzenetet a d privát kulcs segítségével, lényegében a Béla által elvégzett
műveleteket követve fejti meg: kiszámítja az rd szám maradékát modulo m.
És most jön a számelmélet fekete mágiája (ami addig mágia, amíg meg nem
ismerkedünk a magyarázattal): ez a maradék éppen az x „nyílt szöveg”.
És ha Adél válaszolni akar Bélának? Ehhez Bélának is szüksége van egy
nyilvános és egy titkos kulcsra: ő is választ tehát két {p' és q') prímszámot,
kiszámítja ezek m ' szorzatát, választ két olyan d! és e! pozitív számot, hogy
e!d! —1 osztható legyen (p' —\ )(q' —l)-gyel, végül nyilvánosságra hozza m '-t
és e'-t. Ezután Adél már küldheti is a maga - szintén titkos - üzenetét.
256 15. KOMPLEXITÁSELMÉLET ÉS KRIPTOGRÁFIA
r = x e (mód m).
x ed — x = x(x(p~ ^ 1 — l).
Ezek után már csak egy kérdés marad: hogyan számítja ki az x e szám
maradékát modulo m, amikor az x e szám leírására az egész Világegyetem
kicsi volna? A válasz: úgy, ahogy azt a 6.10. alfejezetben már bemutattuk.
Partnerhitelesítés és egyebek. Az RSA-rendszer számos más területen is
alkalmazható. Tegyük fel például, hogy Adél üzenetet kap Bélától. Hogyan
bizonyosodhat meg arról, hogy az üzenetet valóban Béla küldte? Attól, hogy
az aláírás „Béla”, az üzenet még bárkitől érkezhet. Béla a következőképpen
oszlathatja el a kételyeket. Először saját titkos kódjával titkosítja az üzene
tet, majd aláírja, és az egészet újra titkosítja, de most már Adél - nyilvános
- kódjával. Amikor Adél megkapja az üzenetet, először a nyilvános kódját
alkalmazza. Ekkor egy - még mindig - titkos üzenetet kap „Béla” aláírással.
Ezután nincs más teendője, mint hogy az üzenet aláírás nélküli részét Béla
nyilvános kódjának segítségével megfejtse.
Elképzelhető-e, hogy az üzenet nem Bélától, hanem egy harmadik (csaló)
féltől származik? Nem: a csalónak ugyanis Béla privát kódját is ismernie kel
lene (ha ugyanis más kóddal titkosítja az üzenetet, akkor Adél Béla nyilvános
kódjával nem kap értelmes üzenetet, a turpisságra így nyomban fény derül).
Hasonló trükkökkel az RSA nyilvános kódok más elektronikus rendszerek
ben is használhatók, így többek között autentifikációra vagy vízjelezésre is.
Biztonság. Az RSA-protokoll biztonsága bonyolult kérdés, amely a rend
szer 1977-es bevezetése óta kutatók ezreit foglalkoztatta. Biztató jel, hogy
egyetlen általános támadás sem aratott még sikert, de sajnos ezidáig a biz
tonság egzakt bizonyítása sem sikerült senkinek (úgy tűnik, hogy a jelen
matematikájának nincs elegendő eszköze egy ilyen bizonyításhoz).
Néhány érv mindazonáltal létezik, amely a rendszer biztonságát támasztja
alá. Képzeljük el, hogy elfogtuk Béla üzenetét, és meg akarjuk fejteni. Ismer
jük az r maradékot (ez maga az üzenet), Adél e nyilvános kódját és az m
számot. Két támadási felület kínálkozik: megpróbálhatjuk kitalálni Adél tit
kos d kódját, és azzal dekódolni az üzenetet, vagy megkísérelhetjük valami
lyen közvetlenebb módon megtalálni az x számot x e modulo m maradékának
ismeretében.
Sajnos nincs olyan tétel, amely igazolná, hogy egyik feladat sem oldható
meg emberi léptékű időintervallumon belül. A rendszer biztonságát minda
zonáltal a következő tény erősen alátámaszthatja: ha valaki fel tudja törni
az RSA-rendszert, akkor ugyanazzal a módszerrel az m szám prímtényezős
felbontását is megtalálná (15.6.1. feladat). A prímtényezős felbontással szin
tén rengetegen foglalkoztak, hatékony módszert azonban senki sem talált -
ami erősen valószínűvé teszi, hogy az RSA-rendszer biztonságos.
15.6.1. Tegyük fel, hogy Béla kidolgoz egy algoritmust, amellyel az RSA-rendszert
az imént leírt első irányból képes feltörni: Adél nyilvános m és e kódjának ismere
tében ki tudja számítani a titkos d kódot.
(a) Mutassuk meg, hogy ennek alapján miként számíthatja ki a (p —1)(<7 —1)
számot,
258 15. KOMPLEXITÁSELMÉLET ÉS KRIPTOGRÁFIA
Megoldások
1. Számoljuk össze!
1.1. A n d rea szü letésn a p ja
1.1.1. 7 - 6 - - - 2 - 1 = 5040.
1.1.2. Csaba: 15 • 23 = 120. Dóra: 15 • 3 • 2 • 1 = 90.
1.1.3. Béla: 9-7-5-3 = 945. Csaba: 945-25 = 302,40. Dóra: 945-5-4-3-2-1 =
= 113400.
1.2. H alm azok
1.2.1. (a) Az utca összes háza; (b) egy olimpiai csapat; (c) a 99-esek
osztálya ; (d) egy erdő összes fája; (e) a racionális számok halmaza; (f) egy
kör a síkon.
1.2.2. (a) Katonák; (b) emberek; (c) könyvek; (d) állatok.
1.2.3. (a) Egy pakli francia kártya; (b) a pikk lapok; (c) egy pakli magyar
kártya; (d) a legfeljebb kétjegyű nemnegatív egész számok; (e) a pontosan
kétjegyű pozitív egészek; (f) Budapest lakosai.
1.2.4. Andrea, és az a halmaz, amelynek egyetlen eleme van, az 1.
1.2.5. Nem.
1.2.6. 0, {0}, {1}, {3}, {0,1}, (0, 3}, {1, 3}, {0,1,3}. 8 részhalmaz van.
1.2.7. nők; a parti vendégei; a Yale hallgatói.
1.2.8. {a}, {a, c}, {a, d}, {a, e}, {a, c, d}, {a, c, e}, {a, d, e}, {a, c, d, e}.
1.2.9. Z vagy Z+. A legkisebb: {0,1,3,4, 5}.
1 .2.10. (a) {a, b, c, d, e}. (b) Az unió asszociatív művelet, (c) Egy halma
zokból álló halmaz uniója azoknak az objektumoknak a halmaza, amelyek a
szóban forgó halmazok közül legalább az egyiknek elemei.
1 .2.11. Az {Ai, A.2, . . . . A-} halmaz uniója a legszűkebb olyan halmaz,
amelynek valamennyi A, halmaz részhalmaza.
260 MEGOLDÁSOK
1 .2.12. 6,9,10,14.
1 .2.13. Az unió elemeinek száma legalább akkora, mint n és m közül a
nagyobb, és legfeljebb n + m .
1 .2.14. (a) {1,3}; (b) 0; (c) {2}.
1 .2.15. A metszet elemeinek száma nem lehet kisebb, mint n és m mi
nimuma.
1 .2.16. A kommutativitás nyilvánvaló. Az (Ar\B)P\C = Ar)(Bí)C) azo
nosság belátásához elegendő észrevenni, hogy mindkét oldalon olyan halmaz
szerepel, amelynek elemei A-nak, H-nek és C-nek egyaránt elemei. Hason
lóan megy a másik (1.3) címkéjű azonosság igazolása is; (1.4) bizonyítása
pedig teljesen analóg (1.1) bizonyításával.
1 .2.17. Az A és a B halmaz közös elemeit mindkét oldalon kétszer vettük
figyelembe; azokat, amelyek A és B közül pontosan egynek elemei, egyszer.
1 .2.18. (a) A páros negatív és a páratlan pozitív egészek halmaza,
(b) B.
1.3. A részh alm azok szám a
1.3.1. (a) 2-hatványok; (b) 2" - 1; (c) az utolsó elemet (elemként) nem
tartalmazó halmazok.
1.3.2. 2n~1.
1.3.3. Alkossunk a részhalmazokból olyan párokat, amelyek csupán egy
adott elemben különböznek. Minden pár egy páros és egy páratlan részhal
mazt tartalmaz, ezeknek a száma tehát meg kell, hogy egyezzen.
1.3.4. (a) 2 • 10n —1; (b) 2 • (10n - 10""1).
1.4. A részh alm azok szám ának k ö zelítése
1.4.1. 101.
1.4.2. l + | n l g 2 j .
1.5. V é g es k araktersorozatok
1.5.1. A két fának rendre 9, illetve 12 levele van.
1.5.2. 5 -4- 3 = 60.
1.5.3. 314.
1.5.4. 6 -6 = 36.
1.5.5. 1220.
1.5.6. (220)12.
2. Kombinatorikus módszerek
2.1. T eljes ind uk ció
2.1 .1 . Mivel n és n + 1 közül egyik páros, n(n + 1) is az. Indukcióval: az
állítás = 0 estén igaz; ha pedig n > 1, akkor az indukciós feltevés alapján
mind n(n + 1) = (n —1)n + 2n, mind n(n — 1) páros, minek következtében
a kettő összege is az.
2.1 .2 . Az állítás a z n = l esetben igaz; ha pedig n > 1, akkor
(n l)n n(n + 1)
1 + 2 + ... + n — (1 + 2 + .. .n + (n !))+ « = +n =
2 2
262 MEGOLDÁSOK
l 2 + 22+ . .. + (n - l ) 2 = ( l2 + 22 + ... + (n - l ) 2) + n 2 =
(n —l)n(2n —1) 2 n(n + l ) ( 2 n + l)
= 6 +U = 6 '
2.1.13. A bizonyítás abból indult ki, hogy van legalább négy egyenes.
Az indukció alapjaként azonban csupán az n = 1, 2 eseteket ellenőriztük. Az
állítás n = 3 esetén - ahogy minden nagyobb számra is - hamis.
2.3. A szitaform u la
2.3.1. 18 + 23 + 21 + 17 —9 —7 —6 —12 —9 —12 + 4 + 3 + 5 + 7 —3 —40.
3. A binomiális együtthatók és a
Pascal-három szög
3.1 A b in om iális té te l
3.1.1.
(x + y)n+1 = (x + y)n(x + y) =
= xn (x + y ) + ^ j x n~ 1y(x + y) + ...
= Xn+1 ®"“V
. . . + xyn + y 7 1 + 1 _
6=6=5+l=4+2=4+l+l=3+3=3+2+l=3+l+l+l=
= 2+ 2+2= 2+ 2+ l+ l=2+ l+ l+ l+l= l+ l+l+ l+ l+ l.
( iM T h - c r M " ::;1)
azonosságot, az összefüggést felhasználva pedig a (3.5) azo
nosságot kapjuk.
3.7. A P a scal-h árom szög m a d á rtá v la tb ó l
3.7 .1 . n = 3fc + 2.
3.7 .2 . Nem könnyű. Meg akarjuk határozni az első olyan k-1, amelynél
a különbségek különbsége már nem pozitív:
4k 2 —Ank + n 2 — n — 2 < 0.
t t t t2
+ >
m + t ' m + t —1 m+ 1 m +t
A logaritmust „eltüntetve” a (3.9) összefüggésbeli felső korlátot kapjuk.
3.8.3. A (3.9) összefüggés alapján
2m 2m > gí2/(m+ty
m m —t
(:) /c r t) >c-
2
Az állítás másik felének bizonyítása hasonlóan megy.
4. Fibonacci-számok
4.1. F ib o n a cci felad ata
4 .1 .1 . Mivel mindegyik tag kiszámításakor a két megelőző tagra hivat
kozunk.
4 .1 .2 . Fn+1.
4.1 .3 . Jelölje Sn a jó részhalmazok számát. Ha n = 1, akkor S i = 2 (az
üres és az {1} halmaz). Ha n — 2. akkor 0. {!}, {2}, amiből 52=3. Általában
268 MEGOLDÁSOK
. . . , - 2 1 , 13, - 8 , 5, - 3 , 2, - 1 , 1, 0.
és meg is vagyunk.
4 .2 .5 .
= 3F 2n + 2F 2n _ x - (Fn - Fn _ x ) 2 = SF 2 + 2F 2_, - F 2_ 2
= 3{F 2 + F 2_ t ) - (F2_! + F 2_2) = 3F2„_ i - F2n_3
= Í2n+1-
4 .2 .6 . Azonosságunk:
n —k
F n +1 j
k
— Fn + Fn - 1 — F n+ 1 -
Fn — Ffi- 1 + F n- 2 —
' r—\ n —1 / _ \ n —l'N
1 i + 75\ /1-VM
~vs
2-2N
1 1+ 7 7 1- 7 7
+
7!
' r - \ n~2 / /—
1 l + 75\ / 1 + V5 'l-TöV Vl-Tö + i
7H +J- 1 2 / 2
'l + 7 7 7 -7 5
= Ti I
T 1 , . r o 1 + 7 5 . 1 — 7 5
L\ — 1 —a, + 6, ----- 1- b— —
Í2 —3 — o— — — .
1 + 75 1 - 75
b=
így
Ln —
7 77
+ 1 77
-
5. Kombinatorikus valószínűség
5.1. E sem én yek és valószín ű ségek
5.1 .1 . Az A és B események uniója az „A vagy B ” esemény, amely
pontosan akkor követezik be, ha A és B közül legalább az egyik bekövetkezik.
5.1 .2 . Az összes lehetséges kimenetel valószínűségének összegénél, vagyis
1-nél nagyobb valószínűséget semmiképpen sem kaphatunk.
5.1 .3 . P(E) = 4, P(T) = 4.
5.1 .4 . Mindkét oldalon ugyanazokat a P(s) valószínűségeket adjuk össze.
5.1 .5 . Minden olyan P(s) valószínűség, amelynél s £ A n B, mindkét
oldalon kétszer szerepel, minden olyan P(s) valószínűség, amelynél s e AUB,
de s fi A n B, egyszer.
5.2. K ísérletek fü g g etlen m e g ism é tlé se
5 .2 .1 . Az (E, T), (O, T), (L, T) párok függetlenek, az (E, O) párok kizár
ják egymást. Az (E , L ) és (0 , L ) párok egyike sem független.
5 .2 .2 . P(0 n A) = P (0) = 0 = P(0) • P(A). Ezzel a tulajdonsággal az S
halmaz is rendelkezik: P(S fi A) = P(A) = P(5) • P(A).
5.2.3. P(A) = J f p = P (B) = ^ P(A n B) = Jfp =
= = P(>1) • P(B).
5 .2 .4 . Annak valószínűsége, hogy valakinek ugyanakkor van a születés
napja, mint az anyjának, ^4_ (feltesszük, hogy az év minden napja egy
forma valószínűséggel jön számításba, a szökőévektőől pedig eltekintünk).
A világon körülbelül 7 milliárd ember él, így körülbelül 7 • 109/365 (mint
egy 20 millió) azoknak a száma, akiknek a születésnapja egybeesik az any
juk születésnapjával. Az, hogy a születésnapunk egybeesik anyánk, apánk
és házastársunk születésnapjával, független események, annak valószínűége
tehát, hogy valakinek az esetében a négy születésnap egybeesik: 1/3653 =
1/48 627 125. Ha a világon mondjuk 2 milliárd házasember él, akkor közülük
2 000 000 000/48 627125 ~ 41 ünnepel „családi” születésnapot.
272 MEGOLDÁSOK
9 • ÍO^-1
fclnlO
Tudjuk, hogy k jegyű számból összesen 10fc —10fc_1 = 9 • 10fc_1 van, amiből
9 -lO k -1 1 _ 1
k In 10 ■9 ■10fc_1 “ (lnlO)fc ~ 2,3k'
C+B C —B 2 2 C+B
----------- = x - V , c = ——
xu = x v (m odp). (16-1)
Ha x = 0 (mód p), akkor (16.1) mindkét oldala osztható p-vel, amiből
azonnal megkapjuk az állítást. Tegyük fel, hogy x ^ 0 (mód p), valamint,
hogy - mondjuk - u < v. Tudjuk, hogy p — 1 | v —u, így valamely pozi
tív k egész számmal v — u = k(p — 1). A „kis” Fermat-tétel szerint ekkor
xp~x = 1 (mód p), a kongruenciák szorzására vonatkozó szabály szerint
x k(p-i) = i (mód p), majd a szabályt újra alkalmazva: x v = xu ■x k^p~^ =
= x u (mód p), amivel (16.1) igazolást nyert.
6.8. K ü lön ös szám ok
6.8.1. KE, SZÓ, CS, SZE.
6.8.2. nem-A = 1 ® A; A-v&gy-B = A ® B © A ■B; A-és-B = A ■B.
6.8.3. 2 ■0 = 2 • 3 (mód 6), de 0 ^ 3 (mód 6). Általánosabban, ha az
m = ab (a, b > 1) modulus összetett szám, akkor a ■0 = a ■b (mód m), de
0 ^ b (mód m).
6.8.4. Az euklideszi algoritmusssal kezdjük:
_l)fc
Pii ■ ■ ■ Pik
alakban, másrészt
másképpen:
b | (sis2 •••sk)(ak - l).
Mivel a SiS2 ... sk számok mindegyike relatív prím 6-hez, így 6 | ak — 1, és
éppen ezt kellett bizonyítani.
278 MEGOLDÁSOK
6.10. P r ím te sz te lé s
6 .1 0 .1 . Bizonyítás k szerinti indukcióval; az állítás a k = 1 esetben igaz.
Legyen n = 2m + a, ahol a vagy 0, vagy 1. Ekkor m számjegyeinek száma
k — 1, így 2m legfeljebb 2(k —1) szorzással megkapható. Végül 2n = (2m)2,
amennyiben a = 0, és 2n = (2TO)2 • 2, amennyiben a = 1.
6.10.2. Ha 3 | a, akkor nyilván 3 | a561 — a. Ha 3 j a , akkor 3 | a2 —1 a
„kis” Fermat-tétel szerint, amiből 3 | (a2)280 —1 = a560 —1. Hasonlóan: ha
11 j a, akkor 11 | a 10 —1, amiből 11 | (a10)56 —1 = a560 —1. Végül, ha 17 \ a,
akkor 17 | a 16 —1, és így 17 j (a16)35 —1 = a560 —1.
7. Gráfok
7.1. P áros és p áratlan fok szám ú p o n to k
7.1.1. Kétpontú gráf 2, hárompontú 8 van (bár az utóbbiak közül csak 4
„lényegileg különböző”). A négypontú gráfok száma 64, ezekből 11 „lényegileg
különböző”.
7.1 .2 . (a) Nem, a páratlan fokszámú pontok száma páros, (b) Nem,
az 5 fokszámú pont az összes többivel össze van kötve, így nem létezhet 0
fokszámú pont. (c) 12 (ezek azonban mind „lényegileg azonosak”), (d) 9-7-
•5 ■3 • 1 = 945 (de ezek is „lényegileg azonosak”).
7 .1 .3 . Az ilyen (teljesnek nevezett) gráfnak (!() éle van, amennyiben
pontjainak száma n.
7 .1 .4 . Az (a) gráfnak 17 éle van, a fokszámok: 9, 5, 3, 3, 2 ,3 , 1 , 3, 2, 3. A
(b) gráfnak 31 éle van, a pontok fokszámai 9, 5, 7, 5,8,3, 9, 5, 7,4.
7 .1 .5 . (2°) = 45.
7 .1 .6 . 2a°) = 2190.
7.1.7. Minden gráfban van két azonos fokszámú pont. Mivel minden fok
szám 0 és n — 1 közötti, ha minden pont fokszáma különbözne, akkor a
fokszámok (valamilyen sorrendben) az 0,1, 2, 3, . . . n — 1 számok lennének.
Az n —1 fokszám pontból azonban az összes többi ponthoz vezet él, így a 0
fokszámúhoz is, ez viszont lehetetlen.
7.2. U ta k , körök, ö sszefü g g ő ség
7 .2 .1 . 4 út, 6 kör és 1 teljes gráf.
7.2.2. Az n pontú él nélküli gráfnak 2” részgráfja van. A háromszög
részgráfjainak száma 18.
7.2 .3 . Csak a 3 hosszúságú út és az 5 hosszúságú kör. (Hosszabb út vagy
kör komplementerének túlságosan sok éle van.)
7.2.4. Igen, a bizonyítás érvényes marad.
7.2 .5 . (a) Hagyjunk el egy élt az útból, (b) Tekintsük az u és v pontokat.
Az eredeti gráfban van u-t és v-t összekötő út. Ha ez az út nem halad át az
MEGOLDÁSOK 279
8. Fák
8.1. A lte r n a tív d efin íciók
8 .1 .1 . Ha G fa, akkor (a definíció szerint) nincs benne kör, de tetszőleges
új él berajzolásával kör keletkezik benne (amelyet az új él, és annak két
végpontját a gráfban összekötő út alkotnak). Megfordítva, ha egy gráfban
nincs kör, de bárhova rajzolunk be egy új élt, azzal kör keletkezik, akkor
a gráf összefüggő kell hogy legyen (ha két pont, mondjuk u és v nincs éllel
összekötve, akkor az uv él berajzolásával keletkező körnek lesz olyan szakasza,
amely az u és v pontokat az eredeti gráfban összekötő út).
8.1 .2 . Ha u és v ugyanannak az összefüggő komponensnek a pontjai,
akkor az új uv él az u-t és v-t az eredeti gráfban összekötő úttal egy kört
alkot. Ha u és v összekötésével kör keletkezik, akkor ennek a körnek az uv
él nélküli része egy u-t és u-t összekötő út, u és v tehát ugyanannak az
összefüggő komponensnek a pontjai.
8.1 .3 . Tegyük fel, hogy G egy fa. Mivel G összefüggő, bármely két pontját
összeköti legalább egy út. Két út azonban nem létezhet, ekkor ugyanis egy
kört kapnánk (legyen v az a pont, ahol a két út elágazik; kövessük innen a
második utat az első úttal való első közös pontjáig, innen pedig haladjunk
visszafelé az első út mentén).
Megfordítva, tegyük fel, hogy bármely két pont között pontosan egy út
halad. Ekkor a gráf összefüggő, kört azonban nem tartalmazhat (hiszen a
kör bármely két pontját legalább két út összeköti).
8.2. H ogyan n övesszü n k fát?
8 .2 .1 . Induljon az út egy 1 fokszámú pontból.
8 .2 .2 . Egyetlen élen sem lehet két várúr, hiszen ekkor egymással szembe
haladnak, ami azt jelenti, hogy a királyhoz két úton is el lehet jutni. Ha
sonlóan: egy olyan élnek, amelyen egyetlen várúr sem tartózkodik, kétféle
irányban kellene a király felé vezetnie.
8 .2 .3 . Induljunk egy tetszőleges v pontból. Ha a v-beli ágak valamelyi
kén a fa pontjainak több mint a fele megtalálható, akkor haladjunk az ehhez
az ághoz vezető él mentén. Ismételjük meg ugyanezt. Nem fogunk visszafor
dulni, ez ugyanis azt jelentené, hogy van olyan él, amelynek elhagyásával két
olyan összefüggő komponens keletkezne, amelyek mindegyikében több pont
van, mint az összes pont fele. Mivel a gráf fa, soha nem térünk vissza olyan
pontba, ahol már jártunk. Végül tehát eljutunk egy olyan ponthoz, amely
nél minden ág legfeljebb feleannyi pontot tartalmaz, mint amennyi a gráfban
összesen van.
8.3. H o gyan szám olju k ö ssze a fákat?
8 .3 .1 . A 2, 3,4, 5 pontú címkézetlen fák száma rendre 1,1, 2,3, a címké
zetteké pedig 1,3,16,125.
8 .3 .2 . n ponton n csillag és n \ j 2 út adhat meg.
MEGOLDÁSOK 281
8.4. F ák tá rolása
8 .4 .1 . Az első egy út, a harmadik egy csillag apakódja; a másik kettő
egyetlen fának sem apakódja.
8.4.2. Ennyi a lehetséges apakódok száma.
8 .4 .3 . Adjunk meg az {1, . . . , n} pontokon egy gráfot úgy, hogy az ugyan
abban az oszlopban lévő pontpárokat összekötjük. Ha az utolsó oszloppal
kezdjük és visszafelé haladunk, akkor a „fanövesztő” eljárást kapjuk: minden
lépésben felveszünk egy új pontot, és összekötjük valamelyik már meglévő
ponttal.
8.5. A cím k ézetlen fák szám a
8 .5 .1 . (a) egy utat, (b) egy csillagot kódol; (c) nem kódol (az első 5 szám
között több 0 van, mint 1, ami egy fa planáris kódjánál nem fordulhat elő).
9. Optimális megoldások
9.1. A legjob b fa
9 .1 .1 . Legyen H egy optimális fa, G pedig az, amelyet a pesszimista
kormány épített meg. Tekintsük az első lépést, amelynek során a H gráf egy
e = uv élét elhagytuk. Ha H-ból töröljük e-t, akkor két komponensre bomlik,
mivel G összefüggő, van olyan / él, amely ezeket a komponenseket összeköti.
Az / él (által reprezentált vonal) megépítése nem kerülhet többe, mint az
e megépítése, máskülönben a pesszimista kormány f-et törölte volna el e
helyett. Ez azonban azt jelenti, hogy H-bán az e élt a költségek növekedése
nélkül /-re cserélhetjük. A gondolatmenet ugyanúgy fejezhető be, mint az
opitmista esetben.
9 .1 .2 . Tekintsük az 1,2,3,4 pontokat és a c(12) = c(23) = c(34) =
= c(41) = 3, c(13) = 4, c(24) = 1 költségeket. A pesszimista kormány az
(12341) kört építené meg, holott a legjobb megoldás az (12431) kör.
9.2. A z u ta zó ü g y n ö k p rob lém ája
9 .2 .1 . Igen, mert metszi magát (1. a következő feladatot).
9 .2 .2 . Két egymást metsző élt két másik, ugyanazon négy pontot össze
párosító élre cserélve a háromszög-egyenlőtlenség miatt egy rövidebb utat
kapunk.
10. Párosítások
10.1. A tá n cren d p rob lém ája
1 0 .1 .1 . Ha minden pont fokszáma d, akkor az élek száma egyrészt d- |A|,
másrészt d • |H|.
10.1.2. (a) háromszög; (b) csillag.
282 MEGOLDÁSOK
16.1. ábra.
12. Az Euler-formula
12.1. E gy m e g tá m a d o tt b o ly g ó
Van n pont, amelynek fokszáma n — 1, és (^) olyan, amelynek
1 2 .1 .1 .
fokszáma 4 (1. a 11.1. alfejezetet). Az élek száma így 1 (n • (» —!) + 0 - 4 ) .
Az Euler-formula szerint ekkor
+ —n + 2
16.2. ábra.
1 6 .3 . á b r a .
1 4 .1 .8 . N e m v é le t le n . R ö g z í t s ü k a k o c k a t é r e g y A p o n t j á t . M in d e n A- r a
i lle s z k e d ő s í k b a n v a n 3 A - n á t m e n ő e g y e n e s . H a a z e g y p o n t o n á t m e n ő e g y e
n e s n y a l á b o k a t P O N T -n a k , a z e g y s í k b a e s ő e g y e n e s h á r m a s o k a t p e d i g E G Y E -
N E S -n e k n e v e z z ü k , a k k o r a P O N T -o k é s E G Y E N E S -e k F a n o - s ík o t a lk o t n a k .
■473239787751081'
011 111
= ^ ( ^ - 1 ) = (v ~ 1)(^ ~ 3)
6 24
darab van, a nem-S-hármasok száma tehát b —b ' — _Minden nem-
5'-hármasnak legfeljebb egy pontja van á'-ben, így legalább két olyan pontja
van, amely nem eleme fj-nek. Az S-en kívüli kételemű halmazok száma vi
szont (('v+2 ^ 2) = ; és mivel ezen párok mindegyike egyetlen nem-
S-hármasnak lehet csak része, a nem-S-hármasok mindegyikében pontosan
két S-en kívüli elemnek kell lennie. Ezzel beláttuk, hogy minden nem-S-
hármasnak van egy S-beli eleme.
1 4 .4 .4 . A megoldást az 16.5. ábra mutatja.
n —1 0 1 n —3 n —2
14.5.3.
1 2 3 1 2 3
2 3 1 3 1 2
3 1 2 2 3 1
14.5.4. Minden számhoz 1-et adunk, így minden sor-, illetve oszlopösszeg
4-gyel növekszik.
14.5.5. Olyan latin négyzetekre van szükségünk, amelyekben nem csu
pán a sorokban és az oszlopokban, de a két átlóban is különböző számok
szerepelnek. A következő kettő például megfelel:
0 1 2 0 1 2 3
eo
2 3 0 i 3 2 1 0
3 2 1 0 1 0 3 2
1 0 3 2 2 3 0 1
Ezekből a következő „tökéletes” latin négyzetet kapjuk:
0 5 10 15
11 14 1 4
13 8 7 2
6 3 12 9
290 MEGOLDÁSOK
K = gcd(eid1 - 1, e2 d2 - 1, . . . , eMdM ~ 1)
számelmélet, 94
alaptétele, 97
számhalmazok, 14
számítógép, 95, 253
számosság, 14
színezés
gráfé, 205
Steiner-rendszeré, 235
tartományoké, 203, 205, 212
Szekeres, Gy., 192
szimmetrikus differencia, 15
E L M E L E T I M A T E M A T I K A
3500 Ft
ISBN 9 7 8 - 9 6 3 - 2 7 9 - 0 8 5 - 5
9 789632 790855