Professional Documents
Culture Documents
Untitled
Untitled
RENYIALFRED
NAPLO AZ
INFORMACIO-
ELMELETROL
A kO!etet osszeallitotta
KATONA GYULA
ELOSZO 7
Az el0sz6t irta AZ INFORMACI6 MATEMATIKAI FOGALMAROL II
REVESZ PAL
A SZERENCSEJATEKOK ES A VALOSZfNUSEGSZAMfTAS 95
GONDOLATOK A VALOSZJNUSEGSZAMlTAS
TANfTASAR6L 123
VALTOZATOK EGY FIBONACCI-TEMARA 136
A FAK MATEMATIKAI ELMELETEROL 164
18 2• 19
szamrendszer az ,anyanyelve", a geppel nemcsak a program szam minden egyes szamjegye I egysegnyi informaci6t tar-
soran feldolgozand6 szamadatokat kell a kettes szamrend- talmaz. Ezzel fiigg ossze az informaci6 egysegenek elneve-
szerbe atirva kozolni, hanem mindenfajta utasitast is 0 es 1 zese: az informaci6 egyseget bit-nek nevezik, ami a binary
jelekbOI al16 sorozat formajaban kell k6dolni es a gepbe digit (angolul: kettes szamrendszerbeli szamjegy) roviditese.
betaplalni. Az informaci6mennyiseg definici6jat ezek utan Ebben az elnevezesben meg egy sz6jatek is el van rejtve,
ugy is megfogalmazhatjuk, hogy egy tetszoleges informaci6 hiszen ,bit" angolul azt jelenti, hogy valaminek egy kis
mennyiseget ugy merjiik meg, hogy a sz6ban forgo infor- darabkaja, morzsaja, tehat a bit: egy morzstinyi informdci6.
maci6t atirjuk, azaz k6doljuk 0 es 1 jegyekbol all6 sorozatta, A k6dolassal kapcsolatban arr61 is sz6 volt, hogy altala-
a lehetolegcelszeriibb m6don (vagyis ugy, hogy a lehetoleg- ban az informaci6 tovabbitasa celjab61 kell az informaci6t
rovidebb jelsorozatot kapjuk), es az igy kapott jelsorozat a tovabbitas m6djanak megfeleJOen k6dolni. Igy peldaul
(k6dsz6) hosszaval (szamjegyei szamaval) merjiik az infor- a tavirat tovabbitasakor az iizenetet a morzeabece jeleivel
maci6 mennyiseget. Az e!Oad6 hangsulyozta, hogy ez, persze, (hosszti es riivid jelekkel) kell k6dolni. A tevead6 a kepet
nem szabatos matematikai definici6, ezt majd kesobb adja ugy k6dolja, hogy azt kis pontokra bontja, es annek meg-
meg. Ez csak szem leletes kifejezese annak, hogy mit ertiink feleloen, hogy a pontok sotetek vagy vilagosak, ad le jeleket,
informaci6mennyisegen; csak arra szolgal, hogy legyen vala- amelyeket elektromagneses hullamok tovabbitanak a teve-
milyen elkepzeJesiink errol a fogalomr61; amit mondott, vevokesziilekhez, amely azokat visszaalakitja keppe - mas
tekintsiik azt elso Jepesnek az informaci6mennyiseg fogal- sz6val dek6dolja. De ennel sokkal egyszeriibb peldat is lehet
manak megkozeliteseben. Azt is hangsulyozta, hogy amikor adni a k6dolas fogalmara, amelyet tulajdonkeppen mindenki
az informaci6 mennyiseget akarjuk merni, szammal kife- j61 ismer, meg ha nem is nevezi igy: a k6dolas tulajdonkeppen
jezni, akkor szandekosan es tudatosan figyelmen kiviil hagy- maga az iras is, amely hangoknak betiiket feleltet meg;
juk az informaci6 tartalmanak es jelentosegenek kerdeset. ebben az esetben az olvasas a dek6dolas. Az agyunk is vala-
Nagy sikere volt (fOleg a Ianyoknal) annak a peldajanak, hogy k6dolja az informaci6t, amelyet emlekezetiinkben
hogy a valasz arra a kerdesre, hogy ,Kisasszony, szereti elraktaroz, csak rna meg nem tudjuk pontosan, hogy milyen
a sajtot?" - akar igen, akar nem a valasz -, ugyanugy eljarassal tiirtenik az agyban a k6dolas es a dek6dolas.
1 egysegnyi informaci6t tartalmaz, mint a valasz arra a ker- K6dolas az is, amikor valaki csom6t kiit a zsebkendojere,
desre, hogy ,Kisasszony, akar a felesegem lenni?", pedig a hogy errol valami eszebe jusson. Az eload6 emlitette, hogy
ket valasz tartalma es jelentosege nyilvanval6an egeszen egyes indian torzsek ezt a fajta k6dolast magas szinvonalra
mas. Ezzel kapcsolatban ramutatott, hogy az elmondottak fejlesztettek: kiitelre kiitiitt csom6k segitsegevel kiildtek
szerint az informaci6 egysege egyetlenegy, igennel vagy iizeneteket. K6doliis az is, amikor fenyjeleket adnak egymas-
nemmel megvalaszolhat6, egyebkent tetszoleges kerdesre nak a haj6k, vagy az Alpokban balesetet szenvedett turistiik
adott valaszban foglalt informaci6 mennyisege. sippal adnak S. 0. S.-jelet. Mindenfele titkosiras is, persze,
Mas kent kifejezve: az informaci6 egysege egyetlenegy, k6dolas- innen sziirmazik maga a ,k6dolas" sz6. A gra-
0 vagy 1 jellel kifejezheto (k6dolhat6) informaci6 mennyi- mofonlemezen, a magn6szalagon is k6dolva van a zene vagy
sege. Igy peldaul egy a kettes alapu szamrendszerben felirt a beszed stb. Egyikiink megjegyezte, hogy ugy liitszik, a k6-
20 21
dolassal tebat ugy vagyunk, mint Moliere darabjanak szerep- vagyok a nevsorban*, tehat az en nevemnek a 01110 szam
IOje, aki nem tudta, hogy 6 egesz eleteben pr6zaban beszelt: felel meg. Ezek utan az ot kerdes a kovetkez6: a gondolt
mi sem tudtuk, hogy szinte minden tevekenysegiink soran hallgat6 nevenek sorszamat a kettes szamrendszerben felirva
informaci6t k6dolunk es dek6dolunk. az elso, masodik, a harmadik, a negyedik, az otOdik jegy
Az eloadason eppen 32-en voltunk jelen hallgat6k. Az el6- egyes-e. Ha peld{ml erre az ot kerdesre rendre a ,nem, igen,
ad6 feltette a kerdest, hogy ha 6 valamelyikiinkre gondol, igen, igen, nem" valaszokat kapjuk, akkor ram gondolt
bany kerdessel tudnank kitalalni, hogy melyikiinkre gondolt. az el6ad6. Ez nagy on meglepett, hiszen a barkochba jatekban
Rogtiin ravagtam, hogy ot kerdessel. Persze, az el6ad6 meg- nagy gyakorlatom van, a kollegiumban sokszor jatsszuk,
kerdezte, hogy hogyan kerdeznek. Azt valaszoltam, hogy es en vagyok elismerten a legjobb barkochbaz6 (nemregiben
a neveket abecesorrendben felirnam, azutan elso kerdeskent azzal arattam sikert, hogy kitalaltam a kovetkez6t: ,kukac
azt kerdeznem, hogy az elso 16 nev kozott van-e a gondolt altai ragott lyuk abban az almaban, amely Newton fejere
nev. Akar ,igen", akar ,nem" a va!asz, a megmarad6 lehe- esett".), de arra meg soha nem gondoltam, hogy a kerdeseket
t6segek szama a felere, azaz 16-ra csokkent. Hasonl6keppen ne egymas utan, hanem egyszerre tegyem fel.
a masodik kerdessel 8-ra, a harmadikkal 4-re, a negyedikkel Ezek utan az el6ad6 nehany tovabbi peldat mondott,
2-re csokkenthet6 a meg fennmarad6 lehet6segek szama, pl. ,hany bit informaci6t tartalmaz a szemelyi igazolvany
cs igy az otiidik kerdessel biztosan ki tudom talalni, hogy a sorszama ?" Azt mondta, hogy Magyarorszagon kereken
32 hallgat6 koziil kire gondolt. Ezek utan az el6ad6 azt 7,5 milli6 feln6tt allampolgarnak van szemelyi igazolvanya.
kerdezte, hogy ha az ot kerdest egyszerre kell feltennem, lgy tehat arr61 van sz6, hogy ha 6 egy tetszoleges feln6tt
tehat az egyes kerdesek megvalasztasana! nem allnak rendel- magyar allampolgarra gondol, Mny kerdessel tudjuk kibar-
kezesemre az el6z6 kerdesekre kapott valaszok, akkor is kochbazni, hogy kire gondolt. Erre, persze, konnyen tudtunk
eleg-e ot kerdes. Erre azt valaszoltam, hogy ezt nem tudom, valaszolni. Mivel 222 = 4194304 es 22a = 8388608, teMt
mivel a barkochba jatekna! az ember mindig az el6z6 kerde- ehhez 23 kerdes sziikseges. Ezek utan azt kerdezte, hogy
sekre kapott valaszok alapjan va!asztja meg a kovetkez6 helyes-e azt mondani, hogy a szemelyi igazolvany sorszama
kerdeset, de azt hiszem, hogy ha egyszerre kell a kerdeseket pontosan 23 bit informaci6t tartalmaz. Tobben is azt vala-
feltenni, akkor otnel tobb kerdesre van sziikseg. Ebben szoltuk, hogy ez akkor lesz csak pontosan igaz, ha a szemelyi
viszont tevedtem. Az el6ad6 megmutatta, hogyan lehet ot igazolvanyok szama eleri a 8388608-at, teMt azt a szamot,
olyan kerdest cgyszerre feltenni, hogy az ot valaszb61 egyer- amelynek a kettes alapu logaritmusa pontosan 23. Ha jelenleg
telmuen megallapithat6, a 32 hallgat6 kiiziil kire gondolt. csak 7 es fel milli6 a szemelyi igazolvanyok szama, ugy a sze-
A hallgat6kat meg kell szamozni O-t61 31-ig, a sorszamokat melyi igazolvany szamaban foglalt informaci6 valamivel
felirni a kettes szamrendszerbe, igy mind a 32 nevhez tartozik kevesebb, mint 23 bit, de 22 bit-nel persze tobb. Igy kozosen
egy otjegyii, nullakb61 es egyesekb61 all6 kettes szamrendszer- eljutottunk a kovetkez6 eredmenyre: ha a barkochba jatek-
beli szam (az otnel kevesebb jegyii szamokat otjegyiive
tessziik azaltal, hogy 0-kat irunk az elejere, pl. a 0 sorszam- * Donat Bonific, persze, a val6di nevere gondol - 0 nem is tudja,
nak a 00000, az 1 sorszamnak a 00001 felel meg); en a 14-ik bogy milyen alnevet adtam neki. I R. A.)
22 23
ban a szabalyokat ugy rn6dositjuk, hogy pontosan N kiilon- lgy tehit eljutottunk az informaci6 additivitasanak torvenye-
bozo dolog (szernely, targy stb.) valarnelyikere szabad csak hez.
gondolni, akkor a gondolt dolog kitala!asahoz log, N bit Befejezesiil meg az informaci6 fogalmar61 beszelgettiink.
inforrnaci6ra van sziikseg. Ezek utan azt rnondta az eload6, Az el6ad6 figyelrneztetett, hogy miutan mar az informaci6
hogy pr6baljuk a kapott eredrnenyt rnegfogalrnazni a bar- mennyiseget szarnszeriileg rnerni tudjuk, az ,inforrnaci6"
kochba jatek nelkiil. Nemi pr6ba!gatas utan ez is sikeriilt, sz6t tulajdonkeppen ketfele - konkret es absztrakt, illetve
a kovetkezokeppen: Ha egy adott, N elemu H halmaz egy kvalitativ es kvantitativ- ertelernben haszna!juk. Inforrnaci6
ismeretlen x elemet megadjuk, amelyrffl eleve semmi mast nem alatt ertjiik egyreszt rnagat a konkret informaci6t (ertesiilest),
tudtunk, mint hogy a H halmazhoz tartozik, az igy kapott masreszt ennek szamszerii merteket, vagyis a konkret infor-
informaci6 mennyisege log 2 N bit. Ezt a kepletet nevezik maci6ban foglalt absztrakt informaci6mennyiseg mertek-
H artley-fele kepletnek. Ezutan az el6ad6 az informaci6 additi- szamat, bit-ben kifejezve. Celszerii csak a konkret informa-
vitasanak torvenyet isrnertette. Legegyszeriibben ezt is a bar- ci6t nevezni ,informaci6"-nak, mig a konkret informaci6
kochba jatekon keresztiil lehet megerteni. Ha egyszerre ket szamszerii informaci6tartalmat ,informaci6mennyiseg"-nek.
dolgot keii kitala!nunk, rnondjuk x,-et es x.-t, rnegpedig Felreertes elkeriilese vegett az ,informaci6" sz6 helyett idon-
x,-rol csak azt tudjuk, hogy az N 1 elernii H, halmaz eleme, kent az ,ertesiiles" sz6t fogjuk hasznalni. Azt is mondta,
x 2-r61 pedig csak azt, hogy az N 2 elemii H 2 halmaz eleme, hogy erdernes tisztazni, hogy az informaci6 sz6n (a konkret,
akkor ezt ugy is felfoghatjuk, hogy az (xb x,) part keii kvalitativ ertelemben) ugyanezt ertjiik-e. Azt kerte, hogy
kitalalnunk, arnely eleme az osszes (xb x,) parok H halma- mindenki irjon fel egy papirra tiz olyan magyar sz6t, amely-
zanak, ahol x, a H 1 halmaz tetszoleges eleme es x, a H 2 nek jelentese tobbe-kevesbe rokon az ,informaci6" sz6
halrnaz tetszoleges eleme, fiiggetleniil att61, hogy rni x, erteke. jelentesevel. En a kovetkezo tiz sz6t irtam fel:
Nyilvanval6, hogy a H halmaznak N,N, eleme van, es igy az
(xb x,) par kitaialasahoz sziikseges kerdesck szama (vagyis I. ertesiiles 6. tajekoztatas
az (x1. x,) par meghatarozasaban foglalt informaci6 mennyi- 2. hir 7. felvilagositas
sege) a Hartley-keplet szerint log 2 N,N2 • Masreszt azonban 3. kozles 8. tudas
Xt es X2 kitalalasat vegezhetjiik kiiJon-kiiJon, igy X1 kitalala-
4. ujsag 9. jeiiemzes
sahoz log 2 N 1 kerdesre x, kitaialasahoz log 2 N 2 kerdesre, 5. adat I 0. bejelentes
osszesen x 1 es x 2 egyiitt val6 kitalalasahoz log 2 N 1 + log 2 N 2 A tobbiek cedultiin elofordultak meg e szavak kovetkezo
kerdesre van sziikseg, vagyis x, es x, meghatarozasahoz variansai is: ismeret, hiradas, kozlerneny, adatszolgaltatas,
sziikseges inforrnaci6mennyiseg osszesen log 2 N 1 +log, N 2 bit. tudatas, megmondas, bemondas, megadas, leiras, kijelentes.
Ezen inforrnaci6mennyisegre tehat latsz6lag ket kifejezest Azzal valtunk el, hogy igen nehez volna az ,inforrnaci6"
kaptunk, de, persze, a ketto cgyen16 egymassal, a logaritmus- szemleletes fogalmat formalisan definiiilni, de ez nem is
fiiggveny j61 ismert tulajdonsaga rniatt (szorzat logaritmusa sziikseges, rnert amikor e sz6t hasznaljuk, rnindannyian lenye-
egyenlo a tenyczok logaritrnusainak osszegevel): geben ugyanarra gondolunk, es a tovabbiakban az informa-
log 2 N,N2 = log2 N, + log 2 N 2 • ci6 matematikai fogalmat ugyis szabatosan definialni fogjuk;
24 25
nyomatekosan hangsulyozta az eloado, hogy e fogalomhoz ki:ivetkezo meres utan mar csak harom erme van, amelyik
meg nem jutottunk el, csak az eiso iepest tettuk meg cbbe szamitasba jon. Harmadszorra e 3 erme ki:iztil tesziink egyet-
az ininyba, azt a iepest, amit elsonek Hartley tett meg 1928- egyet a merleg ket serpenyojebe, es igy akarmi is a men!s
ban. eredmenye, megtalaljuk a hamis penzt.
Vegiil nehany feiadatot oldottunk meg, ameiyek segitettek
a Hartley-formula ertelmet megerteni. Peldaul a ki:ivetkezo
kerdest vizsgaltuk, amely mint az eioado mondotta, az infor- Az e!Oadas vegen az volt az erzesem, hogy amit hallottam,
macioelmelet egy fontos fejezetehez, a keresciselmelethez tar- teijesen ertem. Most, hogy atgondoltam az egeszet, !atom,
tozik: 27 aranyermenk van, amelyek ki:iziil 26 vaiodi, egy hogy egy sereg kerdes nyitva maradt.
azonban hamis, ugyanis mas fembol van, csak be van ara- Az vilagos, hogy egy igennel vagy nemmel megva!aszol-
nyozva, es igy szemre nem kiili:inbi:iztetheto meg a ti:ibbitol; hato kerdesre adott va!asz egy egysegnyi, azaz egy bit infor-
tudjuk, hogy a hamis erme ki:innycbb, mint a vaiodiak_ maci6t tartalmaz; igen am, de mi van, ha a barkochba!
A hamis penz megtaia!asara rendelkezestinkre all egy ketkaru jatekban iigyetleniil kerdezek, es azt, amit i:it kerdessel ki
merieg, amellyel csak azt iehet eldi:inteni, hogy a ket serpenyo lehetett volna tahilni, az i:iti:idik kerdes utan meg nem tudom
tartaima egyforma nehez-e, es ha nem, melyik a nehezebb. kitalalni: hogyan lehetseges ez, hiszen iigyctlen kerdezesnel
Kerdes: hany meres sztikseges a hamis penz megtalalasahoz? is i:it kerdesre ot vaiaszt es igy 5 bit informaciot kapok?
MieiOtt a feladatot megoldottuk volna, closzi:ir a szoban Itt latszolag valami ellentmondas van: amikor eleg 5 bit
forgo informaciomennyisegek kiszamitasa utjan a ki:ivetkezo- egy 32 elemil halmaz egy eiemenek kitala!asahoz, maskor
keppen kaptunk egy also becslest a sztikseges meresek sza- pedig nem e!eg? Az informacio mennyisege nem fiigghet
mara: a hamis penz barmelyik lehet a 27 ki:iziil, tehat a attol, hogy en jol kerdezek-e. Mas kent kifejezve: nyilvan,
hianyzo informacio a Hartley-formula szerint logz 27. ha iigyetleniil kerdezek, akkor i:it kerdesre kapott vaiaszbol
Marmost minden meresnek csak 3 eredmenye lehetseges 5 bit-nei kevesebb informaciot kapok - mondjuk, csak
(a bal oidali serpenyo nehezebb, a jobb oidali serpenyo nehe- 3 bit -et. De hiszen az egyes kerdesekre ad ott valaszok kiili:in-
zebb, iiietve a ketto egyenlo sulyu) es lgy egy-egy meres kiili:in ekkor is egy-egy bit-et tartalmaznak. Hova veszett el
iogz 3 informaciot adhat csak. Ha tehat x merest vegztink, Mt 2 bit? E kerdes elso pilianatban rejtelyesnek latszott,
ugy kell, hogy X logz 3 ~ logz 27 iegyen. Mivel logz 27 = de azutan eszembe jutott, hogy mi ti:irtent legutobb, amikor
= 3 log 2 3, ebbol ki:ivetkezik, hogy x ~ 3, vagyis legalabb barkochb:lt jatszottunk, es ez segitett megoldani a rejteiyt.
3 meres sziikseges. 3 meressel viszont valoban meg lehet Az ti:irtent ugyanis, hogy aznap este faradt es sz6rakozott
taialni a hamis penzt; e!Oszi:ir a merleg mindket serpenyojebe voltam, es ez iehetett az oka, hogy a kerdezes soran feltettem
9-9 ermet tesztink. Ha az egyik serpenyo felszall, az abban oiyan kerdest, ameiyet mar egy perccel eiObb meg is vala-
levo 9 erme ki:izt van a hamis; ha egyensulyban van, akkor a szoltak. ,De hisz ezt mar kerdezted" - mondtak a ti:ibbiek
maradek 9 ki:izi:itt van a hamis erme. Igy egy meressel a iehet6- korusban, es azt ajanlottak, hogy ha faradt vagyok, hagyjuk
segek szamat 9-re csi:ikkentettiik. Masodszora ebbol a 9-bol abba - es ez is ti:irtent. Kisse bosszantott az eset akkor,
tcsziink Mrmat-harmat a merleg ket serpenyojebe, es igy a de most jol ji:itt. Raji:ittem ugyanis, hogy az iigyetlen kerdezes
26 27
legegyszeriibb m6dja az, ha a masodik alkalommal a kerdezo egyszer kesobb meg vegig akarom gondolni. Most elobb egy
egyszeriien megismetli az else kerdest. Ez esetben, persze, masik problema! akarok j61 atgondolni: az a benyomasom,
tovabbra is igaz, bogy mind az elso kerdesre, mind a masodik bogy ennek tisztazasa sziikseges az elobbi problema meg-
(az elsovel azonos) kerdesre kapott valasz egy-egy bit infor- ertesehez is. Arr61 van sz6, bogy mit jelent a nem egesz
maci6t tartalmaz, de a masodik bit nem uj informaci6, ertekil informaci6? Az az allitas, bogy valamely N elemii
hanem ugyanaz, amit mar az elso valaszban megkapott a ker- H halmaz egy ismeretlen elemenek kitahl!asahoz log 2 N bit-
dezo; igy tehat az iigyetlen kerdezo ket azonos kerdesere_ nyi informaci6ra van sziikseg, teljesen vilagos, ha log2 N
adott ket azonos va!asz egyiittveve nem ket, hanem csak egy egesz szam, vagyis ha N = 2\ ahol k pozitiv egesz szam,
bit informaci6t tar!almaz. Lenyegeben ez a helyzet akkor is, mert ez esetben val6ban pontosan k kerdessel ki lehet talalni
ha nem ennyire durva hi bat kovet el valaki, csak eppen nem az ismeretlen elemet, kevesebb kerdessel viszont nem. De mit
a legcelszerilbb m6don kerdez. Ez esetben, persze, nem pon- jelent tulajdonkeppen az, hogy valamit log2N kerdessel ki
tosan ugyanazt az informaci6t kapja meg ketszer, hanem a lehet talalni, ha log 2 N nem egesz szam? Ezen a kerdesen
masodszorra kapott I bit informaci6nak csak egy resze uj, az eload6 valahogy atsiklott; persze lehet, bogy legkozelebb
egy resze olyan informaci6, amely az elso kerdesre kapott akar erre visszaterni, engem azonban most izgat a kerdes.
va!aszban mar benne volt, vagyis a 2 bit n\szben atfedi egy- Ezen a kerdesen sokat gondolkoztam, amig rajottem
mast. Ha pl. a 2 bit-nek a fele kozos, akkor a ket valaszb61 a megoldasra. A kovetkezo meggondolas vezetett celhoz:
egyiittveve nem 2, han em csak I I /2 bit informaci6t kaptunk. egy 7 elemil halmaz egy elemenek kitalalasahoz Mrom es
Ha peldaul az elso 8 szam cgyiket kell kitalalnom, es elOszorre egy 9 elemii halmaz egy elemenek kitalalasahoz negy kerdesre
azt kerdeznem, bogy a gondolt szam az I, 2, 3, 4 szamok van sziikseg, mig a Hartley-formula szerint egy 7, illetve
egyike-e es fiiggetleniil a valaszt61 masodszorra megkerde- 9 elemii halmaz egy elemenek megadasahoz log2 7 =
zem, bogy a gondolt szam az I, 5, 6, 7 szamok egyike-e, = 2,80735 ... , illetve log 2 9 = 3,16993. . . bit informaci6
akkor a kerdesre adott valasz nyujt ugyan uj informaci6t, sziikseges. Ha azonban a 7 elemil H 1 halmaz egy x 1 elemet
de ez kevesebb, mint egy teljes bit, es eppen ezert ennel az (pl. a bet egy napjat) es a 9 elemii H 2 halmaz egy x 2 elemet
iigyetlen kerdezesnel elOfordulhat, hogy osszesen harom (pl. a Nap 9 bolyg6ja egyiket) egyszerre akarom kitaialni,
helyett negy kerdesre van sziikseg, mig ha masodszorra azt ehhez nem 3+4 = 7, hanem csak hat kerdesre van sziikse-
kerdezem, bogy a gondolt szam az I, 2 es 5, 6 szamok vala- gem, hiszen osszesen 7. 9 = 63 lehetoseg koziil kell egyet
melyike-e, akkor a harmadik kerdesre biztosan ki tudom megtalalni es 63 -< 64 = 2 6 (illetve log2 63 = log2 7 +
talalni a gondolt szamot. Jgaz viszont, bogy az emlitett rossz + log 2 9 = 5,97728 -< 6). Ezek utan mar konnyen meg tud-
kerdezes eseteben elOfordulhat, bogy mar a masodik kerdesre tam magamnak valaszolni a kerdest teljes a!talanossagban,
kapott valasz utan ki tudom talalni a gondolt szamot, mig hogy milyen ertelemben igaz tetszoleges N szamra, amely
a j6 kerdezes mellett ez nem fordulhat e!O: annal min dig nem 2 hatvanya, hogy egy N e!emii halmaz egy ismeretlen
sziikseg van a harmadik kerdesre! Igy tehat a rossz kerdezes elemenek kitaialasahoz log2 N kerdesre van sziikseg (abo!
tulajdonkeppen hazardjatekot jelent. Az az erzesem, hogy tehat log 2N nem egesz szam !). Ez a kovetkezot jelenti.
ennel a hazardjateknal az ember atlagban veszit; ezt majd Ha nekem az N elemil halmaz egy ismeretlen elemet nem
28 29
egyszer kell kitalalnom, banem sokszor, mondjuk k-szor, A barkochba j:itekkal kapcsolatban utananeztem, bogy
peldaul ugy, bogy k masik jatekossal jatszom barkocbMt, tulajdonkeppen ki volt Bar Kochba, es miert r6la neveztek
es ezek mindegyike egynuist61 fiiggetleniil gondol az N elemu el ezt a jatekot. Amikor i. sz. 135-ben a zsid6k szabadsaghar-
balmaz egy-egy elemere es nekem ezt a k elemet egyszerre cot inditottak a r6mai elnyomas ellen, Bar Kochba volt a
kell kitalalnom, akkor ezt tebetem ugy, bogy nem egyenkent vezeriik. (A Bar Kochba nev azt jelenti, bogy ,A csillag
kerdezek a k dologra, hanem a k ismeretlen dologb61 all6 fia".) A tuleroben levo r6mai hadsereg ostrom ala vette a va-
(x, x2, ... , xk) k-sat igyekszem kitalalni. Mivel ez Nk kiilon- rat, amelyet Bar Kochba vezetesevel egy kis letszamu,
bozo erteket vehet fel, az ehhez sziikseges kerdesek szamat de elszant helyorseg hOsiesen vedett. Ezek torteneti tenyek.
ugy kapom meg, hogy veszem Nk 2 alapu logaritmusat, es ezt Marmost a barkochba jatek nevet allit6lag onnan kapta,
felkerekitem egesz szamma: ha ez a kerdesszam Sk, akkor bogy Bar Kochba kikiildott egy felderitot, bogy kikemlelje
tehat a r6maiak taborat; a felderitot azonban a r6maiak elfogtak
log2 Nk < Sk < log2 Nk+ I. es kegyetleniil megkinoztak, tobbek kozott kivagtak a nyel-
Mivel log2 Nk = k log2 N, igy tehat vet. A felderito megszokott a r6mai fogsagb61 es jelentkezett
Bar Kochbanal, beszelni azonban nem tudott, es igy szavak-
log2 N <
sk
k < log2 N + k
1
. ban nem tudta elmondani, hogy mit latott. Bar Kochba
erre igennel es nemmel megvalaszolhat6 kerdeseket tett fel
neki, amelyekre a megkinzott katona fejb6lintassal, illetve
Mivel Sk azt jelenti, hogy az N elemii halmaz k elemenek fejrazassal valaszolt. Igy Bar Kochba mindent megtudott
kitalalasahoz Mny kerdesre van sziikseg, ? azt jelenti, a nema felderitotOI a r6mai seregrol, amire a var vedelmehez
sziiksege volt.
bogy az N elemii halmaz egy elemenek kitalalasahoz atlagban
A baj csak az, hogy e meggyozoen hangz6 tortenetrol a for-
hany kerdesre van sziikseg. Mivel I 1k tetszoleges kicsinnye
rasmunkak nem tudnak. Val6sziniileg ezt a legendat az kOI-
teheto azaltal, hogy k erteket eleg nagynak valasztjuk,
totte, aki a barkochba jatekot kitalalta es Bar KochMr61
a kapott credmeny azt jelenti, hogy ha N nem 2-hatvany,
elnevezte, de bogy ez ki volt, azt nem sikeriilt eddig kideri-
akkor ha eleg sokszor kell egy N e!emii halmaz egy ismeretlen
teni. 0 gy latszik, bogy a j:itek Budapesten keletkezett a sza-
elemet kitalalni, akkor ez ehhez atlagban sziikseges kerdesek
zad elejen. A jatek Budapesten a XX. szazad elejen minden-
szama tetszoleges kevessel lesz csak nagyobb log2 N-ne!.
esetre igen nepszeru volt, fOleg az ir6k koreben; Karinthy
Ebben az ertelemben igaz tehat, hogy pl. egy 7 elemu halmaz
es Kosztolanyi irasaikban tobbszor is emlitik a jatekot, ok,
egy ismeretlen elemenek kitalalasahoz 2,80735. . . kerdesre
tovabba Szomahazy Istvan nagy mesterei voltak a barkochba
van sziikseg. Peldaul az N = 7 esetben, mivel 76 = 117649 <
jateknak.
< 2 17, tehat ha egy 7 elemu halmaz hat elemet egyszerre
Elgondolkoztam azon, hogy ha igaz volna a Bar Kochbar61
akarom kitalalni, ehhez 17 kerdes eleg, es igy a halmaz egy
sz616 tiirtenet, akkor o tulajdonkeppen az informaci6elmelet
elemenek kitalalasahoz atlagban _!2 = 2,833 ... kerdes eleg- e!Ofutara lett volna. A Bar Kochba-legendanak azonban,
, 6
seges. ugy latszik, nincsen semmi tiirteneti alapja. Erdekes volna
30 31
viszont mega!lapitani, mi6ta ismeretes, hogy igen-nem vala-
ugyanazzal a va16szinfiseggel, vagyis N val6szinfiseggel
szokkal, tehat ket jelb61 a116 jelsorozatokkal minden infor-
maci6 kifejezhet6 (k6dolhat6); ugy latszik, ezt a tenyt reg6ta veszi fel, tehat amikor P1 = P• = ... = PN = ~.
ismerik - erre vall mindenesetre egy regi indiai monda.
lgy hat az informaci6elmelet elozmenyei mindenkeppen Ebben a specialis esetben ervenyes a
nagyon messzire nyu lnak vissza, annak ellenere, hogy igen
fiatal tudomany. Ojabb pelda ez arra az igazsagra, amivel H(;) = log.N
Thomas Mann Jakobja kezdodik: ,Melyseges mely a mult- Hartley-fele formula. Az altalanos esetre H(l;) informaci6-
nak kutja ... " mennyiseget a
1 1 1
H(l;) = P1 log -+p2log - + ... +PN log -
p p PN
MASODIK ELOADAS un. Shannon-jete formula adja meg. H(l;) szemleletes jelentese
az altalanos esetben lenyegeben ugyanaz, mint az egyen16
Val6ban, az el6ad6 eppen azzal kezdte, amire en is raji:ittern: val6szinfisegek eseteben, egy egesz csekely m6dositassal.
Megmagyarazta, hogy mit jelent a Hartley-formula, ha A barkochba jatek nyelven kifejezve H(l;) ertelmezese a ki:ivet-
log 2 N nem egesz szam. Ezek utan arr61 beszelt, hogy arnikor kez6: ha I; jeli:ili azt, amit a barkochba jatekban ki kell
eddig azt mondtuk, hogy egy N elernfi halmaz egy isrneretlen tala!ni, tehat a masik jatekos p 1 val6szinfiseggel gondol x 1-re,
elemet kell kitalalni, tulajdonkeppen hallgat61agosan fel- P• val6szinfiseggel x.-re, stb., ... , PN val6szinfiseggel xN-re,
tettiik, hogy ez az N elem egyforrnan val6szinii. A val6sagban akkor ezt a jatekot eleg sokszor jatszva es a legcelszerfibb
azonban ez csak ritkan teljesiil. Arnikor arr61 beszeliink, kerdezesi rn6dszert alkalrnazva a gondolt dolog kitalalasahoz
hogy I; a H = {xb x., ... , xN} halrnaz egy ismeretlen eleme, atlagban, 1-hez tetszoleges ki:izeli va16szinfiseggel, tetszoleges
ez tulajdonkeppen azt jelenti, hogy I; egy olyan val6szinusegi kevessel ti:ibb, mint H(l;) kerdesre van sziikseg. Az elteres
valtoz6, arnelynek lehetseges ertekei x" x., ... , xN. Mar- a Hartley-fele specialis esettel szernben abban all, hogy itt
most jeli:ilje pk annak a va16szinfiseget, hogy I; az xk erteket hozza kell tenniink azt a rnegszoritast, hogy ,1-hez tetszoleges
veszi fel (k = 1, 2, ... , N), akkor az altalanos esetben ki:ize1i va16szinfiseggel", arnire a szirnrnetrikus esetben nem
P1. P•· ... , PN tetszoleges pozitiv szarnok, arnelyeknek az volt sziikseg.
i:isszege 1. Arnikor rnegtudjuk, hogy az adott esetben ; rnelyik A barkochba jatek nyelve helyett a k6dolas fogalrnaval
lehetseges erteket vette fel, vagyis ha megfigyeljuk a I; va16- kifejezve Ha) definici6ja a ki:ivetkezokeppen fogalrnazhat6
sziniisegi valtoz6t, ez a rnegfigyeles bizonyos rnennyisegii meg: ~· jelentsen egy val6szinfisegi valtoz6t, arnely az x1. x.,
inforrnaci6t tartalrnaz, amelyet H(l;)-vel jeli:iliink. Ennek ... , xN ertekeket rendre P1. P•, ... , PN va16szinfiseggel veszi
a H(l;) inforrnaci6mennyisegnek a rneghatarozasaval foglal- fel. Vegezziink I; ertekere vonatkoz6Iag egyrnas utan fiiggetlen
koztunk rnostanaig is, csak eddig arra az esetre szoritkoztunk, rnegfigyeleseket, akkor e rnegfigyeleseket 0-1 sorozatokkal
amikor /; Jehetseges ertekeit, tehat az XI, X2, ... , XN ertekeket k6dolva elerheto, hogy egy megfigyeJes k6dolasahoz Atlag-
32 33
ban 1-hez tetsz61egts kozeli va\6sziniiseggel, H(~) = erteke ;,5 = j1 + 1 j-2 = 1,5. Ennelfogva a nagy szamok
= pdog _!1 +p2log _1_+ ... +PN log J.--nel tetsz6leges
tOrvenye* szerint, ha eJeg sok dobfist vegziink, akkor az
P P2 PN
kevessel Hibb 0 vagy I jel keriiljon felhaszna!asra. egyes dobasoknak megfele\6 k6dszavak atlagos hossza 1-hez
A fenti allitas helyesseget el6szor a kovetkez6 peldan ellen- tetsz6leges kozeli val6sziniiseggel 1,5+ e-nal kisebb lesz,
oriztiik: Ket penzdarabbal dobjunk es i; jelentse, hogy az akarmilyen kis pozitiv szam is e.
ermek kiiziil Mny mutat fejet. Igy teMti; a o, 1 es 2 ertekeket A k6dolasi eljaras, amit e peldaban alkalmaztunk, a bar-
veszi fel, rendre ! ,~-, ! val6sziniisegekkel. Ennelfogva
kochba jatek nyelvere lcforditva azt jelenti: ha ki kell
talalnunk, hogy a masik jatekos ket ermevel hany fejet
e peldaban azt kell megmutatnunk, hogy i; erteket sok egy- dobott, el6szor azt kell kerdezniink, hogy egy fejet dobott-e.
masutani dobasnal megfigyelve, az eredmenysorozatot lehet Ha a valasz igen, akkor egy kerdessel kitalaltuk, amit kell,
ugy 0-1 sorozat formajaban k6dolni, hogy 1-hez tetsz6lege- mig ha a va1asz nem, masodszorra azt kerdezziik, hogy a fejek
sen kozeli val6sziniiseggel atlagban egy dobas k6dolasahoz szama 2-e. Akar ,igen", akar ,nem" a valasz, mar tudjuk,
tetsz6leges kevessel tobb, mint hogy mennyi a fejdobasok szama, ti. az els6 esetben 2,
a masodikban 0. Ha j61 meggondoljuk, miert ez a legjobb
1 1 1 1 1 kerdezesi mod, rajoviink, arr61 van sz6, hogy ha lehetseges,
log2 ~+ - log2 ~ + -- log2 --- = 1,5
4 (}) 2 ( ±)4 ( {-) mindig olyan kerdest kell feltenni, amelyre az ,igen" es
a ,nem" valasz val6sziniisege pontosan egyen 16; ha ez nem
lchetseges, olyan kerdest kell feltenni, hogy az ,igen" es
szamjegyre Jegyen csak sziikseg. Konnyen belathat6, hogy ,nem" val6sziniisege olyan kozellegyen egymashoz, ameny-
a celszerii eljaras a kovetkez6: ha egy dobasnal I fejet dob- nyire ez lehetseges. Ezen a m6don be lehet latni a Shannon-
tunk, azaz i; = I, akkor ezt az eredmenyt egy 1-es szamjegy fele formula helyesseget az altalanos esetre nezve is. Az 6ran
leirasaval k6doljuk; ha i; = 0 (vagyis ha mindket erme irast meg egy konkret peldat vizsgaltunk meg, amikor egy penz-
rnutat), akkor ezt az eredmenyt a 00 jelsorozattal k6doljuk, darabbal addig dobunk, amig eloszor jon ki masodik alka-
vegiil, ha i; = 2 (vagyis ha rnindket errne fejet rnutat), akkor lommal ugyanaz az eredmeny, tehat masodszorra fej, vagy
ezt az eredmenyt a 01 jelsorozattal k6doljuk.
IIyen rn6don egy-egy do bas eredmenyet vagy egy, vagy ket
*A nagy sz:imok tOrvCnye durv:in sz6lva azt mondja ki, bogy egy,
szamjeggyel k6doljuk, aszerint, hogy az eredmeny i; = 1 sz<lmCrt<!keket felvev6 val6szinUs6gi v8.ltoz6 sok ftiggetlen megfigyele-
s6b6l kapott 6rt6kek <itlaga nagyjib61 a val6szinUs6gi vciltoz6 varhat6
vagy mas; mivel i; az l erteket ~ val6sziniiseggel veszi fel, erteket adja. A ,nagyjab6l" itt azt jelenti, hogy eleg sok megfigyeles
eset6n egyhez tetsz6legesen kOzeli val6szinUsCggel a v8.rhat6 CrtCkhez
tehat egy dobasnak megfelel6 k6dsz6 hossza o1yan rJ va16- tetszOlegesen kOzellesz az atlag.
Egy pelda: A kockadobasnal az I, 2, ... , 6 ertekeket 1/6 val6-
sziniisegi valtoz6, amelynek ertt\ke j val6sziniiseggel 1 es szinU.s6ggel veszi fel; a val6szinUsegi vattoz6 varhat6 erteke
1 + 2 + 3 : 4 + 5 + 6 = 3,5. A !Orveny szerint ekkor 1000-t dobva
2 val6sziniiseggel 2, tehat a k6dsz6 hosszanak varhat6 majdnem mindig 3,5 koriil lesz a dabolt ertekek atlaga. ( K. Gy.)
34 3* 35
masodszorra iras, es ~ magat az egesz dobassorozatoi jelenti. Az altahinos esetben a Shannon-formula igazolasanak
Konnyen belathat6, hogy a kivant helyzet mar a masodik bizonyitasat az eload6 csak vazolta, hogy a gondolatmenet
dobasra bekovetkezik, ha az elso ket dobas eredmenye vilagos Iegyen, a reszletek kidolgozasat rank bizta. A bizo-
azonos, mig, ha az elso ket dobas eredmenye kiilonbozo, nyitas menete a kovetkezo: Ha a ~ val6sziniisegi valtoz6
akkor a harmadik dobasnal kovetkezik be, hiszen ut6bbi az xr, x 2, ••• , xN ertekeket rendre pr, pz, ... , PN val6szinii-
esetben a harmadik dobas sziiksegkeppen megegyezik vagy seggel veszi fel, es ~ erteket igen sokszor - mondjuk n eset-
az elso, vagy a masodik dobas eredmenyevel. Igy tehat ben - megfigyeljtik, ugy, hogy a megfigyel6sek ftiggetlenek,
~ ertekei az FF, II, FIF, FII, IFF, IFI dobassorozatok (ahol
akkor a val6sziniisegszamitasb61 j61 ismert szabaly szerint
F a fejdobast, I az irasdobast jeloli), es ezek val6sziniisegei (fiiggetlen esemenyek egyiittes bekovetkezesenek val6szinii-
111111' sege egyen!O az egyes esemenyek val6sziniisegeinek szorzata-
4 , 4 , 8 , 8 , 8 , 8 , ennelfogva val), egy olyan eredmenysorozat val6sziniisege, amelyben
n1·szer fordul elo az x, ertek, n,-szor az x, ertek, ... , nN·szer
H(n = 2· 41 Iogz 4+4 8I Jogz 8 = 2,5. az xN ertek, p~•p;• ... p'J: lesz. Marmost a nagy szamok
torvenye szerint, ha li es e tetszoleges kis pozitiv szamok,
A celszerii k6dolas e peldakban egyszeriien abban all, hogy
F helyett zerust, I helyett egyest irunk, es igy a~ fent felsorolt han eleg nagy, akkor legalabb 1-li val6sziniisegge!.!!!::. e-nal
n
ertekeinek megfele!O k6dszavak (a sorrendet megtartva)
00, 11, 010, 011, 100, 101 lesznek, es ezert a k6dsz6 varhat6 kevesebbel fog kiilonbozni p 1-tol, ... , ~ e-nal kevesebbel
n
hossza ~·2+~·3 = 2,5 lesz; igy megint csak a nagy fog kiilonbozni Pz·tol, s i.t.. . . nN e-nal kcvesebbel fog kii-
n
szamok torvenyebol kovetkezik, hogy ~ erteket igen sokszor lonbozni PN·tol, es igy az elobb felirt val6sziniiseg kozelitO!eg
megfigyelve es az eredmenyt a megadott m6don k6dolva, a q = (p'{•pg• ... pf,t)" szammal lesz egyenlo. Mivel az
1-hez tetszoleges kozeli val6sziniiseggel az egy megfigyelesre osszes lehetseges eredmenysorozatok va16sziniisegeinek osz-
eso 0-1 jelek atlagos szama kisebb lesz, mint 2,5 + e, akar- szege I, tehat ~ megfigyelt ertekei sorozata li-nal kisebb ossz-
milyen kis pozitiv szam is e. val6sziniisegii szabalytalan esetektOI eltekintve kozelitoleg
A targyalt ket peldaban azert volt olyan egyszerff meg- I
talalni a legcelszeriibb k6dolast, mert apr, P•• ••. , PN szamok
q szamu sorozat valamelyikevellesz egyenlo; ezen soroza-
mind ~ hatvanyaival voltak egyenlok, es igy minden lepes- tok 0 es I jelekkel val6 k6dolasahoz koriilbeliil log 2
1
-
q
ben lehetseges volt a meg ki nem zart lehetosegeket ugy ket szamu ilyen jegyre van sziikseg. Mivel
osztalyra bontani, hogy azok val6szinffsege pontosan egyenlo
legyen. Az altalanos esetben ez nem lehetseges, es ezert a logz = -q1 = n logz (piP' p2P' ... pi/N) =
Shannon-formula helyessegenek igazolasa valamivel bonyo-
lultabb, bar a lenyeg ugyanaz, mert vegeredmenyben a nagy . = n (p,!og2 : 1 + ...... +PN logz p~) = nH(~).
szamok torvenyen mulik a dolog.
36 37
teh:it ezzel bebizonyitottuk, hogy; egy ertekenek 0 es 1 jelek- leges pontot vesztink fcl es azokba tetszoleges pozitiv tome-
kel va16 k6dohisahoz 1-hez tetszolegesen kozeli val6szinii- geket helyeziink, akkor teh:it e tomegpontok tomegkozep-
seggel atlagban koriilbeliil H(;) hosszusagu jelsorozat sziik- pontja mindig a gorbe fiilott lesz: ez azon ban azt jelenti,
seges. Ezzel teljes altalanossagban igazoltuk a Shannon-fele hogy
formula helyesseget. Nyilvanval6, hogy a Shannon-formula 1 1 1
Pl log2 ·-+p.log.-+ ... +PN log.---:"§
specialis esetkent tartalmazza a Hartley-formulat, ha ugyanis P1 P• PN
1
Pl = P• = ... = PN = N , ""log• (P1 _!_+ ..• +pw·.!-) = log2 N.
Pl PN
akkor
1 1 1 Az 6ra vegen meg arr61 beszelt az eload6, hogy a
p,Iog.-+p.Iog.-+ ... +pNiog.- =
Pl P• PN 1 1
42 43
i' a kerdesemre adott valasz kapok igenl6 valaszt, mig ha az els6 kerdesre nemleges volt
46 47
E mennyiseg, amelyet I(;, 1J)-val jeli:iliink, ugy is felfogbat6, H(/;) bizonytalansag teljes egeszeben megsziinik. Specialisan
mint az 1J megfigyelese altai !;-re nezve nyert if!formaci6 meny- ez a helyzet, ha 1J = /;, vagyis I(!;, i;) = H(!;).
nyisege. Ez a mennyiseg teMt definici6 szerint c) !(!;, 1J) = l(1J, !;), vagyis 1J megfigye!ese pontosan annyi
(3) I(!;, 1J) = H(!;)-H"(t,) = informaci6t nyujt 1;-re nezve, mint !; megfigye!ese 1J·ra nezve.
I P(Bj) Ezert !(!;, 1J)-t szoktak a !; es 1J kolcsonos informaci6janak is
= IP(Ak) log 2 P(Ak) -I IP(AkBJ log2 P(AkBj) . nevezni.
Ezzel kapcsolatban az el6ad6 egy nagyon erdekes elvi
Felbasznalva azt az azonossagot, hogy I P(AkB) = P(Ak) megjegyzest tett: azt mondta, hogy annak, bogy /(;, 1J) =
j
= l(1J, !;), az a melyebb oka, hogy ha ket, a veletlentol fiiggo
(amely azert igaz, mert az AkBh ... , AkBn esemenyek egymast
es egymast61 is bizonyos mertekig fiiggo mennyiseget vizs-
kizarjak, es ha az Ak esemeny beki:\vetkezik, akkor az AkBj
galunk, akkor informaci6elmeleti uton nem lehet megalla-
esemenyek ki:iziil sziiksegkeppen pontosan egy ki:\vetkezik
pitani, hogy a ket mennyiseg ki:\zi:\tti fiiggesben melyik jatssza
be), ki:ivetkezik, bogy
az ok es melyik az okozat szerepet; csak azt lehet megallapi-
(4) !(!;, 1J) = "'"'
L... L... P(AkB;) log2 ~·P(AkBJ
• , ~m • . tani, hogy a ket mennyiseg ki:\zi:\tti kapcsolat mennyire
szoros. Jeli:\lje peldaul1J a Duna vizallasat Budapesten az ev
Az I(!;, 1J) mennyisegre vonatkoz6lag a ki:ivetkezoket alla- egy napjan, !; pedig jelentse a csapadek mennyiseget a meg-
pitottuk meg: elozo heten Bajororszagban. Nyilvanval6, bogy bar !; es 1J
a)/(1;, 1J) mindig nem-negativ es csak akkor 0, ba !; es 'I mindketten a veletlentol is fiiggnek, van ki:izi:\ttiik bizonyos
50 4• 51
logaritmusainak i:isszegevel), hogy mas fiiggveny nem is tesz A V(A, B) mennyiseg pozitiv, ha P(AB) > P(A)P(B), ncgativ,
eleget a fenti hlirom feltevesnek. Igy tehlit egy A veletlen ha P(AB) < P(A)P(B) es 0, ha,P(AB) = P(A)P(B), vagyis
esemeny V(A) varatlansaglit a (8) keplettel definialjuk. ha A es B fiiggetlenek. Ha tehiit A es B fiiggetlenek, akkor
Marmost egy (veges sok erteket felvcvo) val6sziniisegi B megfigyeJese folytan A varatlansaga nem valtozik meg,
valtoz6 entr6piajat mint a valtoz6 altai felvett ertek varatlan- mig ha A es B nem fiiggetlenek, B megfigyelese A varatan-
saganak varhat6 erteket definialhatjuk. Ha a ; val6sziniisegi sagat csokkenti vagy ni:iveli aszerint, hogy a P(AB) es P(A)P(B
vaJtozo Jehetseges (kii!i:inbi:izo') ertekei X!, X2, ... , XN, es ; szamok koziil melyik a nagyobb.
ezeket az ertekeket rendre Ph p 2, ... , PN val6sziniiseggel Legyen most ~ es 1J ket val6sziniisegi valtoz6: ; lehetseges
veszi fel, jeli:ilje Ak azt az esemenyt, hogy ; az xk erteket veszi ertekei ]egyenek X1, X2, ... , XN, mig 1J ]ehetseges ertekei
fel (k = 1,2, .. . ,N). Mive!Ak varatlansaga log2_!_, es Ak legyenek Yh y2, ... , YM:· Jeli:ilje Ak a ; = xk esemenyt
Pk (k = 1,2, ... ,N) es B1 az 1J =y1 esemenyt (j= 1,2, ... ,
va16sziniisege Pk• tehat ; entr6piaja ... , M). Vizsgaljuk meg, hogy iitlagban mennyivel valtozik
1 1 1 . ; ertekenek varatlansaga 1J ertekenek megfigyelese altai,
(9) H@ = P1 log2 ~+ P2 log2 ~+ ... +PN log2 ·~.
Pl P2 PN vagyis szamitsuk ki V(Ak, B) varhat6 ertekct. Azt kapjuk,
Igy tehlit egy mas uton ujb61 eljutottunk a Shannon-formu- hogy e varhat6 ertek
lahoz. Ez az ut azonban elvezet a kO!csiiniis informaci6 fogal- N M
mahoz is.
(11) L L P(AkBj)V(AkBj) =
k~l J~l
Legyenek A es B tetszo1eges esemenyek, amelyek ugyan-
azon kiserletre vonatkoznak. Ha megfigyeltiik a B esemeny N M P(AkBj) - 1(1; 1J)
beki:ivetkezeset, ezen megfigye!es az A esemeny varatlansd-
L L P(AkBJ) log2
k=l j=l
P(Ak)P(BJ) - ' .
54 55
kezokeppen lehet a helyzetet jellemezni: egy val6szinusegi szerintem nem a vizsgak szamaval van baj, hanem a vizsgak
v:Htoz6 megfigyelese kovetkezteben egy masik val6szinusegi jellegevel. Olyan vizsgakra volna sziikseg, amelyeken nem
valtoz6ra vonatkoz6 bizonytalansag (entr6pia) mindig cs6k- az utols6 napokban kapkodva tanultakr61 kellene besza-
ken vagy valtozatlan marad - ut6bbi eset akkor all fenn, molnunk, amelyek a vizsga utan a kovetkezo vizsgara val6
ha a ket valtoz6 fiiggetlen; ezzel szemben egy esemeny kesziiles soran amugy is nagyreszt ki!Orlodnek az agyunkb61,
megfigyelese k6vetkezteben egy masik esemeny varatlansaga hanem tudasunk idotall6 reszerol, gondolkodasi keszsegiink-
cs6kkenhet is, n61tet is, es valtozatlan is maradhat - ut6bbi rol. Persze, az ilyen vizsga m6dszerei nincsenek kidolgozva
eset akkor all fenn, ha a ket esemeny fiiggetlen; a bizony- - lehet az is, hogy ez megva16sithatatlan abrand reszemrol.
talansagcs6kkenest mindig lehet informaci6kent ertelmezni; Vagy talan az informaci6elmelet segithet e kerdest megoldani?
ezzel szemben a varatlansag megvaltozasa nem informaci6, Hiszen itt is informaci6r61 van sz6: a tanar informaci6t
csak e mennyiseg varhat6 erteke foghat6 fel informaci6- kell hogy szerezzen arr61, hogy mennyi informaci6val rendel-
mennyisegkent, de ez is csak azert, mert ez egyenlo a bizony- kezik a hallgat6 a targy anyagar61.
talansag cs6kkenesevel. Gondolkoztam azon is, hogy mi A multkoriban, amikor a professzorral megbeszeltiik a
a varatlansag ,dimenzi6ja", mas sz6vallehet-e a varatlansa- vizsgaidopontokat, o egy olyan megjegyzest tett, hogy ugy
got is bit-ekben kifejezni. Ugy latom, hogy bar tisztan mate- latja, a mi elkepzelesiink az egyetemi oktatasr61 tulsagosan
matikai szempontb61 ez megengedhet5 Jenne, azonban fogal- ,vizsgacentrikus", es az nem helyes. Elmondott egy anek-
milag megis helytelen volna, mert ez azt jelentene, hogy a dotat Niels Henrik Abelrol, a zsenialis norveg matematikus-
varatlansag megvaltozasat informaci6mennyisegkent kezel- r61, aki mint fiatal diak, Berlinbe utazott, hogy ott folytassa
nenk, pedig nyilvan nem az! (Az, hogy a varatlansagmegvalto- tanulmanyait. Nemetiil nagyon keveset tudott akkor meg,
zas informaci6nkenti felfogasa helytelen, abb61 is latszik, es igy, amikor Crelle professzornal jelentkezett, alig tudott
hogy e felfogas mellett bizonyos esetekben egy megfigyelc!s neMny sz6t kinyogni, csak atadta az ajanl6leveleket, ame-
negativ informaci6t ny{!jtana, ami nyilvan abszurdum.) Le- lyeket osl6i tanarait61 kapott. Crelle feltetelezte, hogy Abel
hetne a varatlansagot egy uj mertekegysegben merni, ennek a vizsgakr61 kivan tajekoztatast es hosszasan elmagyarazta,
lehetne valamilyen nevet is adni, de ugy ]atom, erre nines hogy mikor es mibol kell majd vizsgaznia. Abel, akinek taska-
semmi sziikseg: a varatlansagnak nem sziikseges ,dimenzi6t" jaban akkor mar tobb jelentos uj matematikai eredmenyeket
adni, azt tekinthetjiik puszta szamnak. tartalmaz6 dolgozat volt, egy ido utan felbeszakitotta Crelle
Azon a trefan is elgondolkoztam, hogy az /(~. 'Y/) ;;;; 0 professzort es tort .nemetsegevel a kovetkezoket mondta:
egyenlotlensegbOI k6vetkezik, hogy barmit is tanulunk az ,Nee Herr Professor, nix Examen, nur Mathematik!"
egyetemen, az nem arthat nekiink, Iegfeljebb nem so kat hasz- A professzor azt mondta, hogy ezt a szellemet hianyolja
nal. Persze, erre azt lehetne valaszolni, hogy a gondolkodva o a mai diakokban. Be kell ismerniink, hogy igaza volt:
tanulast61 az ember okosodik, de a magolas hatarozottan a hallgat6k tobbsegenek vilagnezete val6ban vizsgacentrikus.
butit, 6s igy a vizsgara kesziilesrol mar nem mernem azt Azonban ketlem, hogy ebben csak a hallgat6k a hibasak,
allitani, hogy az nem art szellemi kepessegeinknek. A vizsgak szerintem a hiba gyokere az egyetemi oktatas jelenlegi rend-
szam~ak. cs.6kkeneser01 sok sz6 esett az ut6bbi id5ben; szereben van, a vizsgacentrikussag az egyetemtOI indul ki,
56 ;,7
mi csak hatasa ala keriiltink. Hiszcn az osztondijakt61 az ifju- ami ot kevesbe erdekelte, vagy neki nchezen ment; igy szinte
sagi szervezet munkajanak ertekeleseig mindeniitt a vizsga- minden targynak akadtak vedoi es tamad6i is. A tantervnek
eredmenyeket tekintik a tanulmanyaink eredmenyessege ezekkel a biral6ival en elvileg nem ertettem egyet. veleme-
cgyediili mercejenek. Ezen kellene valtoztatni. Ami a mate- nyem szerint ezeknck a biralatoknak mar a kiindul6pontja is
matikus hallgat6kat illeti, ott valahogy ugy lehetne megoldani hibas: ugyanis tajekoz6dtam arr61, hogy az elOzo evekben
a kerdest, hogy a vizsgak helyett a szeminariumi eloadasok, vegzett hallgat6k milyen munkahelyeken es munkakorokben
irasbeli dolgozatok, omill6 feladatmcgoldasok kepczzek a helyezkedtek el: ennek alapjan tisztan !atom, hogy nagyjab61
hallgat6k elOmenetele elbini!asanak <:lapjat. Nalunk, mate- akarMnyan vagyunk, annyifele munkakorbe kcriiltink es
matikusokmil, ezt nagyon j61 meg lehetne szervezni, persze, teljesen lehetetlen elore latni, hogy kinek milyen specialis
azt nem tudom, bogy mas szakokon is megfelelo volna-e ez ismeretekre lesz sztiksege az egyetem elvegzese utan. Igy
a rendszer. De hat hoi van megirva, bogy minden! egysegesen mindannyiunknak fel kell kesziilni arra, hogy az egyetem
kell megoldani, minden szakra: ez a gepies egysegesitesi nem tanithat meg mindarra, amire kesobb a munkank soran
!Orekves szerintem a bajok cgyik f6 fornisa. A prob!emak sztiksegtink lesz, hanem akarhova kertiltink is, 6nall6 tanu-
minden szakon maskent vetodnek fel, !gy a megoldas is mas- lassal ki kell egesziteni a tudasunkat. Igy az egyetemen tanult
mas keU hogy legyen szakonkent. targyakat azzal a szemmel kell nezntink, hogy mennyiben
Lehet egy vizsga nehezseget azzal jellemezni, hogy hany pyujtanak alapot a tovabbi cgyeni tanulashoz. Marmost
bit-et kell a hallgat6knak tudni? Enciklopedikus jelleg(i e tekintetben nemcsak a targyi ismeretek lehetnek hasznosak
targyakban ez nem is teljesen abszurdum, a matematikaban, szamunkra, hanem legalabb annyira az elsajatitott gondol-
persze, ennek nines ertelme, hiszen a dolgok egymasb61 ko- kodasm6d es gondolkodiisi keszseg. Marpedig azt, hogy egy
vetkeznek, aki az alapokat tudja, elvben mindent tud, illetve targy tanulasanal elsajiititott keszseg mennyiben fog nektink
tudhatna. Egy matematikai elmelet osszes eredmenye tulaj- segitseget nyujtani ahhoz, hogy egyenileg megtanuljunk olyan
donkeppen csirajaban benne van az axi6maiban - vagy meg- targyakat, amelyekrol e pillanatban a nevtikon kivtil nem
scm? ErrOl egyszer meg gondolkodni fogok. sokat tudunk, velemenyem szerint mi elvileg nem tudjuk
Visszaterve az I(;, TJ) ;;; 0 egyenlotlensegre, az eload6nak megitelni, es igy a tantervrol folytatott vitaink szerintem
ezzel es a tanu!assal kapcsolatban tett megjegyzesebol ugy meglehetosen meddoek. Ez a velemenyem eleinte nagyon
!atom, hogy az eload6hoz eljutott a hire annak, hogy eppen nepszeriitlen volt az evfolyamon: azt mondtiik a tobbiek,
az ut6bbi hetekben so kat vitatkoztunk az evfolyamon arr61, hogy helytelen, hogy en le akarok mondani arr61, hogy
bogy val6ban azt tanuljuk-e, amire az egyetem elvegzese a hallgat6k belesz6lhassanak a tantervi problemakba, pedig
utan a munkank soran a legnagyobb sztiksegtink lesz. Evfo- mostanaban az egyetem hajlik arra, hogy a hallgat6knak bizo-
lyamtarsaim kozott tobbeknek igen hatarozott ketelyeik nyos belesz6last adjon ezekbe a kerdesekbe. Erre azt va!a-
vannak erre nezve; csak abban nem tudtak megegyezni, szoltam, hogy en nem akarok errol a jogunkr6llemondani,
hogy melyik targy felesleges, mert mindegyiktik azt a csak azt javasolom, hogy csak olyasmibe sz6ljunk bele,
targyat tartotta fontosnak, ami ot szemely szerint erde- amiben tenyleg illetekesek vagyunk. Azt peldaul, hogy egy
kelte es amit szivesen tanult, es azt tartotta nelkiilozhetonek, eiOadasra erdemes-e eljarni, hogy egy gyakorlathasznos-evagy
58 59
nem, azt val6ban mi tudjuk legjobban megitelni, biszen rni Jan nern till rnagas a matematikus ballgat6k szamara eloirt
erezziik, bogy segit-e minket a tanulasban. Azt is meg tudjuk fizika6raszam, csak ezeket az eloadasokat mas szellemben
allapitani, bogy egy vizsgaztat6 igazsagtalanul osztalyoz kellene tartani. Jelenleg ugyanis mi ugyanolyan fizikaokta-
stb., de a tantervbe val6 belesz6lasboz nines meg a kello tasban reszesiiliink, mint a fizikus ballgat6k, es ez a belytelen.
attekintesiink. Arra volna sziikseg, hogy olyan fizikae!Oadasokat kapjunk,
Azt biszem, evfolyarntarsaim a fizikatanitasunkr61 foly- amelyekben a matematikai m6dszerek felbasznalasan van
tatott vitab61 ertettek meg vegiil az allaspontomat es azt, a hangsuly. Szerintem ez csak ugy volna megval6sitbat6,
bogy en nem akarok lemondani altalaban arr61 a jogunkr61, ha ezeket az eloadasokat nem fizikusok, banern a fizikai
bogy biraljuk az egyetemi oktatast, ba ezt sziiksegesnek alkalmazasokban kello jartassagu matematikusok tartanak.
latjuk. A fizikaval kapcsolatban ugyanis en voltam az, aki a Igy egy csapasra megsziinne a fO panaszunk a fizikaelo-
legelesebben biralta a jelenlegi belyzetet. Ennek oka val6- adasokkal kapcsolatban: az, hogy a fizikus eload6k a mate-
sziniileg, bogy engern nagyon erdekel a fizika is, es ezert azon matikai szabatossag kerdeset meglebetosen felvallr61 kezelik
tulrnenoen, bogy en is elmondtam, bogy mi nern tetszik es erre vonatkoz6 rnegjegyzeseinket nem is veszik komolyan:
nekem a rnaternatikus ballgat6k fizikaoktatasaban, azt is azzal odazzak el, hogy a fizikai szemlelet ugyis meg6v att61,
elmondtam, bogy milyennek kellene lenniiik szerintern a bogy a matematikai pontatlansagok bibas kovetkeztetesre
fizika6rainknak. Evfolyamtarsairn zome szerintem abba a b~ vezessenek. Ez, persze, nem nyugtat meg, biszen minket
Mba esett, bogy nem is pr6balta elkepzelni, bogy rnasbogy a fizikaban eppen a matematikai rn6dszerek alkalmazasa
is lebetne rninket fizikara tanitani; rniutan - szerintem erdekel! A multkor nagy vitaba keveredtem az egyik fizikus
jogosan - megallapitottak, bogy annak, abogyan eddig gyakorlatvezetovel, mert egy altala elkovetett matematikai
tanitottak nekiink a fizikat, nines sok baszna. Ebbol azt pongyolasag kapcsan emlitettem, bogy a matematikai logi-
a kovetkeztetest vontak le, bogy a rnatematikusoknak ne kaban mi azt tanultuk, hogy egyetlen hibas allitasb61 minden
tanitsanak fizikat vagy legalabbis sokkal kisebb 6raszamban. mas belyes vagy bibas a!Jitas levezethetO, es azt mondtam,
Ehhez ideol6giat is gyartottak, rnondvan, bogy mig regeb- hogy rniutan egy olyan egyenletet irt fel, amely nyilvanval6an
ben a fizika volt a maternatikai m6dszerek fO alkalmazasi bamis, ezek utan kar tovabbi levezetesekkel bajl6dnia, mert
tcriilete, rna a sulypont attol6dott a gazdasagi elet proble- tudjuk, hogy ebbO! Mrmi levezetheto.
maira. Ebben ugyan van nemi igazsag, de azert ez az indoklas Visszaterve az informaci6elmelet-6rara, sokat gondolkoz-
nern belytall6: rna is teny, bogy a fizika a matematikai rn6d- tam azon is, amit az e!Oad6 az I(~, '1) = I('7, ~) osszefiiggesrol
szerek cgyik legfObb alkalmazasi teriilete, es a matematika es az okozati kapcsolatok iranyar61 mondott. Az a benyoma-
modern fejezetei koziil igen sok rna is elsosorban a fizikaban som, bogy az eload6 kisse leegyszeriisitette a kerdest: abb61
keriil alkalmazasra (pl. a funkcionalanalizis, a csoportelmelet, ugyanis, hogy I(~, '1) = I('7, ~), nem kovetkezik, hogy I(~, '1)
az egy- es a tobbvaltoz6s komplex fiiggvenytan, a disztri- csak a I; es '1 kozotti kapcsolat erossegerol ad felvilagositast,
buci6elmelet stb.), sot, a maternatika szamos, rna robamos de e kapcsolat jellegerol nem. A kovetkezo pelda szerintem
fejlodesben Ievo fejezetenek a fizikai alkalmazasok igenyei j61 megvilagitja a helyzetet. Egy szabalyos ermet dobjunk
adtak es adjak meg a fO osztonzest. lgy, szerintem, egyalta- fel ketszer egymas utan, es jelolje I; az eredmenyt, tehat I; lebet-
60 61
seges ertekei legyenek az FF, FJ, lF, II jelsorozatok, abo! es egyenloseg (2)-ben akkor es csak akkor all fenn, ba !; es
F fejdobast, I irasdobast jelent. Legyen '7 = 0, ba a ket '7 fiiggetlenek. (I) fclirbat6 a ki:ivetkezo formaban is:
dobas eredmenye ugyanaz, vagyis mindketto fej vagy mind-
(I') H((t;, 'IJ)) = H(!;)+H(rJ)-I(t;, '7) = H(rJ)+H"m.
ketto iras, es legyen '7 = I, ba a ket do bas eredmenye kiili:in-
bi:izo (az egyik fej, a masik lras). Ez esetben ~ erteke egy- Ebben a formaban (!') az informaci6 additivitasi ti:irvenye-
ertelmfien megbatarozza '7 erteket, de megforditva nem, nek, altalanositasanak tekintbeto, ugyanis (I') ugy ertelmez-
enne!fogva I(~, '7) = H(rJ) = I, de I(rJ, !;) 7"' H(!;) = 2. Igy, beto, bogy ba ~ es '7 ket tetszoleges va16szinfisegi valtoz6,
bar persze ez esetben is igaz, bogy I(~, '7) = I(rJ, !;), megis akkor, megfigyelve !; es '7 erteket, e ket megfigyelesben egyiitt
megallapitbat6 pusztan az informaci6mennyisegekbol, bogy tartalmazott informaci6mennyiseget megkapjuk, ba i:issze-
!; erteke meghatarozza '7 erteket, de '7 erteke nem hatarozza adjuk az '7 megfigye!eseben foglalt informaci6 mennyiseget,
meg !; erteket [biszen I(!;, rJ) = H(r;), de l(rJ, !;) 7"' H(~)]. es a !; egy adott erteke melletti megfigyeleseben foglalt felte-
Ebben a peldaban tehat megiscsak meg lehet allapitani a kap- teles inform:ki6mennyiseget; maskent kifejezve, H(U;, '7))
csolat iranyat es e kapcsolat okozatinak is tekintbeto erteket ugy kapjuk meg, ba H(t;) es H(rJ) i:isszegebO!levonjuk
(!; az ok, '7 az okozat). Persze, ba!; es '7 ki:iziil egyik sem fiigg- azt az informaci6mennyiseget, amelyet ez az i:isszeg ketszer
venye a masiknak, akkor bonyolultabb a belyzet, de e pelda tartalmaz, ti. az I(!;, '7) mennyiseget. J61 megvilagitja a bely-
alapjan ugy sejtem, bogy valamit azert az altalanos esetben zetet a ki:ivetkezo pelda: legyenek a, {3, y fiiggetlen jelek,
is meg lebet ezUton allapltani a kapcsolat jellegerol. Ugy amelyek mindegyike a 0 es I ertekeket 1/2 va16szinfiseggel
!atom, ezt is meg kell majd kerdeznem az eload6t61, bar veszi fel. Jeli:ilje ~ az (a, {3) jelpart es '7 a ({3, y) jelpart. Ez eset-
persze lebet, hogy 6 magat61 is visszater erre a kerdesre es ben nyilvan a, {3, y mindegyike egy-egy bit informaci6t,
szabatosabba teszi mai megallapitasait - ugy, abogy ezt !; es '7 pedig ket-ket bit informaci6t tartalmaz, mig a (!;, '7)
ti:ibb mas esetben mar tette. par megfigye!ese egyenertekfi azzal, bogy az a, {3, y jelek
mindegyiket megfigyeljiik ({3-t ketszer is, de az mellekes)
es igy H((t;, 71)) = 3. Wgiil /(~, '7) = 1, biszen ba !; erteket
megfigyeljiik, akkor ismerjiik a es f3 erteket, melyek ki:iziil
NEGYEDIK ELOADAS
a semmi informaci6t nem nyujt a tole fiiggetlen rJ·ra nezve,
de f3 1 bit-et ad, biszen f3 ismereteben az71 = ({3, y) parb61
A mai e!Oadasban eloszi:ir a ki:ilcsi:ini:is informaci6 mennyise-
csak y marad ismeretlen. Mivel 3 = 2+2-1 = 2+ 1, tebat
get elemeztiik tovabb. Ki:innyen belathat6, bogy
ez esetben (I') termeszetesen ervenyes.
(1) I(;, 'IJ) = H(;)+H(rJ)-H(~, rJ). Megismerkedtiink egy ujabb informaci6elmeleti fogalom-
mal, ket doszlas informaci6elmeleti tavolsagaval. Legyenek
Ebbol es a ki:ilcsi:ini:is informaci6 nem-negativitasab61 ki:ivet-
1J={p1,p2, ... ,pJ\i} es Q={q,,q., ... ,qN}
kezik, bogy ba I; es '7 tetszoleges val6szinfisegi valtoz6k,
akkor ugyanannyi pozitlv tagb61 a116 val6szinfisegeloszlasok (tehat
(2) H((t;, 'IJ)) ::§ H(!;)+H(rJ), kf:1Pk = kf:1qk =
N N )
I , melyek tagjai ki:izi:itt azok megsza-
62 63
valtoz6 val6szinfisegeloszlasat, teMt ba ; az xk erteket Pk
mozasa ki:ilcsi:ini:isen egyertelmfi hozzarende!est Jetesit. A !JJ
eloszlasanak a Q eloszliisat61 val6i nformiici6elmelet tiivol- val6szinfiseggel veszi fel, legyen !fJ = {Pb pz, ... , PN}· Jc-
siigiit, amelyet D(!JJ, Q)-val jeli:ili.ink, a ki:ivetkezo keplettel li:ilje Q az N tagu egyenletes eloszlast, tebat legyen Q =
definialjuk: = { ~, ~, ... , ~ }• akkor
(3) D(!J), Q) = I
k~1
Pk log 2 Pk .
qk (4) H(i;) = logzN-D(!J), Q).
(4) J61 mutatja azt a mar szamunkra j61 ismert tenyt, bogy
A logz ~ fi.iggveny konvexitiisiib61 ki:ivetkezik, bogy
H(;):;: log.N.
D(!J), Q) mindig nem-negativ sziim, es csak akkor egyenlo Legyenek most ; es '7 tetszoleges val6szinfisegi valtoz6k,
O-val, ba a !JJ es Q eloszliisok azonosak. Ha !JJ es Q nem Jegyenek ; Jehetseges ertekei X1, ••• , XN, 'Y] Jebetseges ertekei
azonosak, akkor a (3) jobb oldaliin iill6 tagok ki:izi:itt szi.ik- Yb ... , yM; jeli:ilje Ak a ~ = xk esemenyt (k = I, 2, ... , N)
segkeppen vannak pozitiv es negativ tagok, de, mint Jattuk, es Bi az '7 = yi esemenyt (j = I, 2, ... , M). Jeli:ilje 1/2 =
az egesz i:isszeg mindig pozitiv! D(!JJ, Q) felirbat6 a = {P(AkB)} a; es '7 val6szinfisegi valtoz6k egyi.ittes eloszla-
sat es jeli:ilje !JJ* Q a {P(Ak)P(Bi)} val6szinfisegeloszlast.
(3') D((/), Q) = LPk(logz _!_-Jog2 __!_) !JJ * Q tehat ket olyan ;1 es '71 val6szinfisegi valtoz6 egyi.ittes
qk Pk
eloszlasa, amelyek ki:izi.il ; 1 eloszlasa megegyezik; eloszlasa-
alakban; ennek alapjiin a D(!JJ, Q) mennyiseget a ki:ivetkezo- val, '71 eloszlasa pedig megegyezik '7 eloszlasaval, es ezenkivi.il
keppen is ertelmezbetji.ik: Legyenek az A1. Az, ... , AN ese- ;1 es '71 fi.iggetlenek ( ellentetben a; es '7 valtoz6kkal, amelyek
menyek egy kiserlet egymiist kiziir6 lebetseges kimenetelei. altalaban nem fi.iggetlenek). Akkor fennaii az
Tegyi.ik fel, hogy a Q eloszliis e kiserlet kimeneteleinek val6- (5) I(;, '7) = D(l/2, !JJ* Q)
sziniisegeib01 all, vagyis qk = P(Ak) (k = I, 2, ... , N), mig i:isszefi.igges, tebiit az I(;, '7) ki:ilcsi:ini:is informiici6 egyenlo
a !fJ eloszliis ugyanezen kiserlet megvaltozott ki.iri.ilmenyek az 1/2 eloszlasnak a!JJ* Q eioszliist61 val6 informaci6elmeleti
melletti vegrebajtiisiinal a kiserlet kimeneteleinek val6szinfi- tiivolsiigiival.
segeibol all. Ekkor Iog 2 _!__log• __I_ az Ak esemeny varat- Ezek utan a valtoz6 sz6hosszusagu k6dokkal foglalkoz-
qk Pk tunk. Egy ~ jel ( azaz egy val6sziniisegi viiltoz6) lebetseges
Iansiigiinak megviiltozasat jcli:ili a kiserlet ki:iri.ilmenyeinek
ertekei Jegyenek X1, ••• , XN, ezen ertekek vaJ6szinfisegei
megviiltoziisa folytiin, es igy D(!J), Q) ezen megviiltozas
legyenek Ph P•· ... , PN· Eloszi:ir a legegyszeriibb esettel,
viirbat6 ertekevel egyenlo; a viirhat6 ertek kisziirnitiisiiniil
az un. biner k6dokkal foglalkoztunk, amelyekben tebat csak
termeszetesen a viiltoziis utiini uj val6sziniisegekkel, tehat
a 0 es I jelek szerepelnek. K6doljuk az X1, x 2, ••• , xN ertC-
a Pk sziimokkal (es ncm a regi qk val6szinfisegekkel) keii
keket zerusokb61 es egyesekbol iill6 ki.ili:inb6zo sorozatok-
sulyozni a (1og 2 __l__log 2 __!_) mennyiseget. A D(!J), 1Q) kal, amely sorozatok hossza ki.il6nb6zo lebet. Egy ilyen
qk Pk ·
tiivolsag segitsegevel a H(;) es I(;, '7) informaci6mennyisegek k6dot prefix k6dnak nevezi.ink; ba egyik k6dsz6 sem egyezik
a ki:ivctkezokeppen fejezbetok ki. Jeli:ilje '7J a ; \al6sziniisegi meg egy masik k6dsz6 kezdoszakaszaval. A prefix k6doknak
64 65
az a nagy elOnyiik van, bogy nem sziikseges megjelolni Egy prefix k6dot primitivnek neveziink, ba nem rovidit-
az egyes k6dszavak veget, hanem a k6dszavakat minden e1va- betO, tehfit ha akarbogy is bagyok el a k6dszavakb61 jeleket,
lasztas ne1kii11ebet egymas utan irni, az i1yen szoveg ugyanis az igy nyert jelsorozatok mar nem alkotnak prefix k6dot.
nyi1van egy es csak egy m6don bontbat6 fe1 k6dszavakra Konnyen be1atbat6, bogy egy primitiv prefix k6d eseteben,
a prefix tu1ajdonsiig miatt. Mas sz6va1 a prefix k6d egyerte1- ba akarbogyva1asztok egy nullakb61 es egyesekbo1 al16 s soro-
miien dek6dolbat6; vannak azonban olyan egyertelmiien zatot, ame1y nem azonos egyik k6dsz6va1 sem, akkor vagy
dek6do1hat6 k6dok, ame1yek nem rendelkeznek a prefix nines olyan k6dsz6, amelynek s kezdoszava, vagy ha van,
tu1ajdonsagga1; ilyen pl. a 0 es 01 k6dszavakb61 al16 k6d. akkor az s je1sorozat vegere akar nullat, akar egyest irunk,
Megvizsgaltuk a kovetkezo p61dat. Legyenek a !; jel ertekei mind a ket esetben olyan je1sorozatot kapunk, ame1y vagy
a sziimjegyek es ezeknek feleltessiik meg a kovetkezo nullak- maga a k6dsz6, vagy egy k6dsz6 kezdoszakasza. Egy (biner)
b61 es egyesekbol iill6 k6dszavakat: primitiv prefix k6d egy o1yan fava1 abrazo1bat6, ame1ynek
0 X 00 gyokereb61 es minden olyan pontjab6i, ame1y nem vegpont,
1 X 01 ket ag indu1 ki; ba ezen agak koziil a ba1 olda1i agnak min dig
2 X 1000 a 0 jelet, a jobb oldali agnak az 1 jelet feleltetjiik meg, akkor
3 X 10<ll ezaltal a fa vegpontjaihoz egyerte1miien bozzarendelbetiink
4 X 101 nullakb61 es egyesekbol all6 sorozatokat, annak megfe1eloen,
5 X 110 bogy a gyokert61 elindu1va es az illeto vegpont fele baladva
6 X 1110 mikor valasztjuk a ba1-, illetve jobb oldali agat. Ily m6don
7 X 11110 a fa vegpontjanak eppen a k6dszavak fognak megfe1e1ni.
8Xlll1l0 Az igy kapott fakat ,k6dfak"-nak nevezziik. Peldau1 az
9 X 111111 elobb vizsgalt primitlv prefix k6dot a kovetkezo fa abra-
Konnyii beliitni, bogy ez egy prefix k6d. Ha most a k6dszavak zolja: 111110 111111
. 2 1 1 3 1 1 16+8+6+1+1
hiszen (7) bal oldalan ;k pontosan Nk·szor fordul elo,
~~
L N:
+ 26 = 2+4+16+ 32 + 32 = = 1.
teMt (7) bal oldala egyenlo a osszeggel es igy (6)
2 .
A (6) azonossagot az altalanos esetben a kovetkezo meg-
gondolassal bizonyithatjuk be: vegyiink egy tetszoleges pri-
szerint 1-gyel. lgy tehat az 2~,, ... , 2~8 szamok egy val6-
mitfv prefix k6dot es abrazoljuk azt a lefrt m6don egy faval. sziniisegeloszlast alkotnak; jelOljiik ezt az eloszlast Q-val,
Kepzeljiink el egy majmot, amely veletlenszeriien felmaszik es vizsgaljuk meg a 1J = {Ph ... , PN} elosztasanak a Q
erre a fara, ugy, hogy a gyokert61 indul, ~ val6szfniiseggel eloszlasat61 val6 D(1J, Q) informaci6elmeleti tavolsagat.
Mivel e tavolsag nem-negatfv, fennall a
~
a bal oldali agon, val6sziniiseggel a jobb oldali agon
maszik fel a kovetkezo pontba: ha az elagazasi pont, akkor
D(1J, Q) = LPk log. (P{) "'= 0
21•
a majom megint ~ val6sziniiseggel valasztja a pontb6l
egyenlotlenseg, amelyet atalakftva a
kiindul6 ket ag valamelyiket, s.i.t. Ha a majom fe1jut egy
vegpontba, akkor ott marad. Ez esetben nyilvanval6, hogy (8) LPklk ""'H(~)
minden olyan vegpontba, amelyhez k jelbOl a116 k6dsz6 van
hozzarendelve (vagyis, amely k magassagban van) a majom egyenlotlenseget nyerjiik. L = LPik jelentese nyilvanva-
16an a kovetkez6: a ~ jelliez hozzarendelt nullakb61 es egye-
2~ val6sziniiseggel jut el, es mivel Nk ilyen vegpont van, sekbOl a116 k6dsz6 varhat6 hossza. igy tehat (8) azt jelenti,
tehat ~: va16sziniiseggel jut el a majom k magassagig.
hogy egy tetszoleges jelsorozatot nullakb61 es egyesekbOl at16
sorozatokkal k6dolva, ha az fgy nyert k6d primitiv prefix
68 69
k6d, az atlagos k6dhossz nem lehet kisebb, mint a ~ jclben keplcttel definialjuk. R erteke nyilvan 0 es 1 ki:ize es6 szam,
foglalt informaci6 mennyisege. Ennek oka nyilvan az, hogy es azt fejezi ki, hogy egy szi:iveg hanyad resze volna nelkii-
egy 0 vagy 1 jel maximalisan 1 bit-et tartalmazhat, es igy li:izheto optimalis k6dolas mellett. Shannon megvizsgalta
H(l;) bit k6dolasahoz legalabb H(l;) atlagos hosszusagu az irott angol nyelv redundanciajat, es azt talalta, hogy az
nullakb61 vagy egyesekbOI all6 jelsorozat sziikseges, felteve, ki:iriilbeliil 0,5. Ez azt jelenti, hogy idealis k6dolassal egy
hogy informaci6 nem vesz el; a prefix k6dok eseteben azon- irott angol szi:ivegct ugyanannyi (26 betiis) abece hasznalata
ban informaci6 nem veszhet el, hiszen e k6dok, mint lattuk, mellett kb. felere lehetne leri:ividiteni. Mas nyelvck redun-
egyertelmuen dek6dolhat6k; mas sz6val (8) az informaci6 danciaja valamivel kisebb, de azert szinten igen szamottevo
megmaradasa elvet fejezi ki. Ugy is ki lehet fejezni a (8) (3()-40/;;). Az el6ad6 ezzel kapcsolatban ramutatott, hogy
egyenlotlenseg jelenteset, hogy H(l;) bit nem preselhet6 bele az eiO nyelvek redundanciajat tevcs volna e nyclvek fogya-
H( I; )-nal ri:ividebb 0 vagy 1 erteku jelsorozatba. Az injormaci6 tekossagakent felfogni: eppen ellenkezoleg, a redundancia
tehat ugy viselkedik, mint egy osszenyomhatat/an folyadek! igen fontos funkci6t teljesit: mersekeli a hib!ik (elirasok,
Eddig csak nulla vagy egy ertekU jelekkel val6 k6dolasr61 sajt6hib!ik stb.) hatasat, es lehetove teszi, hogy azok a meg·
volt sz6. Az elmondottak minden nehezseg nelkiil altalanosit- ertest ne akadalyozzak. Ha a nyelv nem volna erosen redun·
hat6k olyan jelsorozatokkal val6 k6dolasra is, amelynel dans, akkor egy zajos teremben pl. az eszpressz6ban nem
minden jel q lehetseges erteket vehet fel. Ez esetben (8) lehetne beszelgetni. Ugy is lehetne mondani, hogy a redun·
helyett a dancia teszi a nyelvet a zajjal szemben ellenall6va. Emlitette,
(9) L"" - H(~) hogy majd kesobb, amikor az informaci6elmelet ki:izponti
- log 2 q problemajaval, a zajos csatornan at va16 informaci6tovabbi-
tas problemajaval fogunk foglalkozni, sz6 lesz az un. hiba-
egyenlotlenseget nyerjiik, amely hasonl6an interpreta!hat6: javit6 k6dokr61, amelyek bizonyos kisszamu hibat automati-
egy q erteket felvenni kepes jel maximalisan log2 q bit infor- kusan kijavitanak. Marmost az elo nyelvek ugy tekinthetok,
maci6t tartalmazhat. Ha tehat I; egy erteket atlagban L darab mint termeszetes hibajavit6 k6dok. Az, hogy egy szi:iveg
q erteket felvenni kepes jelbOI all6 k6dsz6val k6doljuk, redundanciaja 50/;; ki:iriil van, ugy is felfoghat6, hogy ha
akkor egy k6dsz6 atlagban legfeljebb L log 2q bit-et tartalmaz; ebbol a szi:ivegbOI a betiiknek kb. a felet veletlenszeruen
ha teMt a k6d egyertelmuen dek6dolhat6, akkor L log 2 q kiti:iri:iljiik, a megmarad6 betiikbol a szi:iveg altalaban meg
nem lehet kisebb H(l;)-nel. egyertelmuen rekonstrua!hat6. Az, hogy egy szi:iveg hanyad
Ezzel kapcsolatban megismerkedtiink a redundancia fogal- resze rekonstrualhat6, a nyelven kiviil fiigg az illeto szi:iveg
maval. Ha egy szi:iveg olyan jelekbol all, amelyek q erteket jellegetol, tartalmat61 is. Igy peldaul az ujsagok nyelvenek
vehetnek fel, es a szi:iveg jelekent H bit informaci6t tartalmaz, nagyobb a redundanciaja, mint az irodalmi muveke, kiili:i-
akkor a szi:iveg R redundanciajat (daga!yossagat) az ni:isen a verseke, mivel az ujsagir6k eloszeretettel hasznalnak
bizonyos sztereotip kifejezeseket, fordulatokat, mig a ki:iltok
H
1- log2 q eppen ellenkezoleg, az eredeti, szokatlan jelzoket, fordulato-
R =
kat kedvelik. Peldakent elovettiik az aznapi ujsagot, amelyb61
70 •71
az eload6 talalomra kivalasztott egy mondatot es betiiinek emlekek milyen formaban vannak jelen, hogyan vannak
50:%;-at talalomra kihitzta. A ti:iri:ilt betiik helyere pontokat ri:igzitve: ha ezt reszleteiben rna meg nem is tudjuk, az vilagos,
irva a sz6ki:izt vonallal jeli:ilve a ki:ivetkezo csonka szi:iveget hogy ez is csak anyaghoz, az agy anyagahoz, illetve az agyban
irta fel az eload6 a tablara: vegbemeno kemiai es elektromos jelensegekhez ki:itve torten"
- - . - S. TAL . . - . - PA. . . - M. S - V. hetik. Ebbol, persze, ki:ivetkezik az is, hogy az informaci6-
ZET . - S . E . . L Yl . EG . . V . . - . GYU . atadas sebessege nem lehet tetsz6legesen nagy, a feny sebes-
IR . NY . . . . T . - A - TR . C . . S . . K - . ~ seget semmikeppen nem haladhatja meg.
J . B . 0 . . AL . - . . POR . U . IS . . K - - . - Sokat gondolkoztam a redundancia fogalman is. Amikor
. U . Z . 0 . - . . CIO . . LI . T . . - EL . . . I - egy szi:ivegben kiegeszitem a hianyz6 betiiket, felhasznalom
H .. CO. a szi:iveg tartalmat - marpedig mi ugy tanultuk, hogy az
informaci6 tartalmanak kerdese nem kepezi es nem is kepez-
Minden nehezseg nelkiil sikeriilt, persze, a hianyz6 betiik heti az informaci6elmelet targyat. lgy hat tulajdonkeppen
p6tlasa. (Segitett, persze, hogy e mondatot mar egyparszor egy szi:iveg redundanciajanak vizsgalatara nem alkalmas
volt alkalmunk olvasni, szinte sz6 szerint ugyanabban a fogal- az a m6dszer, hogy kipr6baljuk, a betiik Mnyad reszenek
mazasban, regebbi ujsagszamokban.) ti:irlese eseteben tudjuk meg rekonstrualni egyertelmiien a szi:i-
veget. Ez az eljaras csak akkor adna helyes becslest a val6di
redundanciara, ha a rekonstrukci6t egy szamit6gep vegezne
A mai eloadasban elsosorban az informaci6 i:isszenyomhatat- el, mert ez esetben ki van zarva, hogy a sz6veg jelentese segit-
lan folyadekkent val6 vise!kedesere vonatkoz6 megjegyzes seget nyujtson a rekonstrukci6hoz, hiszen a gep nyilvan nem
ragadta meg a fantaziamat. Ebben az a meglepo, bogy az erti a szi:iveget, es csak a sz6tar es a nyelvtani szabalyok alap-
informaci6, ami ketsegteleniil kifejezetten anyagi jellegii, jan p6tolja a hianyz6 betiiket. Ha peldaul a gep azt olvassa,
az anyaghoz hason\6 tulajdonsagokkal rendelkezik. Ezzel bogy
kapcsolatban azon gondolkoztam el, hogy az informaci6, A-KU. YA~. GAT-A-KA. AVA. -HA. A.
bar maga nem anyag, nyilvanval6an csak anyaghoz kapcso-
16dva letezhet. Az informaci6t mindig csak anyag vagy akkor a gep raji:ihet, hogy a masodik sz6ban hianyz6 betii
energia (pl. elektromagneses hullam) - amit itt e vonatko-· aT, a harmadik sz6ban az U, a negyedikben az Res az N,
zasban, vagyis az informaci6val szembeallitva, beleertek hiszen mas betiiket irva e helyekre nem kapunk ertelmes,
az anyag fogalmaba - hordozhatja. Betiikbol all6 szi:iveg a magyar nyelvben letezo szavakat. Azonban az utols6 sz6-
csak papirra irva vagy nyomtatva, kobe vesve stb. ri:igzitheto, ban a gep nem tudja eldi:inteni, hogy a hianyz6 helyekre az
a hang, a levego molekulainak rezgese formajaban letezik, L es D vagy az R es P betiiket kell-e behelyettesiteni, hiszen
illetve gramofonlemezen, magnetofonszalagon stb. orizheto pusztan nyelvtani szempontb61 az a mondat, hogy ,A kntya
meg, ket tavoli pont ki:izi:itt informaci6 tovabbitasa vagy ugat, a karavan harap" teljesen kifogastalan, csak eppen
dr6ton, aram segitsegevel, vagy radi6hullamokkal ti:irtenhet. ertelmetlen, de ezt a gep nem kepes megallapitani; sot, elkep-
J6 volna, persze, tudni, bogy az agyunkban a gondolatok, zelhetO, hogy a gep ezt a megoldast val6sziniibbnek talalja,
72• 73
konstrualni a minimalis atlagos k6dhosszusagu primitiv pre-
hiszen a mondatban elofordul a ,kutya" sz6 es a gep sz6timi-
fix k6dot, illetve az azt leir6 fat, melynck N vegpontjahoz a
ban nyilvan szerepel a ,kutyaharapas" sz6, mig a ,kutya-
p, ... , PN-l• p;, szamok vannak hozzarendelve. E fa ban
haladas" nem. Ez a pelda egyebkent j61 megvilagitja a gepi
forditas nehezsegeit is.
abb61 a pontb61, amelyhez a p;,szam van rendelve, agaz-
tassunk el meg ket elt, es ezek vegpontjaihoz rendeljtik hozza
Vegiil azon a kerdesen gondolkoztam, hogy egy adott val6-
a PN es PN +1 szamokat. Igy kapunk egy, a (p, ... , PN• PN +1)
sziniiseg-eloszlasu sz6rendszerhez hogyan lehet megkonstru-
eloszlas(I szavakhoz egy minimiilis atlagos k6dhosszusagu
alni azt a valtoz6 sz6hosszusagu primitiv prefix k6dot (illetve
a hozza tartoz6 k6dfat), amelynel az atlagos k6dhossz a le- prefix k6dot.
Egy pelda j61 megvilagitja a kovetkez6 eljarast. Legyen
heto legkisebb. HaN = 2, akkor a kerdes trivial is. HaN = 3,
N = 5 es legyenek a szavak val6sziniisegei a kovetkezok:
akkor az egyetlen primitiv prefix k6d, ami szamitasba jon,
az, amelynek megfelelo k6dfa a kovetkezo: 1 1 1 I 1
P1 =3• P2 = ·s-· P• =s· P•=(;• Ps = 10"
·~
Ez esetben, osszevonva a ket legkisebb val6sziniiseget,
az +, ~S, } , } eloszlast kapjuk; ebben osszevonva a ket
5
;,
76 77
vagy vevo kozeleben miikodo elektromos berendezesek, hatasara csak az a1(i ~ j) jelek egyikeve m6dosulhat. Fel-
pl. liftek motorjai stb.), amelyek torzit61ag hatnak. tessziik teMt, hogy a csatorna bemeno es kimeno abeceje
A dek6dol6 szerepe zajos csatorna eseteben nagyobb, azonos. JelOljon ; egy a k6dol6t61 a csatornaba jut6 bemeno
mint az eddig vizsga.It zajtalan esetben. Mig a zajtalan esetben jelet, es 'f/ az ezen jel esetleges torzulasa altalletrejovo, a csa-
a dek6dolas egyszeriien abb61 alit, hogy a k6dolasmil elveg- tornab61 a dek6dol6hoz jut6 jelet: ha a ; jel nem torzul el,
zett . kOlcsonosen egyertelmii atalakitast kellett visszafele e.
akkor tehlit 'f} == egyebkent 'f} ~ ;.
alkalmazni, a zajos csatorna eseteben a dek6dol6hoz a zaj Marmost nyilvanval6, hogy a csatorna hasznalhat6sagat
altai eltorzitott k6dolt sroveg erkezik, es igy a dek6dol6nak, az I(;,'f/) informaci6mennyiseg szabja meg: hiszen minket
amennyire ez lehetseges, ki kell talalnia, hogy mi volt a sroveg eppen az erdekel, hogy 'f} ·~a felvett jel- mennyi informaci6t
a torzitas elott, es az igy rekonstrualt k6dolt szoveget kell nyujt ;-re - a leadott jelre - vonatkoz6lag. Persze /(~. 'f})
dek6dolnia. Persze, a rekonstrukci6 altalaban nemcsak egy- fiigg ; eloszlasat61. Vizsgaljuk meg/{;, 'f/) maximumat ~ osz-
felekeppen lehetseges, hanem tobb rekonstrukci6s lehetoseg szes lehetseges eloszlasaira vonatkoz6lag; ezt a mennyiseget
koziil kell egyet kivalasztani. Altalaban fel szoktak tenni, a csatorna kapacitasanak nevezziik es C-vel jeloljiik, tehlit
hogy a dek6dol6 ugy miikodik, hogy kivalasztja a lehetseges C = max J(;, 'f}).
srovegek koziil a legva/6szinubbet. Az ilyen miikodesii dek6- e
dol6t nevezik idetilis dek6do/6nak. Persze, ahhoz, hogy az Szemleletesen nyilvanval6 hogy C egy elvi korlatot ad a csa-
egyes rekonstrukci6s lehetosegek val6sziniiseget ki tudja . tornan egy jellel atvihetlS informaci6 mennyisegere. (Ezt
szamitani, a dek6dol6nak ismernie kell az egyes k6dszavak egyebkent szabatosan is be lehet bizonyitani.) Tegyiik fel,
val6sziniisegeit, vagyis az informaci6forras statisztikus tor- hogy egy jelnek a csatoman val6 atvitelehez .,; idore van
venyszeriisegeit, valamint a csatornaban elofordul6 torzu- sziikseg, akkor a csatornan at val6 informaci6tovabbitas
lasok val6sziniisegeit, teMt a csatorna statisztikus torveny- sebessege (az idoegysegenkent tovabbitott informaci6 meny-
szeriisegeit. Ezeket azonban ismertnek tekinthetjiik, ha
hosszabb idon keresztiil lenyegeben azonos koriilmenyek
nyisege) a ~.,; kodatot nem haladhatja meg. Ha tehlit az infor-
kozott rendszeresen foly6 informacioatvitelrol van sz6, es a maci6forras idoegysegenkent ennel tobb informaci6t szol-
zajos csatornan at val6 informaci6tovabbitas elmelete ilyen galtat, azt a legcelszeriibb k6dolassal sem lehet a csatornan
esetekre vonatkozik. atvinni; ilyen helyzetben arra kenyszeriil a Jead6, hogy az
Bizonyos esetekben mod van arra, hogy a lead6 ertesiiljon informaci6Jeadas sebesseget csokkentse. Bebizonyithat6
arr61, hogy a felvevohoz milyen iizenet jutott el; ha ez a hely- azonban, hogy aklirhogyan is irunk ellS egy a ~ kritikus
zet, akkor visszacsatolasr61 beszeliink. Mi egyelore csak 7:
olyan csatornakkal foglalkoztunk, amelyekben a jeleket egy- sebessegnel alacsonyabb v sebesseget, lehetseges a csatornan
mas utan bocsatjuk at a csatornan, minden jel csak veges at v sebesseggel tovabbltani informaci6t ugy, hogy az atvitt
sok erteket vehet fel. Legyenek a jelek lehetseges ertekei informaci6hoz tetszolegesen kOzeli val6sziniiseggel helyesen
ar, a 2, ••• , a•. Feltessziik tovabba, hogy a zaj az egyes jeleket rekonstrualhat6 legyen. Az -un. k6dolasi tetelek, amelyekkel
egymast61 fiiggetleniil torzitja vagy nem, es az a1jel a zaj a kovetkezo eloadasokban foglalkozni fogunk, ezt a tenyt
78 79
bizonyitjak be kiili:inbiizo feltevesek mellett. A k6dolasi azonban az atvitt informaci6 jelekent csak I - h(p) bit lesz.
tetelek azonban pusztan az emlitett sebesseggel va\6 infor- Ez plauzibilis is, mert bar az egyes kimeno jelek 1 bit infor-
macioatvitel elvi lehetoseget allitjak, tenyleges k6dkonstruk- maci6t fognak tartalmazni, ebbol az inforrnaci6mennyiseg-
ci6t nem adnak. A tenyleges konstrukci6val az informaci6- bol azonban h(p) bit-et tesz ki a zajra vonatkoz6 informaci6
elmelet egy masik fejezete, a hibajavit6 k6dok elmelete fog- es 1- h(p) bit-et a bemeno jelre vonatkoz6 informaci6.
lalkozik, amely elsosorban algebrai segedeszkiiziiket hasznal
fel (a linearis algebn1t, a csoportelmeletet, a Galois-testek Persze, p =~ eseteben 1-h(p) = 0, vagyis ez esetben
es a veges geometriak elmeletet, valamint a modern kombi- egyaltalan semmi informaci6t nem lehet a csatornan atvinni;
natorika eredmenyeit). Mindezzel a tovabbi eloadasok foglal- ez ertheto, hiszen ez esetben a kimeno jel teljesen fiiggetlenne
koznak. Az 6ran a kiivetkezo egyszerii peldat vizsgaltuk meg: valik a bemeno jeltol. E peldaval kapcsolatban az eload6
a csatorna be- es kimeno jelei legyenek a 0 es 1 jelek. Tegyiik megmutatta, hogy ha egy zajos csatornan at va\6 informaci6-
fel, hogy a zaj hatasara a csatornaban a bemeno 1-es p val6- tovabbitasna! nem ti:ireksziink arra, hogy az informaci6to-
sziniiseggel valik J-esse; ezt szimmetrikus bim!ris csatorna- vabbitas sebessege a csatorna kapacitasa altai megengedett
nak nevezik; ez esetben tehlit maximalis sebesseget megki:izelitse, csak arra, hogy a zaj
= II;= 1) = 1-p, ellenere megbizhat6an tudjunk informaci6t tovabbitani a csa-
P('IJ = 0 I; = 1) = p, P('IJ
tornan at, akkor ezt igen kiinnyen eJerhetjiik aza!tal, hogy
P('IJ = o I;= 0) = 1-p, P('l] = 1 I ; = 0) = p.
minden egyes jelet nem egyszer, hanem ti:ibbszi:ir ismetelten
Igy,haP(; = 0) = wesP(; =I)= 1-w,akkor, bevezetvea adunk le. Ha peldaul minden jelet 2s+ 1-szer adunk 1e,
q = w(l-p)+(l-w)p jeliilest, azt kapjuk, hogy aho1 s ""' 1, akkor ezcn 2s+ 1 jel ki:iziitt, miutan azok a csa-
tornan athaladtak es esetleg ki:iziiliik egyesek m6dosultak,
I(;, 'IJ) = h(q)-h(p). lesz bizonyos szamu, mondjuk r darab - egyes es a ti:ibbi
Igy teMt I(;, r1) akkor maxima!is, ha q =~ es igy
2s+ 1- r jel 0 lesz. Marmost a dek6dolast vegezziik el egy-
szeriien a tObbsegi elv alapjan: ha r ""' s+ 1, akkor a 2s+ 1-
C = maxJ(;,'IJ) = 1-h(p). szer leadott jelet 1-esnek, mig ha r ;§ s, akkor 0-nak fogadjuk
84 85
megoldasahoz nem annyira n!gi idezetcket kcll keresni, hanem ellenere van bcnniik valami, es ha nem, az vilagos, hogy az
(tj gondolatokra van sziikseg. emberiseg fcj!Odese nemcsak az cncrgiafajtak es energia-
Kozben mar rajottem, hogy szinte barmit alaposan vegig- atvitelek fejlodesevel van szoros kapcsolatban, hanem az in-
gondolva, ahol az energianak szerepe van, szerepe van az formaci6atvitel fejlodesevel is. A kozelmult ket legnagyobb
informaci6 atadasanak is, es az anal6giak mar onkent ajanl- felfedezese, az atomcnergia es az elektronikus szamit6gep
koznak. kozott sem latszik semmi szoros osszefiigges, megis mindenki
Vegyiink egy tavolinak latsz6 teriiletet, a tortenelmet. elott vilagos, hogy nem lehet veletlen, hogy ezt az uj energia-
Az emberiseg tOrtenete- mondhatnank trefasan - az ener- forrast es ezt az uj informaci6feldolgozasi m6dot csaknem
gia tortenete. A tiiz energiajanak felfedezese 6riasijelent6segil egy idoben fedeztek fel.
volt. De tiiz orzesehez, fenntartasahoz mar egy szervezett Hason\6 temakornel maradva, egy orszag gazdasagi fej-
embercsoportra van sziikseg. Sziikseg volt valamilyen infor- lettsegi szinvonalat majdnem egyertelmilen jelzi a felhasznalt
maci6atadasi m6dra, jelbeszedre, beszedre. Tehat a tiiz fel- energia mennyisege (ha egy ilyen statisztikaban esetleg
fedezese kapcsolatba hozhat6 (ha nem is tul szoros kapcso- Magyarorszag nagyon Mtul Jenne, azt meg tudnank azert
latba) az informaci6atvitel egy formajanak kialakitasaval. magyarazni, hiszen orszagunk kozismerten szegeny energia-
De menjiink tovabb. A termeszet egyszeru energiait, a szelet, hordoz6kban). De csaknem ugyanilyenj61jellemzi az aram\6
az allatokat is megzabolazta az ember, kifejlodott a haj6zas, informaci6 mennyisege is, amibe bele kell erteniink a napi
foldmuveles. A szallitas, az arutermeles lehetove tette, hogy hirektol a gazdasagi informaci6ig mindent.
cgyes retegek meggazdagodjanak s fizessenek iigyes embere- Ezek utiin mar nem volt meglepo szamomra, hogy a bio\6-
ket, akik az informaci6 atvitelenek uj m6dszereit fejlesztgct- giaban is tahilhat6k anal6giak. Az el6lenyek energiat ener-
tek: a milveszeteket, a festeszetet es szobraszatot. A fazekas- giava, vagy anyagot (kajiit) energiava kepesek atalakitani.
korong, amely az ide-oda mozg6 lab energiajat alakitotta Termeszetesen, mine! fejlettebbek, annal iigyesebb, bonyo-
forgo mozgassa, nagy lendiiletet adott a fazekas mesterseg- lultabb feladatokat tudnak megoldani ezen a teren. Az infor-
nek, es fazekaik dlszitese rengeteg dolgot mondott el a kora- maci6val talan meg bonyolultabb atalakitasok tortennek. ',
beli (es a mai) embernek. Mar a legegyszeriibb allatka is kepes arra, hogy ha erzekszer-
A kerek, az eme\6, altalaban az egyszeril gepek feltalalasa veivel valamilyen taplalekot eszlel, ezt az informaci6t kozolje
parhuzamba hozhat6k az iras kialakulasaval es a gozgep mozgat6 rendszen!vel, amire az magaba gyomoszoli a tap-
feltalalasa a konyvnyomtataseval. Vegiil egyteljesen nyilvan- Ja!ekot. Egy allat szemebe jut6 fenynya!ab (kep) peldaul sok
va\6 pelda: a villanyaram felhasznalasa tette lehetove nap- apr6 idegsziilon jut el agyiiba, meghozza igen erdekes m6-
jaink talan legfontosabb informaci6kozl6 berendezesenek, don, vegyi impulzusok segitsegevel. Ott azutan ezt a kepet
a telefonnak, a radi6nak es a televlzi6nak a Jetrejottet. erdekes m6don feldolgozza. Peldaul a Pavlov-fele felteteles
Ezeket a parhuzamokat, persze, tortenesz barataimnak reflex mar egy igen bonyolult informaci6feldolgozasi mod.
nem mernem megmutatni, sok hibat mutatnanak ki; vagy De hogy egy ember agya milyen bonyolultan at tudja alaki-
az okoskodas eroltetett, amellyel az osszefiiggest igazolom, tani, fel tudja dolgozni az informaci6t, arr61 nem is akarok
vagy az idobeli osszefiiggesek nem stimmelnek. De ennek irni, mert ha veletleniil egy marslak6 megtalalja nap16mat,
86 87
nagykepiinek fog tahilni benniinket, embcreket (taltm nem vilagos. Nemcsak az informaci6nal, hanem az energianal
alaptalanul). is igy van. Nem az a Jenyeges, hogy milyen alakban kapjuk,
Egy masik biol6giai pelda. Reggel felkeles utan egyik hanem a mennyisege. Tehat lenyegeben teljes az anal6gia
legsiirgosebb dolgom, hogy egyem, lcgyen mit cnergiavii ebbol a szempontb61 is. Azert irtam, hogy lenyegeben, mert
alakitanom (ez ut6bbit, persze, nem gondolom minden nap ha az energianal elvonatkoztatunk hordoz6jat61, csupan
vegig, egyszeriien ehes vagyok). De ezzel egy idoben nekilatok egyetlen szam, a mennyisege marad. Az informaci6nal viszont
az ujsiig olvasiisiinak is, annyira, hogy neha az orromba aka- a hordoz6 anyagt61 elvonatkoztatva meg az egesz informaci6
rom a kenyeret tenni. Egyszeriien ehes vagyok az informii- megmarad, bar az informaci6elmelet jelenleg az informaci6
ci6ra. Legyen min riig6dnom napki:izben, s legyen min mennyisegevel foglalkozik csupan, minosegevel nem.
bosszankodnom, hogy mit nem irtak meg miir megint ren- Miutan ti:ibb-kevesebb vita utan megallapodtam magam-
desen. mal ebben a kerdesben is, most mar valamilyen komolyabb
De nemcsak az elolenyek, hanem barmilyen szcrvezet i:isszefiigges anal6giaja utan kellene neznem.
(part, matematikai tarsulat, gyar, katonasag, hangyaboly) Az energia atalakitasanal tudjuk peldaul, hogy nem vesz
miiki:idesehez elengedhetetleniil sziikseges, hogy az energia el energia. Mar regen eszembe jutott, hogyha k6dolunk egy
(anyag, penz) aramlasa mcllett informaci6 aramoljon egyes jelsorozatot, tulajdonkeppen iitalakitjuk az inforrnaci6t,
reszekt61 a ti:ibbihez. hasonl6an ahhoz, mint amikor a viz helyzeti energiajat
Dgy erzem, eleg anal6giat tala!tam mar, ha mindezt elmon- elektrornos energiava alakitjuk. Jgaz-e valarnilyen ertelem-
dom az eloadasomon, unni fogjak. ben, hogy az informaci6 az atalakitasniil nem no, nem csok-
Menjiink melyebbre. Mi a helyzet az energia es az infor- ken, es ha igen, milyen ertelemben?
maci6 anyagisagat illetoen? Igen, hiit az energia anyagi Az egyik matematikai cikk, amit a professzor adott, eppen
jellegii, az informaci6 valahogy szellemi termeszetii dolog. ezzel foglalkozik.
Hogy is van? Nem, nem ... az informaci6 is eppen ugy Ha egy t; jelben He;) informiici6 van, es a k6dolas soran '
anyagi, hiszen informaci6t is csak anyaggal (vagy energiii- egy jelhez iitlagosan L = LPklk jelet rendeliink hozza,
val), papirra irt jellel, elektromos vagy vegyi impulzussal akkor az informaci6 megmaradiisiinak elve azt kell hogy
tudok atvinni. * Igen am, de ugyanaz az informaci6 ti:ibb- jelentse, hogy a k6dolt sorozat L jele tartalmazzon H(t;)
felekeppen is atviheto. Peldaul ugyanazt irjak az ujsagban, informaci6t, vagyis egy jeleben
mint amit a radi6ban mondanak. TcMt az informaci6nak
fiiggetlennek kelllenni az anyagt61, ami iitviszi. Ja, most mar H= H('.)
(10)
~
* Ut6lag eszembe jutott. hogy vannak bizonyos telepatikus, vagy
tudominyosabb nevCn parapszichol6giai jelensegek, arnelyeknCI az informiici6 legyen. Ez az i:isszefiigges (ha igaz valahogyan)
informici6<ltvitel anyag vagy energia nflki.Il tOrtCnik. De hit egyel6re
ezekr61 a jelensCgekrOl nem tudjuk biztosan, bogy ICteznek-e, es ha rendkiviil emlekeztet peldiiul a transzformator energiaatala-
igen, hogyan folynak lc. Val6szinflleg az anyag vagy cnergia illtalunk kitiisiira. Ha a primer oldal egy menetere L szekunder menet
eddig nem ismert form<linak haszmllata Utjim, es ekkor ez scm ellen-
pelda a fenti gondolatra. jut, akkor a primer oldal egy voltjara ,eso" energia egyenlo
88 89
a szekunder oldal L voltjara eso energiaval, azaz ket jcl entr6piaja
1
p1 log--+ P• log
E1 LE2 P1 P•
(11) v;=v;· holott mindket jel entr6piaja kiil6n-kiil6n is ennyi. Termesze-
tesen meg ez a definici6 sem j6, hiszen az ertek meg fiigg
aholEh illetveE. a primer, illetve szekunder oldal energiajat, n-tol. Tegyiik azonban fel, hogy az elso n jel entr6piajanak
masreszt v h illetve v. a ket oldalon fellepo fesziiltseget je\6\i. es n-nek Mnyadosa tart egy szamhoz, ha n-ne! tartunk
Mivel egy voltb61 L volt keletkezik, V 2 = LVh s igy (11)-bol a vegtelenhez. Ezt a szamo! tekintsiik H-nak.
val6ban kovetkezik E 1 = E 2, azaz a transzformator esete- Emellett a definici6 mel lett (I 0) mar pontosan igazolhat6,
ben (10) megfeleloje, (11) val6ban az energia megmaradasat ha a k6dolas egyertelmfien dek6dolhat6, mint azt az emlitett
jelenti. Ennek alapjan H(~) es H informaci6s aramerossegnek cikkben megtalaltam, de azt hiszem, eloadasomon nem fo-
gom elmondani, mert bizonyitasa eleg hosszu. A kapott
is nevezhetok az ~ =I anal6gia miatt. cikkek k6z6tt talaltam olyat is, amely (10)-et j6val altalano-
(10)-re mar tulajdonkeppen utalt a professzor is a negyedik sabban bizonyitja (peldaul az egyes jeleknek idobeli hosszuk
eloadasban. U gyanis a k6dolt sorozatban egy helyen q-fele van); altalanosabb esetre, mint (9), megfelelo altalanositasa
klil6nb6zo jel allhat, tehat a H mennyiseg legfeljebb log 2 q volt eddig bizonyitva, (10)-bol azonban trivialisan kovetkezik
lehet, igy (10)-bol kovetkezik log 2 q ~ !fl({l' ami (9)-ccl L ~ H((H)_ . Tehat, vegiil is, a fenti filozofikus gondo-
max
ekvivalens. Sot, ez meg arra is uta!, hogy (9)-ben pontos Jat, hogy (10)-nek fenn kell allnia, oda vezetett, hogy sikeriilt
egyen!Oseget azert nem tudunk elerni, mert H-val nem tudjuk a gyakorlati szempontb61 is fontos problema! megoldani
elerni log 2 q-t. nagyon altalanos esetben: mi az atlagos k6dhossz minimuma.
A baj csak ott van, hogy H meg nines definialva. Hogy Az anal6giak latsz6lag 6ncelu keresese teMt nem is olyan
ugyanugy nem lehet definialni, mint H(~)-t, azt a kovetkezo oncelu.
pelda mutatja. Ha ~ ket erteket, xret es x.-t vesz fe1 P1 es P• (10)-nek azonban van egy szepseghibaja. Csak akkor igaz,
val6szinilseggel, k6doljuk oket 00-val es 01-gyel. Ekkor a ha a k6dolas egyertelmfien dek6dolhat6. Ha peldaul a k6d
k6dsorozat elsa jele biztosan 0 Jesz, mig a masodik p 1, illetve olyan, hogy minden x,-hez 0-t rendel, akkor H = 0, tehat
p 2 val6szinfisegge1 0, illetve 1. Tehat az elsa jel entr6piaja (10) altalaban nem igaz. Fellehet ugyan fogni a dolgot ugy is,
( = 0) kiilonbozik a masodikt61. Vagyis az egy jelre eso hogy az energiaatalakitasnal scm mindig jut el az osszes
entr6piat, H-t nem lehet egyszerfien egy jel entr6piajakent energia oda, ahova akarjuk, hanem pl. hoenergiava valtozik;
definialni, mint korabban H(~) definici6janal tettiik. A kovet-. a rossz k6dolasnai sem vesz el az informaci6, hiszen az ere-
kezo gondolat az, hogy vegyiik az elsa n jel entr6piajat, deti k6doland6 sorozatban tovabbra is megmarad. lgy azon-
s osszuk n-ne!. Itt vigyaznunk kell ismet, az elsa n jel entr6- ban meg rosszabb a helyzet, hiszen ha az eredcti informaci6t
piaja nem az egyes entr6piak 6sszege, mert a k6djelek nem is szamitjuk, akkor a k6dolt sorozat entr6piajaval megnovelve
fiiggetlenek. Ha peldaul X! es x. k6dja 00 es 11, akkor az elsa nyilvan altalaban tobb, mint eredetileg volt. Nem egyertel-
90 91
miien dek6dolhat6 k6do!as cseten teluit a parhuzam nemigen perpetuum mobil eve!? A zajtalan csatornanal, vagyis az
miikiidik. egyszerii atk6dolasnal nem vesz el informaci6. Ilyenekkel
Energiaatalakitasmil mindig felremegy egy kis (neha nem varhat6an lehet 6nmagat fenntart6 informaci6s k6rforgast
is kis) energia. A transzformatormll h6energiava alakul, fenntartani, mint a sur16dasmentes mechanikai mozgasokkal.
mashol surl6das lep fel, mindenesetre az egesz energiat nem Kepzeljiik el peldaul, hogy a magyar nyelvhez elkeszitettiik
tudjuk atvinni. Az egyertelmiien dek6dolhat6 k6dolasnal Huffman-k6djat. Vegyiink egy magyar mondatot, k6doljuk
viszont igen. Val6ban, de k6dolas utan az informaci6t egy betiinkent a Huffman-k6ddal majd k6doljuk at ezt a 0,1 soro-
idealizalt, zajtalan csatornan szoktuk atvinni. Gyakorlatban zatot a morzeabece szerint ugy, hogy kepzelet ben dek6dol-
azonban nines zajtalan csatorna. A tevedes val6sziniisege j uk a 0, I sorozatot. Vegiil a morzeabecevel k6dolt sorozatot
lehet igen kicsi, de nulla soha. Az ilyen csatornara is be lehet is met dek6dolva visszakapjuk az eredeti sz6veget. Ezt a kiir-
bizonyitani valami (10)-hez hasonl6t. A csatornab61 kijiiv6 forgast a vegtelensegig folytatva mindig fennmarad, nem
jelsorozatot dek6doljuk, es ennek veosziik az entr6piajat. vesz el informaci6.
Erre igaz, hogy kiizel egyenl6 a jelenkenti entr6piaja az ere- Nem all ez azonban a gyakorlatban e16fordul6 csator-
deti sorozateval. Pontosabban, ha a maximaJis hibaval6szi- nakra. Vegyiik peldiiul a piety kat, amely a tapasztalat szerint
niiseg nullahoz tart, akkor a dek6dolt sorozat entr6piaja gyakran alkot k6rt. Ha elinditunk egy ilyen pletykat, miir
tart az eredetiehez. az els6 visszajutaskor rendszerint er6sen el van torzulva,
Ezt ugyan nem talaltam meg a kapott cikkekben, de eleg s ha legkiizelebb miir az uj viiltozatot adjuk tovabb, ez meg
kiinnyen be tudtam magam bizonyitani. Ha tehtit a sur16dast tovabb torzul, s vegiil mar semmi k6ze sem Iesz az eredeti
itt jelkepez6 zaj kicsi a csatornaban, akkor kis mennyisegii hirhez.
informaci6 vesz el, es mine! kisebb a zaj, annal kevesebb Az Iathat6 tehat, hogy a k6dolasnal, tovabba a matemati-
informaci6 vesz el. Azonban olyasvalami, hogy ugyanannyi kailag k6nnyen modellezheto csatornakniil eleg j6 az infor-
vesz el, amennyi a zaj, sajnos igy nem teljesiil. Meggyozode- miici6 es az energia parhuzama, de vajon a termeszetben
sem, hogy valamilyen formaban ennek is igaznak kell Iennie. levo sok bonyolult jelensegnel is igy van-e. Peldaul a krista-
Biztos vagyok benne, hogy az informaci6elmelet szempontja- lyosodas folyamatanai ugy tiinik, mintha informaci6 kelet-
b61 nagyon fontos Jenne egy ilyen iisszefiigges megtal:ilasa es kezne. Azonban ez az informaci6 tulajdonkeppen a krista-
bizonyitasa. Nem is ertem, hogy a cikkek szerz6i hogyhogy lyosodas el6tt is benne volt az atomok elektronht\jiinak szer-
nem jiittek ra erre a problemara, es hogyhogy nem emlitettek kezeteben. Az ott lev6 tulajdonsiigok eredmenyezik az ato-
cikkeikben. Biztosan maguk is sokat dolgoznak rajta, es nem mok racsszerii, kristalyszerii elhelyezkedeset. A furcsa csak
akarjak, hogy masok megcsinaljak elottiik. Mindenesetre ez az, hogy ez az informaci6 megmarad az atomokban is. Alta-
nem helyes m6dszer. En, persze, el fogom mondani az elo- laban, ez is zavarja az ana16giiit, az informiici6 es az energia
adasomon a problemat. Hatha leszvalakinek valamij6 iitlete, k6ziitt, hogy amig energiaiitalakuliisnal az egyik oldalon
ami eloreviszi a kerdest. keletkezo energia a masik oldalon levo energia felaidozasaval
Az energiamegmaradas elver61 riigtiin a perpetuum mobile jiir, addig peldaul atk6doliisnal az atk6doland6 sziiveg infor-
jut mindenkinek az eszebe. Mi a helyzet az informaci6s maci6ja megmarad.
92 93
Azert valahogy ez a krista!yosodas sem tiszta meg. Teljesen A SZERENCSEJATEKOK
hasonl6 jelenseg ugyanis az elet keletkezese es fejlodese, ami ES A VAL6SZiN0SEGSZAMiTAS
evmi!Mrdok alatt ment vegbe. Magyarazhat6 ez azzal, hogy
a keletkezett informaci6 az atomokban volt? Na, ez mar
tulzas, hogy az elet keletkezesenek problemajat is az infor-
maci6elmelettel akarom megoldani. S kiilonben is, nagyon
almos vagyok, holnap reggel kell eloadasomat megtartani, BEVEZETES
most mar le kell fekiidnom. Nagyon izgulok. Csak lett volna
egy kicsivel tobb idom ezt a veget jobban atgondolni. E cikknek az a celja, hogy a szerencsejatekokra- kii!Onosen
a kartyajatekokra - vonatkoz6 kozertheto es erdekes fel-
adatokon keresztiil a val6szinfisegszamitas bizonyos fogal-
Az eloadas, azt hiszem, j61 sikeriilt. Sokat vitatkoztunk. mait es m6dszereit ismertesse. * Bar nem tiirekcdtem a pelda-
A kristalyosodas es elet keletkezesenek problemajara mar kent szerep16 szerencsejatekok szabalyainak teljes reszletes-
nem is maradt ido. A professzor a vegen megdicsert. Kiilono- seggel val6 ismertetesere; azon ban igyekeztem a peldakat
sen erdekesnek tartotta a zajos csatorna informaci6 meg- ugy megfogalmazni, hogy az is megertse oket, aki az illeto
maradasa elvere vonatkoz6 megjegyzeseimet. 6 is ahihUzta, jatekot nem ismeri alaposan. Termeszetesen azert annak, aki
hogy nem helyes a felig kesz eredmenyek, sejtesek elhallga- bridzsezik, a bridzsre vonatkoz6 peldak tobbet mondanak,
tasa. mint annak, aki a jatekot nem ismeri.
Kivancsian varom a tovabbi eloadasokat. A professzor Felmeriilhet az olvas6ban a kerdes: erdcmes-e a kartya-
kicsit rosszul nez ki, de remelem, nines semmi komolyabb jatekokkal es altalaban a szerencsejatekokkal tudomanyos
baja. alapon foglalkozni? Erre a kerdesre velemenyem szerint
feltetleniil igennel kell valaszolni. Nemcsak azert erdemes,
mert ez segit a kombinatorika es a val6szinfisegszamitas
megertesehez, hanem azert is, mert e problemak tudomany-
torteneti erdekessegfiek, hiszen a val6szinfisegszamitas kiala-
kulasaban a szerencsejatekokra vonatkoz6 feladatok koz-
ismerten igen nagy szerepet jatszottak. Vegiil a modem
tudomany es technika szamos fontos fogalmanak kialakulasa-
ban a szerencsejatekokkal kapcsolatos tapasztalatoknak es
az ezekre vonatkoz6 matematikai ismereteknek igen nagy
95
szerepiik volt. J6 pelda erre a kartyakeveres fogalma, amely sorrendek szama 51 ! (hiszen ha pl. a legfelsc5 lap a kor asz,
osszefiigg nemcsak a kemiai technol6giaban hasznalatos az alatta levo 51 lap 51 ! sorrendben helyezkedhet el), tehat
keveresi eljarasokkal, hanem a termodinamika alapveto mivel a csomagban negy asz van, k = 4·51 !, es igy a keresett
fogalmaival is. val6szin iiseg
k 4-51! 4 1,
52! = 52!-= 52= TI·
A KARTYAKEVERESROL
A val6sagban a keveres ugy tortenik, hogy az egyik jatekos
Amikor a kartyak eloszlasara vonatkoz6 kerdeseket a va\6- vagy egy kartyakeverc5 gep 10-20-szor vegez elegy bizonyos
sziniisegszamltas alapjan valaszoljuk meg, hallgat6lagosan mozdulatot. Minden egyes mozdulat a kartyacsomag egy
mindig feltessziik, hogy az a csomag kartya, amelybol a lapo- atrendezeset, vagyis egy permutaci6 alkalmazasat jelenti a
kat kiosztjak, ,j61 ossze van keverve". E kifejezest a kartya- kartyak sorrendjere. Egy szamsorozat permutaci6i tudva-
sok gyakran haszm\ljak, de mivel nem szoktak precizen levoleg csoportot* alkotnak.
definia!ni, nem art eloszor roviden foglalkozni e kerdessel. Ket permutaci6, pl. Pes Qszorzatan (amitPQ-valjeloliink)
Val6szinilsegszamitasi szempontb61 egy csomag kartyat azt ertjiik, hogy eloszor elvegezziik a P atrendezest, es az
akkor neveziink j61 megkevertnek, ha a keveres utan a lapok eredmenyiil kapott sorrenden vegrehajtjuk a Q atrendezest.
osszes lehetseges sorrendje, permutaci6ja ugyanakkora val6- Peldaul, ha n = 32, vagyis 32 lapos (magyar) kartyar61 van
szinilsegii; n lap eseteben n! permutaci6 lehetseges*, tehat sz6, es P a
j61 osszekevert az a kartyacsomag, amelynel feltehetjiik, hogy 16 17 32
minden egyes sorrendnek a va16szinilsege ~ . Egy tetszo- 17 32 16
n.
leges, a kartyak sorrendjetol fiiggo A esemeny val6szinilsege permutaci6, tehat elso helyre az eredetileg 17-ik helyen levo
lap keriil, masodik helyre az eredetileg 18-ik helyen levo lap,
tehat -'; , ahol k jelenti azoknak a sorrendeknek a szamat,
n. es igy tovabb, az utols6 helyre az eredetileg a 16-ik helyen
amelyek mellett az A esemeny bekovetkezik. Peldaul, ha egy
52 lapos kartyat megkeveriink, annak a val6szinilsege, hogy *A csoport fogalmahoz legeli\szor a milvelet fogalma sziikseges. Egy
adott halmazb61 ket elernet kiveve (adott sorrendben), ezekhez
mindig hozzilrendeljiik a halmaznak egy ujabb elemet (esetleg az
a legfeliil fekvo lap asz legyen, *-dal egyenlo, ugyanis eli\bbiek egyiket). Jlyen muveletek az egesz szamok halmazan
az Osszeadils vagy a szorzas. Mivel csak egy miivelet van a csoport-
az 52! sorrend koziil egy meghatarozott asszal kezdc5dc5 ban, ezt szorz6jellel jeloljiik. Csoportnak akkor neveziink egy ilyen
mUvelettel elliLtott halmazt, ha egyreszt van egy olyan e elem, mellyel
* Az elsi\ hclyre ugyanis bilrmelyik lapot valaszthatjuk, tehat n lehe- biLrmely elemet ,megszorozva" Onmagat kapjuk, mttsreszt b8.rmely
t6seg van. B:irmelyiket is valasztottuk az els6 helyre, a m<lsodik e elemhez talalhat6 egy olyan masik, amellyel a-t megszorozva e-t
helyre azt mar nem valaszthatjuk, teh3.t csak n -I lehet600gi.ink van. kapjuk. Ha a miivelettink az egesz szimokon az Osszeadcis, akkor
Az elsi\ ket helyre tehat n· (n- 1)-felekeppen valaszthatunk. Ugyanigy e = 0, mert nullat adva b:irmihez azt villtozatlanul hagyja, masreszt
folytatva, az Osszes sorrendek szama: n. (n- 1). (n~- 2) .... 2· 1, tetszOleges szilmhoz talalhat6 olyan, melyet hozzliadva 0-t kapunk
mivel az utols6 lapot mar csak egyfelekeppen valaszthatjuk: ami [a (- 1)-szerese]. Ha a muvelet a szorzas az egesz szamok kozott,
maradt. Az n(n- J)(n-2) ... 2·1 szamot ri:lviden n!-nak szoktuk akkor e = I, de peldaul a 2-hoz nem lehet talalni olyan a egesz
irni. ( K. Gy.) szamot, hogy 2. a = I legyen. TeMt ez nem csoport. ( K. Gy.)
96 7 97
all6 lap (ez ugy hajthat6 vegre, hogy a 32 lapos kartya- csoport*, mig a ciklikus csoportok azok). Tisztan matema-
csomagr61 egytitt leemelem a felso 16 lapot, ezt leteszem tikai szempontb61 igen erdekes kerdes a permutaci6k rend
az asztalra, es erre rateszem az also 16 lapot), es Q = P, szerinti eloszhisa; e kerdessel foglalkozik Erdos Pal es Turan
vagyis masodszorra is ugyanazt a miiveletet vegzem, akkor Pal egy nemregiben megjelent dolgozata [I]; mivel azonban
a PQ = P 2 = I az azonos permutaci6, tehat a ket miivelet a keveresnel val6ban soba nem pontosan ugyanazt a miive-
vegeredmenyekent ujb61 az eredeti sorrend aiJ elo. letet ismeteljtik meg (meg akkor sem, ba gep vegzi a keve-
A keveres folyamatara marmost ket kezenfekvo matemati- rest), a kerdessel itt nem foglalkozunk reszletesen.**
kai modellt (a tenyleges folyamat leegyszeriisitett kepet) allit- A keveres masik - a val6saghoz sokkal kozelebb a116 -
hatunk fel. Az elso modellt determinisztikus modellnek, modellje a kovetkezo:
a masodikat sztochasztikus modellnek fogjuk nevezni. F eltessztik, hogy az egyes kevero mozdulatok a veletlentol
EIOszor tegytik fel, hogy a kevero minden egyes mozdulat- is ftiggnek, es egy mozdulatnal bizonyos va16sziniiseggel
nal pontosan ugyanazt az atrendezest vegzi a kartyacsoma- minden permutaci6 fellepbet. Feltessztik tovabba, bogy az
gon. Ha ezt a permutaci6t P-vel jeloljtik, ugy e mozdulat egyes mozdulatok egymast61 fiiggetlenek. Pontosabban ez
k-szor va16 elvegzese egyenertekii az eredeti sorrend egyetlen azt jelenti, bogy ha n elem n! lehetseges permutaci6jat vala-
atrendezesevel, megpedig a p permutaci6 k-adik batvanya- hogy megszamozzuk es Q1 jeloli azt a permutaci6t, amely
nak* megfelelo atrendezesevel. Az ilyen keveresi eljaras elvi a j-edik sorszamot kapja, ugy a keveres minden egyes mozdu-
szempontb61 nem kielegito, biszen ( elvben) pontosan kisza- lataval a kevero a Q1 permutaci6t q1 va16sziniiseggel bajtja
mithat6, hogy mi lesz a vegeredmeny, de gyakorlatilag sem
megfelelo, megpedig annal kevesbe, mine! kisebb a P permu-
vegre (j = I, 2, ... , n!). (Termeszetesen .f q = 1.) Hate-
J=l
1
taci6 rendje, vagyis az a legkisebb t pozitiv egesz szam, hat a kevero i-edik mozdulatamil a II; permutaci6t bajtja
amelyre P' = I, abo! I az azonos permutaci6t jelenti, amely- vegre, akkor II; egy veletlen permutaci6, amelynek eloszlasa
nel minden lap a belyen marad (A fent peldakent emlitett P
P(II; = QJ) = q1 (j= I, 2, ... , n!, i = I, 2, ... ),
permutaci6nak pl. a rendje r = 2.) Ugyanis, baa P permuta-
ci6 rendje r, ez azt jelenti, hogy a P, P 2 , ••• , P' permutaci6k (azaz a 111 veletlen permutaci6 q1 val6sziniiseggel lesz
mind ktilonbozoek (P minden magasabb batvanya viszont
mar megegyezik ezek egyikevel), tebat egy r-ed rendii P per- * n-edrenda szimmetrikus csoport: az n elem perrnutcici6inak fenti cso-
mutaci6t akarbanyszor is ismetltink, ezaltal elvileg r-m\1 portja. Ciklikus csoport: van egy elem, melynek hatvlinyai kiadnak
minden elemet. Abel csoport: minden szorzat v3ltozatlan, ha meg":'
tobb ktilonbozo sorrendet nem tudunk Jetrebozni. Persze, forditjuk a szorzand6kat. (K. Gy.)
**Erdos es Turim [1]-ben bebizonyitjak, hogy az n! permutaci6 kozii
ba letezne olyan P permutaci6, amelynek rendje n!, ennek a legtObbnek a rendje az e<IJ2.-~> log 2 n es eOJHe> log2 n hatarok
ismetlesevel minden sorrendet letrebozbatnank; ilyen per- kOze esik, ahol e > 0 tetsz6leges kicsiny sz:imnak v8.laszthat6, ha
mutaci6 azonban nem letezik ba n '@; 3; ugyanis az n-ed n eleg nagy (itt log n az n szam termeszetes logaritmusat je!Oli).
A kartyakeveresre vonatkoztatva ez azt jelenti, bogy 52 kartya leg-
rendii szimmetrikus csoport nem ciklikus (sot nem is Abel- tobb permutaci6ja eseteben kevesebb mint 200 000-szer kell a kevero
mozdulatot megismetelni, hogy a kartyak ujb61 az eredeti sorrendbe
• P-t egymas utan k-szorelvegezve ap.p. . . P (k darah) permutaci6- kerliljenek. Osszehasonlitilsul vegylik figyclembe, hogy 52! egy 68
hozjutunk. Ezt irhatjuk rovidenP'-nak is. (K. Gy.) jegyli szanl6rias.
98 7• 99
egyenlo egy eloirt Q1 permutiici6val), es ll1 eloszliisa fiigget- Mindenesetre erdemes·volt a keveres folyamatiival ilyen
len a lh, ... , Il1_ 1 permutiici6kt61. n)szletesen foglalkoznunk, hiszen tudvalevoleg a hamis-
Ez esetben k mozdulat utiin (ha eredetileg a lapok az kiirtyiisok leggyakrabban alkalmazott fogiisa eppen a nem
1, 2, ... , n sorrendben voltak) a kielegito keveres. (Liisd az [5]-t is.)
n1n•... nk = II<kJ
permutiici6 jon letre. A Ilk permutiici6k im. Markov-liincot A KARTYAK ELOSZLASARA VONATKOZ6 FELADATOK
alkotnak*. Miirmost ismeretes, hogy ha a {qJ eloszliis olyan,
hogy az osszes permutiici6k csoportjiinak tetszoleges val6di Vizsgiiljunk meg nehiiny egyszerii peldiit!
G reszcsoportjiira A) Poker. A p6kernel minden jiitekosnak ot lapot osztanak
ki az 52 lapb61. A jiitekniil a kovetkezo figuriikat kiilonboz-
(2.1) L: qj < 1
tetik meg:
QJEG
l. Royal Flush: ha az ot lap ugyanabb61 a szinbOl van, es
(vagyis az eloszliis nines egy val6di reszcsoportra koncent- nagysiig szerint sorban kovetkeznek (az iisz egyariint tekint-
riilva), akkor nagy k eseteben II <kJ eloszliisa kozel egyenletes
het51-esnek vagy a kiriily utiin kovetkewnek), pl. kor 9, 10,
lesz, vagyis minden permutiici6 koriilbeliil ugyanolyan bubi, diima, kiriily.
( kozel ~! ) val6sziniiseggel fog letrejonni nagysziimu keve- 2. Poker: ha az ot lap kozott negy egyforma van (pl. 4 kiriily
stb. ), az otodik emellett akiirmilyen lehet.
romiivelet utiin; pontosabban ez esetben**
3. Full Hand (vagy Full House): ha az 0t lap koziil hiirom
=QJ)=~(j=
(2.2)
k--
lim P(II<kJ
n.
1,2, ... ,n!) egyforma es a miisik ketto is egymiissal megegyezo (pl.
harom tlzes es ket kiriily).
4. Szin (Couleur): ha az ot lap egyszinii (pl. mind az ot
[A (2.1) feltetel teljesiil peldiiul, ha j minden egyes ertekere
trefflap).
qj >0.]
5. Sorozat (szekvencia): ha az ot lap nagysiig szerint sorban
Gyakorlatilag a mondottakb6l az kovetkezik, hogy ha
kovetkezik, de nem mind ugyanolyan szinii: pl. treff 5,
a keveres minden egyes mozdulata veletlenszerii, elvben
treff 6, pikk 7, kor 8, kiir6 9.
minden iitrendezest Ietrehozhat, es ha eleg nagysziimu kevero
6. Htirmas: hiirom megegyezolap (pl. hiirom 7-es), a miisik
mozdulatot tesziink, ugy indokolt az a felteves, hogy a lap
ketto tetszoleges (de nem megegyezo, hiszen az Full Handet
,j61 ossze van keverve". Arra a kerdesre, hogy mi ertend5
jelent).
,eleg" nagysziimu mozdulaton, itt nem teriink ki.
7. Ket ptir: ket-ket megegyezo lap (pl. ket iisz, ket 6-os),
• Ez csupan annyit jelent, hogy ,<>-ll-et rogzitve ,00 nem fiigg az otodik tetszoleges (de a ket piirt61 kiilonboz5).
,.<•-"-t61 (es az ez elott Ievokti\1), vagy mas sz6val n<IIJ a korabbiak-
t61 csak ,<>-0-.:n keresztiil fiigg. (K. Gy.) 8. Egy ptir: ket megegyezolap (pl. ket diima), a miisik hiirom
•• E tete! speciltlis esete a va16szinilsegsziunitas centnilis hatarelosztas tetswleges, egymiist61 es a piirt61 kiilonbozolap.
tetele topologikus csoportokra vonatkoz6 altalanositasanak, amely
a Haar-mertekhez val6 konvergenciara ad feltetelt. (Lasd pl. [2) E figuriik va16sziniisegeit konnyen kisziimithatjuk ugy,
es [3].) hogy osszesziimoljuk, hogy egy figura hiinyfelekeppen val6-
100 l0l
sulbat meg, es ezt a szamot elosztjuk ot lapnak az 52 lapbol Az osszes figurak valosziniisegeit az alabbi tablazat adja meg
valo osszes lebetseges k:ivalasztasainak szamaval. Pl. a poker (6 tizedesjegy pontossagig) :
13 ·48-szor va1osulbat meg, mig 52 lapb61 ot lapot (~2 )-fele Roya!Flusb 0,000014
keppen valaszthatunk*, tebat a poker valosziniisege poker 0,000240
c:)
13·48 13·48·120 1
= 52·51·50·49·48 = 4165 = 0•000240 ·
Full Hand
szln
sorozat
0,001385
0,001967
0,003 532
Mrmas 0,021055
Latsz61ag itt maskent szamoltunk, mint az elozo pontban,
ket par 0,047 373
mert a lapok sorrendjet nero vettiik figyelembe. Ez az ered-
egypar 0,422 570
menyt nero befolyaso1ja, hiszen ot lapot 5! = 120 sorrendben
semmilyen figura 0,501864
kapbatunk meg, es ba ezt a faktort mind a szamlaJ6bol, ---
mind a nevezobOl elbagyjuk, a tort erteke nero valtozik. 6sszesen: 1,000000.
Az eloro pontban emlitett eljarast kovetve a poker valoszlnii- A pokemel tebat annal ertekesebb egy figura, mine(kisebb
seget a kovetkerokeppen szamitbatjuk ki. Ha pl. negy jatekos a valosziniisege. (Megvaltozhat azonban a valosziniisegi
jatszik, es korben osztanak, az elso belyen iilo jatekos kapja sorrend, ha nero 52 lappa! jatszunk, vagy ba a esomagban
az elso, az otodik, a kileneedik, a tizenbarmadik es tizenbe- egy vagy tobb joker is van.)
tedik lapot. Azon sorrendek szama, amelyeknel ezen az ot A poker szabalyai szerint minden jahikosnak, miutan lap-
belyen ot megbatarozott lap all megadott sorrendben, nyilvan jat megm!zte (es a bankba a megfelelo osszeget befizette),
47!, hiszen ennyifelekeppen lebet a tobbi 47 lapot a t6bbi joga van lapjai koziil egyeseket eldobni es belyettUk ujakat
47 belyen elrendezni. TeMt annak valosziniisege, bogy a kerni. Mig tebat az elso 1eosztasnal1 /2-nel valamivel nagyobb
jatekosnak p6kert osztanak a valoszin'hsege annak, bogy a jatekos semmilyen figurat
13·48·5! 47! 13·48 nero kap, ba ilyen esetben ot uj lapot ker, annak valoszinii-
..
5~· - = (5;) = ~4165 ' sege, bogy masodszorra sem kap figurat, megint kereken 1/2.
De mivel a ket esemeny majdnem fiiggetlen, annak valoszinii-
sege, bogy a masodik osztas utan sines egy jatekosnak sem-
vagyis lgy is ugyanazt az eredmenyt kapjuk, mint az elobb.
milyen figuraja, mar esak kb. 1/4. Ha tebat barom jatekossa1
• (52) az 521 52-51-50-49-48 k''. < •• 'd . . 'd')a. jatszom p6kert, annak valosziniisege, bogy ezek koziil egyik-
5 51 471 = 51 hejezcs rov1 rrasmo
Az ut6bbi szamot konnyu igawlni. Ha az 5 lap kapasi sorrendjet is nek sines meg egy parja sem, koriilbeliil* 1/64; ez azt jelenti,
szilmoljuk, 52-51-50-49-48 az eredmeny, hiszen els6lapkent akilr- bogy ha esak 1 parom van, szinte biztosra vebetem, bogy a
melyiket kaphatjuk, s bilrmelyik volt az els6 lap, a masodik ett61
kiilonboz6 lehet csak, tehlit 51 lehetosegiink van; stb. De ekkor masik harom jatekos koziil 1egalabb az egyiknek szinteri
mioden kilrtya otost 5 1-szor kapunk meg, ahany kiilonboz6 sor- van egy parja vagy annal jobb lapja.
rendben kaphattuk az 5 kilrtyat. Ezert kell osztani 5 !-sal.
A 13. 48-as szorzatban a 13-at onnan kaptuk, bogy 13-felekeppen • Ezek az esemenyek nem teljesen fiiggetlenek, de kozel azok, igy
villaszthat6 az ertek (amelyikbol mind a m!gyszinu megvan), az 5-dik nero kovetiink el nagy hibat, ha osszeswrozzuk a val6szinusegeket.
lap pedigamegmaradt 48 bilrmelyike lehet. (K. Gy.)
102 103
A lapok felmutatasa eseten tehit egy parral igen csckely A kiosztott lap erteke a veletlentol fiiggo szam, tehit
a nyeres val6sziniisege; mas kerdes persze, hogy a p6kerben val6szinfisegi valtoz6.
bliiffiilni is lehet. Vizsgaljuk most meg, hogy mi a varhat6 erteke egy jatekos- ·.
Utalunk itt Jordan K. kiinyvere [4], amely szamos tovabbi, nak kiosztott lapoknak. *
a p6kerjatekkal kapcsolatos val6sziniisegszamitasi feladatot Ehhez tulajdonkeppen ki kellene szamitanunk a lap erte-
targyal. kenek eloszlasat, tehit, hogy mekkora val6sziniiseggel lesz
B) Bridzs. * A bridzsnel 52 !apot osztanak szet negy jatekos az egy jatekos kezeben levo 13 lap iisszerteke egyenlo a
kiiziitt, akik kiiziil a ket-ket szemben tilo koalici6ban van. 0; 0,5; 1; 1,5; 2; 2,5; 3; 3,5; 4; 4,5; 5; 5,5; 6; 6,5; 7; 7,5; 8;
A jatek ket reszbol all: a licitalasb61 es a tenyleges lejatszas- 8,5; 9; 9,5; 10 szamok mindegyikevel. (Kiinnyen belathat6,
b61. A licitalasra nezve szamos rendszer ismeretes. A Culbert- hogy ezek a lehetseges trickszamok.) Bar ez az Ut sem tul
son-rendszer szerint (lasd [5]) a jatekosok elosziir ertekelik nehez, itt cgy egyszerfibb eljarast fogunk kiivetni, amely
a sajat lapjukat, es ennek alapjan diintik el, hogy mit licital- a varhat6 ertek egy j61 ismert tulajdonsagan alapszik, meg-
janak. Az ertekeles az un. ,trick"-ek iisszeszamlalasab61 all, pedig azon, hogy val6sziniisegi valtoz6k iisszegenek varhat6
a kiivetkezo szablilyok szerint: erteke egyenlo a tagok varhat6 ertekeinek iisszegevel. Jeliiljek
asz (ugyanolyan szinii kiraly es dama nelkiil): 1 trick a negy jatekos lapjainak teljes erteket rendre e, e 2 , e3 , '-•·
asz es kiraly ( egy szinbol, az uo. szinii Nyilvanval6, hogy (j61 kevert lap eseteben) mind a negy
dama nelkiil): 2 trick jatekos lapjanak varhat6 erh!ke ugyanakkora. Marmost az
asz es dam a (egy szinbol, az uo. szinii elso jatekos lapjanak trickerteke maga is negy tag iisszegc:
kiraly nelkiil): 1,5 trick e1 = cu+e12+c13+eu,
asz, kiraly es dama egy szin bol: · 2,5 trick ahol e11, e1z, £13, £1< azt jelentik, hogy hany trickje van az
kiraly (ugyanolyan szinii asz es dama nelktil): 0,5 trick clso jatekosnak rendre pikkbol, korbOI, kar6b61 es treffbol.
kiraly es dama egy szinbOl (uo. szinii asz Hasonl6keppen bonthat6 fel negy tag iisszegere a masik
nelkiil): trick harom jatekos lapjanak teljes erteke is:
A teljes lap erteket a benne levo trickek osszege adja meg. Bz = B21 + Bzz + Bza + ez,,
Pl. a kiivetkezo lap: Ba = £31 + Baz+ Baa+ Ea<
e, = eu +e.,+ e,a + £44.
PIKK: I KOR: K~R6: I TREFF:
Asz DAMA
10 8 7
KI_RALY
DAMA 4 3 2
I DAMA 7 8 * Egy va16szinlisCgi v8.ltoz6 v;lrhat6 CrtCkCt Ugy szamitjuk ki, hogy
vesszi.ik a vclltoz6 lehetsCges CrtCkeinek a megfelel6 va16szinlisCgek-
kel mint sUlyokkal kCpezett sUlyozott kOzCpCrtCkCt; ha teh:it a val6-
szinUsCgi v3Jtoz6 az xb x 2, . . . Xn CrtCkeket rendre Pb p 2 ••. p,.
erteke 1,5 + 1 = 2,5 trick. val6szinUsCggel veszi fel, akkor v8rhat6 CrtCke
* A bridzs tulajdonkCppen·nem szerencsejiltCk a sz6 szoros CrtelmCben, M($) = P1X1 +P2X2+ · · · +PnXn.
hiszen ajatekban ajatekosok tudasa sokkal nagyobb szerepetjatszik, A v:irhat6 Crtt':k jelent6sCget a nagy szimok. tOrvCnye mutatja, amely
mint a vCletlen. A lapok eloszlilsa azonban itt is a vCletlent61 ftigg, szerint, ha a val6szinl.Is6gi vUltoz6 Crt6k6t nagy sziimU fi.iggetlen
es igy a bridzzsel kapcsolatban is szilmos va16szimisCgsziimitilsi fel~ kisCrletn61 megfigyeljtik, a megfigyelt 6rt6kek szilmtani kOzepe szinte
adat mertil fel. bizonyosan igen kOzellesz a val6sziniisCgi v8Jtoz6 vilrhat6 CrU:kChez.
104 105
Marmost nyilvanvalo, bogy az e0 (i = 1, 2, 3, 4; j = Hasonlokeppen lathato be, hogy annak val6szirusegc
= l, 2, 3, 4) valoszinfisegi valtozok varbato ertt!kei mind hogy a szoban forgo lap koziil ketto egy kezben legyen, de a
egyenlok, tebat ba kozos ertekiiket m-mel jeloljiik, azaz harmadik masnallegyen
M(eij) = m (i,j = 1, 2, 3, 4), 12 39 234
3 '51. 50 = -425 = 0•550•
akkor a varbato ertek additivitasa folytan
M(e1) = 4m = M(en+e21+ea1+eu).
Vegiil annak valoszinfisege, hogy a pikk asz, kiraly es dama
Marmost eu + e21 + e31 + e41 a pikk szinbol a negy jatekos- egy kezben legyen:
nallevo trickek 6sszege, vagyis azt lattuk be, hogy egy jatekos
kezeben levo lap varhato erteke egyen16 a pikk szinbol a negy 4(13)
jatekos kezeben levo trickek 6sszegenek varbato ertekevel. 3 22
5~ = 425- = 0,052.
Ez utobbi mennyiseg kiszamitasahoz csak azt kell megvizs-
galnunk, hogy a pikk asz, kiraly es dama hogyan oszlik
el a negy jatekos k6z6tt. Ha e harom lap mindegyike mas
C)
A Mrom valoszinfiseg osszege termeszetesen 1-gyel
jatekosnai van, ugy en+ e21 + eaJ + e41 = 1,5. Ha a pikk asz
egyen!O: 0,398+0,550+0,052 = J.
es a pikk kiraly egy kezben van, de a pikk dama masnal,
Egy jatekos lapjanak varhato erteke ily modon 1,5 ·0,398+
vagy ha a pikk asz es a pikk dama egy kezben van, de a pikk
+2·0,550+2,5·0,052 = 0,597+1,100+0,130 = 1,827, vagy-
kiraly masmil van, vegiil ba a pikk kiraly es a pikk dama egy
is kereken I ,8. Ez az eredmeny alatamasztja a Culbertson-
kezben van, a pikk asz masnai, akkor en+ e21 + e31 + e•1 = 2. We licitrendszer azon szabalyat, hogy indulasboz legah\bb
Vegiil, ha mindharom lap egy kezben van, 1Igy
2,5 trick sziikseges - hiszen 2 trick meg alig jobb az atla-
en+ e21 + ea1 + eu = 2,5. gosnal -, mig ha a partner indult, az emeleshez 1,5 trick is
Annak valoszinfiseget, hogy a pikk asz, a kiraly es a dama e!egseges, vagyis mar egy az atlagot megkozelito lap e!egse-
mas-mas jatekosnal van, a kovetkezokeppen szamitbatjuk ki. ges; hiszen a ket ellenfel lapjanak varbato osszerteke 3,6
Ha a pikk aszt az A jatekos kapta, o meg tovabbi 12 lapot trick, es mivel2,5 + 1,5 = 4, az indulo partnere mar 1,5 trick
kap, a tobbi harom jatekos pedig 39 lapot 51 lap koziil, eseteben szamithat arra, bogy o es partnere egyiitt erosebbek
tehat annak valoszinfisege, hogy ne A kapja a pikk kiralyt, az ellenfeleiknel.
-;~ . Ha a pikk aszt, illetve kiralyt az A, illetve a B jatekos Egy masik tanulsagos, bridzsre vonatkozo kerdes a kovet-
kezo: ha egy jatekosnak a kezeben ket asz van, mi a valo-
kapta, annak valoszinfisege, hogy a pikk damat C vagy D szinfisege, hogy a partnen!nel van a ket hianyzo asz, illetve,
kapja, hasonlo meggondolassal ~~ . bogy ezek koziil csak egy, vagy egyik sines nala? Nyilvan
a szo ban forgo ket asz a masik Mrom jatekos kezeben levo
lgy a keresett valoszinfiseg
39·26 169 39 lap kozt van, es igy eloszlasukra ( 3;) egyforman valo-
sr:so = 425 = 0•398 · sz.infi lehetoseg van; ezek koziil az elso kerdes szempontjabol
106 107
C~) cset kedvezo, tehat annak val6sziniisege, hogy mind
az A es az A esemeny, melyck val6sziniisegei pes q(p+q =
= 1, O<p<1). Ha a kiserlet eredmenyekeppen az A esemeny
, h',
a ket 1anyzo, asz
, a partnem.,"I van (13)/(39) 6 · kovetkezik be, Peter megtartja tetjet, es ezen kiviil a bank
2 2 = 57
annyit fizet Peternek, mint amennyi Peter tetje volt. Ha a
Annak val6sziniisege, hogy a ket hianyz6 asz koziil az kiserlet eredmenyekeppen az A esemeny kovetkezik be, Peter
egyik van a partnernel tetjet a bank kapja. E tipusba tartozik pl. a fej vagy iras
13·26 26
(~) =57,
jatek, amelynel (szabalyos erme eseteben) p = ~· tovabha
ide tartozik a rulett, felteve, hogy Peter mindig a pirosra tesz.
mig annak val6sziniisege, hogy egyik sines a partnernel Ez esetben, mivel a rulettkorongon 18 piros es 18 fekete
pozitiv szam van, tovabba egy zerus, es ha zerus jon ki,
G) 25
.
a kkor IS a bank oyer, p =
18
. 37
G) = 27 ·
Kozismert, hogy ha p 2§ ~· nem Jetezhet olyan jatek-
rendszer, amely biztos nyereseget biztositana Peter reszere.
A Mrom va16sziniiseg osszege termeszetesen eggyel
egyenlo: Egyszeriiseg kedveert szoritkozzunk a p = ~· esetre. Le~yen
6+26+25 = 1 ck = + 1,ha a k-adik jatszmanal Peter oyer (tehat, ha az
57 .
A esemeny kovetkezik be) es ck = - 1, ha veszlt (tehat, ha A
A bridzsjatek reszletes es kozertheto va16sziniisegszamitasi kovetkezik be). Jelolje Sk Peter tetjet a k-adik jatszmaban.
targyalasa megtala!hat6 E. Borel es A. Cheron konyve- Sk nyilvan fiigghetc, <2, ••• , ek_ 1 -tol: Sk = Sk(c, ... ,ek_ 1).
ben [6]. Sk erteke csak nem negativ szam lehet; Sk = 0 azt jelenti,
hogy Peter nem vesz reszt a k-adik jatszmaban. S n ¥' 0 es
JATEKSTRATEGIAK Sj = 0, ha j > h, azt jelenti, hogy Peter az n-edik jatszma
utan abbahagyja a jatekot.
Az egyszeriiseg kedveert e reszben a kovetkezo leegyszerii- Ha Peter N forinttal a zsebeben iii le jatszani, Peter egy
sitett szerencsejatekra szoritkozunk. Egy jatekos (nevezziik ot lehetseges strategiaja alatt az Sk(c, ... , ck_ 1) (k = 1, 2, ... )
Peternek) jatszik a bank ellen; a jatek jatszmak sorozatab61 nem negativ fiiggvenyek egy tetszoleges sorozatat ertjiik
all. Minden egyes jatszmaban Peternek jogaban all eldonteni, (S1 egy alland6, ahol az e1 valtoz6k mindegyike a ±1 erte-
hogy mekkora osszeget kockiiztat; ezt az osszeget Peter keket veheti fel), es amely fiiggvenyek eleget tesznek az
tetjenek nevezziik. Peter koteles tetjet elore letenni az asz-
talra, tehiit soha nem tehet nagyobb tetet, mint amennyi N+ f; ekSk(c1, ... , Bk_ 1) ~ 0 felteteleknek (n = I, 2, ... ).
k~l
penz osszesen van niila. Ezek utiin egy veletlen kiserletet
hajtanak vegre, amelynek b~t lehetseges kimenetele van, Legyen ~o = N.
108 109
n
A ;n = N+ I ekSk(eh .. . , Ek_ 1) (n = I, 2, ... ) iisszeg ezutiin kovetkezo jatek soriin elObb veszti el maradek N -1
k=l forintjat, mintsem k-N+1 forintot nyerne, vagy ugy, hogy
nyilvan megadja, hogy mennyi penze van Peternek az n-edik
Peter az clso jatszmaban nyer es ez utan elobb veszti el
jatszma utan. A ~n (n = 0, I, ... ) va16sziniisegi valtoz6k lin.
N + 1 forintjat, mintsem k- N- 1 forintot nyerne.
martingtilt (lasd [7]) alkotnak: ez azt jelenti, hogy ;n varhat6
Kiinnyen belathat6*, hogy a (4.1) differenciaegyen1et
erteke azon feltetel mellett, hogy ;.,, ;2, ... , ~n- 1 erteke adott,
iisszes lehetseges mego1dasai fiN) = AN+ B alakuak. Mivel
mindig egyenJO ~n- 1 -gyel.
fk(O) = 1 (hiszen ha Peternek semmi penze sines, nem jatsz·
Kiinnyen belathat6, hap = ~-, akkor M(;n)(n= I, 2, •.. ), hat, es igy nem is nyerhet) es fk(k) = 0 (hiszen ha a jiitek
kezdeten Peternek mar k forintja van, akkor nem is kell
tehat semmilyen jatekrendszer sem garantaJ Peter szamara
biztos nyereseget. Erdemes riividen foglalkozni a kiivet· jatszania), teMt fk(N) = 1- ~. A minket erdeklo esetben
kezo - szerenesejatekosok kiizott a val6sziniisegszamitas
nem ismerese folytan nepszerii - hi bas ,jatekrendszerrel", k = N+ 1, teh!it N~ 1 annak a val6sziniisege, hogy Peter
amely szerint Peternek addig kell mindig I forintot megten- elobb veszti el mind az N forintjat, minthogy 1 forint nyere·
nie, amig eloszor nem kertilnyeresbe: ekkor (I forint nyere· segre tenne szert. Eszerint Peter jatekrendszere mellett nyere-
seggel) abba kell hagynia a jatekot. Val6ban {Jgy liitszik, segenek varhat6 erteke
mintha e rendszer Peternek 1 forint biztos nyereseget garan·
tiilna, hiszen (l val6sziniiseggel) elobb vagy ut6bb Peter 1(1--N~·r)-N· N~ 1 =0.
nyeresbe kerlil. Val6jaban azonban ez a jatekrendszer nem
nyujt biztos nyereseget. Nyilvanva16 ugyanis, hogy ez a jatek· Az elmondottak alapjan ugy gondolhatna az olvas6, hogy
rendszer a fenti definiei6 szerint nem megengedett, hiszen a val6sziniisegszamitas a szerencsejatekot jatsz6t arr61 gyoz·
ha pe1dau1 Peter az elso N jatszmaban veszit, vagy az elso heti meg, hogyha esupan azert jatszik, mert nyeresegre torek·
N+2M jatszma soran iisszesen N+M-szer veszit es M-szer szik (es nem azert is, mert a jatek sz6rakoztatja), akkor
nyer, ugy, hogy kozben soha sines nyeresben, akkor nem tudja job ban teszi, ha nem is jatszik. Ez azonban nines igy: ha a
folytatni a jatekot, es igy pozitiv va16sziniiseggel teljes penzet jatekos azt keri a matematikust61, hogy dolgozzon ki sza·.
elveszti. Va16jiiban Peter viirhat6 nyeresege e jiitekban 0, amit mara biztos nyerest garantal6 jatekrendszert, akkor lehetet·
a kovetkezokeppen bizonyithatunk be: Jelolje fk(N) annak a lent kivan es a matematikus nem segithet rajta. Ha azonban
va16sziniiseget, hogy Peter elobb vesziti el mind az N forintjat,
* Ezt a kovetkez6kt\ppen bizonyithatjuk be: Ha f,(N) eleget tesz
mintsem k- N forint nyeresegre tenne szert. Ez esetben,
haN~2 (4.1)-nek, ugy g(N) =f,(N)- z (f,(k)-f,(O))-f,(O) is eleget tesz
1 1 (4.1)·nek es g(O) = g(O) = g(k) = 0. Legyen max g(N) = G(N1),
(4.1) fk(N) = 2/k(N+ 1)+2fk(N-1). akkor indukci6val belathat6, bogy g(N1 +j) = G(j = I, 2•... , k- N 1)
es hasonl6keppen g(N1 - j) = G(j = I, 2, ... , N 1), tehilt g(N) = 0,
haN= 0, I, ... , k es igyf,(N) = AN+B, ahol
Ugyanis a sz6ban forgo esemeny ketfelekeppen kiivetkez-
I
hct he: ugy, hogy Peter az elso jatszmaban veszit, es az A= k (/,(k)-/,(0)) es B=/,(0).
110 111
a jiitekos elerheto celt tuz ki maga ele, a matematikus viilaszt Ez esetben a masodik jatszmaban 2 forintot tesz meg: ha
adhat arra a kerdesre, hogy e eel eleresere mi a legjobb ut. veszit, banatosan tiivozik, mig ha nyer, akkor a kovetkezo
Vizsgiiljuk eloszor a kovetkezo kerdest. Peter fej vagy iriist jatszmaban ujb61 egesz penzet (teh!it most 4 forintot) tesz
jatszik; a jiitek kezdeten N forintja van, es elhatiirozza, hogy meg. Ha veszit, tires zsebbel hazamegy, ha nyer, akkor miir
addig jiitszik, ameddig vagy penze felnovekszik M > N 8 forintja van; most mar csak 2 forintot tesz meg, igy ha
forintra, vagy minden penzet elveszti. Milyen jatekrendszer nyer, maris e!erte a 10 forintot, es igy abbahagyja a jiitekot,
mellett lesz annak va16szinusege, hogy nyer, maximiilis?, de ha veszit, akkor is marad 6 forintja es igy meg tudja foly-
Ha w = w(N, M) jeloli annak val6szinuseget, hogy Peter M tatni ajiitekot: megtesz 4 forintot, ha nyer, megvan a lO fo-
forinttal hagyja abba a jiitekot, mivel Peter N forintm\1 lob- rintja, es igy orommel tiivozik,ha veszit, meg marad 2 forintja,
bet nem veszthet es nyeresegenek viirhat6 erteke 0 kell hogy es azt a kovetkezo jiitszmaban megteheti, es igy tovabb.
Jegyen, tehiit w(M-N)-(1-w)N = wM ~ N = 0, vagyis E szampeldaban Peter penzenek alaku!asat a kovetkezo ira-
w~ Z kell hogy legyen. Kerdes, milyen jiitekrendszer nyitott graf mutatja, amelyben minden pontb61 ket el vezet
ki es mindket elen val6 tovabbhaladas val6szinusege I /2
rnellett lehet elerni, hogy a nyeres va16szinusege w = : ( 1. abra). H p, jeloli annak val6szinuseget, hogy az i pont-
b61 (i = I, 2, 4, 6, 8) ajatekos a 10. pontbajut, nyilvanval6an
legyen? Nevezziik ,meresz" strategiiinak azt, arnikor Peter fenm\llnak a kovetkezo egyenletek:
mindaddig egesz penzet egyszerre megteszi tetke1~t, amig
penze ~ ~, mig ha penze x > ~ , de x < M, akkor P• =
1 1
2+:f·Po,
csak (M- x)-et tesz meg, vagyis pontosan annyit, hogy ha a
kovetkezo jatszmaban nyer, akkor eppen elerje a celul 1 1
P& = 2+2·P••
kituzott M forintot. Peldaul, ha N = 1 es M = 10, akkor
Peter a kovetkezokeppen jatszik: az elso jatszrnaban 1 forintot I
tesz meg: ha veszit, kenytelen abbahagyni a jatekot, ha nyer, P• = 2P••
most mar 2 forintja Jesz.
1
P• = 'jP••
112
' \ / , ...
6
8
Ez az ot egyenletbol all6 lineiiris egyenletrendszer megold-
hat6 (ugyanis a determinansa nem 0). Behelyettesitessel
nyerjiik, hogy
P• = 2p,, P• = 4p~, Ps = 8p"
113
l
tovabba Legyen g(x) = f(x)-x, akkor g(x) nyilvan eleget tesz a
I I
I6p1-P• =I, ps-Pl =2• 2g(2x), haO~x;;;j
(4.3) g(x) = I
ebbOI 2g(2x-I), 2- x s- I
ha.!..""'
I
PI= 10 egyenletnek.
Marmost g(x) korlatos, -I ;;; g(x) ~ I, hiszenf{x) val6-
es igy sziniiseg es igy 0 ~f(x) = I. Legyen G = supg(x) es x. egy
i O:liX;til
PI = 10 (i = 1, 2, 4, 6, 8). olyan szamsorozat, amelyre lim g(x.) = G.
·~=
Az x. (korlatos) sorozatb61 kivalaszthat6 egy konvergens
1 reszsorozat: jeli:iljiik ezt y.-nel, akkor tehat
Tehat w(1, 10) =
10 . Hasonl6keppen szamithat6 ki
limy. =y es lim g(y.) = G.
w(N, M), ha N es M tetszoleges pozitiv szamok, N < M es ·~=
~ racionalis. Ha azonban N es M > N igen nagy szarnok, Ha 0 ~ Y.;;; ·} vegtelen sok n-re, akkor (4.3) szerint
ez a m6dszer nem celravezeto, mert igen sok egyenletbol a116
egyenletrendszerre vezet. Ezert az aitalanos esetben mas 2 ,
G = lim g(y.) ;;; -2I lim sup g(2y.) ;;; G
n-+oo n-oo
bizonyitasi m6dszert celszerli alkalmaznunk. Altalaban igaz,
haN es M tetsroleges pozitiv (nem feltetleniil eg6sz) szamok . 1
ha VISZont 2 ~ Yn ;;; l vegte!en sok n-re, akkor
es N < M, akkor w(N,M) = z.. Ezt ki:ivetkerokeppen'
,_....
G = limg(y.) __
~ -21 , lim sup g(2y.-l);;; 2 ,
G
lathatjuk be. Nyilvan feltehetjiik, hogy M = l es 0 < N < 1,
hiszen valaszthatjuk M-et a penz egysegekent. Legyen
w(N, I) =.f(N) (0;;; N;;; 1). Nyilvan fenna!l a ki:ivetkezo tehat mindenkeppen G ;;; ; , azaz G ;;; 0.
egyenlet: Legyen most g = inf g(x). Hasonl6 meggondolassal
O~x~l
I
minden egyes jatszmaban Peter p va16sziniiseggel megnyeri hogy Fp(x) eleget tesz az
a (4.2) fiiggvenyegyenletre vezetett, azt nyerjiik, hogy g(x, p) (o, -}) intervallumra jut6 p merteket p: 1-·p ar:inyban
az alabbi fiiggvenyegyenletnek tesz eleget:
(4.4) g(x,p) =
I
pg(2x,p),
p+(1-p)g(2x-1, p)
ha0§x~
ba 2
l
~ x
l
2
~I,
osztjuk el a ( 0,-}) es ( -}. ·}) reszintervallumokra, es
tovabbA eleget tesz a g(O, p) = 0 es g(l, p) = I felteteleknek. vallumok koziil {;) szamu intervallumnak a merteke
Az a meggondolas, amellyel belattuk, bogy a (4.2)-nek eleget p1(1-p)"- 1 lesz· (l= o, 1, ... , n). Az Fp(x) fiiggvenyrol kony-
tevo f(x) fiiggveny azonos x-szel, (4.4)-re alkalmazva arra nyen ki lehet mutatni, hogy az szigoruan monoton novekvo,
az eredmenyre vezet, hogy a (4.4) fiiggvenyegyenletnek csak folytonos es szingularis fiiggveny, tehat derivaltja majdnem
egy a g(O, p) = 0, g(1, p) = I mellekfelteteleknek eleget tevo mindeniitt 0. A /lpt es ~'•' mertekek ortogonalisak, ba p 1 "" p,.
megoldasa van. (Ezt egyebkent eloszor G. de Rbam bizo- Nyilvan fllt' a kozonseges Lebesgue-fele mertekkel azonos,
nyitotta be, I. [10].) Marmost a (4.4) fiiggvenyegyenlet egy mivel
megoldasat a kovetkezokeppen konstruaibatjuk meg: legye-
nek ;h ~ 2 , .•. fiiggetlen va16sziniisegi valtoz6k, amelyek Ft,,(x) = g(x, ±) = x (0 § x § 1).
a 0 es I ertekeket p es 1 - p val6sziniiseggel veszik fel.
• Egy 71 val6szinusegi valtoz6 eloszhisfilggvenye F(x) = P(TJ < x)'
Legyen 1J = f -2~;;. es
n=l
jelO!je F.(x) az 1J val6sziniisegi vagyis F(x) megadja, hogy 71 milyen val6szinuseggel kisebb x-nel'
(K.Gy.)
116 rn
tanitott, a teli sziinidoben nehany napot tolti:itt Las Vegas ban
Azt, hogy a p < { esetben mar nem mindegy, hogy mil yen
es ennek soran ellatogatott az egyik jatekkaszin6ba, aho1
strategiat alkalmaz valaki, es hogy a ,meresz" strategia huszonegyest jatszott - es termeszetesen vesztett. Ezen
optimalis, nem fogjuk itt altalanosan bebizonyitani, csak egy bosszankodva gondolkodni kezdett azon, hogy a huszoncgyes
szampeldaval illusztraljuk. jateknal (ugy ahogy azt a nevadaijatekkaszin6kban jatsszak)*
Tegyiik fel, hogy Peter 25Ft-tal iille rulettezni (P = !~~), mi a legjobb strategia egy jatekos reszere.
Tudvalevoleg a huszonegyesnel az ,oszt6" (a kaszin6
es celja az, hogy 100 Ft-ra tegyen szert, es a meresz strategiat alkalmazottja) minden jatekosnak egy j61 megkevert 52 lapos
alkalmazza. Ez esetben akkor es csak akkor fogja celjat kartyab61 ket-ket Iapot oszt ki: a jatekosok lapjaikat nem
elerni, ha az elso ket jatszmat megnyeri, es ennek a va16szinil· mutatjak meg az oszt6nak. Az ,oszt6" onmaganak is oszt
sege p 2 = 0,244 ... Marmost nezziik meg, mi Peter nyeresi ket lapot, de ezek koziil az elsot koteles megmutatni a jate-
eselye, ha azt az 6vatosabb strategiat alkalmazza, es mindig kosoknak. A lapokat a kovetkezokeppen ertekelik: minden
csak 25 Ft-ot tesz meg. Konnyil belatni, hogy ez esetben figura (bubi, dama, kiraly) tiz pontot er, a tobbi lap az asz
Peter c;ak 1 /" 2 2 va16szinilseggel eri el celjat, es kiveteievel annyit, amennyi ra van irva (teMt pl. a hetes bet
- p+ p pontot). Az aszt minden jatekos szabad elhatarozassal erte-
p" 2h 1 hi kelheti 1-esnek vagy 11-esnek. A jatekban az nyer, akinek
1-2p+2p• <p, ap < 2' szen
lapjai pontertekeinek i:isszege legjobban megki:izeliti a 21-et,
p" p 2(1-p)(l-2p) > 0. anelkiil, hogy azt tUilepne.
p•
1-2p+2p2 p•+(l-p)• Minden jatekosnak joga van lapjai mcgnezese utan annyi
ujabb lapot kerni, ahanyat csak akar, de ha lapjai ponti:isszege
Specialisan, hap = !~, akkor 2
1 _ ;~ 2P2 = 0,2301 ... , meghaladja a 21-et, koteles lapjait felmutatni, es kiesik a ja-
tehat Peter nyeresi eselye ,meresz" strategia mellett ti:ibb tekb61. Az ,oszt6" i:inmaganak is oszthat ujabb lapokat.
mint 23,5%, mig az ,6vatos" strategia mellett kevesebb. A jatekosok tetjeiket megadott also es felso korlat kozott
A most targyalt problemahoz hasonl6 altaJanosabb kerde- szabadon valaszthatjak meg. Minden jatekos kiili:in jatszik
sek vizsgalataval foglalkozik L. E. Dubbins es L. J. Savage az ,oszt6" ellen. Ha a jatekos lapja jobb, mint az oszt6e,
konyve [8]. a jatekos ugyanannyit nyer, mint amennyi a tetje volt, ha
rosszabb, elveszti tetjet, ha viszont egyformak (pl. mindket-
EGY MATEMATIKUS HARCA toe 21), penz nem cserel gazdat.
A JATEKKASZIN6K ELLEN Az oszt6 nagy elonye abban all, hogy a jatekos minden
esetben ki:iteles felmutatni lapjait, es igy ha azok i:isszerteke
Befejezesiil egy igen erdekes esetrol szamolunk be, amely j61 meghaladja a 21-et, tetjet mindenkeppen elveszti, akkor is,
mutatja, hogy mire kepes a szerencsejatekok matematikai
elmelete es mire nem. Edward 0. Thorp, amerikai matemati- • Az Amerikai Egyesiilt Allamok tobbi tagallamaban jatekkaszin6k
legalisan nem miikodhetnek. Nevadaban azonban ezt megengedik
kus nehany evvel ezelott, amikor a Los Angeles-i egyetemen ·a torvenyek. ··
118 119
ha az oszt6 lapjainak osszerteke is meghaladja a 21-et; segevcl -- kidolgozott* egy konnyen megjegyezheto strate-
ez ugyanis esetleg ki sem derill, mivel ha minden jatekos giat, amely a jatekosnak neMny szazalek elonyt biztosit
eldobta a lapjait, az oszt6nak nem kell megmutatnia a sajat- a kaszin6val szemben. Az Amerikai Matematikai Tarsulat
jat, csak beseperi a teteket. 1960-ban Washingtonban tartott tallilkoz6jan eloadlist tar-
Thorp megfigyelte, hogy a kaszin6k egesz szigoru szabli- tott szamitlisair61. Az eloadas nagy feltiinest keltett, es ne-
lyokkal eloirjak alkalmazottaiknak, bogy milyen rendszer hliny nap mulva egy iizletembertollevelet kapott, aki I 00 ezer
szerint kell jatszaniuk*, igy pl. eloirjak, bogy ha az oszt6 dolllirt ajanlott fel neki arra a celra, hogy rendszeret a gya-
lapjainak osszerteke eleri vagy meghaladja a 17-et, nem sza- korlatban kipr6blilja. Thorp elfogadta az ajanlatot es- rend-
bad ujabb lapot osztania maglinak. Thorp ugy gondolta, szeret betanulva -elutazott Nevadaba, bogy kiserletet tegyen
az a teny, hogy a jatekost semmilyen merev szablily nem koti A kiserlet fenyesen sikeriilt: 2 ora leforglisa alatt 17 ezer
es - ellentetben az oszt6val - nem koteles az elso Japjat · dollart nyert. A kaszin6 tulajdonosa, persze, tlivolr6l sem
felmutatni, tovabbli, hogy a tet osszeget 5 valaszthatja meg, lelkesedett annyira a tudomlinyos kiserlet sikereert, mint
elvileg lehetove teszi nyero rendszer kidolgozlisat az oszt6 Thorp es tlirsa, es mlisnap kiilonboro kifogasokkal meg-
fent emlitett elonye ellenere is. Ezt fokent arra alapozta, akadalyoztak oket abban, bogy ujb6l jatsszanak. Kesobb
bogy akkoriban - a jatek meggyorsitlisa erdekeben - a ne- Thorp mas kaszin6kban is pr6blilkozott, de a hire mindeniitt
vadai kaszin6kban az volt a szokas, hogy az oszt6 nem ke- elotte jart, es minden kaszin6 bezlirta elotte ajt6it. Nehliny-
verte meg a Japot minden jatszma utlin, hanem addig hasz- szor alszaklillal vagy kinainak maszkirozva sikeriilt a jatek-
nalt egy csomag kartyat, amig az el nem fogyott, cSs csak azu- asztalhoz jutnia, de akarhogy is valtoztatta el az arcat,
tlin szedte ossze es keverte meg az elhasznalt Japokat. Ilyen elarulta ot az, bogy alland6an nyert. tgy tehlit rendszere
m6don az a jatekos, aki megjegyzi, bogy mar milyen lapok gyakorlati felhasznalasat abba kellett hagynia. Azzal bosz-
,mentek ki" es ennek alapjlin rugalmasan vliltoztatja strate- szulta meg magat az ot kiutasit6 kaszin6kon, bogy rendszeret
giajat, megnovelheti nyen!si val6sziniiseget, felteve, bogy konyv alakban megirta es kiadta (lasd [9]). E konyv alapjlin
tudja, bogy a rendelkezesre all6 informlici6t hogyan hasz. olyan sokan tanultlik meg a nyero strategiat, bogy-a nevadai
nalja fel. Ehhez a jatekosnak nyilvlin az egyes Japok Mza- kaszin6k kenytelenek voltak a jatekszablilyokat gyokeresen
slinak felteteles val6sziniisegeit kell figyelembe vennie nem megvaltoztatni. A valtoztatlis tobbek kozott abban alit, bogy
teljes kartyacsomag eseten, cSs ezek alapjlin tudja kidolgozni rna mar minden jatszma utan ujra kevernek; ezzel kihliztak
Iegelonyosebb strategiajat. Persze, egyszerii es konnyen meg- a talajt a strategia laba al6l. Ily m6don visszajutottunk oda,
jegyezheto szablilyokra van sziikseg, hiszen pillanatok alatt ahonnan kiindultunk: a kartyak keveresenek jelentosege-
kell dontenie, bogy ker-e meg tovabbi Iapot vagy sem. Thorp hez.
nem sajnalta a faradsagot es - a Massachusetts Institute
of Technology IBM 704-es elektronikus szlimit6gepe segit-
IRODALOM BEVEZETES
[1] Erdos P.-Tunin P.: On some problems of statistical A kovetkezokben altalaban beszelek a val6sziniisegszamitas
grouptheory. I. - Zeitschrift fiir Wahrscheinlichkeits- tanitasar61, nem szoritkozom konkret iskolatipusra vagy
theorie und Verwandte Gebiete. 4. 1965. 175-186. meghatarozott koru tanul6kra. Olyan kerdesekkel foglal-
[2) Prekopa A.-Renyi A.-K. Urbanik: 0 pregyelnom kozom, amelyek a val6sziniisegszamitas tanitasanak minden
raszpregyelenyii dlja szum nezaviszimih szlucsajnih velicsin formajanal felmeriilnek. Harom alapveto kerdesrol lesz sz6:
na bikompaktnih kommutatyivnih topologicseszkih grup- 1. Miert kell a val6sziniisegszamitast tanitani? 2. Mit kellene
pah. -Acta Math. Ac. Sci. Hung. 7. 1956. 11-16. tanitani? es 3. Hogyan kellene tanitani? Tehat a val6szinii-
[3) U. Grenander: Probabilities on algebraic structures, segszamitas tanitasanak celjaval, tartalmaval es m6dszereivel
Wiley, New York 1963. fogok foglalkozni.
[4] Jordan K.: Fejezetek a klasszikus val6szinusegszamittis- Megjegyzeseim szemelyes tapasztalataimra tamaszkodnak.
b6l. Akademiai Kiad6, 1955. Ezek elsosorban egyetemi oktat6i munkamb61 szarmaznak,
[5] E. Culbertson: New and Complete Summary of Contract de a budapesti szabadegyetemen is tartottam val6sziniiseg-
Bridge. John C. Winston, Philadelphia 1935. szamitasi eloadas-sorozatokat, ahol a hallgat6sag java resze
[6] E. Borel-A. Cheron: Theorie mathematique des bridges, erdeklodo kozepiskolas, es egy eloadas-sorozatot tartottam
ala portee de tous. Gauthier-Villars, Paris 1955. 1-424. a televizi6ban is, amelyet nagyon vegyes hallgat6sag nezett
[7] J. L. Doob: Stochastic processes. Wiley, New York 1953. meg, egeszen fiatalok es felnottek, akiknek igenyeik es isme-
[8) L. E. Dubbins-L. J. Savage: How to gamble if you reteik erosen elteroek lehettek.
must. McGraw-Hill, New York 1965.
[9) E. 0. Thorp: Beat the dealer. A winning strategy for the
I. MIERT KELL A VAL6SZIN0SEGSZAM!TAST
game of twenty one. Blaisdell, New York 1962.
TANITANI?
[10] G. de Rham: Sur quelques courbes definies par des
equations fonctionelles. - Rendiconti del Seminario Elso pillanatra ugy tiinik, hogy erre a kerdesre csak akkor
Matern. Univ. Torino 16. 1956-57. 101-113. lehetpo!ltos va!aszt adni, ha megmondjuk, hogy az oktatas
milyen formaban es milyen szinten tortenik. Szerintem ne-
hany dolgot enelkiil is el lehet mondani. Elmondom, hogy
mit tartok a val6sziniisegszamitas tanitasa f6 celjainak. Ugy-
123
gondolom, hogy ezeket a valosziniisegszamitas barmely A val6szinusegszamitas tanulmanyozasa a tanul6k jelle-
reszenek a tanitasanal szem elott kell tartani, bar a kiilonbozo mere is elonyos hatassal van, peldaul noveli a Mtorsagukat,
iskolatipusoknak megfeleloen kii!Onbozo hangsulyt lehet ha megertik, hogy bizonyos kudarcokat egyszeruen a veletlcn
adni nekik. Ezek a celok a kovetkczok: okozott, es igy e kudarc nem ok arra, hogy feladjak a kiiz-
A) A valosziniisegszamitast azert tanitjuk, mert fontos delmet. A primitiv emberek hajlamosak arra, hogy tulzottan
szerepe van a tanulok gondolkodasanak fejleszteseben. gyanakv6ak legyenek: ha valami bajuk van, azt rendszerint
B) A valoszinusegszamitast a mindennapi elet, a tude- valaki rosszindulataval pr6b:l.ljak megmagyarazni, meg akkor
many, a technika stb. kiilonbozo teriileten valo hasznossaga is, ha egyaltalan nem arr61 van sz6. Ennek az az oka, hogy
miatt tanitjuk. nem ertik a veletlen fogalmat. A va16sziniisegszamitas tanul-
C) A valoszinusegszamitast azert tanitjuk, mert a matema- manyozasa segithet abban, hogy vegleg megsziinjenek a ko-
tikai nevelesben fontos, sot nelkiilozhetetlen szerepe van. korszak magikus gondolkodasanak ezek a maradvanyai.
Az alabbiakban neh:l.ny megjegyzest ffizok ezekhez. Ily m6don a valosziniisegszamitas tanulmanyozasa az embe-
A) A budapesti egyetemen volt egy jogaszprofesszor, aki reket megertobbe teszi embertarsaik irant is es segiti a tar-
a szobeli vizsgakon a kovetkezo kerdest tette fel a hallgatok- sadalmi eletbe va\6 beilleszkedesiiket.
nak: , Mit lat, ha a Gellerthegyrol lenez a varosra ?" A hall- B) A hetkoznapi eletben alland6an szembekeriiliink ave-
gatoknak ezt kellett valaszolniuk: ,Jogtargyakat es jogala- letlennel, a val6szinusegszamitas arra is megtanit benniinket,
nyokat." hogyan lehet az egyes dontesekkel jar6 kockazatokat figye-
Nem tudom, mit szolt volna ez a professzor ahhoz, ha lembe venni az esszerii magatartas kialakitasanal. A lehet-
valaki azt va!aszolta volna kerdesere, hogy ,sztochasztikus seges biztositasi formak koziil a Jegcelszerubb kivalasztasa
folyamatokat". A professzor valoszinuleg egyaltalan nem jo pelda arra, hogyan hasznalhatjuk a valoszinusegszarnitast
ertette volna a valaszt, annak ellenere, hogy az nem kevesbe a sajat eletiinkben. Csaladi koltsegvetes keszitesene! vagy
helyes, mint az, amit 6 vart. A valoszinuseg fogalmanak meg- kiilfoldi utazas tervezesenel meg kell becsiilniink a kiadaso-
ertese valoban nelkiilozhetetlen ahhoz, hogy megertsiik a kat, amelyek bizonyos fokig a veletlentO! fiiggnek. Ezek a
koriilottiink levo vilagot es egyik alapkove tudomanyos peldak is rnutatjak, hogy mindenkinek sziiksege van a velet-
vilagkepiinknek. A tanulok gondolkodasanak fejleszteset len torvenyeinek valarnilyen szintii ismeretere. A valoszinii-
a matematika barmely aganak tanitasa elosegiti, megtanitja segszamitas tudornanyos, techno16giai, gazdasagi stb. alkal-
oket arra, hogy vilagosan definialt fogalmakkal logikusan mazasainak egyre novekvo fontossagara val6 tekintettel,
gondolkozzanak. A tanulok gondolkodasanak a szerepe vala- mind ti:ibb ernbernek van a rnunkaja soran bizonyos val6-
mivel tobb ennel, tartalmazza azt is, amit az iment elmond- sziniisegszamitasi tudasra sziiksege. Az iskolatlpust61 fiigg,
tunk a matematika egyeb againak tanitasarol, de tul is megy hogy rnennyire kell ezt figyelembe venni. Nem feledkezhetiink
ezen. A valoszinusegszamitas tanitasa megtanitja a tanul6kat meg arr61 sem, hogy manapsag minden miivelt embernek,
arra, hogy a vilagos es logikus gondolkozas olyan esetekben a foglalkozasat61 fiiggetleniil, valamennyire kell ertenie az
is hasznos, amikor bizonytalansaggal van dolgunk (majdnem olyan dolgokhoz, mint atomenergia, radicaktivitas, genetika
minden gyakorlati helyzetben ezzel tala!kozunk). stb. es ezeknek meg a felszines megertesehcz is sziikseg van bi-
124 125
2. MIT KELLENE TANITANI?
zonyos val6sziniisegszamitasi ismeretre. Ma, amikor az idoja-
ras-jelentesben megadjak a holnapi eso val6sziniiseget, min- Mivel csak olyan kerdesekkel akarok foglalkozni, amelyek
denkinek celszerii tudnia, hogy mit is jelent ez tulajdonkeppen. a val6sziniisegszamitas akarmilyen szinten torteno tanitasa-
C) A val6sziniisegszamitas elemcinek ismerete segiti a val6 nal Jenyegesek, a tananyag viszont erosen fiigg a sz6ban
vilag es a matematika kapcsolatanak, a val6sag matema- forgo iskolatipust61, a tanul6k eletkorat61, altalanos mate-
tikai modelljenek megerteset. Azoknak a tanul6knak, akik a matikai ismereteiktol stb., csak nehany altalanos megjegy-
matematikatanitas so ran egyaltalan nem tala!koznak a val6- zesre szoritkozom.
sziniisegszamitassal, nem alakul ki megfele!O kepiik arr61, Ugy gondolom, hogy az alabb felsoroland6 negy temab61
hogy milyen is val6jaban a matematika es mire haszna!hat- minden val6sziniisegszamitasi tananyagnak kell valamennyit
jak. A val6sziniisegszamitast nem ismero embereknek van tartalmaznia:
egy kozos teves felfogasuk, mely szerint matematikai m6d-
szereket csak olyan helyzetben lehet alkalmazni, ahol egy- A) A val6sziniisegszamitas gyakorlati hattere, vagyis a
szerii es pontos osszefiigges all fenn kisszamu es pontosan mindennapi eletben a termeszetben, a szerencsejatc!-
merheto mennyisegek kozott. Gyakran hallhatunk meg mos- kokban felmerii!O statisztikai tOrvenyszeriisegek kons-
tanaban is olyan kijelenteseket, hogy bizonyos jelensegek tatahisa.
tanulmanyozasara, leirasara nem lehet matematikai m6d- B) A va16sziniiseg matematikai elmelete.
szereket alkalmazni, mert azok ,till bonyolultak". Azoknak C) A val6sziniisegszamitas alkalmazasa kiilonbozo terii-
az embereknek az eloitelete ez, akik nemi matematikat ta- leteken veletlen tOmegjelensegek leirasara es az ilyen
nultak, de val6sziniisegszamitast nem, es ez a szemlelet jelensegek lefolyasanak nagy vonalakban val6 elore-
- legalabbis nehany orszagban - j6 ideig akadalyozta jelzesere.
a matematikai m6dszerek alkalmazasat a kozgazdasagban, D) A val6sziniisegszamitas tortenete, beleertve a val6szi-
a szociol6giaban, a biol6giaban, a pszichol6giaban es egyeb niiseg fogalmaval kapcsolatos filoz6fiai kerdesek tar-
teriileteken. gyalasat.
Megjegyzem meg, hogy az az elkepzeles, hogy a val6szi-
niisegszamitas tanitasara is sor keriiljon kozep-, illetve als6bb
fokon, osszhangban van a matematikatanitas egyeb modern
Ennek a negy pontnak a sorrendje annak a Jogikai sorrend-
torekveseivel, es konnyen ossze lchet egyeztetni ezekkel ugy,
nek felel meg, amelyben - velemenyem szerint - ezeket a
hogy ez hasznara valjek a val6sziniisegszamitas tanitasanak
kerdeseket targyalni kell. A felreertesek elkerii!ese vegett
is es az uj tOrekvesek megval6sitasanak is. A val6sziniiseg-
hangsulyozni kivanom, hogy amikor azt mondom, a val6-
szamitas tanitasat peldaul megkonnyiti, ha a tanul6k elozoleg
sziniisegszamitas tanitasat azzal kell kezdeni, hogy a tanu16-
mar megismerkedtek a halmazelmelet es a Boole-algebra
kat megismertetjiik a statisztikai torvenyszeriiseg fogalmaval,
elemeivel, masreszt a val6sziniisegszamitas tanulmanyozasa
nem arra gondolok, hogy statisztikaval kell kezdeniink.
kival6 alkalom arra, hogy hasznaljuk az emlitett fogalmakat,
Ellenkezoleg, egyetlen olyan kiserletet sem tartottam (sem
ami viszont elosegiti e fogalmak alaposabb megerteset.
127
126
logikai, sem didaktikai szempontbol) kielegit6nek, amcly ennek ellenere ez egy iinallo targy, nem a va16sziniisegsza-
szerint a statisztikat el6zetes valosziniisegszamitasi ismeretek mitas resze. A Bayes-modszcrt termeszetesen lehet a valo-
nelkiil tanitottak. Ugy kepzelem, bogy a valosziniisegszami- sziniisegszamitason beliil targyalni es ha az id6 megen-
tas tanitiisat kivanatos Jenne azzal kezdeni, bogy a ti:irveny- gedi, a bevezet6 targyalasba is be lehet epiteni valamennyit
szeriiseget jol valasztott peldakkal es kiserletekkel magyaraz- bel ole.
zuk meg. El6szi:ir megvilagitjuk a tanulok el6tt, bogy melyek Ami a D) pontot illeti, ugy gondolom, hogy mig valamely
azok az alapvet6 dolgok, amelyek segitbetnek a valosziniiseg- mertekii ti:irteneti targyalas hasznos es kivanatos minden
"zamiu\s matematikai elmeletenek megerteseben es csak anyagresznel, a val6sziniisegszamitas tanitasanal ez kiili:ini:is
ezutan tertink ra a valosziniisegszamitas olyan mertekii tar- segitseget jelcnt. Meg egy ri:ivid bevezet6 targyalasban is
gyalasara, amelyet a tanulok eletkora es matematikai elo- nagyon fontos, hogy a valosziniiseg fogalmanak filozofiai
kepzettsege megenged. Termeszetesen figyelembe kell venni prob!emait megtargyaljuk, mivel segiti a tanulokat abban,
azt is, bogy mennyi ido all rendelkezesre es azt, bogy a szoban hogy megtanuljak a valosziniisegszamitas sajatos gondolko-
forgo iskolatipus milyen specialis ce!okat ki:ivetel. Szerintem dasmodjat. A valosziniiseg filoz6fiai kerdeseit ki:innyen Iehet
a matematikai statisztib\t mint kiili:inallo targyat csak egye- a va16sziniiseg tortenetenek ri:ivid megviliigitiisa soran tar-
temi szinten helyes tanitani, azoknak a ballgatoknak, akik gyalni; ez egyuttal a val6sziniiseg filoz6fiajiinak ti:irtenete is.
erdeklodnek ininta. Vegiil hangsulyozni szeretnem, hogy az entr6piat es az
Ami a valosziniisegszamitas alkalmazasat illeti, talalkoz- informaci6t a valosziniisegsziimitiis alapvet6 fogalmainak tar-
tam mar olyan szemlelettel is, bogy a valosziniisegszamitas tom, es igen ajiinlom a tanaroknak, hogy szanjanak vala-
gyakorlati fontossagat csak a statisztika tanitasaval lehet mennyi id6t ezen fogalmak targyalasara a valosziniisegsza-
megvilagitani. En nem biszem, hogy ez igy lenne; a valoszinii- mitas tanitasa kereteben.
segszamitas legfontosabb alkalmazasainak nagy reszet telje-
sen meg lehet erteni a valosziniisegszamitas valamilyen beve-
3. HOGYAN KELLENE
zeto targyalasa alapjan. Termeszetesen a valosziniisegszami-
A VAL<)SZlNOSEGSZAMiTAST T A NIT ANI?
tas barmilyen rovid targyalasa soran ra kell vilagitani arra,
hogy a valosagban legti:ibb esetben empirikusan kell megba- Ezzel a kerdeski:irrel kapcsolatban epp cllenkez6 nebezseg
tarozni az alapveto parametereket; azonban ha eleg nagy lep fel, mint az e16z6vel. Itt olyan sokat lehet mondani
minta all rendelkezesiinkre, akkor ez nem kivan bonyolult - anelkiil, hogy blirmilyen szintre is szoritkoznank -, hogy
statisztikai modszereket. Ktili:inben a bevezeto targyalasban nemi szelekciora van sztikseg. Sok fontos kerdest felreteve
is ra kell vilagitani arra, hogy a valosziniisegszamitas inverz csak a ki:ivetkez6 harommal kapcsolatban teszek nehany
prob!Cmainak a tanulmanyozasa (amikor konkret megfigye- megjegyzest:
lesekbol kiindulva akarunk a szoban forgo valosziniisegi
eloszlas parametereire ki:ivetkezteteseket levonni) egy kiili:in- A) A matematikai szigorusag kerdese.
allo szaktargy temaja, nevezetesen a matematikai statiszti- B) Veletlen esemenyekre vonatkoz6 kiserlctek.
kae, amelynek az alapjat a valosziniisegszamitas adja, de C) A valosziniisegi mez6 fogalmanak a bevezet6se.
128 9 129
A) En altalaban az esszerii mertekii szigorusag partjan amelyeket a tanar maga sem latbatott e!Ore, nebezebb, mint
vagyok a matematikatanitas teren, mert ugy erzem, hogy olyan peldak targyalasa, amelyeknek az eredmenyet a tanar
szigorusag nelkiil nem matematika a matematika. Ez terme- · elore kidolgozbatta. Awnban az iskolaban vegrebajtott
szetesen nem jelenti azt, hogy minden kijelentest szigoruan kiserletek elonye olyan nagy, hogy az emlitett nehezsegek
be kellene bizonyltani: a tetelek egy reszet bizonyitas nelkiil ellenere a magam reszerol erosen partolom oket. Termeszete-
lehet elmondani, masokat heurisztikus okoskodassal alata- sen gondosan elo kell kesziteni ezeket a kiserleteket. Peldaul
masztani, es csak nehanyhoz kell teljes bizonyitas. Azonban a teveben tartott nepszeriisito eloadas-sorozatomban el akar-
eles kiilonbseget kell tenni a kiilonbOzo tipusu informaci6- tam vegezni Buffon hires tiikiserletet. Meglepodve fedeztem
kozlesek kozott: a tanul6knak mindig tudniuk kell, bogy mit fel, hogy noha a legtobb val6sziniisegszamitasi tankonyv
bizonyitottunk es mit nem. Kiilonosen vigyazzunk arra, bogy emliti Buffon kiserletet, egyik sem ad gyakorlati tanacsokat
sose nevezztik bizonyitasnak a heurisztikus ervelest. Hason- ahboz, bogyan lebet elvegezni ezt a kiserletet ugy, hogy az
16an eles kiilonbseget kell tenni definici6k es tetelek kozott. alapveto feltetelek eleg j61 megval6suljanak. vegiil magam-
· Mindez ervenyes a matematika Mrmely aganak tanitasara, nak kellett ldtalalnom egy egyszerii mecbanizmust erre a
azonban a val6sziniisegszamitas tanitasaban gyakran meg- celra. Hasonl6 tapasztalatom volt egy masik klasszikus kiser-
sertik ezeket az alapszabalyokat, ezert kell bangsulyozni lettel, a Galton-deszkaval. Azt tapasztaltam, ba az ember nem
oket. Ha a tanar azt akarja, hogy a tanul6k felfogjak, hogy kello gonddal vegzi a kiserletet, akkor a kapott eredmeny
miert van sziikseg szigorusagra, akkor j61 valasztott peldak- erosen elter att61, amit varunk, mivel a kii!OnbOzo sorokban
kal, olyanokkal, abol a banyag targyalas kimondottan bamis a goly6k elteritesei erosen osszefiiggenek. Ebben az esetben
eredmenyekre vezet, meg kell gyoznie oket a szigorusag egy specialis kesziileket kellett konstrualnom abboz, bogy a
sziiksegessegerol. A matematikatanitas alapjat altalaban j61 vart eredmenyt kapjam. Ami a kockakat illeti, azok koziil,
valasztott peldaknak kellene kepezniiik, es sebol sines olyan amiket en lattam, a legjobbak az ikozaeder alaku kockak
nagy valasztek izgalmas es megis elemi peldakban, mint a voltak, amiket minosegellenorzes celjara Japanban gyarta-
val6sziniisegszamitas teriileten. nak. Ugy tudom, hogy Japanban nagy mennyisegben gyart-
B) Statisztikai torvenyszeriiseget lehet szemleltetni kony- jak oket. Nem biszem, hogy tul nehez lenne megbizbat6
vekbol, ujsagokb61 stb. vett adatokkal, azonban nagyobb kozonseges kockakat gyartani val6sziniisegszlimitas tanita-
hatassal van a tanul6kra, ha a szemiik elott - sot, ba lehet- sahoz. A kockakkal kapcsolatban meg meg akarom emliteni;
seges sajat keziileg - elvegzett kiserletekbol nyertek a vizs- bogy a teveeloadasomban nemcsak kozonseges kockakkal
galt adatokat. Nebany tanar nem ert ezzel egyet, mert fel, vegeztem ldserleteket, banem csontokkal is, abogyan azt az
bogy a ldserletek nem vezetnek pontosan olyan eredmenyekre, 6kori gorogok es r6maiak tettek. Termeszetesen sok mas
mint amit varnak, amint ez az ilyen kiserletek termeszetenel egyszerii kiserlet van meg, ami alkalmas arra, bogy iskolaban
fogva val6ban bekovetkezbet. Szerintem ez a felelem nem elvegezzek: penzermek dobalasa, j61 osszekevert kartya-
indokolt, es ba a tanar j61 erti a val6sziniisegszamitast, nem csomagb61 lapok hUzasa, rulettjatek stb. Akkor fogtam fel,
keriilbet kenyelmetlen helyzetbe. Termeszetesen a tanarnak hogy milyen ertekes segitseget jelentenek a szerencsejatekokra
gyorsan kell reagalni, biszen olyan eredmenyek ertekelese, vonatkoz6 peldak, amikor Dr. Revesz Pal kollegam eti6piai
130 9• 131
val6sziniisegszamitas-tanitasi tapasztalatair61 meselve el- van sz6, megmutatom azonba, bogy cnnel !ebb van mo-
mondta, bogy igen nagy nehezseget jelentett neki, bogy gotte.
Eti6piaban a szerencsejatekok teljesen ismeretlenek, es mivel Amit a val6sziniisegi mezonek* szokasos nevezni, vagyis
erosen tiltjak 6ket, azt tanacsoltak neki, bogy ne is emlitsen az Q, A, P barmast, abo] Q egy nem-iires halmaz, A egy,
az el6adasaiban ilyen jatekokat. Kiilonben a minosegellen- az Q reszhalmazaib61 a116 a-algebra es P egy A-n ertelmezett
6rzesnel is alkalmaznak olyan iigyes megoldasokat, amelyek mertek, amelyre P(£2) = 1; azt en egy kiserletnck nevczem,
az iskolaban hasznositbat6k. Peldaul a teveeloadasomban az w E !2 elemeket pedig a kiserlet lebetseges kimeneteleinek.
kiserleteket vegeztem egy zsak miianyag goly6val es egy Q minden A reszhalmazat esemenynek nevezem, amely a ki-
milanyag lapattal, amelyen 10 X 10-es negyzetes elrendezes- serletnek az A halmazhoz tartoz6 lehetseges kimeneteleibol
ben 100 kis lyuk volt. Ha a lapatot bemeritettem a goly6k all. Azokat a reszhalmazokat, amelyek az A halrnazrendszer
koze, a goly6k, amelyeket elektromos ero vonzott a lapatboz, elernet, megfigyelhetfJ esemenyeknek tekintern, mig fJ-nak
megtOltottek a kis lyukakat. Ketfele goly6t tettem a zsakba: azokat a reszhalrnazait, arnelyek nem tartoznak A-hoz, nem
feheret es pirosat ugy, bogy a piros goly6k aranya egeszen rnegfigyelheto esernenyeknek. P(A)-t szokasosan a rnegfigye1-
kicsi volt (l/4).1gy olyan adatokat kaptam, amelyekj61 koze- heto A eserneny val6sziniisegekent ertelrnezem. Hangsu-
litettek a Poisson-eloszlast. Meg szeretnem emliteni, hogy lyozni kell, hogy a nem rnegfigyelheto esernenyek val6szinil-
a kiserletekb61 nyert adatokat tobbfelekeppen lehet anali- seget egyaltalan nern ertelmezziik.
zalni es ez az analizis sokkal messzebb vezetbet, mint a sta- Egy tipikus pelda az a kiserlet, arnikor ket egyforma kocka-
tisztikai torvenyszerilseg fogalmanak megertese, nevezetesen val do bunk. Ebben azesetbenfJ 36szamparb61 all,(a, b) E Q,
elvezetbet a fiiggetlenseg fogalmaboz, tovabba a veletlen ba 1 ~ a ~ 6 es 1 ~ b ~ 6, es A Q-nak azokat az A
jelensegek kevesbe nyilvanval6 fogalmaboz. Peldaul, tobb- reszhalmazait tartalmazza, arnelyekre fennall, hogy ha (a,
szor is csinaltam azt, bogy mutattam tanul6knak ket - nul- b) E A. akkor (b, a) E A. A 236 reszhalmaz koziil csak
lakb61 es egyesekbol all6 - sorozatot; es azt mondtam nekik, 221 -nek van meg ez a tulajdonsaga: ezek a megfigyelheto
hogy az egyiket ugy kaptam, hogy egy penzdarabot dobaltam esemenyek.
(0 jelentette a fejet, I az irast), a masik sorozat pedig csupan Ez a pelda azt is mutatja, hogy meg ha Q veges is, elofor-
mesterseges utanzata a val6di veletlen sorozatnak. A soroza- dulhat, hogy nem celszerii belevenni A-ba Q osszes reszhal-
tok koriilbeliil 150 elembol alltak, a tanul6knak ki kellett mazat. Termeszetesen, ha fJ-nak az (a, b) rendezett parok
talalniuk, bogy melyik koziiliik a val6di veletlen sorozat. helyett a rendezetlen parok halmazat vessziik, akkor A az
(Altalaban a mesterseges sorozat igen szabalyos volt, pl. Q osszes reszhalmazabol allo halmazrendszer lesz. Altalaban
sem egyesbol, sem nullab61 nem tartalmazott bosszu szaka- azonban celszerilbb a lehetseges kimenetelek halmazat
szokat, mig a val6di sorozatban termeszetesen voltak ilyen viszonylag nagynak valasztani, es azoknak a halmazok-
sorozatok is.)
C) V egiil arr61 szeretnek beszamo1ni, bogy az ut6bbi ida-
• Az itt kovetkero nehany oldal els6sorban szakembereknek sz61.
ben bogyan vezetem be a val6sziniisegi mezo fogalmat. Elso A szlikseges definici6k megtahi.lhat6k peldaul Renyi Alfred: Valo-
latasra ugy tilnik, bogy csupan termino16giai jellegil ujitasr61 szinllsegszdmitas cimii konyveben (Tankonyvkiad6. Budapest 1966).
(K. Gy.)
132
133
nak az 6sszesseget korhitozni, melyek val6sziniiseget de· tasara vonatkozik. Visszaterve az elemibb fokU tanitasra,
finialjuk. azt kivanom bangsulyozni, bogy azt tapasztaltam: a val6-
Ez a targyalas logikus m6don elvezet abboz a feltevesbez, sziniiseg fogalmanak a megerteset - pontosabban a val6-
bogy A-nak balmazalgebranak kell Iennie: biszen nyilvan- sziniisegszamitas matematikai felepitesenek megerteset -
val6, bogy ba egy esemeny megfigyelbeto, akkor megfigyel- megkonnyiti, ba egeszen a kezdettol fogva szerepel azon ese-
beto az ellentettjc is, tovabba ba ket esemeny megfigyelbeto, menyek megfigyelbetosegenek fogalma, amelyekre a val6-
akkor az az eserneny is megfigyelbeto, amely azon kimenete- sziniiseg ertelmezve van.
lekbol all, amelyek a ket ernlitett esemeny k6ziil legalabb
az; egyikben elofordulnak. (Ez a kvantummecbanikaban
nem igaz, ,klasszikus" megfigyelesekre azonban mindig
teljesiil.)
Kiil6nb6z6 iskolai szinteken pr6Mltarn ilyen m6don be-
vezetni a va16sziniisegi mezo fogalmat (nemcsak egyetemi,
elemibb fokon is), es azt tapasztaltam, bogy megkonnyiti
a tanul6knak a va16sziniisegi mezo fogalmanak megerteset,
ba a megfigyelbetoseg fogalmara belyezziik a bangsulyt.
Ennek a m6dszernek bizonyos elonyei csak kesobbi shi·
diumban valnak nyilvanval6va: megk6nnyiti a felteteles val6·
sziniiseg es a felteteles varbat6 ertek altalanos fogalmanak
a megerteset, ba a tanul6k kezdettol fogva bozzaszoknak
abboz, bogy az a balmazrendszer, amelyen egy mertek ertel-
mezve van, nem feltetleniil a lebetolegbovebb. Sok tankonyv
azt a k6riilmenyt, bogy egy val6sziniisegi mertek az alaphal-
maz reszbalmazainak egy bizonyos a-algebnijan van defi-
nialva es nem az osszes reszbalmazon, azzal indokolja,
bogy gyakran lebetetlen tisztan rnatematikai okoskodassal
kiterjeszteni a sz6ban forg6 merteket az 6sszes reszbalmazra.
Bar ez sz6 szerint igy igaz, ugy gondolom, bogy megis felre-
vezeto ez az indoklas, rendszerint teljesen ertelrnetlen Jenne
ugyanis a val6sziniisegi merteket az alapter osszes reszbal·
mazara kiterjeszteni, mert a kiterjesztett mertek teljesen
elveszitene az eredeti, va16sziniisegszamitas szerinti ertelmet.
Ebben a kerdesben nem akarok a reszletekbe belemenni,
mivel ez csak a magasabb foku val6sziniisegszamihis tani-
134
VALTOZATOK EGY FIBONACCI-TEMARA Milyen szaMiyszeriiseget vesztink eszre e sorozatban? Nem
nehez eszrevenni, hogy e soroza!ban a harmadik tagt61
kezdve mindegyik tag egyenlo a ket elozo tag osszegevel :
3 = 1+2, 5 = 2+3, 8 = 3+5, 13 = 5+8, 21 = 8+ 13. Ha
ezt eszrevetttik, most mar korlatlanul folytatni is tudjuk a
sorozatot:
(!) 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, ...
A zeneirodalomban j61 ismert miifaj egy alaptemara 1. valtozat: Pr6Mljuk meg az (!) sorozatol visszafele foly-
valtozatokat (, variaci6kat") irni. Mozart igen kedvelte tatni ugy, bogy ervenyben maradjon az a tulajdonsaga, bogy
ezt a miifajt: e formaban irta peldaul a hires A-dur minden tagja egyenlo az e16zc5 ket tag osszegevel. Ez nem
szonataja elso tetelet (Kochel-jegyzek 331. sz.). Beetho- nehez feladat, biszen a sorozatot bal fete korlatlanul kiege-
ven Asz-dur szonatajanak (op. 26) elso tetele ugyancsak szithetjtik ugy, hogy a mindenkori masodik tagb61 az elsot
egy temara irt variaci6kb61 all. Az emlitett miifajra kivonva, e ktilonbseget irjuk az elso tag ele. lgy kapjuk a ko-
jellemzo, hogy legt6bbszor egyszerii alaptemab61 indul vetkezo, ket iranyban vegtelen szamsorozatot:
ki, es azt varialja egymast61 nagyon is ktilonbozo rit- (2) ... -21, 13, -8, 5, -3, 2, -1, 1, 0, 1, 1, 2, 3, 5, ...
musu, hangulatu, jellegii, neha egeszen varatlan es
bravuros va!tozatokban. Barmennyire is meglepoek ezek Vegyiik eszre, hogy a O-t61 balra haladva valtakoz6 elojellel
a variaci6k, a hallgat6nak mindegyiknel az az erzese, kapjuk ugyanazokat a szamokat, mint amikor a O-t61 jobbra
hogy mint Iebetosegek, ezek csirajaban benne voltak az baladunk.
alapmel6diaban, csak a zeneszerzo ftilere volt sziikseg, 2. valtozat: Az (1) szamsorozat kepzesi szabalyat mas-
hogy azokat abban meghallja es kibontakoztassa. keppen is megfogalmazhatjuk. A sorozat masodik tagjat61
A kovetkezokben a zeneirodalom peldajat igyeksziink kezdve minden tagja ala irjuk oda a rakovetkezo tag es az
kovetni, amikor bemutatunk egy igen egyszerii mate- illeto tag kiilonbseget. Ilyen m6don az also sorban ugyan-
matikai temat - az ugynevezett Fibonacci-szamsoroza- azokat a szamokat kapjuk, csak eppen egy hellyel jobbra
tot- es annak szamos , valtozatat. E valtozatok a Fibo- eltolva:
nacci-szamsorozat ktilonbozo tulajdonsagaira, kiilon- 1, 2, 3, 5, 8, 13, 21, 34, ...
bozo ertelmezeseire, alkalmazasaira, altalanositasaira I 2 3 5 8 13 ...
vonatkoznak. Ez termeszetesen a (2) sorozatra is ervenyes:
... , -8, 5, -3, 2, -1, 0, 1, 1, 2, 3, 5, 8, .. .
AZ ALAPTEMA
... 13, -8, 5, -3, 2, -1, 0, 1, 1, 2, 3, 5, .. .
Vizsgaljuk a kovetkezo szamsorozatot: 3. wiltozat: Az (1) szamsorozatot a szakirodalomban
1, 2, 3, 5, 8, 13, 21, ... Fibonacci-fele szamsorozatnak nevezik, mivel az legeloszor
136 137
Leonardo Fibonacci ( = Bonacci fia) olasz rnaternatikus
(1170-1250) 1202-ben rnegjelent Liber Abaci cimfi rnaterna- 5 ev mU!va
tikai tankonyveben szerepel. Leonardo rnester (akit szii16- a ag
varosar61 pisai Leonard6nak is neveztek) mint kereskedo
bejarta a Keletet, es arab matematikusok (Al-Khwarizmi,
Abu Kamil es masok) munkai alapjan irta meg konyvet. 4 E:v mUlva
Ismeretes, hogy az 6kori gorog matematika a kozepkorban 5 a9
Eur6paban feledesbe meriilt es csak az arab matematikusok
munkaiban elt tovabb, akik az indiai rnatematikat6l is kap··
tak osztonzest. A keresztes haboruk koraban az arab mate- 3 f:v mUtva
matikusok rnunkaib61 ismertek meg ujra Eur6paban az elfe- 3 c\g
lejtett matematikat. A legelso jelentos eur6pai matematikai
tankonyv Fibonacci ernlitett konyve volt. Nehez rnegallapi-
tani, hogy Fibonacci mi ujat tett hozza ahhoz, amit az ara- 2 f:v mUlva
bokt61 tanult. Konyveben vannak olyan peldak- igy asz6· z ag
ban forg6 (1) szamsorozat is-, amelynek forrasa ismeretlen,
azonban nern tudjuk, hogy ezeket Leonardo Fibonacci rnes•
ter maga talalta-e ki, vagy olyan forrasmunkakb61 rneritette, ~v mUlva
melyek nem rnaradtak fenn. Fibonacci az (1) szamsorozatot 1 9a
egy, a nyulak szaporodasara vonatkoz6 feladat megoldasakent
rnutatja be. I. itbra
E feladatot fak novekedesere atfogalmazva rnutatjuk be,
amely esetben a feltevesek kevesbe irrealisak, mint a nyu1ak a fa againak a szamat rnegkapjuk, ha az elozo evben mar
szaporodasa eseteben. Tegyiik fel, hogy egy fa ugy novek- meg1ev6 agak szamahoz hozzaadjuk az ujonnan kinott agak
szik, hogy minden uj ag a letrejottet koveto evben csak novek- szamat: ez ut6bbi szarn azonban pontosan egyenlo a mar
szik, a masodik evtol kezdve azonban minden evben egy-egy ket ev elOtt is meglevo agak szarnaval, hiszen ezekbol es csak
uj oldalagat hajt. Kerdes, hogy egy rna eliiltetett egyetlen ezekbol az agakb6l no ki az adott evben uj oldalag.
agb61 al16 fanak hany aga lesz 1, 2, 3, 4, ... ev utan. A fa 4. valtozat: Egy uj 1ak6telep emeletes hazait ugy akarjak
feltetelezett novekedeset az J. abra mutatja. Latjuk, hogy a befesteni, hogy minden egyes emelet (beleertve a f6ldszintet,
masodik evben I, a harrnadikban . 2, a negyedikben 3, vagyis a 0-ik erneletet is) vagy feherre, vagy kekre legyen
az otiidikben 5, a hatodikban 8 aga 1esz a fanak; e szamokat festve. Esztetikai okokb6l kikotik, hogy nem lehet ket egymas
felirva az (I) szamsorozathoz jutunk. Konnyen be lehet latni, utani szint rnindketto kekre festve. Hanyfele m6don lehet
hogy rniert ervenyes az a szabaly, hogy a sorozat minden a hazakat az eloirasnak rnegfeleloen befesteni, ha az emeletek
tagja egyenlo a ket elozo osszegevel. Egy tetszoleges evben szama meg van adva? Az oss~s lehetoseget a f61dszintes
138 139
es az egy-, kcttO-, haromemeletes hazak esetere a 2. libra t6segek szama 13? Azt, hogy ez va16ban igy van, a kovetkezo-
mutatja. keppen lehet belatni. Egy negyemeletes haz eseteben a ne-
Latjuk, hogy foldszintes haz eseteben ket lehetOseg, cgy- gyedik emeletet vagy feherre, vagy kekre festhetjtik. Azon
emeletes hazak eseteben Mrom lehetoseg, ketemeletes hazak festesi m6dok szama, amelyeknel a negyedik emelet feher,
eseteben ot lehetoseg, haromemeletes Mzak esetebcn nyolc ugyanakkora, mint ahanyfele lehetoseg van egy harom-
lehetoseg van. Az emeletek szamat novelve tehat a lehetose- emeletes haz eseteben, vagyis 8, hiszen az osszes lehetosegeket
gek szamai a kovetkezok: megkapjuk, ha az a bran lathat6 8-fele m6don festett Mrom-
(3) 2, 3, 5, 8, ... emeletes haz mindegyikere meg egy uj negyedik emeletet
hllzunk es azt feherre festjtik. Azon festesi m6dok szamat,
A sorozat megegyezik a Fibonacci-fele sorozattal, ha amelyeknel a negyedik emelet kekre van festve, a kovetkezo
annak elso tagjat elhagyjuk.Ervenyes ez magasabb hazakra meggondolasokkal kapjuk meg: ha a negyedik emelet kekre
is? Igaz-e peldaul, hogy egy negyemeletes haz eseteben a lehe- van festve, akkor a harmadik emelet sztiksegkeppen feher,
lliszen feltetttik, hogy ket szomszedos szint nem Iehet kek.
®te
foldszintes hazak
Az osszes lehetosegeket megkapjuk tehat, ha az a bran lathat6
otfele m6don festett ketemeletes Mzra meg ket emeletet
kepzeltink ugy, hogy a harmadik emelet feherre, a ncgyedik
kekre van festve. Az osszes lehetosegek szama tehat 8 + 5 = 13.
loDTioDrti:J U gyanezzel a meggondolassal lathatjuk be, hogy otemeletes
(6 szintii) hazak eseteben a Iehetosegek szama 8+ 13 = 21,
l@I:I:J[Qg] hatemeletes haz eseteben 13+21 = 34, stb. Igy tehat a fe1-
1 emeletes h6zak
adat megoldasat a Fibonacci-fele szamsorozat szolgaltatja.
5. wiltozat: Egy teve-ad6allomas a milsorat ugy kesziti el,
l!oinW~
hogy a bet meghatarozott napjain sugaroz egy bizonyos
DO DO DO folytatasos milsorszamot (pl. matematikai ismeretterjeszto
DO DO eJOadas-sorozatot), a bet mas napjain nem. Hanyfele heti
2 emeletes h6zak
milsorterv keszitheto, ha kikotjtik, hogy a sz6ban forg6
milsorszam nem tilzhetO milsorra ket egymas utani napon?
Vegytik eszre, hogy a feladat ugyan rokon az eiObbi peldaban
llo~o~]o. ~~-o~~
targyalt feladattal, azonban nem azonos vele. Egy hatemele-
DO DO DO DO DO tes haz het szintjet megfeleltetve a bet bet napjanak (ugy,
DO DO DO DO DO hogy a hetfO megfelel a fOldszintnek, a kedd az elso emelet-
DO DO DO DO nek, stb., vegtil a vasarnap a hatodik emeletnek) es a kek
3 emeletes h6zak
szint a sz6ban forg6 milsornak, igaz az, hogy minden az
2. libra eloirasnak megfelelO milsortervnek megfelel egy megenge-
140 141
dett festesi eJOinis, forditva azonban nem. U gyanis a haz A 3. librlira valo tekintette1 fogalmazzuk iit a feladatot
fiildszintje es hatodik emelete lehet mindketto kekre festve, a kiivetkezokeppen: Egy banketten kor alaku asztalok melle
azonban nem felel meg az eloinisnak az olyan miisorterv, iiltetik a vendegeket: minden asztal koriil ugyanannyi hely
amelynel a szoban forgo miisor hetfOn is es vasarnap is van, amclyek szamozva vannak. Hanyfelekeppen lehet fer-
adiisra keriil, hiszen vasarnap utan megint hetfO kiivetkezik. fiakat es noket egy asztalhoz iiltetni, ha kikotjiik, hogy ket
A 1ehctseges miisorterveket a 3. libra mutatja, aho1 a het no nem keriilhet egymas melle. A 4. libra mutatja a lehetose-
napjait 1-tol 7-ig szamoztuk, es egy kiirre irtuk fe1 es bekari- gek szamat, ha 2, 3, 4, 5, illetve 6 hely van cgy aszta1 mellett:
kiiztuk azokat a napokat, amelyeken a szoban forgo miisor a bekarikazott helyekre iiltetjiik oket.
adasra keriil. Liitjuk, hogy a lehetseges miisortervek szama A 3. libra szerint hetszemelyes asztalokniil 29 iiltetes lehet-
29. E szam nem szerepel a Fibonacci-sorozatban, azonban seges. Latjuk, hogy 2-, 3-, 4-, 5-, 6-, 7-szeme1yes asztalokra
a fe1adat megis kapcsolatos a Fibonacci-szamokkal! Vizs- nezve az iiltetesek szama rendre
galjuk meg ugyanis, hogy hiiny lehetoseg volna a miisorterv
iisszeallitasara, ha nem hetnaponkent ismetlodo tervet akar- (4) 3, 4, 7, 11, 18, 29.
nank kesziteni, hanem pl. hiirom naponkentit vagy negy Nezziik meg k6ze1ebbr01 e szamsorozatot. Abbol a ce1bol,
naponkentit. hogy megta1aljuk a (4) sorozat kapcsolatat a Fibonacci-
000000
7 727 7272 legyen, a megmarado ket helyre annyifelekeppen lehet fer-
6 3 36 36 36 3 fiakat es noket iiltetni, ahiiny megengedett festesi lehetoseg
r2)4 54 St. 4 54
van egy 2 szintii (I emeletes) hiiz eseteben, vagyis harom-
felekeppen, es 8 + 3 = 11. Hasonlokeppen lathato be, hogy
00 0 0 0 0 5
s
123 6 1 23 6
54
1 23 67 1 2 3
54 ®4 54
1 23 hatszeme1yes asztal eseteben az iiltetesek szama 13+5 = 18,
hetszemelyes aszta1nal 21 + 8 = 29 stb.
TeMt a (4) szamsorozatot az (1) Fibonacci-sorozatbol
00 0 0 0 6
s
1 36
H€-tszern€lyes aszta!
3. abra
'
23 6
© '
1 23 61]
2
'
ugy kapjuk, hogy (a harmadik tagtol kezdve) minden taghoz
hozzaadjuk a kettovel megeJOzo tagot:
OW
n01,nnr;w)~
WU'VJJU 3
a ferfiak vacsora kozben sz6rakoztassak, es ezert irjuk elo,
hogy egy no mellett bal es jobb oldalon egyarant ferfinak
kell iilnie. Marmost aki egyszemelyes asztalnal iii, annak
Negyszem€-lyes asztal
nines szomszedja (illetve ugy is felfoghatjuk, hogy o sajat
rnaganak szomszedja), tehat nern rnegengedett iiltetes az,
hogy egy no egyediil iiljon egy asztalnal. Igy tehat latjuk,
00,,O,(Jj0s
00005
1
2 5 Q) 5 2 5 2 5 2 hogy a sz6ban forgo feladat megoldasa a Fibonacci-szarnokra
Qo 12 0
' 3 ' 3 ' QJ © 3 /, 3
vezet, azonban nem egy Fibonacci-szarn adja a megoldast,
hanem a Fibonacci-sorozat ket olyan tagjanak 6sszege,
12 amelyek koziil a nagyobbik ket hellyel van jobbra a kisebbik-
tol.
' 3 © 3 ' 3 ' QJ
6. valtozat: Irjuk fel ujra az e16zo valtozatban nyert szam-
Otszemt?lyes asztal
sorozatot:
(5) 3, 4, 7, 11, 18, 29, 47, 76, 123, ...
0000 6
5
00 2
3
6
5
2
3
6
5
1
3
2 6
5
2
3
' 6
5
2
3
Az egymas utani tagok kiilonbsegeit megvizsga!va eszreve-
hetjiik, hogy e sorozatnak ugyanolyan tulajdonsaga van,
0000010
47 = 18+29, 76 = 29+47.
6 2 2 2 6 2 6
Mi ennek az oka? Hogyan fiigg ossze az (5) sorozatnak
I] 5 3 5 3 5 5 3
' ' @ ' '
ez a tulajdonsaga az (I) sorozatb61 va16 szarmaztatasaval?
HatszemE>lyes asztal Ehhez celszerii a matematikaban sorozatok vizsgalatanal
4. abra
szokasos jeloleseket hasznalni . .Teloljiik Fn-nel az (I) sorozat
144 10 145
n-edik tagjat; igy tehat
masodik tagra semmilyen megszoritast nem tartalmaz; ha
F, = 1, F2 = 2; Fa= 3, F.= 5; Fs = 8 sf.t. azonban az elso ket tagot megvalasztottuk, ezzel az osszes
A Fibonacci-szamok definici6ja szerint ervenyes n minden tobbi tag mar meg van hatarozva, es az egesz sorozat felir-
ertekere az hat6. Ha peldau1 az elso ket tag 1 es 6, akkor a sorozat
(6) Fn = F,_, +Fn-2 (9) 1, 6, 7, 13, 20, 33, 53, 86, ...
osszefiigges. Jeloljiik tovabba G,-ne1 az n szemelyes asztal Persze, nemcsak azaltal van meghatarozva egy Fibonacci-
koriili megengedett iiltetesek szamat. Vagyis legyen tipusu sorozat, ha az e1so ket tagjat elOirjuk, hanem ugy is,
ha ket tetsz61eges sorszamu tagjat irjuk e16.
G, = 1, G2 = 3, Ga = 4, G• = 7, G5 = 11 s i.t.
Peldau1 keressiik meg azt a Fibonacci-tipusu sorozatot,
Az elozoekben belattuk, hogy amelynek elso tagja 1 es negyedik tagja 9. Jelii1jiik x-sze1
(7a) G, = Fn+Fn-2· e sorozat masodik tagjat, akkor harmadik tagja 1+ x, negye-
dik tagja x+(J +x) = I +2x. Mivel feltevesiink szerint a ne-
Ce1unk megmutatni, hogy
gyedik tag 9, tehat fenn kell allni az I+ 2x = 9 egyenletnek,
(7b) G, = G,_, +Gn-2· amib61 x = 4, vagyis a keresett sorozat
Ezt a kovetkezo egyszerii szamo1assa1 lathatjuk be a (6) es (10) 1, 4, 5, 9, 14, 23, ...
a (7a) iisszefiiggesekbOI:
8. vtiltozat: Vizsga!juk meg, hogy az iskolab61 ismert egy-
Gn = F,+Fn-2 = (F,_,+Fn-2)+(Fn-a+F,_.) = szerii szamsorozatok lehetnek-e Fibonacci-tipusu szorzatok.
= (F,_,+F,_a)+(Fn-2+Fn-<) = G,_,+Gn-2· Konnyii belatni, hogy szamtani sorozat csak ugy lehet Fibo-
7. vtiltozat: Mivel most mar ket kiilon bozo olyan soro- nacci-fele sorozat, ha csupa O-b61 all. Ugyanis egy szamtani
zattal is talalkoztunk, amelyben minden tag egyenJO az elozo sorozat egymas utani tagjainak kiilonbsege alland6, mig egy
ket tag osszegevel, pr6baljunk attekintest szerezni az iisszes Fibonacci-tipusu sorozat egymas utan kovetkezo tagjainak
ilyen sorozatokr61. Nevezziink Fibonacci-tipusll sorozatnak kiilonbsege - mint azt a 2. valtozatban lattuk - ugyanazt
minden o1yan szamsorozatot, amelyben a harmadik tagt61 a sorozatot adja (egy hellyel job bra eltol6dva).
kezdve minden tag egyenlo az elozo ket tag iisszegevel. Ha
egy ilyen sorozat n-edik tagjat a,-neljeliiljiik (n = 1, 2, ... ), Vizsgaljuk meg most, hogy mertani sorozat lehet -e
akkor teMt egy ilyen sorozatra azt tessziik fel, hogy n minden Fibonacci-tipusu sorozat. Mertani sorozatnak nevezziik
ertekere fennall az az olyan sorozatot, amelyben az egymas utan kovetkezo
tagok Mnyadosa alland6. .
(8) a,= a,_,+an-2 (n = 3, 4, ... ) Ha a, a2, ... a,, ... egy mertani sorozat, es az egy-
iisszefiigges. mas utani tagok Mnyadosat q-val jeiO!jiik, a 2 = a 1q,
Nyilvanval6, hogy egy ilyen sorozat elso ket tagjat tetszo- a 3 = a2q = a,q 2 stb., altalaban
legesen valaszthatjuk meg, hiszen a (8) felteves az elso es (11) a,= a,q"-' (n = I, 2, ... )
146
10* 147
Ha teMt egy ilyen (a.) mertani sorozat egyben Fibo- 9. vdltozat: Mivcl y5 irraciomilis es igy a q 1 es q2 SZlimok is
nacci-fele sorozat is, akkor fenn kell allnia az a 3 = irraciomilis szamok, tcrmeszetesen a most kapott Fibonacci-
=a, +a,, a.= a,+aa, ... es altalaban az a.= an-1 +a._. We sorozatok nem egesz szamokb61 allnak. Peldaul, ha
azonossagnak, vagyis a (II) keplet alapjan kell hogy a,= t'5+3, akkor aza. = a,q;- 1(n = I, 2, ... ). Fibonacci-
teljesiiljenek az tipus sorozat a kovetkezo
(12) a1q2 = a,+a,q (16) V5+3, 2 v5+4, 3 V5+.7, 5 V5+ 11, ...
a,q3 = a,q+a,q2
osszefiigges.
a,qn-1 = a,q·-·+ a,qn-3 Vegyiik eszre, hogy e sorozat tagjait ugy kapjuk meg,
hogy az 1, 2, 3, ... Fibonacci-tipusu sorozat egy tagjanak ot-
osszefiiggesek. Konnyen belathat6, hogy a (12) alatti szorosehez hozzaadjuk a 3, 4, 5, 11, ... Fibonacci-tipusu
osszefiiggesek mindegyike az elozobol mindket oldal sorozat megfelelo sorszamu tagjat.
q-val va16 beszorzasaval nyerheto. Ha tehat a (I 2) elso Konnyu bclatni, hogy egy tetszO!eges Fibonacci-tipusu
soraban a116 osszefiigges ervenyes, akkor a ti\bbi is az. sorozat tagjait egy alland6 szammal vegigszorozva ujb61
lgy tehat arra az eredmenyre jutottunk, hogy a (I 1) egy Fibonacci-tipusu sorozatot kapunk, tovabba, hogyha
mertani sorozat akkor es csak akkor lesz Fibonacci- ket tetszoleges Fibonacci-tipusu sorozat megfelelo tag-
tipusu sorozat, ha jail osszeadjuk, megint csak Fibonacci-tipusu sorozatot
(13) a 1q2 = a, +a,q. kapunk.~ Altalaban, ha a. es b. ket tetszoleges Fibonacci-
tipusu sorozat, A· es B pedig tetszoleges szamok, akkor a
Feltehetjiik, hogy a1 nem zerus; ez esetben (13) mind-
(17) Cn = Aan+Bb. (n = 1, 2, ... )
ket oldalat a,-gyel osztva a
(14) q' = 1+q sorozat ujb61 Fibonacci-tipusu sorozat lesz.
Ugyanis, ha a.= a• ..:1 +a._ 2 es b.= b.='1 +b._ 2,
egyenletre jutunk. igy tehat ahhoz, hogy a ( 11) mertani akkor (17) szerint ervenyes a
sorozat Fibonacci-tipusu legyen, az sziikseges (es eleg-
(18) C.= Aa.+Bb. = A(an-1 +a._,)+B(bn-1 +b._,)=
seges is), hogy q eleget tegyen a (14) egyenletnek.
A (14) egyenletnek ket gyoke van: = Aa._ 1+Bb._,+Aa._,+Bb._, = C.-t+C,.;...2
osszefiigges is.
(15) q, = V5+1
-2 es --(V5-1).
q,- 2 Ennek alapjan ket alkalmasan valasztott kiilonbozo
Fibonacci-tipusu sorozat segitsegevel barmely Fibonacci-
Igy tehat arra az eredmenyre jutottunk, bogy ha q 1 es tipusu sorozatot eloaJlithatunk. Tgy peldaul igaz a kovet-
q 2 a (I 5) alatti szamok, akkor az a. = a1 q~- 1 e; kezo allitas: Barmely (a.) Fibonacci-tipusu sorozat elo-
a. = a1q~-· mertani sorozatok is Fibonacci-fele soro- allithat6
zatok; a 1 itt tetszoleges szam. (19) a.= AF.+BG.
148 149
alakban, ahol (F.) az (!, 2, 3, 5, 8, ... ) es (G.) az (1, 3, 4, sorozatra azt kapjuk, hogy
7, 11, ... ) sorozat. qi+l~q~+l
Ugyanis, ha a 1 es a 2 meg vannak adva, akkor ugy Fn=~·-,
valaszthatjuk meg az A es B alland6kat, hogy (19) fenn-
alljon n = I-re es n = 2-re; akkor az A es B szamokat vagyis
ugy kell megvalasztani, hogy azok cleget tegyenek a (20) F. = (I+ y'5)"+1_ (1- ys)•+l
2•+1.Jf5
(20) a1 = A+B
a2 = 2A+3B Ezt a kepletet Binet-fele kepletnek nevezik.
egyen1etrendszernek; a (20) egyenletrendszer megold- 10. wiltozat: Vizsgaljuk most meg, hogyan viselkednek
hat6, es megoldasa a kovetkezo: az (1) Fibonacci-szamsorozat egymas utan kovctkezo tagjai-
nak Mnyadosai:
(21) A = 3al-a2
3 5 8
B = a2-2a1. 3_l = 2, 2= 1,5, 3 = 1,666 ... , 5 = 1,6.
Igy tehat a kovetkezo eredmenyt kaptuk: egy tetszoleges
a. Fibonacci-tipusii sorozat eloallithat6 Ha a sort fo1ytatjuk, e Mnyadosok valtakozva fogynak es
nonek, de egyre kisebb ingadozasokat vegeznek.
(22)
alakban.
a.= (3a1-a2)F.+(a.-2a1)Gn
Meg lehet mutatni, hogy e Mnyadosok, vagyis az ;..+ 1
- 1 es
q1 = -y'S2+ ' q. = (y'S:...!)
- 2 . Magara
' az Fn F"b .
1 onacc1-
(27)
F~:1 1+(-:.~ 1 )
=
iSO !51
es igy a nagyobbik resz ugy arimylik az egeszhez, mint a kisebbik
(28) Fn+l Fn-1 ( Fn ) resz a nagyobbikhoz. Az ilyen felosztast az 6kori gorog mate-
--p;:-q, = - F.·q,. F._-;_-q, . matikaban aranymetszesnek neveztek.
Az aranymetszes lege!Oszor a szabalyos tizszog oldalanak
A (28) egyenletbol Ieolvashat6, hogy az F~: 1 -q 1 elteresek megszerkesztesenel lepett fel, ugyanis a szabalyos tizszog
valtakozva pozitivak, illetve negativak, tovabba az is, hogyha oldala a kore irt kor sugaranak eppen a q,-ed resze, mint az
F~+l__q
n
1 abszolut erteket d.+l·gyel je!Oljiik, akkor (figye- 5. abrar61 leolvashatjuk.
156 157
moknak a 4. valtozatban megadott kombinatorikus inter- maradekok sorozatat. E sorozat minden tagja a 0, 1, ... ,
pretaci6ja alapjan is. U gyanis konnyen meg Iehet mutatni, ... , N -1 szamok egyike, tehat csak N ktilonbozo erteket
hogy egy n-szintii Mz festesenel azon megengedett lehetose- vehet fel. Enm\lfogva ket egymas utani maradekb61 al16
158 159
az elso tagja, vagyis I is oszthat6 volna N-nel), akkor azt lent utanz6 un. pszeudo-wHetlen szamokat a szamit6gep gene-
kapjuk, hogy a peri6dus legfeljebb N 2 - 1-gyel egyenlo, ralja, olyan jellegii, hogy minden szamjegyet a gep az eiOzo
vagyis dN § N2 - I. (Vegyiik eszre, hogy d 2 = 3 = 22 - I neMny jegyen vegzett miivelettel allit e\6, a kapott szamsoro-
es d3 = 8 = 32 - I.) A fenti peldaban a bette! val6 osztasi zat sziiksegkeppen periodikus lesz. Persze, ez nem feltetleniil
maradekok sorozataban megjeloltiik azt a helyet, ahol az je)enti, hogy a kapott szamok nem hasznalhat6k veletlen
I, 2 szampar eloszor ismetlOdik. Latjuk, hogy d, = 16. szamokkent, csak arra kell iigyelni, hogy a peri6dus nagyon
(Vegyiik eszre, hogy d, nem egyenlo 72 -1 = 48-cal, de annak nagy legyen.
oszt6ja.) 15. valtozat: Vizsgaljuk meg a Fibonacci-szamok soroza-
Mivel a (2) sorozatban e!Ofordul a 0, es a (2) sorozat tag- tanak n!szletosszegeit, vagyis az
jainak N-ne! va16 osztasanal fellepo maradekok sorozata
s1 = 1,
periodikus, teMt e sorozatban vegtelen sokszor elofordul a 0.
Ez azonban azt jelenti, hogy akarmilyen N szamot adunk is s. = 1+2 = 3,
meg, az (I) sorozatban vegtelen sok olyan tag van, amely Sa= 1+2+3 = 6,
oszthat6 N-ne!.
Erdekes problema az Fn-sorozat tagjai egymassal val6 oszt-
s. = 1+2+3+5 = 11,
hat6saganak kerdese. Bizonyitas nelkiil kozoljiik itt az erre Ss = 1+2+3+5+8 = 19,
vonatkoz61egfontosabb eredmenyt; az Fn szam akkor es csak s. = 1+2+3+5+8+ 13 = 32,
akkor oszthat6 az Fm szammal (I § m < n), ha n+ I oszt-
stb.
hat6 m+l-gyel. EbbOl kovetkezik, hogy Fn csak akkorlehet
primszam, ha n+ I primszam, vagy ha n = 3. Nem jelenti szamsorozatot. Ha az igy nyert
ez persze azt, hogy ha p primszam, akkor FP_ 1 biztosan
primszam; sot, meg az is megoldatlan problema, hogy a Fibo- 35) I, 3, 6, 11, 19, 32, ...
nacci-szamsorozatban vegtelen sok primszam fordul-e elo. szamsorozat minden tagjat kettovel megnoveljiik, a 3, 5, 8,
Megjegyzendo, hogy az elmondott bizonyitas alkalmazha16 13, 21, 34, ... szamokat kapjuk, vagyis a Fibonacci-szamo-
minden 0, I, ... , N -I szamokb61 all6 szamsorozatra, kat kapjuk a harmadik tagt61 kezdve. Kepletben felirva:
amelynek minden egyes tagjat valamilyen megadott eloirassal
kepezziik megadott szamu elozo tagb61; az osszes ilyen soro- (36) Sn-Fn+2 = 2.
zatok sziiksegkeppen periodikusak. Ez a megjegyzes fontos
Megjegyezziik azonban, hogy az Sn sorozat maga nem
szerepet jatszik az un. ,pszeudo-wHetlen" szamok genera/a-
Fibonacci-tipusu, kepzesi szabalya ugyanis nem ugy sz61,
sana!. Amikor elektronikus szamit6gepen vegzendo szami-
hogy minden tag egyen\6 az elozo ket tag osszegevel, hanem
tasokban az un. Monte-Carlo-m6dszer alkalmazasahoz ,ve-
ugy, hogy minden tag kett6vel nagyobb az elozo ket tag
letlen" szamokra van sziikseg, e szamokat a szamit6gep egy
osszegenel, vagyis
megadott program szerint maga allitja eiO. A fenti meggon-
dolas mutatja, hogy ha az algoritmus, amellyel ezeket a velet- (37) Sn = Sn-1 +Sn-2+2.
160 161
II
Vizsgaljuk most azt a sorozatot, amelyet ugy kapunk ZAR6AKKORD
a Fibonacci-tipusu sorozatb61, hogy minden masodik tagot
elhagyunk, vagyis az A bemutatott ,valtozatok" a Fibonacci-szamokb61 kiindulva
elvezettek az algebra, a szamelmelet, a kombinatorika, a geo-
(38) 1, 3, 8, 21, 55, 144, ... metria, a differencia- es differencialegyenletek, a kereses-
elmelet, a rekurziv algoritmusok, a Monte-Carlo-m6dszer
sorozatot. Kerdes, mi ennek a kepzesi szabalya? Konnyen sok erdekes kerdesehez. E valtozatok sorat meg folytatni
belathat6, hogy e sorozatban a harmadik tagt61 kezdve min- lehetne, de ugy hissztik, ennyi is e!eg annak erzekeltetesere,
den tag egyenlO az elozo tag Mromszorosanak es a kettovel bogy (ugyanugy, ahogy egy egyszerti dallam is gyakran tobbet
elobbi tagnak a ktilonbsegevel (vagyis 8 = 3 ·3-1, 21 = rejt magaban, mint elso halilisra gondolnank) egy egyszerii
= 3-8--3, 55= 3·21-8, 144 = 3·55-21, ... stb.), tehat matematikai feladat - mint peldaul Leonardo Fibonacci
ha H, jeloli a (38) sorozat n-edik tagjat, akkor mester peldaja a nyulak szaporodasar61-, ha azt tobb oldal-
(39) H.= 3H.-I-Hn-o. r61 alaposan megvizsg!iljuk, bepillantast nyujthat a modern
matematika szamos aktmllis problemakorebe.
A (39) kepzesi szabaly specialis rekurziv osszeftigges.
Rekurzivnak neveztink egy olyan eloirast (algoritmust), amely
elOirja, hogyan lehet egy sorozat Mrmely tagjat a megelozo
tagokb61 kiszamitani. A (39) rekurziv osszeftigges emellett
linearis Is, tehat olyan eloirast ad, hogy a sorozat barmely
tagjat az eloro tagokb61 egyiitthat6kkal kepezett osszeg
alakjaban lehet kiszamitani. Nem linearis rekurzi6val adhat6
meg pl. a k6vetkez6 szamsorozat:
(40) 2, 4, 8, 32, 256, 8192, ...
~ "~~'
Az eloadas celja, bogy bevezetest nyujtson a fak matemati-
kai elmeletebe, es attekintest adjon az elmelet szeles ki:irii
alkalmazasi lehet6segeir61 (az algebraban, az informaci6-
elmeletben, az operaci6kutatasban, a kemiiiban, biol6giaban
stb.). 4
Ami a cimet illeti, a ,matematikai" jelzot azert tettem 1. abra
hozzii, hogy elkeriiljem az esetleges felreerteseket. Talan meg
helyesebb lett volna, ba a cim igy bangzik: ,A matematikai Az 1. abran bemutatott griif egy fa (bar a Mromfele abra-
fiik elmeleterol", biszen a ,fiik", amelyekrol beszelni szan- zolasiib61 csak a barmadik basonlit egy fahoz). Egy G griifot
dekozom, val6jaban matematikai objektumok, nevezetesen iiltalaban egy (V, E) par definial, abo! V a P~, P 2 , _ •• P.
bizonyos tipusu griifok. A fiik elmelete a grafelmelet egy objektumok balmaza (ezeket szi:igpontoknak vagy pontok-
fejezete. nak nevezziik), E pedig a V balmaz elemparjainak egy hal-
V. W. Rouse-Ball: Mathematical recreations and essays maza (ezeket eleknek nevezziik), azaz E reszbalmaza a V kii-
(Matematikai jiitekok es tanulmiinyok) cimii hires munkaja- li:inbozo (rendezetlen) elemparjaib61 all6 V 2 halmaznak. Egy
ban [1], amelyet eloszi:ir 1892-ben publikalt, egy egesz feje- (.P,, P) (i 7" j, P,, P1 E V) elt a P,-t P1-vel i:isszeki:ito elnek
zetet szentel ennek a targynak (lasd [1], 260-262); taliin nevezziik; P,-t es Pi-t az e = (P,, P) el w?gpontjainak nevez-
eppen ugyanezen okb61 ,geometriai faknak" nevezi oket. ziik. HaG= (V,E) egy graf, aP, P 2 , ••• , P, a V halmazhoz
A ,geometria" manapsiig elfogadott je1entese alapjiin azon- tartoz6 kiili:inbi:izopontok esa (P1P2), (Pz, P3), ... , (P,_ 1, P,)
ban a griifok altalaban es specialisan, a fiik, nem tartoznak elek valamennyien a G graf E elbalmazaboz tartoznak, akkor
a geometria teriiletere. Annak ellenere, bogy a griifokat o1yan ezt az elsorozatot a P1·et P,-re1 i:isszeki:ito ,lit" -nak nevezziik.
sikbeli geometriai abrakkal reprezentaljak, amelyek pontok- Ha a P, P., ... , P,_ 1 pontok kiilonbi:izok, de P, = P"
b61 (,szi:igpontok") es bizonyos pontparokat i:isszck6t6 egye- akkor a (P1. P.), ... , (P,_ 1 , P,) eleksorozatat ,ciklus"-nak
nesekb61 (,elek") allnak. A graf azonban nem geometriai vagy ,kor"-nek nevezziik. A griifot ,osszefogg/J"-nek nevez-
objektum, mintbogy a pontok helyzete a sikon teljesen le- ziik, ha barmely ket szogpontja ossze van ki:itve egy uttal.
Egy i:isszefiiggo griifot fanak neveziink, ba nem tartalmaz
0 Az 1968. aprilis 30-an Cambridge-ben tartott un. ,Rouse-Ball-elo-
adas" szOvege. ki:irt.
164 165
visszatekintve, a kozepkori Eur6pa elso matematikai konyve,
Nyilvan egy fa barmely ket szogpontja egy es csak egy Fibonacci munkaja a XIII. szAzadban, mar tartalmaz egy
uttal van osszekotve. Egy gnifban a leghosszabb ut hosszat peldat a nyulak szaporodasar61, amely a r6la elrievezett
atmeronek nevezziik. Ha egy grafr61 csak azt tudjuk, hogy 1, 1, 2, 3, 5, 8, ... hires sorozathoz vezetett. Ezt a problemat
kormentes, meg lehet nem-osszefiiggo: ebben az esetben ugy interpreta!hatjuk, mint bizonyos fak vegpontjainak le-
osszefiiggo reszekbol all, amelyeket ,komponensek" -nek ne- szamlalasi problemajat. (Usd 2. abra.)
veziink, es ezek termeszetesen mind fak. Ezert egy kormentes Ehhez a problemahoz kesobb a fak es az elagazasi folya-
gnifot ,erdO"-nek neveziink. Minden n-szogpontu (n-pontu) matok kapcsolatanak targyalasanal meg visszateriink.
osszefiiggo gnif tartalmaz n-szogpontu fakat, amelyeket a
grafot kifeszito faknak neveziink. Ha a graf nem fa, akkor
tartalmaz legalabb harom ilyen fat. FAKRA VONATKOZ6 LESZAMOLASI PROBLEMAK
A ,fa" elnevezest A. Cayley vezette be 1857-ben, a fakkal
foglalkoz6 egyik elso cikkeben. Cayleynek ezt a fontos cikket Egy fa szogpontjainak szamat a fa rendjenek nevezziik.
[2] harom tovabbi cikk kovette [3], [4], [5]. A fakra vonat- A fakra vonatkoz6 legegyszeriibb tete! a kovetkez6: Egy
koz6 elso jelentos eredmenyek termeszetesen Cayleytol szar- n-szogpontu fa eleinek N szama n-1-gyel egyenlo. (lasd 3.
maznak; igy a fak elmeletenek fejlodese val6jaban a camb- abra, ahol az 1, 2, 3, 4 es 5-szogpontu fakat mutatjuk be.);
ridge-i egyetemrol indult el. A fa fogalma azonban meg re- A bizonyitas egyetlen mondatban megadhat6. Valasszuk
gebbi. Peldaul Cayley elott tiz evvel, 1847-ben mar Kirchhoff ki a fa egy tetszoleges szogpontjat, es nevezziik ezt a fa,
is vizsga!t fakat clektromos M16zatok tanulmanyozasaval
a) b) c) d)
kapcsolatban. De egy hadsereg tisztikaranak hierarchikus
rangh!traja a fa fogalmanak elso elofordulasa, meg regebbi.
Peldaul a leszarmazasi fak fogalmat szeles korben alkalrnaz-
tak a XVII. szazadban es talan meg korabban. Meg regebbre
•
n~1
N=O
I
n~2
N=1
v n~3
N=2 !\V
8 ~
e) n~4
N~3
y ~>
3. abra
n~s
N=4
2. abra
167
166
, ,gyokerenek". Szamozzuk meg a tobbi pontot, az I, 2, ...
. . . , n-1 szamokkal. Szamozzunk meg minden elt az el
azon vegpontjanak szamaval, amely a gyokertol indul6 es
a sz6ban forgo ellel zar6d6 utnak a vegpontja. Ilyen m6don
minden elt megszamoztunk es az I, 2, ... , n - I szamok
mindegyiket pontosan egyszer hasznaltuk fel (minthogy min-
y
den pont a gyokerrel egyetlen uttal van osszekotve), azaz az negyfelekeppen szamozhatjuk, aszerint, hogy a kozeppontot
elek szama n-1. hogyan szamozzuk. A Cayley-tete! legszebb bizonyitasa
Az elso nem trivialis kerdes a fakra vonatkoz6lag (ame- Priifertol szarmazik [6]. A bizonyitas fo gondolata az, hogy
lyet Cayley vetett fel es 6 is oldott meg) a kovetkezo: Mny minden fahoz hozzarendel egy olyan n-2 szarnb61 all6 soro-
ad ott pontu kiilonbozo fa Ietezik? Termeszetesen nem ege- zatot, amelynek minden jegye az I, 2, ... , n szamok vala-
szen nyilvanval6, mikor tekintiink ket fat kiilonbozonek. melyike. Egy ilyen sorozatot a fa Priifer-k6dszavanak nevez-
Val6ban, erre a kerdesr~ Iegalabb ket kiilonbozo m6don nek. Minthogy nyilvanval6an n•-• ilyen k6dsz6 van, Cayley
adhatunk ertelmes valaszt. Az egyik: a fa szogpontjainak formulajanak bizonyitasahoz elegendo megmutatni, hogy
megszamozasaval, azaz megkiilonboztethetonek tekintve kiilcsoniisen egyertelmii megfeleltetes van az n-sziigpontu
oket, es a masik: megkiilonboztethetetlennek tekintve a szamozott fak es a Pri.ifer-k6dszavak koziitt. Ahhoz, hogy
szogpontokat. A ki.ilonbseg n = 1-re es n = 2-re nern lep fel; ezt belassuk, e!Cg megmutatni, hogyan vegezheto el a k6dolas
akarrnelyik ertelemben is, csak egyetlen 1-szogpontu es egyet- es dek6dolas folyamata. Mielott a k6dolas es dek6dolas
len 2-szogpontu fa van (lasd 3a es 3b tibra). Ha azonban szabalyaira raternenk, ket egyszerii fogalmat vezetiink be.
a sz6gpontok meg vannak szamozva, nyilvan Mrom kiilon- A G graf egy P-szogpontjanakfoka (vagy valencitija) a G azon
bozo harmadpontu fa van, mig a szamozatlan esetben ezek Cleinek szarna, amelyeknek P az egyik vegpontja. Egy G gnif
mind azonosak. elsOfoku P pontjat a G ,vegpontja"-nak (vagy hatarpontja-
Je!Olji.ik c.-nel az n szamozott szogpontu fak szamat nak) nevezziik. Egy olyan elt, amelynek legalabb egyik veg-
(a rovidseg kedveert ezeket ,szamozott fak"-nak nevezziik). pontja a grafnak vegpontja, hatarol6 elnek nevezi.ink. Nyil-
Cayley bebizonyitotta, hogy van egy legalabb 2-szogpontu fa tartalmaz legalabb 2 veg-
Cn = nn-2, pontot. Most mar hozzafoghatunk a Cayley-tete! Pri.ifer-fele
azaz bizonyitasahoz. A k6dolasi algoritmus a kovetkezo:
D1 = 1- 1 = I, C 2 = 2° = I, C 3 = 31 = 3, C4 = 42 = 16, a) Valasszuk ki a Iegkisebb szarnmal megszamozott veg-
stb. pontot, (a 3-at), tavolitsuk el ezt a fab61 a hozza vezeto
A 16 negyedpontu szamozott fa a 3d tibra ket kiilonbozo hatarol6 ellel egyiitt, es irjuk le ezen elhagyott el masik veg-
tipusab61 a kovetkezokeppen kaphat6: az elso tipust (egy 3 pontjanak indexet (a 4-et); ez Iesz a k6dsz6 elso jele.
hosszusagu ut) 12-felekeppen szamozhatjuk (a 24 permutaci6 b) Ismeteljiik meg ugyanezt az eljarast a megrnarad6 fa val
kozi.il mindegyik ugyanazt a fat szolgaltatja, mint a megfor- egeszen addig, amig csak egy 2-szogpontu graf marad, azutan
ditott permutaci6), mig a masodik tipust (egy csillag, I. fent) alljunk meg.
168 169
A 4. abran bemutatunk egy peldat.
Dek6dolasi eljan\s
6233 233 33 3
44112
145 456 256 56 36
Pr(\fer-kodszo A megfelelo fa:
A konstrukci6b61 lathat6, hogy amennyiben a fa k-val
Fa
4. libra szamozott pontja d-foku, akkor a k szam a fa Priifer-k6d-
szavaban pontosan d -1-szer fordul elo; tehat specialisan
azok az indexek, amelyek a vegpontokhoz tartoznak (es csak
Ki:innyii belatni, hogy az eljaras egyertelmiien megfordit-
ezek) nem fordulnak elo a k6dsz6ban.
hat6, azaz a k6dsz6b61 a fa rekonstrualhat6.
Egy n-szi:igpontu teljes grafnak n•-• kifeszito faja van.
A dek6dolasi algoritr.:us a ki:ivetkezo: Irjuk a k6dsz6 ala
Egy fat , iiltetett" fanak neveziink, ha van egy kitiintetett
ni:ivekvo sorrendben az 1, 2, ... , n szamok ki:iziil mindazo-
pontja: gyi:ikere. A Cayley-tetelbOl nyilvanval6an ki:ivetke-
kat, amelyek nem fordulnak elo a k6dsz6ban. Nevezziik ezt
zik, hogy az n szamozott szi:igpontu iiltetett fak szama 1f'-1 .
a sorozatot antik6dnak. Ki:issiik i:issze a k6dsz6 elso jelevel
A szamozatlan fak leszamla!asa mar sokkal bonyolultabb.
szamozott pontot az antik6d elso jegyevel szamozott ponttal.
Azonban ezt a kerdest is megoldotta Cayley. Az 5 szi:igpontu
Hagyjuk el ezeket ajeleket; ha a k6dsz6 elhagyottjegye nem
szamozatlan iiltetett fak kilenc kiili:inbi:izo lehetseges fajtajat
fordul elo ti:ibbszi:ir a k6dsz6 megmaradt reszeben, irjuk ezt
a 6. abrdn mutatjuk be:
a jelet az antik6dba a megfelelo helyre. Ismeteljiik az eljarast
az uj k6dsz6val es antik6ddal mindaddig, amig a sz6
lYrl/v ;;"~
eltiinik. Ki:issiik i:issze vegiil azt a ket pontot, amelyeknek
indexei az utols6 antik6dot alkotjak.
Az 5. dbrdn bemutatunk egy peldat:
6233
Priifer-k6dsz6
l l 4 5 6 8 .i
6. abra -
o/. 3
s. libra
· a ki:ivetkezo kerdesre: hanyfele m6don lehet megadni n egy-
mast paronkent nem metsz6 ki:irt, amelyek tartalmazzak
egymast vagy kiviil esnek egymason. Peldaul n = 3 eseten
negy lehetoseg van, amelyeket a 7. abrdn mutatunk be:
170
171
@) 0 @
0 0 0 0
a sze1s6 esetek ( ut, illetve csillag) eppugy lehetsegesek, mint
az iisszes kiizbiilsii eset. Azonban a kerdes ezzel meg nines
I
~ y 'V
megviilaszolva: val6ban, ha n igen nagy sziim, a rengeteg
lehetoseg kiiziitt (ha sziimozott fiikat tekintiink, miir tudjuk,
hogy ez n"- 2 lehetoseg) a t = 2 es t = n-1 szels6 esetek
igen ritkiik: a t = n-1 eset csak n esetben fordul el6, mig
a t = 2, ~~ esetben, amely biir nagy sziim, megis igen kicsi
7. abra n"- 2-vel iisszehasonlitva (amint azt a Stirling-formula mu-
tatja). M6dositsuk a kerdest a ki:ivetkezokeppen: hiiny olyan
Rouse-Ball kimutatta, hogy n ki:ir escterc a kerdeses sziim n-szi:igpontu sziimozott fa van, amelyeknek pontosan t veg-
megegyezik az n+ 1 sziimozatlan szi:igpontu iiltetett fiik szii- pontja van? Mennyi speciiilisan az n-szi:igpontu (sziimozott)
miival (tehiit n = 3-ra cz a sziim 4-gyel egycnl6). Ez a ki:ivet- fiik legti:ibbjenel a vegpontok sziima? Az ut6bbi kerdest igy
kez6 konstrukci6b6lliitbat6: is meg lehet fogalmazni: ha az n"-• kiili:inbi:iz6 n-szi:igpontu
Tekintsiik n ki:ir valamely lehetseges konfiguriici6jiit. (sziimozott) flit egy nagy kalapba rakjuk es kihuzunk onnan
Foglaljuk bele az egesz konfiguriici6t egy nagy ki:irbe. Az n+ 1 taliilomra egyet, majd megsziimoljuk ennek vegpontjait,
ki:ir mindegyikehez rendcljiik hozzii egy fa szi:igpontjait es mit mondhatunk e sziim ki:izelit6 va16szinii erteker61? Miis-
ki:issiink i:issze ket szi:igpontot, baa megfelel6 ki:iri:ik olyanok, keppen fogalmazva: kiizelitoleg hiiny vegpontja van egy
bogy az egyik ki:izvetleniil benne van a miisik belscjeben tipikus n-szi:igpontu fiinak?
(anelkiil, hogy egy harmadik ki:ir lenne kiiztiik). A nagy kiir- Nehiiny evvel ezelott ki:izi:iltem a kerdes vegleges megoldii-
biiz, amcly az egesz konfiguriici6t tartalmazza, a gyi:iker van siit [7]. A kerdesre kapott meglcp6 viilasz az, hogy a legti:ibb
bozziirendelve. A hiirom ki:ir negy lebetseges konfigun\ci6jii-
boz tartoz6 fiikat a 7. dbran mutattuk be. fa vegpontjainak sziima ki:izelitoleg -"-, ahol e a termeszetes
e
Amint azt Rousse-Ball megmutatta, Cayley els6 eredme- logaritmus alapsziima (e = 2, 718 2 ... ) ; tehiit egy tipikus
nyeb61 ki:ivetkezik, bogy ba az n kiirt megsziimozzuk, akkor fiiban a pontoknak ki:iriilbeliil 36,8%-a vegpont. Hasonl6an
a lehetseges konfiguriici6k sziima (n+ 1)"- 1 . Peldiiul n = 3-ra kerdezhetjiik: hiiny d-foku pontja van egy tipikus n-szi:igpontu
a 7. dbra 4 konfiguriici6jiit 6-, 6-, 3-, 1-felekeppen sziimozhat-
juk meg es fiinak? A viilasz: ki:izelitoleg e( d: 1)! ; az~z ki:izelitoleg ~
6+6+3+1 = 16 = (3+1)'i-1.
2-foku, ;e 3-foku, :e 4-foku stb. pont van. Megjegyezziik,
~ n
A FAK STATISZTIKUS ELMELETE
hogy I . (d-1)'·
d=1 e
= 1.
A kiivetkez6 kerdesbol indulunk ki: hiiny vegpontja lehet Miis sz6val, egy tipikus fa pontjainak 1-gyel csi:ikkentett
egy n-szi:igpontu fanak?. Els6 pillantiisra a valasz trivialisnak foka ki:izelitoleg 1 viirhat6 ertekii Poisson-elosztiist ki:ivet.
tfinik. A vegpontok t szama mindig "" 2 es :;§ n-1, es ezek Ami az iitlagos foksziimot illeti, ki:innyii eszrevenni, hogy
172 173
ez mindig 2-3_. Val6ban, konnyen lathat6, hogy egy gr:ifban Vizsgaljuk most - ugyancsak statisztikus szempontb61-
n
a pontok fokainak osszege az elek szamanak ketszercsevel egy iiltetett fa h magassaganak, azaz a gyiikert61 indul6 leg-
egyenlo, vagyis egy n-pontu fa eseten eppen 2n- 2. hosszabb ut hossz:inak kerdeset (egy ut hossza azon elek
A fent emlitett eredmeny bizonyitasa azonnal kovetkezik szama, amelyekbOI az ut all). Nemregen oldottuk meg a prob-
a fak Priifer-k6dol:isab61. Val6ban ez a k6dolas a kovetkezo- lema! Szekeres Gyiirggyel koziisen (lasd [9]). A megfelelo,
keppen interpret:ilhat6: az, hogy talalomra valasztunk egyet nem-statisztikus kerdesre a valasz ismc!t trivialis: a magassag
a lehetseges n-szamozott szogpontu fak koziil (felteve, hogy legalabb 1 es legfeljebb n-1, ezek es minden kiizbiilso h ma-
mind az n"- 2 lehetoseg egyenloen val6szinu'), elvegezheto ugy, gassag lehetseges.
hogy n-2 goly6t talalomra elhelyeziink n dobozban (vagy Ami egy tipikus n-sziigpontu iiltetett fa magassag:it illeti,
urnaban) oly m6don, hogy minden goly6 ugyanolyan val6- azt talaltuk, hogy ez aszimptotikusan y'2M "' 2,506 63 yn es
sziniiseggel eshet b:irmelyik dobozba. Az iiresen maradt do- ugyancsak meghataroztuk az n-sziigpontu iiltetett (szamo-
bozok szama megegyezik a vegpontok szamaval; a pontosan zott) fak eloszlasat magassaguk szerint. Megmutathat6, hogy
egy goly6t tartalmaz6 dobozok szama a 2-foku pontok sza- egy tipikus n-sziigpont(t fa :itmeroje ugyancsak yn nagysag-
maval, es altalaban, a pontosan d-1 goly6t tartalmaz6 p
dobozok szama a talalomra valasztott fa d-foku pontjainak
rendii. A Yn hatareloszlasa nem ismeretes!
sz:imaval egyezik meg. Az a problema, amelyre a kerdest Megemlitjiik, hogy mar Cayley is vizsgalta azt a kerdest:
visszavezettiik, kiinnyen megoldhat6. Megmutathat6, hogy h:iny n-sziigpontu, h magassagu iiltctett fa van.
a faknak a vegpontjaik szerinti eloszlasa kiizelitoleg norma-
lis ~ !!..
e
varhat6 ertekkel es
e
!!..(t- 3_)e sz6rassal. ALKALMAZASOK AZ OPERACIOKUTATASBAN
Ami a faknak a d-foku pontok szerinti elosztasat illeti, Tekintsiik a kiivetkezo gyakorlati kerdes: valamilyen ha16-
megmutathat6*, hogy ez is kiizelitoleg normalis e(d: 1)! zatot (kabel, aut6utak, vasut stb.) kell epiteni ugy, hogy bizo-
nyos szamu varos koziil b:irmelyik kettot osszekosse ez a
'h •• 'kkJ< n
var ato erte e cs e(d- 1)!
(1 - l+(d-2)2)
e(d- 1)!
••
szorassa.
I h:il6zat. Gazdasagossagi okokb61 a h:il6zat osszes koltseget
minimalizalni kell. A h:il6zatnak tovabb:i olyan osszekottete-
( Lasd 8. libra).
seket kell tartalmaznia az emlitett varosok koziil ketto-ketto
~
kozott, amelyeknek koltsege minden ilyen parra elore adva
2 4
* Az eredmc!ny
8. abra
bizonyit8.s<lhoz pCidiml a nemn!gen J. V. Bolotnyikov
altai megoldott megfelel6 klasszikus urnaproblemat lehet hasznalni.
(Lasd [8])
IT 9. abra
5
174 175
van. Konnyen h\thato, hogy az optimalis Mlozat sziikseg-
bizonyos Uin) also korlat, akkor az optimalis graf min dig egy
keppen egy fa. Mint lattuk, rf'- 2 olyan fa van, amely n varost
fa (es igy n-1 ele van). Peldaul d = 3-ra (azaz ha a ha!ozat-
kapcsol ossze; tehat az optimalis Mlozatnak ezek valamelyi-
nak olyannak kelllennie, hogy minden repiiloterrol Mrmely
kenek kell Iennie. Egy a problema megoldasara szolgalo
masikra valo eljutashoz legfeljebb ketszer kell atszallni) ez a7
algoritmust Boruvka adott [10] (lasd meg: Kruskal [11]),
amely Jepesrollepesre vezet az optimalis megoldashoz. (Lasd U 3 (n) also korlat ~-vel egyenlO.
9. abra.)
Koltsegek: N=15
C(1, 2) = 1
C(l, 3) = 1,5
C(1, 4) = 3
C(1, 5) = 6
C(2, 3) = 2 (Petersen grafja)
C(2, 4) = 1,5
C(2, 5) = 1,2
C(3, 4) = 8
C(3, 5) = 4
11:::10, k.e.4 N=12
C(4, 5) = 3.
X
jutni. Egy tovabbi mcgszoritas, hogy a repiiloterek maximalis
n.10, k=5 N•9
kapacitasa meg van szabva, azaz Mrmely repiiloterrol a koz-
vetlen Jegijaratok szama nem haladhat meg egy adott k sza-
. mot. Kerdes: mennyi azon kozvetlen osszekottetesek mini-
to. abra
m:His szama, amelyek mellett ilyen hal6zat letesitheto.
A grafelmelet nyelven kifejezve: konstrualando egy olyan
n-szogpontu, osszefiiggo graf, amelynek az atmeroje =" d, A 10. abran a 3 atmerojii optimalis halozatokat lathatjuk
pontjainak fokszama nem haladhatja meg k-t, es az elek n = lO-re es k = 3, 4, es 5-re.
szama minimalis. Erdos Palla! esT. Sos Veraval kozos cik- Latni fogjuk, hogy k = 5 = ~0 eseteben az optimalis
kiinkben [12] megmutattuk, hogy ha k nem kisebb, mint egy
gn\f egy fa.
176
12 177
FAKES INFORMACI6ELMELET
Lesz6mt6L6si elv:
Cayley a kovetkezo erdekes megjegyzest tette: ha adva van A B
);',
(lAo BloC)o D
egy A 0 B biner open\ci6, amely nem asszociativ, azaz 0 0 0
(A 0 B) 0 C nem sziiksegkeppen egyenloA 0 (B 0 C)-vel (mint 0 0 1
peldaul (A 8 )c ~ A(<8 "l), akkor az AOBOC, AOBOCOD, 0 1
... , stb. szimb6lumok altalaban tobbertelmuek es jelentesiik
R
csak akkor valik egyertelmuve, ha az elvegzendo muveletek
sorrendje zar6jelek feltiintetesevel meg van adva. Peldaul Ao(Bo(CoD))
22•'-nek otfele jelentese van:
212<•')1 = 2512;
(22)<3')
[(22)3]2
= 218 ;
= 212; 2tc2'1'J
[2l2'J]2 = 216.
= 2.. ;
0
1 0
1 1 0
1 0
,:)/
R
Felvetette a kerdest: Mnyfele kiilonbozo ertelme lehet
a A10A20 ... OAn kifejezesnek? Azt talalta, hogy a fenti (AoB)o(CoD)
szimb61um minden interpretaci6jahoz egy n-vegpontu olyan
iiltetett fa rendclheto hozza, amelynek minden nem-veg-
pontja, amely a gyokertol kiilonbozik, 3-szogpontu. Egy
1 0
1 1
0 0
\()/
0 1
ilyen fat biner k6dfanak nevezhetiink, minthogy minden
vegpont nullakb61 es egyesekbol a116 sorozattal k6dolhat6:
(Ao(BoC))oD
minden vegponthoz egyetlen ut vezet es vegigmenve ezen
~'
az uton, 0-t irunk, ha balra fordultunk es l-est, ha jobbra 0 0
0 1 0
fordultunk. Az ilyen fakat gyakran biner faknak is nevezik. 0 1 1
A 11. libra azAOBOCODkifejezes kiilonbozo interpre-
taci6ihoz tartoz6 fa kat mutatja: R
,~(o
Ao((B oC)oD)
tovabbi pont van, beleertve a gyokeret is. Felmeriil tehat
0
a kerdes: Mny n szamozott vegpontu biner k6dfa van? 0 0
Rouse-Ball azt talalta, hogy ezek szama (Bn) a kovetkezo: 0 1
1
Bn = 1·3·5 ... (2n-3) 2n_ 1 = _1_ (2n-l )·
n! 2n-1 n A:O C:1 0 1
B: 1 0 0 D :1 1
A biner k6dfak nagyon fontos szerepet jatszanak az infor-
II. abra
maci6elmeletben. Tegyiik fel, hogy bizonyos szamu kozle-
178 12• 179
menyt akarunk k6do1ni nullakb61 es egyesekbol all6, kiilon- nak problemajat a Huffman-fele algoritmus segitsegeve1 nyer-
bozo hosszusagu sorozatokkal ugy, hogy a k6d vesszomentes jtik.
legyen, azaz olyan, hogy egymas utan irva a szavakat anelkiil, A biner k6dfak a keresese1me1et termino16giajava1 is inter-
hogy elvalasztanank oket valamilyen jellel, meg lehessen pretalhat6k. Ebben az interpretaci6ban minden szogponthoz
talalni, hoi vegzodtek az egyes szavako Ez teljesiil, ha a k6d egy o1yan kerdes tartozik, amely igenne1 vagy nemmel va1a-
prefix tulajdonsagu, azaz egyetlen k6dsz6 sem folytatasa szo1hat6 meg: ezekhez a valaszokhoz az emlitett szogpontb6l
valamely masiknak, es ha barmely jelet elhagynank egy k6d- kiindu16 ket el tartoziko A kerdezes veget er, ha kitalaljuk,
sz6b61, ezen tulajdonsag megsziinneo Minden ilyen k6dhoz amit akartunko
tartozik egy tiltetett biner k6dfa, amelynek annyi vegpontja Tehat ha valaki kiilonbozo embereket akar meginterju-
van, mint ahany k6dsz6 van, es megforditvao Peldaul az volni ugy, hogy minden kerdes az e1ozo kerdesre adott
valaszt61 fiigg (amely elozetesen ismeretlen), egy ilyen interju
1 1
terve egy biner k6dfaval irhat6 leo
1 10 1
1 10 0
10 FAKES PERMUTACH)K
0 1
0 0 1 Az oberolfachi Matematikai Tntezet konyvtaraban a konyv-
000 tar 1atogat6it a kovetkezo szellemes figyelmeztetessel kerik
fel arra, hogy a konyveket tegyek vissza sajat helytikre:
k6dhoz a 120 abnin Jathat6 k6dsz6fa tartozik: , Ne feledje el, hogy a szomszedos elemek felcserelesei a teljes
szimmetrikus csoportot generaljak !" Ez azt jelenti, hogy az
1101 1, 2,0 0n szamok barmely permutaci6jat megkaphatjuk
0,
) c
H
""/ c
H
<
c
H
H
H
~"
(4321) = (23) (12) (24) (12) ~31~
4312
4321 ), j, 1c
"t "
Mive1 ismeretes, hogy n pontb61 n•- 2 fa kepezheto, ebbol H H H
kiivetkezik, hogy n•- 2 olyan n-1 transzpozici6b61 all6 rend-
H
szer van, amelyek a n-ed rendu teljes szimmetrikus csoportot
generaljak.
H )c ·~ c( H
FAK Es A KEMIA H C H
H H
Mar Cayley is vizsgalta a paraffinok lehetseges szerkezetet, H
amelyek molekuh'ii a C.H 2 •+2 keplettel adhat6k meg. Minden d)
szenatom 4 vegyerteku, minden hidrogenatom I vegyerteku. 13. abra
182 183
a kovetkezo rckurzi6s osszeftigges all fenn:
A paraffin mole kula egy fa; ha azonban levalasztjuk a hid-
( +) Pn+l(x) = Pn(! +x2 ),
rogenatomokat, a szenatomok megmarad6 grafja ugyancsak
fa lesz (minthogy minden H vegpont), amelyben minden pont tehat
legfeljebb 4-foku. Tehat a CnH•n+• paraffinok lehetseges P,(x) = 1 +x2 ,
P2(x) = 2+2x2 +x•,
szerkezetenek szama egyenl6 azon szamozatlan fak szama-
Pa(x) = 5+8x2 +8x'+4x"+x8 ,
val, amelyekben minden pont ~ 4-foku. Tehat ez a kerdes is
bizonyos tipusu fak leszamlalasahoz vezet. es igy tovabb, vagyis peldaul (lasd 14. abra)
Ezeket a vizsgalatokat P61ya es masok fejlesztettek tovabb. T(3,4) = 8.
FAKES A BIOLOGIA