Professional Documents
Culture Documents
Tudomány
EGYSZERÛ ÉS BONYOLULT
Vendégszerkesztõ: ROSKA TAMÁS
2003•3
287
Magyar Tudomány • 2003/3
Fôszerkesztô:
CSÁNYI VILMOS
Vezetô szerkesztô:
ELEK LÁSZLÓ
Olvasószerkesztô:
MAJOROS KLÁRA
Szerkesztôbizottság:
ÁDÁM GYÖRGY, BENCZE GYULA, CZELNAI RUDOLF, CSÁSZÁR ÁKOS, ENYEDI GYÖRGY,
KOVÁCS FERENC, KÖPECZI BÉLA, LUDASSY MÁRIA, NIEDERHAUSER EMIL,
SOLYMOSI FRIGYES, SPÄT ANDRÁS, SZENTES TAMÁS, VÁMOS TIBOR
A lapot készítették:
CSAPÓ MÁRIA, CSATÓ ÉVA, GAZDAG KÁLMÁNNÉ, HALMOS TAMÁS, MATSKÁSI ISTVÁN,
PERECZ LÁSZLÓ, SPERLÁGH SÁNDOR, SZABADOS LÁSZLÓ, SZENTGYÖRGYI ZSUZSA, F. TÓTH TIBOR
Lapterv, tipográfia:
MAKOVECZ BENJAMIN
Szerkesztôség:
1051 Budapest, Nádor utca 7. • Telefon/fax: 3179-524
matud@helka.iif.hu • www.matud.iif.hu
Kiadja az Akaprint Kft. • 1115 Bp., Bártfai u. 65.
Tel.: 2067-975 • akaprint@matavnet.hu
288
TARTALOM
Vendégszerkesztõ: ROSKA TAMÁS; szerkesztõ: SZENTGYÖRGYI ZSUZSA
Egyszerû és bonyolult – fogalmak és mértékek mesterséges és élõ rendszerekben
Roska Tamás: Bevezetõ………………………………………………………………… 290
Csurgay Árpád: A „törpék” valóságos és virtuális világa……………………………… 292
Gyulai József: Bonyolultság az elektronikában és a nanoelektronikában ………… 300
Vicsek Tamás: Komplexitás-elmélet…………………………………………………… 305
Falus András: Bonyolultság a genom-léptékû biológiában;
adalékok a posztgenomikus agnoszticizmushoz………………………………… 308
Hámori József: Az emberi agy: a racionalizált bonyolultság ………………………… 313
Székely György: Komplexitás az idegrendszerben…………………………………… 318
Roska Tamás: Bonyolultság és egyszerûség analogikai hullám-számítógépekben
és néhány idegi jelenség modelljében ……………………………………………… 328
Vámos Tibor: Bonyolultság, filozófia, spekuláció és tudományos következetesség …… 332
Csuhaj Varjú Erzsébet: A formális nyelvek bonyolultságáról………………………… 336
Prószéky Gábor: A természetes nyelvek leírásának bonyolultsági kérdései …………… 344
Katona Gyula: Bonyolulttól az egyszerû felé (a matematikában) …………………… 351
Rónyai Lajos: Birkózás a bonyolultsággal: hatékony algoritmusok ………………… 356
Interjú
Középkort oktatni és kutatni Szegeden (Lukácsi Béla beszélgetése Kristó Gyulával) … 363
Tanulmány
Solymos Rezsõ: Akadémiai üdülõ-erdõ Mátraházán…………………………………… 370
2002, a Kozma-centenárium éve
Keviczky László: Kozma László ………………………………………………………… 378
Kovács Gyõzõ: Dr. Kozma László elektromérnök,
a távbeszélõ-technika és a számítástechnika magyar úttörõje …………………… 379
Tudós fórum
Az MTA és a CNRS (Francia Országos Tudományos
Kutatási Központ) közötti kapcsolatokról…………………………………………… 389
A felvidéki, a vajdasági és a kárpátaljai magyar nyelvû
agrárfelsõoktatás helyzete (Heszky László)………………………………………… 391
Felhívás hazánk EU-csatlakozásának támogatására …………………………………… 394
Az MTA és az Erdélyi Múzeum Egyesület megállapodása……………………………… 396
A funkcionális genomika szerepvállalása (Dudits Dénes) ……………………………… 399
Szilárd Leó professzori ösztöndíjak – ötödször ……………………………………… 400
Megemlékezés
Salánki János (Ádám György) …………………………………………………………… 401
Kitekintés (Jéki László – Gimes Júlia)……………………………………………………… 403
Könyvszemle
Olvasónapló (Niederhauser Emil)……………………………………………………… 408
Magyar Tudománytár I. kötet – Föld, víz levegõ (Czelnai Rudolf) ………………… 412
Földes Anna: Az Irodalmi Újság könyve (Széchenyi Ágnes)………………………… 414
Tizenkét év – Összefoglaló az erdélyi magyar tudományos kutatások
1990-2001 közötti eredményeirõl (Berényi Dénes) ………………………………… 416
289
Magyar Tudomány • 2003/3
Egyszerû és bonyolult
– fogalmak és mértékek mesterséges
és élõ rendszerekben
BEVEZETÕ
290
Bevezetõ
József az emberi agy bonyolultságát, csak bonyolulttól az egyszerû felé vezetõ utat és
részbeni genetikai adottságát és az ebbõl a matematikai tételek szépségét elemzi,
adódó felelõsséget tárgyalja. Székely György abban az értelemben is, hogy e tételek a
az idegrendszer modulszerkezetének egy- bonyolult fogalomvilágában mutatnak fel
szerûsítõ hatását elemzi, elsõsorban a moz- egyszerû összefüggéseket. Rónyai Lajos
gáskoordináció területén. viszont a diszkrét matematika világának né-
A számítógépekrõl alkotott fogalom és hány újabb, bonyolultságelmélettel kapcso-
ennek a bonyolultsággal való kapcsolatáról latos eredményérõl ad lényegre törõ tájé-
szól a következõ két dolgozat. Roska Tamás koztatást.
a számítógépeknek egy új változatáról, az Nem tudom elhallgatni, hogy most, ami-
analogikai hullám-számítógépekrõl mutatja kor ezt a rövid tartalmi összefoglalót írtam,
meg, hogy milyen szoros kapcsolatban van- Berkeley-ben, egy drámai esemény tanúja-
nak egyrészt az agyban lejátszódó jelfeldol- ként döbbentem rá, hogy egy fontos téma-
gozás módjával, másrészt az érzékszerveink- kör komplexitásáról nem szóltunk. Ez pedig
bõl induló következtetési eljárásaink bonyo- az ember tervezte alkotások komplexitási
lultságával. Vámos Tibor a logikai számító- és egyben megbízhatósági korlátai. Éppen
gépek és következtetések kiszámíthatósági pár bekezdéssel elõbb tartottam, amikor
és megismerési korlátjából indulva a megis- barátom, Leon Chua professzor, aki a kaotikus
merés bonyolultságának és határainak kér- jelenségek bonyolultságának is kiváló szakér-
désérõl elmélkedik. tõje, telefonált, hogy menjek a tévéhez, mert
A mesterséges és humán nyelvek és az elmúlt percekben felrobbant a Kolumbia
nyelvprocesszorok a következõ témakör. ûrrepülõgép, és éppen ezt közvetítik. Való-
Csuhaj Varjú Erzsébet a formális nyelvek, va- ban, mai korunk talán legbonyolultabb, szinte
lamint a kooperáló és kommunikáló gram- jelképszerû emberi alkotásának, a huszonhét
matikarendszerek bonyolultságának és kife- sikeres ûrmissziót teljesítõ ûrrepülõgép tra-
jezõ erejének messzire mutató vizsgálatával gédiáját láthatta az egész világ.
foglalkozik. Prószéky Gábor pedig a termé- Természetesen a kutató elme tovább is
szetes emberi nyelvek, nyelvtanok digitális kérdez és felveti az egyszerûség és bonyo-
számítógéppel végzett elemzésének lehe- lultság kérdését például a zenében vagy a
tõségeivel – a humán nyelvtechnológiákkal festészetben, netán az emberrõl alkotott ké-
– és ezek korlátaival ismertet meg bennünket, pünket illetõen. Ez azonban már egy másik
rámutatva a Chomsky-féle grammatikák elég- világ, módszereiben is, kérdésfeltevéseiben
telenségére. is, kompetenciájában is.
Végül a matematika két területérõl szól Berkeley, 2003. február 1.
egy-egy esszé. Katona Gyula dolgozata a Roska Tamás
291
Magyar Tudomány • 2003/3
A „TÖRPÉK” VALÓSÁGOS
ÉS VIRTUÁLIS VILÁGA
Csurgay Árpád
az MTA rendes tagja, egyetemi tanár,
Budapesti Mûszaki Egyetem, Elméleti Villamosságtan Tanszék
292
Csurgay Árpád • A „törpék” valóságos és virtuális világa
érezte, hogy a természet esetleg annyira irra- létjogosultságát az adja, hogy sikeresen látja
cionális, hogy egyszerûen semmiféle mate- elõre a jelenségeket, tehát mûködik.” – írta
matikai leírás kereteibe nem szorítható bele. Neumann János.
Így teljesen meg volt lepve, amikor az derült A nanoelektronika matematikai modell-
ki, hogy igenis van matematikai leírás ...” [3]. jeinek és algoritmusainak legnagyobb része
Van matematikai leírás, de ennek a digitális megszokott számítógépeinken fut. Fontos
gépeken történõ pontos megjelenítése elõrelépést jelent majd az analogikai elven
szinte lehetetlen az algoritmusok exponen- mûködõ processzorok várható elterjedése
ciálisan növekvõ bonyolultsága következté- is [9, 10], de úgy tûnik, hogy a kísérteties
ben [4, 5]. kvantumjelenségek valós idõbeli megjele-
Úgy tûnik, hogy a kellõen felszerelt meg- nítését csak a kvantumszámítógépektõl vár-
figyelõ számára nincs egyszerûbb vagy bo- hatjuk.
nyolultabb valós tárgy. Sokat emlegetett
példa egy tömegpont gravitációs térbeli II. Modellek, szimulátorok, algoritmusok
mozgása. Errõl Newton almája jut eszünkbe, A szimulátorok szigorúan kijelölt kísérleti
amint az alma éppen Sir Isaac Newton fejé- keretek között mûködõ fizikai rendszerek.
re esik. Ez a klasszikus mechanika legegy- Intuitíve minden olyan fizikai rendszer szi-
szerûbb példája. Pedig az alma egy biológus mulátornak tekinthetõ, amelyben kijelöltük
számára igencsak bonyolult szerves rend- a bemenetnek tekintett állapotváltozókat,
szer. Ugyanakkor nem az egyetlen elektron ezeket a processzálás kezdeti idõpontjában
a legegyszerûbb test? Ha valóban az volna, megfelelõen beállítottuk, és kijelöltük azo-
akkor hogyan lehet, hogy a relativisztikus kat az állapotváltozókat is, amelyeket a rend-
kvantum-térelmélet kutatói Nobel-díjakat szer egy meghatározott idejû dinamikai
kaptak a megismeréséért? Minden valós mozgását követõen mint kimeneteket mé-
tárgy egyformán bonyolultnak tûnhet. Attól réssel meghatározunk. A bemenet jellegét
függõen, hogy mi, mint megfigyelõk mit megkülönböztetjük a kimenetétõl, mert a
akarunk vizsgálni, és ehhez milyen mûsze- bemenetet mint kezdeti feltételt beállítjuk,
reink vannak, a tárgyakat – az elemi részek- a kimenetet viszont a dinamika lezajlása után
tõl a növényeken és állatokon át a bolygó- mérjük.
kig vagy a teljes Univerzumig – hasonló bo- Ha a bemenetet két csoportba osztjuk,
nyolultságú modellekkel írhatjuk le [6, 7]. és az egyik csoportot programnak nevez-
A bonyolultságot nem magában a valós zük, megkülönböztetve az adat jellegû be-
tárgyban, hanem a megfigyelõ „szemében”, menettõl, akkor a fizikai rendszert progra-
azaz az általa szigorúan kijelölt kísérleti mozhatónak nevezzük. Rögzített program
körülményekben kell keresnünk. Ugyanazt esetén a fizikai rendszer a különbözõ be-
a tárgyat attól függõen, hogy mi a célunk meneti adatokat különbözõ kimeneti ada-
vele, milyen kísérleti körülmények között tokba képezi le, egy függvényt valósít meg.
kívánjuk látni vagy mûködtetni, aszerint Ha változtatjuk a programot, akkor az adott
modellezzük [8]. „A tudomány nem próbál fizikai rendszer különbözõ függvényeket
végsõ magyarázatot adni, fogalmakat értel- tud kiszámolni. Egy kijelölt programú, adott
mezni is alig. A természettudomány model- bemenetû és kimenetû fizikai rendszer (a
leket alkot. Modell alatt egy olyan matemati- hardver) a programjától függõen függvé-
kai struktúra értendõ, amelyik – bizonyos nyek sokaságát tudja kiszámolni. Ez a függ-
szóbeli interpretáció hozzáfûzésével – leírja vényhalmaz jellemzi az adott hardver szimu-
a jelenséget. Egy ilyen matematikai struktúra lációs képességét. Hogyan bõvíthetjük e
293
Magyar Tudomány • 2003/3
halmazt? Ha egyszerûen mellé teszünk egy (DTM: Deterministic Turing Machine) he-
másik hardvert, amely olyan függvényeket lyett próbálkozzunk a nem-determinisztikus
is ki tud számítani, amelyeket az eredeti Turing-géppel (PTM: Probabilistic Turing
hardver még nem tudott, és a két gépet Machine). Vannak feladatok, amelyekben a
egynek tekintjük, akkor a bõvített géppel PTM hatékonyabb, mint a DTM, de a klasszi-
kiszámítható függvények halmaza a két kus fizika „elõítéletei” mindkettõbe be van-
géppel külön-külön kiszámítható függvény- nak építve, a PTM sem gyorsítja meg az ösz-
halmazok uniója lesz. szefont kvantumállapotok megjelenítését.
Az információtechnika történetére máig Úgy tûnik, hogy a mikrovilág törvényeit
hat Alan Turing 1936-ban közzétett eredmé- követõ valós tárgyak megjelenítéséhez olyan
nye. Megmutatta, hogy a számítást végzõ új gépekre van szükség, amelyek maguk is
eszközök hardverjének bõvítése nem so- a mikrovilág törvényei szerint mûködnek.
káig gazdagítja a kiszámítható függvények
körét. Igen hamar eljuthatunk egy olyan III. Az univerzális kvantum Turing-gép
gépig, amely ki tud számítani minden, egy- (QTM: Quantum Turing Machine)
általán kiszámítható függvényt. Állítását egy Feynman 1986-ban felvázolta a kétállapotú
„univerzális gép”, a róla elnevezett Turing- atomsoron mint regiszteren mûködtethetõ
gép konstrukciójának megadásával bizonyí- kvantumszámítógépre vonatkozó elgondo-
totta. A Turing-gép minden bináris (0-ból és lását [11]. A gép memóriája egy atomsor al-
1-bõl álló) sorozatot bináris sorozatba lekép- kotta regiszterbõl és egy programvezérlést
zõ kiszámítható függvényt ki tud számolni. végzõ segédregiszterbõl áll. A gondolatkísér-
Turing bebizonyította, hogy ami gépével letben folyó számítás úgy zajlik, hogy a re-
véges számú lépésben nem számolható ki, giszterek állapota egy unitér operátor által
azt semmilyen gép sem tudja véges számú elõírt módon idõlépésrõl idõlépésre halad a
lépésben kiszámítani. A kiszámíthatóság végállapot felé, amit a regiszter a lépésso-
maga nem elég a virtuális valóság életre kel- rozat végén vesz fel. Az eredményt a regisz-
téséhez. Nem mindegy, hogy az életre kel- ter végállapotának mérésével olvashatjuk
tés ideje hogyan függ a valós mérés idejétõl. ki. Minden elemi utasítás az atomsoron vég-
A nanoelektronikában virtuálisan szeret- rehajtott unitér, tehát invertálható mûvelet.
nénk megjeleníteni az atomok és molekulák E gépen minden program visszafelé is lefut-
„kísérteties” jelenségeit is. Richard Feynman tatható. De tetszõleges n bitbõl álló beme-
már 1982-ben megmutatta, hogy összefont netet a kimenetre leképzõ függvény inver-
(entangled) állapotú kvantumfizikai objek- tálhatóságának szükséges feltétele az, hogy
tumok tökéletesen (ez alatt elfogadható a kimenet bitjeinek száma megegyezzen a
idejû számítási idõt értett) csak összefont bemeneti bitek számával. Ez felesleges bitek
állapotra is képes kvantum-objektumokkal kiszámítását igényli. A számítás eredményei
szimulálhatók, klasszikus digitális számítógé- között ott van, amit ki akartunk számítani,
pekkel nem, mert a mérést szimuláló algo- de egy sor más adat is, amelyek lehetõvé
ritmusok bonyolultsága exponenciálisan nõ teszik, hogy a számítást fordított irányban is
a mérés idejének függvényében, ami elle- végrehajthassuk. Mennyi felesleges infor-
hetetleníti a megjelenítést. Gondot jelent a máció kiszámításával és tárolásával fizetünk
kvantummechanikai mérés problematikája az invertálhatóságért? Nagy memóriára van
is. Kiszámítani csak valószínûségeket tu- szükség ahhoz, hogy megõrizzük a számítás
dunk. Amit mérni fogunk, azt nem. Felme- történetét, hogy aztán visszafelé is végre-
rült, hogy a determinisztikus Turing-gép hajthassuk?
294
Csurgay Árpád • A „törpék” valóságos és virtuális világa
Megmutatták (lásd például [12, 13, 14]), móriacellában a két sajátállapotot összefon-
hogy mindig elegendõ a bemenet mellett va fenntartani? Mi történne, ha ezeken az
annyi felesleges bitet felvenni, amennyi a ke- összefont állapotú biteken (qubit=kvantum
resett kimenet bitjeinek száma. Ha az a fel- bit) a bitekhez hasonlóan tudnánk mûvele-
adatunk, hogy az s bitsorozatot az f (s) bitso- teket, számításokat végezni, ha tudnánk
rozatra képezzük le (nem feltétlenül vissza- olyan gépet építeni, amelyben az informá-
fordíthatóan), akkor mindig elegendõ, hogy ciót nem bitek (legalábbis nem csak bitek),
a bemenet az s bitjein kívül az f (s) bitjeinek hanem qubitek is hordozzák?
számával megegyezõ számú 0-t visszafor- E kérdések aktív elméleti kutatások
díthatóan képezzen le az s-bõl és az f (s)-bõl egész sorát motiválták. Sokan tettek és tesz-
álló kimenetre. Az s ⇒ [s, f (s) ] leképzés nek kísérletet qubiteket hasznosító gépek
mindig invertálható, tehát s ⇔ [s, f (s) ], és – kvantumszámítógépek építésére is. A
soha nincs szükség több felesleges bit meg- qubiteket is a maga szolgálatába állító infor-
õrzésére, mint a kimenet bitjeinek száma. mációtechnika ugyanis nagyon sokat ígér.
Ez a gondolatmenet vezetett a reverzi- Nemcsak a számítási kapacitás növelését
bilis Turing-géphez (RTM). Feynman e gon- ígéri, de két szempontból merõben új lehe-
dolatkísérletébõl arra a következtetésre jutott, tõségeknek is utat nyit. Ahogy 1936-ban
hogy a természetben mûködhetnek, és talán Turing felvázolta az univerzális digitális jel-
hamarosan mesterségesen is elõállíthatók processzorban rejlõ lehetõségeket, ugyan-
lesznek olyan számítógépek, amelyekben úgy 1985-ben David Deutsch megadta az
az elemi memóriacella egy-egy atom (vagy univerzális kvantumszámítógép (ahogy õ
molekula), és amelyekben az elemi kölcsön- elnevezte, a Quantum Turing Machine,
hatások a mikrovilág kvantumjelenségeinek QTM) konstruktív definícióját [15], és meg-
törvényeit követik. Megmutatta, hogy e gé- mutatta, hogy az univerzális QTM-gép min-
pek elvben óriási memóriakapacitással, peta- den véges fizikai rendszer tökéletes szimu-
flopnak megfelelõ sebességgel és rendkívül látora, tehát megvalósítója minden véges
kis fogyasztással mûködhetnek. fizikai rendszerrel egyáltalán megvalósítható
Amíg egy kétállapotú mikrofizikai objek- leképzésnek.
tummal megvalósított memóriacella (példá- A QTM az információt qubitek formájá-
ul a Feynman-féle kétállapotú atom) min- ban tárolja. Minden kétállapotú rendszer,
den számítási lépés végén 1 valószínûség- amelyben két stacionárius állapot összefo-
gel veszi fel az egyik vagy másik sajátálla- nódhat (például az atommagok mágneses
potát – azaz a cella minden számítási lépés spinje), alkalmas arra, hogy qubitet repre-
során egyik sajátállapotából a másik saját- zentáljon. Ugyanakkor minden lineárisan
állapotába megy át (vagy nem megy át) –, poláros foton továbbíthat összefont vertikális
addig a jelprocesszor bináris mûködésû, és horizontális, a cirkulárisan poláros pedig
klasszikus vagy kvantumfizikai dinamikájától balra és jobbra is forgó összefont polarizá-
függetlenül bitsorozatokat képez le bitsoro- ciójú fényt. Minden atom vagy kvantum-
zatokba, így nem nyújt többet, mint a rever- pötty (quantum dot) alapenergiájú stacio-
zibilis Turing-gép. Nem bõvíti a tökéletesen nárius állapota és elsõ gerjesztett állapota is
szimulálható fizikai objektumok körét, és összefonódhat. A mikrofizika sok lehetõsé-
nem változtat a számítási feladatok komp- get kínál qubitek megvalósítására.
lexitási osztályain sem. A kvantumregisztert ilyen, egymás mel-
Feynman továbblépett. Mi történne – lé helyezett kétállapotú elemekbõl építhet-
kérdezte –, ha sikerülne a kétállapotú me- jük meg, ugyancsak „összefonva” õket. A
295
Magyar Tudomány • 2003/3
( ) ()
A kvantummechanika szuperpozíció el-
c=0(1) c0(2) c00
ve értelmében az összefonódott kvantumál-
c0(1) c1(2) (1,2) c
lapotok egyidejûleg tartalmazzák a két saját- = = ⏐Ψ 〉 = 01
c1(1) c0(2) c10
állapotot. Ez klasszikus fizikai rendszerekben
c1(1) c1(2) c11
nem fordulhat elõ, mert a dekoherencia
jelensége igen rövid idõ alatt valamelyik
sajátállapotba viszi át a rendszert. A legegy- Két összefonódott qubitnek négy saját
szerûbb esetben, egy kétállapotú qubitet állapota van: ⏐00〉 , ⏐01〉 , ⏐10〉, ⏐11〉 ahol
megvalósító rendszer esetén, az állapot idõ-
() () () ()
függését szemléltethetjük egy egységnyi 1 0 0 0
sugarú gömb felületére mutató vektorral. 1 , ⏐10〉 = 0 , ⏐11〉 = 0
⏐00〉 = 0 , ⏐01〉 =
Általános esetben a c0, c1 komplex szá- 0 0 1 0
mokból álló vektor a gömb felületére mutat, 0 0 0 1
a vertikális koordináta-tengelyre esõ vetüle-
te jellemzõ arra, hogy az összefonódott ⏐Ψ0〉 és a két qubitbõl álló regiszter állapota álta-
és ⏐Ψ1〉 sajátállapotok milyen mértékben lános esetben a következõ:
vesznek részt az eredõ állapotban. A verti-
kális tengely körüli elforgatást mutató szög ⏐Ψ(1,2)〉 = c0 0⏐00 + c0 1⏐01 + c1 0⏐10 + c11⏐11
felel meg az állapot „fázisának”. Ez a fázis
ugyan nem befolyásolja a sajátállapotok ré- Hasonlóan állíthatjuk elõ az n qubitbõl
szesedését, de meghatározó szerepet ját- álló kvantumregiszter állapotát is. Figyeljük
szik a kvantuminterferencia jelenségében. meg, hogy 2-qubites regiszter négy külön-
Így az eredõ állapotban a 0 és az 1 sajátálla- bözõ klasszikus 2-bites sztring szuperpozí-
pot részesedése lehet ugyan azonos, a komp- cióját, a 3-qubites regiszter nyolc hárombites
lex amplitúdók mégis különbözõek, mert sztring, és egy n-qubites regiszter 2n darab
fázisuk különbözõ. n-bites sztring szuperpozícióját tartalmazza
A választott fizikai realizáció determinál- párhuzamosan.
ja a ⏐Ψ0〉 és ⏐Ψ1〉 bázist, ezért az állapotot a A kvantumregiszter legfontosabb tulaj-
c0, és c1komplex amplitúdók határozzák donsága éppen az, hogy a kvantum-szuper-
meg, melyeket egy oszlopvektorral adha- pozíció jelenségét kiaknázva exponenciális
tunk meg. Az oszlopvektor a sajátállapotok mennyiségû klasszikus információt tárol
esetén polinom számosságú qubitben.
296
Csurgay Árpád • A „törpék” valóságos és virtuális világa
297
Magyar Tudomány • 2003/3
( )
karakterek számától polinom rendben füg-
l+1 l-1
gõ idõ alatt végzi el (IBM’s Test-Tube Quan-
2 2
tum Computer Makes History: First Dem-
l-j l+j
onstration of Shor’s Historic Factoring Algo-
2 2
rithm). 2001-ben új lendületet kapott a mo-
leképzés viszont már nem bináris. Vegyük lekulák atommagjainak „spin”-jeit qubitként
észre, hogy e leképzés négyzete nem más, hasznosító kvantumszámítógépek kutatása,
mint a bináris NOT, ezért e leképezést és folytatódott az összes többi géptípus fej-
√ NOT kapunak nevezzük. lesztése is.
A kvantumszámítógép megvalósítása
V. A kvantumszámítógép mint szimulátor elõtt akadályok egész sora tornyosul. Az
A kvantumregiszter legfontosabb tulajdon- összefont kvantumállapotok dekoheren-
sága éppen az, hogy a kvantum-szuperpo- ciája elleni küzdelem és a hibajavítás ne-
zíció jelenségét kiaknázva exponenciális hézségeinek feloldása az egyik kihívás, nagy-
mennyiségû klasszikus információt tárol számú qubit (például 200) integrálása a
polinom számosságú qubitben. Kiolvasni másik, elfogadható architektúra és konstruk-
ugyan csak egyetlen klasszikus bitsort tu- ció kidolgozása a harmadik. Szkeptikusok
dunk, de mindaddig, amíg nem hajtunk vég- szerint a sokat ígérõ algoritmikus adta elõ-
re mérést a regiszteren, minden utasítást az nyökért a hardver bonyolultságával kell fi-
exponenciális mennyiségû klasszikus bitso- zetnünk. A kvantumszámítógépek jelenleg
ron párhuzamosan hajthatunk végre. szóba hozott architektúrája nem is hasonlít a
Ezt a lehetõséget eddig két nehéz, klasz- logikai kapukból és memóriacellákból fel-
szikus probléma gyorsított megoldásában épített számítógépekéhez. Semmiképpen
tudták kiaknázni. Peter Shor, az IBM kutatója sem versenytársa, legfeljebb lényeges ki-
a nagy számok prím-faktorizációjára adott egészítõ processzora lehet a digitális elven
polinom-rendû algoritmust kvantumszámí- mûködõ gépeknek. A qubitek nem ver-
tógépre [16], ami lehetõvé tenné a titkosító senytársai, hanem segítõi lesznek a biteknek.
kódok feltörését. Lov K. Grover, az AT&T Egy területen azonban a kvantumszá-
munkatársa nagy adatbázisokban való kere- mítógépek, éppen a kvantumjelenségeket
sést felgyorsító algoritmust adott [17]. Sike- hasznosító nanaoelektronikában, nélkülöz-
resek és nagyon ígéretesek a kvantum-krip- hetetlennek tûnnek. A kvantumszámítógép
tográfiai kísérletek [18]. ugyanis a kvantumjelenségek természetes
A Science folyóirat 2001 decemberében szimulátora, virtuális megjelenítésük termé-
– áttekintve az év legfontosabb eredményeit szetes eszköze. Ahogy a digitális számítógé-
– az év áttörésének nevezte a nanoáram- pek új generációit a korábbiak alkalmazása
körök terén elért eredményeket, nevezete- nélkül lehetetlen lett volna kidolgozni,
sen a molekulákból „összeszerelt” áramkö- ugyanúgy a kvantumszámítógépek is csak
röket (Service, 2001). Az IBM Almadel ku- „egymás vállán állva” nõhetnek fel feladata-
tatóközpontjának honlapján 2001 decem- ikhoz, a mikrovilág kvantumjelenségeinek
bere óta olvashatjuk a bejelentést: sikerült valós idejû virtuális megjelenítéséhez.
egy hét quantum-bitet (qubit) tartalmazó A kvantumszámítógépek ha felnõnek
olyan kvantumszámítógépet megvalósító feladataikhoz, számítógépeink képernyõ-
molekuláris áramkört építeni, amin lefuttat- jén életre kel majd a kvantumvilág, George
ható Peter Shor 1994-ben közölt algoritmusa, Gamow Wonderlandje, úgy, ahogy azt Mr.
298
Csurgay Árpád • A „törpék” valóságos és virtuális világa
IRODALOM
[1] Zeigler, Bernard P. (1976): Theory of Modelling [12] Csurgay Árpád – Simonyi Károly (1997): Az
and Simulation. John Wiley, New York, információtechnika fizikai alapjai. Mérnöktovább-
[2] Weizsäcker, Carl Friedrich von (1985): Aufbau képzõ Intézet, Budapest
der Physik. Hasner, München [13] Gershenfeld, Neil (2000): The Physics of Infor-
[3] Simonyi Károly (2000): A fizika kultúrtörténete. mation Technology. Cambridge University Press,
Gondolat, Budapest Cambridge
[4] Feynman, Richard Phillips (1990): The Strange [14] Williams, Colin P. – Clearwater, Scott H. (1997):
Theory of Light and Matter. Penguin Books, NY Explorations in Quantum Computing. Springer
[5] Feynman, Richard Phillips (1982): Simulating – TELOS, New York
Physics with Computers. International Journal of [15] Deutsch, David (1985): Quantum Theory, the
Theoretical Physics. Vol. 21, No. 12. 467-488. Church-Turing Principle and the Universal Quan-
[6] Wheeler, John A. (1996): Time Today. In: Namiki, tum Computer. Proceedings of the Royal Society.
Mikio – Aizawa, Youji: Quantum Physics, Chaos Series A, 400, 97-117.
Theory, and Cosmology. American Institute of [16] Shor, Peter W. (1997): Polynomial-Time Algo-
Physics Press, New York rithms for Prime Factorization and Discrete Loga-
[7] Wheeler, John A. (1991): Recent Thinking about rithms on a Quantum Computer. SIAM Journal on
Nature of the Physical World. Paper presented at Computing. October 1997. Vol. 26. 1484-1509.
the First Andrei Sakharov International Physics [17] Grover, Lov K. (1996): A Fast Quantum Me-
Conference, Moscow, May 1991 chanical Algorithm for Database Search. Proceed-
[8] Makus, Robert (2001): Education in the Grip of ings of the 28th ACM Symposium on Theory of
Technological Thinking: An Analogical Hermeneu- Computing. Philadelphia. 212-219.
tic of Heidegger’s “Question Concerning Technol- [18] Bouwmeester, Dirk – Ekert, Artur – Zeilinger,
ogy”. Existentia, Vol. XI/2001/Fasc.3-4. 315-21. Anton (szerkesztõk) (2000): The Physics of Quan-
[9] Chua, Leon O. (1998): CNN: A Paradigm for Com- tum Information. Quantum Cryptography, Quan-
plexity. World Scientific Series on Nonlinear Sci- tum Teleportation, Quantum Computation.
ence, Series A, Vol 31. World Scientific, Singapore Springer, Berlin
[10] Roska Tamás – Chua, Leon O. (1995): On a [19] Service Robert F. (2001): Breakthrough of the
Framework of Complexity of Computations on Year: Molecules Get Wired. Science. 294: 2442-
Flow-Implemented on the CNN Universal Machine. 2443.
Research report of the Analogical and Neural Com- [20] IBM’s Test-Tube Quantum Computer Makes
puting Laboratory DNS-15-1995. MTA SZTAKI, Bp. History. First Demonstration of Shor’s Historic Fac-
[11] Feynman, Richard Phillips (1986): Quantum toring Algorithm.
Mechanical computers. Foundations of Physics. http://www.research.ibm.com/resources/news/
June, 1986, Vol. 16. 507-531. 20011219_quantum.shtml
299
Magyar Tudomány • 2003/3
BONYOLULTSÁG
AZ ELEKTRONIKÁBAN
ÉS A NANOELEKTRONIKÁBAN
Gyulai József
az MTA rendes tagja, intézetigazgató,
MTA Mûszaki Fizikai és Anyagtudományi Kutatóintézete – gyulai@mfa.kfki.hu
300
Gyulai József • Bonyolultság az elektronikában…
Az olcsó, és emiatt, fõleg az iparban nano-méretet, amelynél már nem jöhet létre
jobban terjedõ programok a felszínen látható, a tranzisztorhatás, vagy más, fundamentális
rokonító, de nem feltétlenül lényegi kap- nehézség lép fel. Az én szakmám számára
csolatok analízisével érnek el – el kell ismerni ez jelenti évtizedek óta a nagy kihívást,
– nagyon látványos eredményeket, de nem amelynek mindeddig meg tudott felelni.
adnak instrukciót a továbblépéshez. Vala- Elõször az USA szakemberei ültek össze
hogy úgy, ahogy a homológia viszonylik az a kilencvenes évek elején, hogy megvizsgál-
analógiához. ják, tartható-e a Moore-törvény még egy
A bonyolultság-modellezés kettõse át- ideig. Megalkották a Roadmap-nak elneve-
szövi az alkotó mûszaki tudományokat is, zett, azóta kétévenként korszerûsített ta-
amelyek az alaptudományok által megértett, nulmányukat. Elõször a National Roadmap
leírt jelenségeket mint – mára akár az egyes of Semiconductor Industriest, majd a nem-
atomok szintjén – mûködõ szerszámokat zetközi verziót, amelyet mára szélesebb
használják, hogy azokkal egy elõre elképzelt közremûködéssel állítanak össze. Ezzel
funkciót megvalósító eszközt létrehozzanak. divatba hozták a „Roadmap-irodalmat”.
A jelen cikkben a bonyolultságnak egy, A természettudományos alapmûveltség-
az életünket meghatározó, de valahol az gel rendelkezõknek érdemes felkeresniük
évtizedes jövõben leáldozó szakmájából, a a http://public.itrs.net/ címen a kétévenként
mikroelektronikából és rokon területeibõl korszerûsített tanulmányokat. Az érdeklõdés
szeretnék példákat meríteni. felkeltésére azt említem meg, hogy azokban
Számítógépesített világunk hajtóerejét a háromféle színnel jelölik azokat a szakmai
digitális integrált áramkörök fejlõdése – mint követelményeket, amelyek szükségesek
az autóipart is maga mögé utasító óriás iparág ahhoz, hogy a következõ generációs áram-
– szolgáltatja. Valamikor a hetvenes évek köröket – ipari termékként – el lehessen
elején, az Intel nagy felfutása idején a cég készíteni. Fehér színnel jelzik azokat a prob-
kereskedelmi igazgatója, Gordon Moore lémákat, amelyek megoldásához ipari szin-
(ejtsd: Mór) piaci felméréseket végzett. Ezek ten már minden tudás rendelkezésre áll. A
során vette észre, hogy azokban az években zöld a szükséges, tudományosan ugyan
a cég – a versenytársakra is kényszerítõ ha- ismert, de ipari gyakorlattá még nem vált
tással – úgy fejlõdött, hogy a gyártott áram- ismereteket ismerteti. A red brick wallként
körökön évente megkétszerezõdött a tran- emlegetett vörös szín még alapkutatást is
zisztorok száma. A cég stratégiájának kiala- igényel, de a szerkesztõk véleménye szerint
kításához azt a javaslatot merte tenni, hogy azok elérése nem fikció. Hogy az ipari szint
„ez még néhány évig tartható lesz”. Nem a kutatáshoz képest milyen idõskálán mo-
gondolhatta akkor, hogy az iparág mögé zog, azt módom volt személyesen is megta-
felsorakozó kutatás – a mi szakmánk – olyan pasztalni: 1986-ban részt vehettem egy, a
sikeres lesz, hogy ez nem csak pár évig, de Cornell Egyetemen összehívott, az elsõ 100
pár évtizedig így maradhat, és a megfigye- nm-es tranzisztorok elõállítását némi szomo-
lése valahol tán törvénnyé érik, legalábbis rúsággal ünneplõ diszkusszióban. Az volt
annak fogják aposztrofálni. Mára ugyan az ugyanis a gond, hogy mûködõ példány csak
évi kétszeres növekedés némileg, egy elvétve akadt a szilíciumszeleteken. A 100
egész nyolctizedre (1,8) mérséklõdött, de nm-es tranzisztorokból épült áramkörök
ezzel a tempóval még vagy egy évtizedig napjainkban, csak jó tizenöt évvel késõbb
számolni lehet. Akkor ugyanis az egyre csök- válnak iparilag gyártott termékké… Termé-
kenõ méretû áramkörök valóban elérik azt a szetesen a gyártásig eljutott technológia
301
Magyar Tudomány • 2003/3
alaposan eltér attól, amit akkor a Cornellen, léphetnek fel az elkerülhetetlen termikus
a National Submicron Facility kutatói alkal- zajok miatt, azaz esély van rá, hogy a Moore-
maztak. törvény a Roadmap szakmai gárdája által
Az 1. táblázatban látható a Roadmap két vártnál korábban érvényét veszti. Jómagam
egymás utáni „naprakészített” (1999 és nem e kutatások aggályainak jogosságát
2001) változata, annak bemutatására, hogy vonom kétségbe, de az iparág társadalmi-
e multidiszciplináris szakma fejlõdése a pro- üzleti erejére apellálva azon a véleményen
gnózisoknak milyen agresszív alakítását tette vagyok, hogy a záróra nem jelenti a mai szá-
eddig lehetõvé. A valahol 2015 táján végzõ- mítástechnika fejlõdésének leállását, a világ
dõ triptique-nek valamilyen új technikában elõ fogja venni az iparilag érett, a klasszikus
kell folytatódnia. Viszont a világ eddigi fej- félvezetõ szakmából eredeztetett megoldá-
lõdési tempóját extrapolálva állítható: ahhoz, sokat. Azaz, azt tartom valószínûnek, hogy a
hogy tizenhárom év múlva a jelenlegi digitális mai digitális áramkörökben rejlõ tartalékokat
áramkörök helyett más elvû eszközök jelen- fogja a tömegelektronika kihasználni, illetve
jenek meg ipari termékként, az csak akkor remélem, hogy a fõ gondot okozó, a chipen
lehetséges, ha azokra a változatokra épül- belüli kommunikációt jelentõ, sokemeletes,
nek, amelyeknek a laboratóriumi szinten nehezen hûthetõ elektromos vezetékeket
üzemképes változatai már ma megvannak. lehet más elvû megoldással, például optikai
Világos és fontos, hogy az alternatív eljárá- adatátvitellel kiváltani.
sokat, például a nanotechnológia kínálta Számomra Moore „törvénye” annyira
lehetõségeket, gyors ütemben kutassa az szimpatikus, hogy az észlelõ tiszteletére foly-
emberiség, és felkészüljön a paradigmavál- tatnám az érvényességének ellenõrzését
tásra. Mert ennek valahol 2015 táján elkerül- azokban az idõkben is, amikor már más elvû
hetetlenül be kell következnie. gépeink lesznek. Akkor is meg lehet adni
Többen (például a jelen kiadvány egyik azt a tranzisztor-számot (ún. helyettesítõ
szerzõje, Csurgay Árpád is) évtizedek óta áramkör), amellyel a majdani, például spin-
publikálnak indokolt szakmai gondokra tronikai vagy bioszámítógépünk produkálta
épülõ aggályokat – legfrissebben éppen egy eredmény kiszámítható lenne. Szívesen hin-
Amerikában dolgozó hazánkfia, Laszlo B. ném, hogy ilyen módon az általánosított
Kish (írt nagy figyelmet felkeltõ cikket (Kish, Moore-törvény érvényessége továbbra is
2002). Kish felhívta rá a figyelmet, hogy már fennmarad. A törvény érvényvesztése
a következõ generációs áramkörökben, ugyanis a vitális iparág lelassulását jelentené.
tehát valahol a 100 nm környékén gondok Hiszen a túlnépesedett emberiség földi léte
150 100 80 55 -
Félmodul (nm)
130 80 65 45 22
50 35 25 20 15
Fedés pontosság
46 28 23 18 9
1.6 1-1.5 1 0.8 0.5
Toxid egyenérték
1.4 1.0 0.8 0.6 0.4
1. táblázat
302
Gyulai József • Bonyolultság az elektronikában…
attól függ, hogy az energiaszükséglet mini- ságának ellenérzésére alkalmas vizsgálat ele-
malizálása mellett át tud-e állni a zárt folyama- meinek, rendszerének definiálása.
tokba kapcsolt komplex termelés-fogyasz- A megbízhatóság foka ugyanis ezeken a
tási rendszerre,1 azaz a hulladékmentes társa- vizsgálaton derül ki: egyre komplexebb vizs-
dalmi létre – ennek létrejötte, a kapcsolódó gálat kell a nagy megbízhatóság eléréséhez,
logisztikai feladat ugyanis óriási számítás- ennek költségei viszont nagyon is erõs ha-
technikai kapacitást igényel. De ugyanez tással vannak az áramkör árára. A legnagyobb
igaz arra, hogy a meteorológia kézbentartása megbízhatóságot a katonai, ûrkutatási fel-
hasonló komplexitású kérdés (valahol régen adatok követelik meg. Gondoljuk végig,
olvastam, hogy utóbbihoz mintegy 1024 bit/ hogy például egy mikroprocesszort milyen
sec adatforgalom kezelésére lenne szükség). módon kell bevizsgálni. A teljes bevizsgálás
A bonyolultságot tehát, ha az nem fátum- azt az abszurdumot jelentené, hogy az esz-
ként szakadt ránk, az emberiség eddig kezel- köz késõbbi alkalmazása során felvetõdõ
ni tudta. valamennyi esetet végigszámoltatnánk. De
Az integrált áramkörök fejlõdésében sze- ez sem segítene, hiszen csak remélhetnénk,
retném bemutatni a bonyolultság „generá- hogy a kapott eredmény meg is felel az igaz-
cióit”. ságnak (mi is az?). A minõségi ellenõrzés tehát
A 60-70-es években fejlõdött ki az a tech- csak közelítheti – a költség- és idõtényezõ-
nológia, amely bottom up (Feynman) jelle- meggondolásoknak megfelelõen – a lehe-
gû, rétegenként építkezõ módon hozza létre tetlen teljeset. Magas fokú megbízhatóságot
az áramkört. Már a kezdeti idõkben létre- jelent az, hogy a rendszer mintegy 1010 mû-
jöttek azok a technológia szimulációs progra- velet esetén téveszt egyet. Redundáns szer-
mok, amelyek kiváltották a költséges, anyag- vezéssel javíthatók ezek a számok. Gondol-
és energiapazarló kísérletekre szánt kerete- junk például egy repülõgép komputerére.
ket. Ezek a programok mára olyan tökéletes- Mivel a beavatkozó egységek (például a
séget értek el, hogy már olvastunk olyan csûrõlap) mozgatása a tizedmásodperc idõ-
áramköri generációváltásról (16 Mbit DRAM- skálán végzendõ, egy, akár GHz frekven-
ról2 a 64 Mbit-esre való áttéréskor), ahol min- ciával mûködõ gép akár milliószor is újraszá-
dent elõre lejátszva a számítógépen, a terme- molhatja a gyanús eredményt. Hogy a gyanú
lés megindításakor már az elsõ napi termék reális és gyakori, arra egy példát említenék:
eladható volt (Nippon Electric Co.). A techno- a reverzibilis hibák felléptét – angolul ezeket
lógia szimulációja csak egy kérdés. A tranzisz- soft error-nak nevezik. Ilyen hiba akkor lép
torok és egyéb elemek mûködését is szimu- fel, ha egy gyors, töltött részecske (például
lálni kell, hogy a méretek optimális volta is alfa részecske) átrepül egy tranzisztoron, és
kiderüljön. A harmadik szint az áramkör logi- az energiája elektronokat szakít ki a szilícium-
kai rendszerének ellenõrzése, szimulációja. kristály atomjaiból. Ezek a nemkívánatos
Mindhárom szintû szimuláció feladata – az elektronok, sajnos, át tudják fordítani a tran-
ellenõrzésen túl – a termék megbízható- zisztort a logikai 0-ból az 1-be, azaz a tran-
zisztor hibás jelet ad a szomszédainak.
1
Az emberi társadalmak fennmaradását talán egyedül Softnak azért nevezik ezt a hibát, mert a tran-
biztosító termelési-fogyasztási rendszert Dr. Drozdy zisztor ezek után újra hibátlanul üzemel, és a
Gyõzõ barátom, akkor fiatal posztdoktor, ma kiváló következõ ciklusban aligha csapódik alfa
hírközlési szakember egy KFKI-beli csoportmegbe-
részecske ugyanoda. Gyakori ez az eset? Saj-
szélésünk során fogalmazta meg az 1970-es években.
2
DRAM: Dynamic Random Access Memory, azaz nos, például az olcsó áramkörök (mint a
véletlen hozzáférésû memóriaáramkör filléres órákban) tokozását mûanyaggal vég-
303
Magyar Tudomány • 2003/3
zik, amelyekben az alfa-aktív tórium szeny- Jómagam attól tartok, hogy a jövõbeli,
nyezés szinte elkerülhetetlen. De például más elvû (például biológiai) gépeknek, az
az ûrhajók áramköreinél a kozmikus sugárzás önjavító képességük ellenére is komolyan
okoz elég gyakran tévesztéseket. A számít- bizonyítaniuk kell, hogy ilyen téren is felve-
ható valószínûséggel (de csak valószínûség- szik a versenyt mai gépeinkkel. Mindez ak-
gel és sosem bizonyossággal…) elérhetõ kor igaz, ha a gépeinktõl a jövõben is elvárjuk
megbízhatóságért a kontrollt tehát minden annak az elfogadását, hogy mi maradunk
esetben el kell végezni. dominánsak, azaz azok irányítói.
Ez a példa azt mutatja, hogy a bonyo-
lultsággal és a megbízhatósággal kapcsolatos Kulcsszavak: „Moore-törvény”, mikroáram-
fogalmak, és – tetszik-e vagy sem – az éle- köri technológiák modellezése, méretcsök-
tünk ilyen faktorokon múlik. Az elektronika kentés, méretcsökkentés 2015 utáni hely-
megnyugtató biztonságot szolgáltatva tudja zete, komplexitás és megbízhatóság, a
kezelni a bonyolultságot. „klasszikus” mikroelektronika tartalékai.
304
Vicsek Tamás • „Komplexitás-elmélet”
KOMPLEXITÁS-ELMÉLET
Vicsek Tamás
az MTA rendes tagja, tanszékvezetõ egyetemi tanár,
ELTE TTK Fizika Tanszékcsoport, Biológiai Fizika Tanszék – vicsek@angel.elte.hu
Egy 1987 tavaszán a Stanford Egyetem park- kás utalni a címben említett komplexitás
jában sétálgató jó nevû, modern gondolko- elméletre, még ha ilyen – és ezért az idézõjel
zású közgazdászt, Brian Arthurt, megszólí- a címben – egyelõre valójában nem is
totta az akkor már közgazdasági Nobel-díjas létezik.
Kenneth Arrow, és megkérdezte, volna-e Létezik azonban az igény, hogy az em-
kedve pár hónap múlva elõadást tartani beriség minél kvantitatívabb módon tudja
mode-locking elméletérõl Santa Fében. kezelni az életét közvetlenül meghatározó
Amikor a meglepett Arthur érdeklõdni kez- folyamatokat. És ezek a folyamatok bizony
dett a tervezett elõadássorozatról és a hely- nagyon összetettek, bonyolultak, kimenete-
színrõl, kiderült, hogy a festõi Rocky Moun- lük nehezen megjósolható. Nagyon sokáig
tains hegyvonulatai között, közel a Los Ala- nem is lehetett komoly reménnyel elméleti
mos-i kutatóintézethez (ahol annak idején úton kezelni a komplikáltan összetett rend-
az atombombát kifejlesztették), az egyéb- szereket, de az elméletek fejlõdésével, vala-
ként kellemes üdülõvároskaként ismert Santa mint a számítógépek megjelenésével olyan
Fében létrehoztak egy újszerû intézetet, ahol új dimenziók nyíltak meg, amelyek már
sajátos találkozót terveztek tartani. Arrow tíz sikerrel kecsegtettek.
közgazdászt, a szintén Nobel-díjas fizikus, Az út azonban rögös, sõt, már a kiindulás
Philip Anderson tíz fizikust hívott meg, hogy is problematikus, nincs a szempontunkból
megvitassák a fizika és a közgazdaságtan való komplexitásnak igazán jó definíciója
kapcsolatát. (erre utalt az elsõ mondatok egyike abban a
A kis magánvállalkozásként mûködõ Science mellékletben, amelyik három évvel
Santa Fé-beli intézetet nem sokkal korábban ezelõtt a komplexitásról szólt – Science.
már eleve olyan, általuk komplexnek (ma- Complex Systems. 1999. április 2. Vol. 284
gyarul összetettnek) nevezett rendszerek Num. 5411). Azt körülbelül sejtjük, hogy
megértése céljából hozta létre néhány na- milyen rendszereket sorolnánk a komplex
gyon neves tudós (köztük elsõsorban Murray rendszerek kategóriájába, ilyenek például a
Gell-Mann, Nobel-díjas részecskefizikus, a turbulensen kavargó folyadék (idõjárást
kvarkok „feltalálója”), amelyek legfontosabb meghatározó légáramlatok), az adott háló-
tulajdonsága, hogy sok, erõsen kölcsönható zatba összekapcsolt, kommunikáló számító-
részbõl állnak. Ez a definíció – talán szán- gépek együttese vagy a csapatosan mozgó
dékosan – nem túl precíz, és a komplex rend- élõlények. De az egyes összetevõk bonyo-
szerek meghatározása azóta is vita tárgya. lultsági fokán feljebb haladva, ide tartoznak
Mindenesetre, 1987 táján beindult egy nagy- az embercsoportok (mondjuk egy iskola
részt fizikusok kezdeményezte folyamat, diákjai), illetve talán a sor végén, az emberi
amelynek eredményeképpen ma már szo- társadalom. A gazdaság is valahol ebben a
305
Magyar Tudomány • 2003/3
306
Vicsek Tamás • „Komplexitás-elmélet”
net: kristály (rendezett), folyadék (rendezet- szerû, független az összes többiétõl. És még-
len), és ezek között, a káosz peremén van a is; mint közismert, egy ilyen teljesen vélet-
fázisátlakulási pontban uralkodó komplex len ponthalmazban rejlõ információ a legna-
állapot, amelyik sem az egyik, sem a másik. gyobb, azaz egy ilyen ponthalmaz pontos
Ez utóbbi szemponthoz tartozik az reprodukciójához van szükség a legtöbb
összetettségnek vagy bonyolultságnak egy adatra. Ezen esetek között van a B ábra,
képies interpretációja is. Képzeljünk el amelyik nem egyszerû, de valamiféle tör-
három rajzot egy-egy négyzet alakú keretbe vényszerûséget tartalmaz, a pontok egy
foglalva. Mindhárom tartalmazzon sok vonalgomolyag mentén, bizonyos feltétele-
pontot, de különbözõféleképpen. Az elsõ ket követve helyezkednek el. A rendezett
(A) ábra tartalmazza a pontokat szabályos A és a teljesen rendezetlen C ábra tehát
(például négyzet-) rácsba rendezve (mint algoritmikusan egyszerû (primitív szabály
kristályokban a molekulák). A harmadikban segítségével elõállítható), míg a B ábra infor-
(C) legyenek a pontok teljesen véletlensze- mációtartalom (reprodukálhatóság) szem-
rûen elszórva (hasonlóan a gázokban levõ pontjából középen van, algoritmikusan
molekulákhoz). A középsõben (B) pedig a viszont a legbonyolultabb; ez a legössze-
pontok legyenek valamilyen komplikált tettebb ábra.
(például szabálytalan, önmagát metszõ) Összefoglalva: a bonyolultság elemzése
görbe mentén elhelyezve (ez jelképezheti során az egyik fontos elem a komplexitás
például egy anyag különbözõ tulajdonságú fogalmának megértése. A fizikustársadalom
tartományai közötti határvonalat). Vajon krémje, tudatosan meghaladni próbálván a
melyik ábra a legösszetettebb? Az még elég- korábbi fizikusi mentalitást, de maximálisan
gé nyilvánvaló, hogy az A ábra a legegy- építve az elõzõ szaktudományos eredmé-
szerûbb, a pontok egy nagyon primitív nyekre, kezdeményezte a komplex rend-
szabály szerint sorjáznak a papíron. Elsõ szerek vizsgálatát. Egy hosszú út elején már
pillanatra az utolsó (C) ábra egyszerre tûnik sok érdekes összefüggésre bukkantak.
a legbonyolultabbnak és a legegyszerûbb-
nek is: egyszerû, mert a szabály, amelyik a Kulcsszavak: önszervezõdés, hálózatok, ká-
pontok elhelyezését meghatározza, nagyon osz, információ, algoritmikus komplexitás,
triviális: minden új pont koordinátája véletlen- turbulencia, rendezetlen, Santa Fé Intézet
307
Magyar Tudomány • 2003/3
BONYOLULTSÁG A GENOM-LÉPTÉKÛ
BIOLÓGIÁBAN; ADALÉKOK A
POSZTGENOMIKUS AGNOSZTICIZMUSHOZ
Falus András
Semmelweis Egyetem, Genetikai, Sejt- és Immunbiológiai Intézet – faland@dgci.sote.hu
308
Falus András • Bonyolultság a genom-léptékû biológiában…
309
Magyar Tudomány • 2003/3
2. A másik megközelítés a reverz geno- Arról van szó, hogy rengeteg olyan ember is
mika, itt a kétféle (példánkban daganatos végezhet korszerû tudományos munkát a
betegség) állapot között – elõszelekció nél- világháló adatbankjaiban dolgozva, akik
kül – azt vizsgálom, hogy például 10-20 ezer eddig anyagi, képzettségi vagy más okokból
gén egyidejû kifejezõdése között mi a kü- nem férhettek hozzá a kísérletes munkához.
lönbség. Kiemeljük tehát a két állapotban Másrészt idõben is kiterjed a kutatás, például
megfigyelhetõ eltéréseket, és csak azután akár évtizedekkel korábbi szövettani blok-
keressük meg, hogy mi is az, ami eltér (2. kokban a mai sokszorosan kiterjedtebb lehe-
ábra). Ez egyfajta „génhalászat”. Akár több tõségekkel (például az összes emberi gént
száz, eddig nem ismert funkciójú gén kerül- egyidejûleg használva) is végezhetõ kutatás.
het így napvilágra. A kezdetén vagyunk en- A génexpressziós profilok esetén általá-
nek a folyamatnak, és nagyon sok nehézség ban elképesztõ bonyolultságot találunk: a
várja az „úttalan utat” törõ génhalászt. kiértékelés, a bioinformatika idõbeni (sor-
A kísérletet itt egy sokkal hosszabb és rend) és okozati (mi hat mire) kérdéseket
nehezebb bioinformatikai, korrelációs számí- oldhat meg. Géncsoportok rajzolódnak ki a
tógépes (in silico) munka követi, melynek cluster-analízis révén, géncsoportok, ame-
jó esetben új diagnosztikai és terápiás követ- lyek hasonló szabályozás alatt állnak, azonos
kezményei lehetnek. Az in silico lehetõség betegségállapotokat határolnak el, vagy
sok más újszerûsége mellett egyben a tudo- azonos állapotokat/szövõdményeket pre-
mány nagyfokú demokratizálódását is jelenti. diktálnak.
2. ábra • (2) Nagyszámú gén mintázatainak összevetése két állapotban (például egészséges-
beteg). A két mintázat „kivonásával” kapjuk meg az eltérésben részt vevõ lehetséges géneket.
310
Falus András • Bonyolultság a genom-léptékû biológiában…
311
Magyar Tudomány • 2003/3
312
Hámori József • Az emberi agy: a racionalizált bonyolultság
AZ EMBERI AGY:
A RACIONALIZÁLT BONYOLULTSÁG
Hámori József
az MTA rendes tagja, kutatóprofesszor, az MTA alelnöke
313
Magyar Tudomány • 2003/3
314
Hámori József • Az emberi agy: a racionalizált bonyolultság
315
Magyar Tudomány • 2003/3
316
Hámori József • Az emberi agy: a racionalizált bonyolultság
317
Magyar Tudomány • 2003/3
KOMPLEXITÁS AZ IDEGRENDSZERBEN *
Székely György
az MTA rendes tagja, professor emeritus, MTA Debreceni Központ – szekely@chondron.anat.dote.hu
318
Székely György • Komplexitás az idegrendszerben
tóbb adatokat keresünk. Az idegsejt hosszú resztül a sejtmagra hatnak, és így a sejt élet-
nyúlványrendszerével és hatalmas felületé- jelenségeit befolyásolják.
vel élesen különbözik a szervezet többi sejt- Ez a kis áttekintés talán megközelítõ ké-
típusától. Tömegéhez viszonyított felszíne pet ad az idegszövet elképesztõ bonyolult-
3-4 nagyságrenddel meghaladja más sejte- ságáról. A maga élõ, dinamikus valóságában
két. Egy béka motoros idegsejtjének átlagos nagyon távol áll attól a statikus modelltõl, mely-
felszíne például 1,5x105 μm2. Ezen a felszí- ben az impulzusok áramlásának útját kívánják
nen mintegy 5x104 szinapszis végzõdik. Ez meghatározni. Ötvenezer szinapszis között
hozzávetõlegesen huszonöt szinapszist egy szinapszis hatása beolvad a tömegbe.
jelent 100 μm2-ként (Birinyi et al., 1992). Ha Amikor szinaptikus és extraszinaptikus transz-
a szinapszisoknak csak a század részét vesz- mitterek sokasága ömlik egy idegsejtre, azok
szük, akkor is ötszáz helyet kellene „specifi- specificitása összemosódik, és a roppant bo-
kálnunk” a fentiek értelmében. Ha meggon- nyolult komputáció eredményeként a kombi-
doljuk, hogy az idegrostok végzõdésük elõtt nációk eredõje jelenik meg (Brezina, 1997).
dúsan elágazódnak, vagyis sok száz, sok ezer A rendszer számára tehát egy szinapszis, egy
más idegsejten végzõdnek, a specifikálandó transzmitter nem tartalmaz információt, bár
rostok és végzõdési helyek száma teljesen kísérletben esetleg mérhetõ a hatása. Valami-
összezavarodik, és a végtelen felé tart. féle összhatás lehet releváns az agy számára,
Ez a kép a mûködési oldal felõl tovább a mûködés alapja a komponensek aggregát
bonyolódik. A szinapszisnál egy kis vegyi interakciója lehet. Ha ennyire dinamikus rend-
anyag (transzmitter) felszabadulásával jár az szerrel állunk szemben, tanulmányozása más
ingerület átadása. A transzmitter a szinapszis típusú közelítést kíván.
alatt lévõ membránreceptor közvetítésével
fejti ki hatását. Ez lehet a sejt serkentése vagy Komplex, hierarchikus,
gátlása, azaz ezen állapotok valamilyen szin- lebontható rendszerek
tû létrehozása. Ha több szinapszis közel egy- A modellt Herbert Simon alkotta meg, aki
idejû hatására a serkentés elér egy adott szin- képzettsége szerint pszichológus, de a köz-
tet, olyankor a sejt kisül, vagyis ingerületét gazdaságtanban kapott Nobel-díjat (Simon,
más sejteknek továbbítja. Hogy melyik álla- 1962). Okfejtését a híres órásmester-példá-
pot és milyen szinten jön létre, az függ a zattal indítja. Egy utca két oldalán egy-egy
transzmitter fajtájától, a receptor tulajdonsá- órásmester dolgozik, mindkettõ órákat készít,
gától és az idegsejt aktuális állapotától. A mindkettõ órája ezer darabból áll, csupán
transzmitterek száma ugyancsak nagy – külö- munkamódszerük különbözõ. Az egyik, ne-
nösen ha a nagyobb molekulájú, úgyneve- vezzük Tempusnak, darabokként rakja
zett bioaktív peptideket is számítjuk –, akár össze az óráját, egyik darabot a másik után.
több száz is lehet. A transzmitterek jó része Hora, a másik órásmester, elõször tízes blok-
szinapszison kívül is elõfordul a sejt közötti kokat készít, majd azokból tízet összerakva
térben, amely mintegy 20 %-a az agy térfo- százasokat, végül tíz százas blokk adja az órát.
gatának. Ezek a „szabadúszó” transzmitterek Ha vevõjük érkezik, le kell tenniük az egysé-
a szinapszison kívüli, extraszinaptikus recep- get, amelyen dolgoznak, és az darabokra
torokra hatnak, és befolyásolják a sejt serken- hullik. Tempusnak tehát darabonként kell
tési és gátlási állapotát. A sejt közötti térben újrakezdenie az összeállítást, míg Hora kész
van még egy cukorból és fehérjébõl álló óri- blokkjai egyben maradnak, és így sokkal ke-
ásmolekula család, melynek tagjai a memb- vesebb munkát veszít. Kiszámítható, hogy
ránreceptorokhoz kötõdve, a sejtvázon ke- ha egyforma gyakorisággal nyit be hozzájuk
319
Magyar Tudomány • 2003/3
320
Székely György • Komplexitás az idegrendszerben
A vér tisztítása a vesetestecskék csatorna- szakaszt elsõ leírása után (Székely, 1963)
rendszerében történik, ezekbõl is sok millió központi jel generátornak (central pattern
van. Igencsak bajos lenne megállapítani, generator, CPG) nevezték el, mely nevet
hogy melyik léghólyagocska melyik vese- azóta sok más hasonló mûködésû idegi
testecske számára véroxigenizálja a vért, és központra is alkalmazzák. A kísérlet menetét
melyik vesetestecske melyik léghólyagocs- az 1. ábra mutatja. Baloldalon két fiatal gõte-
kának tisztítja a vért. Tehát hosszú távon a embrió látható, melyeken már jól felismerhe-
két szerv – ha úgy tetszik: a két alosztály – tõk az egyes szervtelepek. Ezek kivághatók,
aggregát kölcsönhatásban van. Ez mindjárt átvihetõk egy másik embrióba, ott minden
magyarázza az 5. tételt: semmi információt probléma nélkül megtapadnak és tovább
sem vesztettünk a két szerv kölcsönhatásá- fejlõdnek. Ha egy pár „pótlábat” az embrió
nak vizsgálatában azáltal, hogy nem határoz- oldalába ültetünk, azt a gerincvelõ háti szaka-
tuk meg pontosan az egyes léghólyagocs- szából eredõ idegek látják el, és az ilyen vég-
kák és vesetestecskék kapcsolatát. tag mozdulatlan marad. Ha azonban a gerinc-
A két szerv szerkezeti vizsgálata újabb velõ megfelelõ (a CPG-t tartalmazó) szaka-
tulajdonságot tár fel. Ha egy léghólyagocskát szával kicseréljük a háti szakaszt, a beültetett
megvizsgáltunk, a következõ megvizsgálása végtagpár a saját mellsõ végtagokkal szin-
már nem ad új információt, legfeljebb annyit, kronban fog mozogni. A kísérlet úgy is megis-
hogy az is ugyanolyan. Általánosítva: a hier- mételhetõ, hogy a hátsó végtagpár szintjé-
archikus szerkezetû komplex rendszerek ben lévõ gerincvelõszakaszt visszük át a háti
strukturálisan redundánsak. Jó példa lehet gerincvelõszakasz helyére. Ilyenkor a har-
még a húsz aminosav, melyek kombinációi- madik végtagpár a hátsó végtagok ritmusá-
ból elképesztõ számú fehérjemolekula épül ban mozog, függetlenül a beültetett végta-
fel. Tehát az 5. tétel kiegészítésére felírhatjuk: gok hátsó vagy mellsõ jellegétõl.
6. Hierarchikus, csaknem lebontható rend- A gerincvelõnek a CPG-t tartalmazó sza-
szerek megközelítõ hûséggel leírhatók úgy kaszát teljesen izolálhatjuk oly módon, hogy
is, hogy az összes lehetséges kölcsönhatásnak azt egy idõsebb embrió kifejlett hátuszonyá-
csupán a töredékét vesszük figyelembe. ba visszük át, és vele közös csatornába egy
Ezek után a kérdés az, hogy vajon talá- végtagot helyezünk. A beidegzés után a
lunk-e az idegrendszerben olyan példákat, végtag szabályos lépõ mozgást végez, amit
melyek ezeket a nagyon keményen fogal-
mazott és nehezen támadható tételeket tel-
jesítik.
A gerincvelõ végtagmozgató szerkezete,
mint hierarchikus, csaknem lebontható
rendszer
A gõték nagyon alkalmas kísérleti állatok.
Felnõtteken, embriókon egyaránt nagyon jól
lehet dolgozni, a központi idegrendszer
különbözõ részeit izolálni és mûködésüket
megfigyelni. Ilyen kísérletekbõl derült ki,
hogy a gerincvelõnek van egy speciális sza- 1. ábra • A velõcsõ és a végtagtelep
kasza, amely képes (és csak ez képes) a embriókori átültetése és felnõtt állaton
végtagot koordinált módon mozgatni. Ezt a az átültetett végtagok mozgása.
321
Magyar Tudomány • 2003/3
322
Székely György • Komplexitás az idegrendszerben
szempontjából a nyúltvelõ, a végtagi gerinc- járást irányító rendszer több alosztályból áll,
velõ és a háti gerincvelõ felcserélhetõ, ez melyek szétbonthatók (össze is rakhatók),
azt jelzi, hogy az úszó CPG nem „specifikus” és aggregát kölcsönhatásban vannak.
idegi kapcsolatok útján, hanem aggregát Aggregát kölcsönhatásokra sok példát
módon fejti ki hatását. Mindenesetre az ered- lehet még találni az idegrendszer mûködé-
mények egyértelmûen mutatják, hogy a sében. Ilyen például a gerincvelõ átvágásával
323
Magyar Tudomány • 2003/3
324
Székely György • Komplexitás az idegrendszerben
nak egyik tényezõje lehet. Erre utal az a vizs- elvére. Nagyon sok idegsejt dendritjén apró,
gálat, melyben a béka szájzárását és -nyitását tüskeszerû nyúlványok vannak, melyek
irányító motoros sejteket alakjuk harminckét mind szinaptikus helyek. Ezek számbeli vál-
morfológiai paraméterük alapján, multivari- tozása különbözõ használat-nemhasználat
áns statisztikai módszerrel, amivel ezeket a kísérletekben kimutatható.
sejteket két, funkcionálisan különbözõ cso- A mûködésbeli plaszticitásnak a külön-
portra tudjuk szétválasztani (Matesz et al., bözõ gátlómechanizmusok általi manipulálás
1995). Több hasonló példát lehetne még ad szinte áttekinthetetlen lehetõséget a
említeni, ahol genetikailag determinált ideg- funkcionális organizáció alakítására. Sok
sejtalakhoz jellegzetes mûködés rendelhetõ, szinaptikus végzõdésen ül egy másik szinap-
de nyilvánvaló, hogy az idegi kapcsolatok szis, amely gátolhatja, vagy éppen serkent-
számtalan sokaságának elrendezésében epi- heti annak mûködését. Néhány gátló sejt
genetikai mechanizmusoknak is szerepet nyúlványrendszerén keresztül más idegsejt-
kell hagynunk –, hiszen még az egypetéjû csoportot összehangoltan gátolhat, majd fel-
ikerpárok agyveleje sem azonos. szabadíthat a gátlás alól, ezáltal mûködésük
2. A próba-szerencse mechanizmusok ritmikus szinkronizációját idézheti elõ. Ennek
eredményeinek visszajelzései bármely rend- a mûködésnek a tanulásban tulajdonítanak
szer szerkezetének a kialakításában döntõ jelentõséget (Freund, 2001). A gátlás alá kerü-
fontosságúak. Közismert, hogy a perifériás lõ gátló sejt a gátlás gátlásával hirtelen akti-
eseményekrõl érkezõ külsõ feedback jel- vitást válthat ki. Gátlások körülhatárolhatnak
zések milyen szerepet játszanak az ideg- aktív területeket, és csak válogatott sejteket
rendszer mûködésében. Az idegrendszer engednek mûködni. Ezt kollateriális gátlás-
kutatásában reneszánszát éli az 1951-ben nak nevezik, fontos szerepe van a látásban.
két, egymástól független tanulmány (Sperry, Sok helyen vannak ún. alvó szinapszisok,
1950; (von) Holst, 1950) által leírt belsõ feed- melyek bizonyos input csatornák megszün-
back mechanizmusok vizsgálata. Ez az agyi tetésével szabadulnak gátlás alól, és váratlan
hierarchia különbözõ szintû központjai kö- hatásuk jelentkezik. Mindezek teljes áttekin-
zött létrejövõ oda-vissza jelzésekbõl áll, tése külön tanulmányt igényelne.
mintegy ellenõrzi az elindított idegi impul- 4. A korábbi tapasztalatok csökkentik a
zussorozat irányát, intenzitását és egyéb próbálkozások számát. Ezt úgy is felfoghat-
paramétereit, ismételt lehetõséget adva juk, mint a tanulásnak az idegi organizációra
mindezek módosítására. Úgy gondolják, kifejtett hatását. A fejlõdõ idegrendszer ta-
hogy automatikusnak látszó cselekvéseink pasztalatokat gyûjtve mintegy programozza
pontossága mögött ezek a mechanizmusok önmagát, és a fenti mechanizmusokat hasz-
állnak. nálva alakítja ki saját funkcionális organizá-
3. Az idegi mûködés dinamizmusa mö- cióját. Ez a tanulási forma az agy minden
gött az idegszövet nagyfokú alaki és mûkö- szintjén lehetséges, sõt – a korábbi elképze-
désbeli plaszticitása áll. A már egyszer kiala- léstõl eltérõen – még a gerincvelõ szintjén is
kult forma, az idegsejtek nyúlványrendszere (Wolpaw, 1997). Az ilyen „ontogenetikai”
külsõ behatásra változhat. Ismert, hogy a tanulás mellett roppant fontos a „filogene-
dendritek dúsabban ágazódnak el a kísér- tikai” tanulás, mikor nemzedékek adják át
letesen megnövelt impulzusmennyiség irá- tapasztalataikat. Ez lehetséges tanítás, után-
nyába, másrészt elsorvadhatnak valamely zás révén, de elképzelhetõ az eredeti DNS
input csatorna elzárásakor. Az idegszövet szekvencia megváltoztatása nélküli átörö-
nagyon érzékenyen reagál a use-disuse kítés is. A DNS-ben tárolt információt a transz-
325
Magyar Tudomány • 2003/3
326
Székely György • Komplexitás az idegrendszerben
Sperry, Roger W. (1963): Chemoaffinity in the Or- Szentágothai János – Arbib, Michael A. (1974): Con-
derly Growth of Nerve Fiber Patterns and Con- ceptual Models of Neural Organization. Neuro-
nections. Proceedings of the National Academy of sciences Research Program Bulletin. Vol. 12. 3.
Sciences. 50. 703-710. 307-510.
Sperry, Roger W. (1950): Neural Basis of the Sponta- Vizi E. Szilveszter (2000): Role of High-Affinity Re-
neous Optokinetic Response Produced by Visual ceptors and Membrane Transporters in Nonsynap-
Inversion. Journal of Comparative and Physiologi- tic Communication and Drug Action in the Central
cal Psychology. 43. 482-489. Nervous System. Pharmacological Reviews. 52.
Székely György (1963): Functional Specificity of 63-89.
Spinal Cord Segments in the Control of Limb Move- Holst, Erich von – Mittelstaedt, Horst (1950): Das
ments. Journal of Embryology and Experimental Reafferenzprinzip. (Wechselwirkungen zwischen
Morphology. 11. 431-444. Zentralnervensystem und Peripherie.) Naturwis-
Székely György (1990): Problems of the Neuronal senschaften. 37. 464-476.
Specificity Concept in the Development of Neural Wolpaw, Jonathan R. (1997): The Complex Struc-
Organization. Concepts in Neuroscience. 1. 165- ture of a Simple Memory. Trends in Neurosciences.
97. 20 588-594.
327
Magyar Tudomány • 2003/3
BONYOLULTSÁG ÉS EGYSZERÛSÉG
ANALOGIKAI HULLÁM-
SZÁMÍTÓGÉPEKBEN ÉS NÉHÁNY IDEGI
JELENSÉG MODELLJÉBEN
Roska Tamás
az MTA rendes tagja, kutatóprofesszor, MTA SZTAKI
328
Roska Tamás • Bonyolultság és egyszerûség…
Az elmúlt ötven évben a fenti elvi bo- Kiderült azonban, hogy ezeken a Newton-
nyolultság gyakorlati probléma is volt, mert gépnek is nevezett számítógépeken – a való-
az egyre hatékonyabb mikroprocesszorok- sokon értelmezett „univerzális gépeken”
ban a chip felülete és hõdisszipációja gya- (Universal Machine on Reals, UMR) – mások
korlatilag megmaradt a nagyjából 1 cm2, illet- a megoldhatatlan és a nehéz problémák,
ve 1 W tartományban. Így a keresõ típusú mint a klasszikus, egészeken értelmezett
feladatokban a program lefutási idejét mérõ univerzális gépeken (Universal Machine on
mûveletszám az egyetlen lényeges gyakor- Intergers, UMZ). A valósokon értelmezett
lati bonyolultsági mérték volt. univerzális gépen megoldhatatlan annak
Az elmúlt pár évben azonban észreve- eldöntése, hogy egy adott érték rajta van-e
hettük, hogy a mikroprocesszoroknak egyre egy egyszerûen definiálható, de látványra bo-
nagyobb „házuk” van, ugyanis egyre többet nyolult képen, az úgynevezett Mandelbrot-
disszipálnak (20-30-40 W), és ezért egyre vagy Julia-halmazokon. Itt is vannak „nehéz”
nagyobb hûtõegységek szükségesek hozzá- feladatok, de ezek is mások, mint például az
juk. A nagyobb gépek ráadásul 2, 4, 8 vagy utazó ügynök probléma. Például több poli-
akár tízezer chipet is igényelnek (a memó- nom esetén kérdés, hogy van-e közös valós
riákon kívül). A valódi számítási bonyolult- gyökük. Az eldöntéshez szükséges mûveleti
ságnak tehát a megoldási idõ mellett a szilí- szám exponenciálisan nõ, és a polinom vál-
ciumfelület és a disszipáció mértékét is tozóinak számát is növeli.
figyelembe kell vennie (elõbbi a m2, utóbbi Bár ez idáig a valósokon értelmezett uni-
a MW nagyságrendjébe is kerülhet). verzális gépnek sem direkt elektronikai im-
A számítás – általános értelemben a fel- plementációja, sem élõ rendszerbeli megfe-
adatmegoldás – bonyolultsága és a számító- lelõje nincs – jóllehet a digitális számítógé-
gép bonyolultsága tehát összefügg. peken emulált verzióját nap mint nap hasz-
A 80-as évek végén, majd a 90-es évek- náljuk –, mégis fontos kérdésekre mutatott
ben ez az egyszerû, szép világ azonban ezen rá. Például arra, hogy a számítási bonyolultság
túlmenõen is megváltozott. Kiderült, hogy a nemcsak a mérettõl, hanem más paramé-
valós számokon, majd a képfolyamokon tertõl, például a pontosságtól is függhet. Sõt
értelmezett számítógépekben egészen más lehet, hogy ezek fontosabbak, mint a feladat
nehézségi paraméterek lépnek be, mint a mérete: ez utóbbi esetleg egyáltalán nem
méret, másrészt a klasszikus elmélet olyan mérvadó.
egyszerûnek látszó kérdések értelmezésé-
vel sem tud mihez kezdeni, mint például az, A képfolyamokon értelmezett celluláris
hogy mekkora egy retinamodell számítási analogikai „hullám-számítógépek”
bonyolultsága. Ha számítógépünk alapadatai nem egész
Jelen írásunkban ez utóbbi kérdésekkel számok és nem is valós számok, hanem
foglalkozunk. képfolyamok (például a videoklipek), ame-
lyekkel a valódi érzékszerveinkben is talál-
A valósokon értelmezett számítógépek kozunk, akkor a celluláris analóg-és-logikai
1989-ben Lenore Blum, majd Steve Smale és – vagy analogikai – számítógépek világába
Michael Schub egy újfajta számítógépmodellt jutunk. Ez az úgynevezett folyamokon
vezettek be, amely nem egész számokon, értelmezett univerzális gép (Universal Ma-
hanem folytonos, úgynevezett valós chine on Flows, UMF), amely digitális érte-
értékeken dolgozik. Az adattípus kivételével lemben is univerzális, minden olyan fel-
minden más diszkrét és iteratív maradt. adatot meg tud oldani, amit egy csupán egész
329
Magyar Tudomány • 2003/3
számokon értelmezett gép. Ráadásul ezek megoldani olyan feladatokat, amely bárme-
a számítógépek olyan elemi (itt: könnyen lyik másik két gépnek „nehéz”.
megoldható) utasításokra képesek, mint Az is megmutatható, hogy ez a térben
például egy képfolyamon egy hullám- diszkrét, de idõben, jelértékben és interak-
egyenlet megoldása, amelyek a digitális cióban folytonos gép egyetlen utasításában
számítógépeken éppen a legnehezebbek. is gazdagabb, mint bármelyik, ehhez közel
E számítógép formális leírása, amelyet CNN álló, úgynevezett „parciális differenciál
univerzális gépnek nevezünk, csupán egyenletrendszer” megoldásából adódó tér-
néhány egyszerû analóg és bináris logikai idõbeli dinamikus jelenség. Ez utóbbi egyen-
építõelemet, építõkockát tartalmaz, de ezek- letrendszer a fizikai világ tipikusan legbo-
bõl egy rácson, szomszédokat összekap- nyolultabb leírási módja.
csolva és tárolt programozást lehetõvé téve
sokat helyezünk el. A CNN az analogikai Milyen az „élõ számítógép”, mi az
celluláris számítógép magját, a celluláris a feladat, amely számára egyszerû?
neurális vagy nemlineáris hálózatot jelenti Érdekes az is, hogy ez az új számítógép-para-
(Cellular Neural/nonlinear Network). Ez a digma nagyon közel áll az élõ szervezetek
sejtautomatához hasonló, de nemcsak lo- idegrendszerének sok részletéhez: szerke-
gikai, hanem idõben folytonos analóg jeleket zetében az anatómiájához, mûködésében a
is kezel, és a cellák közötti interakciók is valós fiziológiájához. Mintha mesterséges, de egy-
értékûek. Fizikai megvalósításuk sokféle szerû neuronprocesszorok lennének elhe-
lehet: a részben digitálisan utánzott áramköri lyezve egy síkrácson, és a szomszédok egy-
megvalósítástól egészen az optikai vagy mással interakcióban, „receptív mezõszerû-
nanoelektronikai megoldásokig. en” lennének összekapcsolódva. Ezen
Ezek a „hullám-számítógépek” viszont síkbeli processzorseregek vannak a harma-
nagyon közel állnak ahhoz az idegrendszer- dik dimenzióban egymásra helyezve,
ben mûködõ „számítási stílushoz”, amelyet amelyben immár a közvetlen fel-le szomszé-
érzékszerveink többsége használ, ahol több- dok is kapcsolatban vannak. Talán nem
nyire analóg hullámjelenségek és „logikai” pusztán szerencse, hogy hamar kiderült: az
(igen-nem) detekciók vannak térben eloszt- új – tárolt programozható – analogikai
va. Tipikus példák: egy adott sebességtar- számítógépmodellel nagyon egyszerûen és
tományban mozgó objektum detekciója, természetesen lehet bonyolult érzékelõ és
egy madárdal felismerése, egy galamb felis- felismerõ idegi funkciókat modellezni.
meri a párját, egy bagoly sötétben megtalálja Kiderült, hogy az idegrendszerre azért nehéz
a hangot adó egeret. ráerõltetni a digitális számítógép-paradigmát,
Vajon ebben a számítógép-világban me- mert az idegi szervezõdések természete
lyek a megoldhatatlan és a nehéz problémák? ettõl idegen. Ezzel szemben az analogikai
Ez a kutatási irány éppen most van kibon- celluláris hullám-számítógépeké szinte erre
takozóban, de néhány alapvetõ eredmény is teremtetett. Itt a bonyolult egyszerûvé vá-
már van. Az egyik az, hogy itt is vannak lik, az elemi utasítások a természetes szerve-
„nehéz” problémák, amelyek közül éppen zõdéseket tükrözik. Ennyire egyszerû! De
egy keresõprobléma bizonyult ilyennek. Ez az számomra szinte már csoda, hogy például
nem véletlen, hiszen az új gép a logikai az emlõsök retinájában a csatolt hullám-
keresõfeladatokban nem jeleskedik, bár ezt egyenletek jelentik a „természetest”, az
is ugyanolyan jól tudja, mint a tisztán logikai egyszerût. Az idegtudományok, a genetika
gép. Ugyanakkor képes egyetlen utasítással és az immunológia új felfedezései máris
330
Roska Tamás • Bonyolultság és egyszerûség…
331
Magyar Tudomány • 2003/3
Akár a filozófia és a tudomány viszonyairól is hatatlan lehet, de egy más modell ugyanazt
beszélhetünk, hiszen itt határokról van szó, kiszámíthatóvá teheti, a kiszámíthatóság
méghozzá történelmi idõben és számítási alapmodellje, a P és NP feladatok viszonya,1
idõben viszonylagos határokról, olyanokról, egymással átírhatósága a most indult század
amelyeknek sokszor igen bizonytalan mezs- egyik kiemelt matematikai alapkérdésévé
gyéi elválasztják az egzakt, statisztikailag lépett elõ.
megbízható módon kísérletileg igazolt és/ A matematika a bonyolultságot a kiszá-
vagy logikailag szigorúan levezetett, tények- míthatósággal köti össze.
nek elfogadott tudományos ismereteket az A végtelen csillagos ég volt az egyik meta-
ezeken túli általánosítások, gondolatfüzérek foránk, a metafora pedig a tudomány számá-
filozófiájától. Itt is rögtön bajba kerülünk, ra modell-hipotézis. A filozófia itt is, a meta-
hiszen a logika maga is a tudomány és a filo- forák használatában is közelebb áll a költé-
zófia határterülete, de határterület mindaz szethez. A bonyolult világmodell alkotásában
az ismeretelméleti megegyezés, ami az adott a gondolkodás kezdeteitõl szerepelt egy
idõpontban és az adott tudományterületen másik, ehhez fûzõdõ modell-fogalom: az
a tények elfogadására vonatkozik. A végte- atomé, azaz a világmodell felépítése egyfajta
len csillagos ég végtelensége más volt a mí- vagy könnyen megszámlálhatóan kevés
toszokban hívõ megfigyelõ pásztornak, más alapelembõl és az azok között mûködõ,
a hagyományos optikai eszközökkel dolgo- ugyancsak kevés számú kölcsönhatásból. Az
zó csillagásznak, és más annak a mai asztro- egyszerû alapelemek és alapkötéseik mo-
fizikusnak, aki a modern fizika ismeret- és dellje a belõlük felépülõ egész kiszámítha-
eszközfegyvertárával hatol fényévmilliárdok tóságával és megérthetõségével csábított.
távolságaiba és évmilliárdok történéseibe. A helyzet ebbõl a szempontból azóta
Talán ez a hasonlat is mutatja, hogy itt az sem változott. Az elemi összetevõk és kap-
adott ismeretek alapján fogalmazott világ- csolatok modellje a fizikában és a biológiában
képrõl is van szó. fényes, gyakorlati eredményekhez vezetett.
A dolgot tovább bonyolítja a kiszámítha- Az antikvitás filozófiájának naiv spekulációja
tóság egyszerre kemény és puha határmeze- 1
Röviden és erõsen leegyszerûsítve: a P-típusú prob-
je. A Gödel-Turing és Church nevével jelzett léma polinomiális idõben megoldható, azaz elvileg
és azóta is nagy egzakt erõvel fejlesztett kiszá- kiszámítható, az NP-típusú problémák és ezek további
míthatóság mint objektív megismerési határ bonyolultsági fokai pedig általában már semmiféle
elképzelhetõ géppel nem számíthatók, ha a feladat-
szintén folyamatosan relativizálódik, részint ban szereplõ elemek száma eléggé nagy. Gondol-
azzal, hogy egy valamilyen modellel leírt je- junk sok elemi részecske, sok élõlény lehetséges
lenség valóban megállapíthatóan kiszámít- egymás közti kapcsolatainak sokaságára!
332
Vámos Tibor • Bonyolultság, filozófia, spekuláció…
333
Magyar Tudomány • 2003/3
A pontos kiszámíthatóság kezdeti racio- nem a régiek medicinájának hol alig haté-
nalista álmát így kevésbé az ignoramus et kony, hol csak babonaszerû tapasztalati
ignorabimus (nem tudjuk és nem is fogjuk módszereivel azonos. Itt mélyen megértett
tudni) Du Bois-Reymond-i metafizikus folyamatok tanulságaival lépnek a bonyo-
agnoszticizmus váltja fel, hanem olyan lultság biztonsági határain túlra. Némileg
számítási és magyarázati modellek alakítása, hasonló fejlõdést mutat a közgazdaságtan is;
amelyek e részben véletlen, részben logikai- így talál egymásra a korábban külön utakon
lag jól követhetõ leképezéssel használható futó pszichológia és a neurológiai agykutatás,
eszközt adnak a jelenségek követéséhez és amelyek éppen a neurológiai mikrojelen-
némileg az elõrebecsléshez is. Gyorsan gyûl- ségek és a pszichés makroalakulások közötti
nek és válnak hatékonyabbá azok a model- hatalmas bonyolultsági távolság miatt voltak
lek, amelyek eddig becsülhetetlen folyama- egymástól elszigetelve.
tokra képesek viszonylag használható A bonyolultság tehát nem követhetõ ab-
elõretekintést nyújtani. szolút számítási-logikai módon, de megkö-
Gondolkodásunk ebben a menetben zelíthetõ nemcsak filozófiai spekulációval,
gyors egymásutánban két rendkívüli ered- hanem eléggé kemény, a természettudo-
ményt mutatott fel. Az elsõ negatívnak tûnik: mányokban hitelesnek elfogadott módsze-
a bonyolultsági, kiszámíthatósági, logikailag rekkel. Tisztázzunk egy félreértésekre alkal-
követhetõségi abszolút határok felismerése mas értékelést. Az eddigiekbõl úgy tûnik,
volt. A határok felismerése a határokon belül hogy a szerzõ a természettudományok ma-
élõ gondolkodó számára elképzelhetetlenül gasáról lebecsüli a filozófiát. Közben persze
erõs teljesítmény, félig-meddig kilépés gon- maga is leplezetlenül filozofálgat, és nem
dolkodásunk természetes korlátaiból. A hal- felejti el azt a tudománytörténelmi tényt,
mazelméletben sokáig vitatott kérdés volt a hogy a legnagyobb alkotó természettudósok
határok megítélése, tartozhat-e a határ és többsége filozófus is volt, vagy legalábbis
ezzel a halmaz mintegy abszolút fogalmi igyekezett természettudományos eredmé-
meghatározása a halmazhoz magához? A nyeibõl egy általánosabb filozófiai világképet
gondolkodás e majdnem páratlan teljesítmé- alakítani. Ez a kétségtelenül a spekulációk
nyét próbálták és próbálják a gondolkodás felé való elindulás szerényebben vagy igé-
ködökbe burkolózó ellenfelei a gondolkodás nyesebben minden ember sajátja, alapvetõ
ellen kihasználni. és a gondolkodást gerjesztõ vonásunk, szoros
A második hatalmas lépés már nem kapcsolatban azzal, hogy az ember tudatos
lépés, hanem hosszú, beláthatatlan végû út. lény, aki elválasztja magát a világ többi részé-
Ez a felismert határok kitolása, méghozzá tõl, azzal a vággyal, hogy ebben az elválasz-
most nem az abszolút bizonyosságok, hanem tásban keresse meg a maga helyét.
a használható közelítések eszközeivel. Errõl A spekuláció ebben az értelemben tehát
szólt a bonyolultság és az egyszerû kiindulá- nem leértékelõ megjelölés, de meghatározza
sok viszonyairól és mechanizmusáról adott szerepét az erõsebben bizonyítható és gya-
kurta kép. Amikor a biológus azt mondja, korlatban használható modellekkel szemben,
hogy ez és ez a kódcsoport ad nagy valószí- felhíva a figyelmet arra, hogy a spekuláció, ha
nûséggel lehetõséget ennek és ennek a be- gyakorlatot követelõ módon lép fel, meta-
tegségcsoportnak a kialakulásához, és egy- fizikai és valós veszedelemmé változhat.
ben elég megbízható módszert is szolgáltat Most lép be az az ismeretelméleti és gya-
ennek kikerüléséhez, akkor talán érzékel- korlati fordulat, ami a határok és azok közelítõ
hetjük, hogy mi a változások lényege. Ez túllépése, a bonyolultság kezelése nyomán
334
Vámos Tibor • Bonyolultság, filozófia, spekuláció…
válik fontossá. A bonyolultságot kezelõ mo- Ennek legfényesebb példája a relativitás álta-
dellrõl tudatosan tudjuk, hogy nem azonos a lános elmélete. Új paradigma pedig nem a
valósággal, hanem annak egyik lehetséges, meghirdetéssel kezdõdik, hanem általában
a bonyolultságok adott feltételei, körülmé- a szabad tudományos gondolkodás hosszú
nyei között eléggé meghatározható módon elõéletû és bátor haladású nyomain. A görög
és határok figyelembevételével gyakorlatilag antikvitást idézve is volt már egy-két utalá-
használható modellje. Az ignoramus et igno- sunk, a nagy felfedezések és gondolkodás-
rabimus az abszolút „igazságra”, a végsõ váltások történetét ha nem a történelem hé-
megértésre és számíthatóságra vonatkozik, roszmeséinek utánzásaként írják meg, akkor
éppen a bonyolultság elméletében felismert általában az elõdök gondolatai között bizo-
határai alapján. A végsõ „igazság” ezen túl nyíthatóan voltak jelen, és a kiteljesedés ide-
létezhet, azaz ezen túli absztrakció, a világ jén mintegy a levegõben voltak. Ezért is
végtelen idõbeli, térbeli és egyedi jelenség- annyi a nagy felfedezések körüli prioritásvita.
beli totalitásának elérhetetlen ismerete. Ezért Nemcsak a kvantumelmélet tükrében,
veszedelmes az ilyen ismeret birtoklásának hanem egész modellalkotó és modellhasz-
küldetéstudata, a tálibizmus vagy akármi náló munkánkban másképp tekintünk a
más, a történelemben hasonló igazságbirtok- valószínûségre. Nem a vak véletlen játéka-
ló tudat kicsiben és nagyban. ként, hanem a végtelen bonyolultságú világ
A viszonylagos megközelítés tudata sze- végtelen sok arcának pillanatnyi és körülmé-
rénységre, óvatosságra, de hasznos ismere- nyektõl függõ megjelenéseként, tûnõ de
tek kimeríthetetlen megszerzésére és mégis jelenlevõ és felhasználható „igazság”-
alkalmazásának kísérletezésére ösztönöz. Ez ismeretként. Nem kell külön hangsúlyozni,
az új nézetvilág, aminek elõnyomai már a hogy ez a valósághoz közelebb álló szemlé-
görög antikvitásban, talán legjobban Próta- let milyen nagyságrendekkel fokozott erköl-
gorasznál megtalálhatóak, hatalmasan kitá- csi felelõsséget ró azokra, akiknek a bonyo-
gítja a gondolkodás, a kutatás és eredményes- lultságokat közelítõ modellek alapján kell
ségének lehetõségeit, a világról alkotott és döntéseket hozniuk, fõleg más emberek,
szilárdnak hitt, de valójában igen törékeny embercsoportok más világmodellû világá-
képek helyére egy mintegy együttmozgó, nak ügyeiben.
rugalmasan változó világképet hoz létre. Van-e ezután fix pont? Eddig se volt, csak
Idézhetjük a mechanika hasonlatát: a mere- hittük, hogy van, és ez a fentiek szerint in-
ven rögzített szerkezetek törékenyek, míg kább félrevezetõ, mint vezetõ volt. Visszatér-
a természetes mozgásnak engedõ szabad hetünk Prótagoraszhoz, azaz a mi világunk
konstrukciók idõ- és terhelésállók. Ezért zártságának határaihoz, az emberhez. Ez vi-
nyugszanak a hidak pillérei elfordulást meg- szonyítási pontunk, most már kicsit kibõvítve
engedõ alapokon. A viszonylagosságok, a az embert körülvevõ, létünket meghatározó
modellérvényességi határok tudata adja a természettel. A bonyolultság e határokon be-
biztonságos alapot. lül is végtelen, nemcsak az emberek milliárd-
Ebben a tükörben az új paradigmák tudo- jainak egyéni különbözõsége, hanem a ben-
mánytörténeti értelmezése kicsit módosul, nünk és velünk lejátszódóknak végtelensé-
erõsebben az ezt követõ „minden lehetsé- ge miatt is. Igyekszünk szerény és pragmati-
ges” jelszavú relativista tudományszemlélet. kus modellekkel becsülni, számítgatni.
Korlátozás nélkül nem lehetséges minden,
hanem csak az olyan modellek, amelyek a Kulcsszavak: tudomány, filozófia, bizony-
próbákat kiállták, vagy elõbb-utóbb kiállják. talanság
335
Magyar Tudomány • 2003/3
336
Csuhaj Varjú Erzsébet – A formális nyelvek bonyolultságáról
foglalkozik. Nem jelenti viszont ez azt, hogy amelyre nem találunk leírást a másik gramma-
maguk a tanulmányozott nyelvek véges tikaosztály elemei között. Meg kell hogy
számú szóból állnának. jegyezzük: ezen típusú osztályozásokon kívül
Természetes törekvésünk az, hogy ha a formális nyelvek számos más szempontból,
valamilyen formális módon meghatározzuk más elvek alapján is osztályozhatók; az érdek-
egy formális nyelv szavait, akkor ez a leírás lõdõ olvasó többféle megközelítésre talál pél-
vagy meghatározás lehetõleg egyszerû, tömör dát a Handbook of Formal Languages ösz-
és áttekinthetõ legyen. Míg véges számú szó- szefoglaló munkában (Rozenberg, Salomaa,
ból álló nyelvek esetén, ha más megoldást 1997). A generáló, azaz a formális nyelveket
nem találunk, végsõ esetben felsoroljuk a leíró grammatikák szintaktikai (formai) jellem-
nyelvet alkotó szavakat, a végtelen sok szót zõi és mérettulajdonságai alapján kialakított
magába foglaló nyelvek esetében nyilvánva- bonyolultsági mértékekkel és fogalmakkal a
lóan más eljárást célszerû választanunk. szintaktikai bonyolultság elmélete foglal-
A formális nyelvek leírásának egyik módja kozik, azzal a céllal, hogy rávilágítson, hogy
az, hogy a formális nyelv szavait egy véges az egyes nyelvek és nyelvosztályok strukturá-
számú szóból álló nyelv segítségével határoz- lisan mennyire egyszerû, méreteiben meny-
zuk meg, amely nyelv szavai pontos útmuta- nyire takarékos leírásokkal határozhatók meg.
tásokat adnak arra vonatkozóan, hogy bizo- Hogy világosabb képet nyerjünk a for-
nyos kezdeti szóból vagy szavakból kiindulva mális nyelv és az õt leíró (generáló vagy létre-
hogyan állíthatjuk elõ az általunk leírni kívánt hozó) grammatika viszonyáról, lássunk egy
formális nyelv szavait és csak azokat. Az ilyen példát. A számítástudományban, a formális
véges nyelveket általánosított értelemben nyelvek elméletében jártas olvasók számára
vett grammatikáknak vagy nyelvprocesszo- megjegyzem, hogy a példa ismertetése
roknak nevezzük. A grammatikának mint vé- során eltekintünk a teljes matematikai pon-
ges nyelvnek a szavait (általánosított értelem- tosság igényétõl, csak a fogalmak lényegé-
ben vett) szabályoknak hívjuk. Így a gram- nek megvilágítására törekszünk
matika tulajdonképpen nem egyéb, mint a Tegyük fel, hogy formális leírást szeret-
nyelv szavainak elõállítására vonatkozó szin- nénk találni arra a nyelvre, amelynek szavait
taktikai szabályok, elõírások összessége. anbm alakú szavak alkotják, azaz olyan sza-
Ezek a leírások, ezek a grammatikák egy- vak, ahol bizonyos számú (n), de legalább
szersmind a formális nyelvek bonyolultsá- egy a betût bizonyos számú (m), de legalább
gának fokmérõi is lehetnek, hiszen például egy b betû követ. (Az a és a b betûk például
formai- és mérettulajdonságaik alapján osz- jelölhetik két különbözõ esemény bekövet-
tályozhatók, amely osztályok a grammatikák keztét.) Ebben az esetben egy alkalmas for-
által meghatározott nyelvek osztályozását is mális leírást, egy grammatikát alkothatnak a
maguk után vonják. Ennek megfelelõen, egy következõ szabályok: S→ aS, S→ b, S→
bizonyos rögzített szempontú osztályozás bX, X→ bX, X→ b, ahol a nyíl (→) szimbó-
szerint egy adott grammatikaosztályt hatá- lum arra utal, hogy a nyíl bal oldalán álló szim-
rozottan bonyolultabbnak nevezhetünk egy bólumot kicserélhetjük a nyíl jobb oldalán
másiknál, ha minden nyelv, amely a másik levõ szimbólumsorozatra. A nyelv szavait úgy
grammatikaosztályba tartozó grammatikával kapjuk meg, hogy kiindulunk az S szimbó-
elõállítható, elõállítható az általunk tekintett lumból, majd a szabályok alkalmazásával a
grammatikaosztály valamelyik tagjával is, va- kicserélhetõ szimbólumokat, azaz az S és az
lamint a kiindulási osztály legalább egyik gram- X betûket addig cseréljük, amíg további cse-
matikája meghatároz egy olyan nyelvet, re lehetõsége nem áll fenn.
337
Magyar Tudomány • 2003/3
338
Csuhaj Varjú Erzsébet – A formális nyelvek bonyolultságáról
len, de csak harminckét szabálya van, igaz, ban fennáll a mindennapi szemléletünknek
hogy azok bal és jobb oldala kellõen kompli- megfelelõ állítás is, hogy ami méretében
kált sorozat. Ez a kérdés önmagában nyilván- nagy, nem feltétlenül bonyolult szerkezeté-
valóan nem válaszolható meg. ben és struktúrájában, továbbá egy leírás
Ilyen és hasonló problémákkal a mé- rövid volta nem feltétlenül vonja maga után
retbonyolultság elmélete foglalkozik, amely annak egyszerûségét.
többek között arra keres választ, hogy Az olvasó joggal kérdezheti, miért fog-
mennyire tömören írható le egy adott nyelv- lalkozunk egyáltalán a formális nyelvek leírá-
osztályba tartozó nyelv egy adott osztályba sainak méretproblémáival, miért érdekesek
tartozó grammatikákkal, milyen méretpara- a leírások strukturális és formai vonatkozásai.
méterekkel kell a leíró grammatikáknak ren- Ha a formális nyelveket mint számítógépes
delkezniük. Kérdés az is, hogyan viselked- eljárások megjelenítését tekintjük, van-e
nek ezen méretparaméterek egy-egy egyáltalán a mai korban, amikor rendkívül
nyelvosztály adott grammatikaosztály sze- gyors, nagy kapacitású gépek léteznek,
rinti leírásai esetében, vajon korlátozható-e annak jelentõsége, hogy mennyire nagy és
valamely természetes számmal a nyelvosz- formailag bonyolult egy grammatika? Azt
tálybeli nyelvek adott típusú leírásainak adott mondhatjuk, hogy ezen vizsgálatok jelentõ-
méretparamétere vagy sem. sége abban áll, hogy rögzített eszköztípus
Ismeretes például, hogy minden k termé- esetén megpróbálja körülhatárolni lehetõ-
szetes számra van olyan környezetfüggetlen ségeinket abban az esetben, ha kizárólag
grammatikákkal leírható nyelv, hogy az adott korlátos erõforrások állnak rendelkezésünkre
nyelvet leíró minden környezetfüggetlen (korlátozott méret, formai megkötések), és
grammatika legalább k különbözõ kicserél- egyúttal választ keres arra is, hogy melyek
hetõ szimbólumot tartalmaz, míg ha mondat- azok az esetek, amikor elvben számolhatunk
formájú grammatikákkal írjuk le a nyelvet, a tetszõlegesen nagy erõforrást (méret vagy
akkor létezik olyan leírás, amelyben összesen egyéb paraméter) igénylõ eszköz szüksé-
öt olyan különbözõ, önmagában vagy más gességével. Többek között olyan kérdések-
szimbólummal együtt kicserélhetõ szimbó- re kapunk választ, hogy vajon mennyire
lum fordul elõ, amelyek mindegyike különbö- egyszerûen és méreteiben mennyire takaré-
zik a nyelv szavait alkotó szimbólumoktól. Így, kosan írhatók le bizonyos kiszámítási erejû
ha csak a kicserélhetõ szimbólumok számát eszközök, milyen formai és méretbeli sajá-
tekintjük a bonyolultság mértékének, akkor tosságokkal kell rendelkezniük bizonyos
nyugodtan mondhatjuk, hogy mondatfor- típusú feladatok megoldására alkalmas prog-
májú grammatikákkal tömörebben tudjuk ramnyelvek szintaxisainak.
leírni a környezetfüggetlen nyelveket, mint
környezetfüggetlen grammatikákkal, hiszen Kollektív szintaktikai bonyolultság
minden nyelv esetében találtunk egy (bizo- Az utóbbi két és fél évtized a számítástudo-
nyos szempontból) korlátozott méretû leírást. mány, az informatika hihetetlen mérvû fejlõ-
Természetesen ez nem jelenti, hogy ez a tö- dését hozta magával. Többek között nagy át-
mör leírás minden szempontból automatiku- törést jelentett a számítógép-hálózatok meg-
san kevésbé bonyolult, mint a megelõzõ. jelenése, amely lehetõvé tette, hogy fizikailag
Számos esetben a méret korlátozott volta egymástól távol levõ emberek (vagy gépek,
ellensúlyozza a leírás formai, alaki bonyo- szoftverek) egymással együttmûködve, egy-
lultságából vagy a mûködés viszonylagos mással információt cserélve közösen végez-
bonyolultságából származó hátrányait. Azon- zenek el feladatokat, oldjanak meg problémá-
339
Magyar Tudomány • 2003/3
kat. Ez a lehetõség értelemszerûen maga után Azt a gondolatkört, hogy a formális nyelv
vonta annak a kérdésnek a felvetését, hogy meghatározása egyedi grammatikák helyett
milyenek legyenek azok a programnyelvek, együttmûködõ (kooperáló) és egymással
azok a szoftverek, amelyek ezen tevékeny- információt cserélõ (kommunikáló) gram-
ségek támogatására szolgálnak. Hogyan is matikák együttese által történjen, a szerzõ
lehet és hogyan kell egy ilyen célra megfelelõ és társszerzõje indította el (Csuhaj-Varjú,
nyelvet megtervezni? Hány és milyen sza- Dassow, 1990), amely gondolatkör kiinduló-
bályból kellene egy ilyen nyelv szintaxisának pontjául szolgált a formális nyelvek azon rész-
(grammatikájának) állnia, milyen elvek szerint területének, amely azóta grammatikarend-
kellene mûködnie? Mennyire bonyolult szerek néven a formális nyelv osztott és ko-
programnyelv lenne képes ily jelentõs számú operatív modelljeinek elméletévé vált. (Az
együttmûködõ fél munkáját támogatni, leírni? érdeklõdõ olvasó információkat talál a terü-
Ilyen nyelvek tervezése esetén az lenne-e a letrõl a http://www.sztaki.hu/mms/bib.html
célravezetõ eljárás, ha egy összetett, kifino- weboldalon, a (Csuhaj-Varjú et al., 1994) mo-
mult struktúrát hozunk létre, amely mûködte- nográfiában és a (Dassow et al, 1997) össze-
tésével képesek vagyunk egészében követni foglaló tanulmányban.) Minthogy a gramma-
és leírni a hálózat egyes csúcspontjaiban vég- tikák egyben kiszámítási eszközöknek is
bemenõ tevékenységeket, vagy inkább tekinthetõk, az elmélet arra keres és ad vála-
valami más utat kellene választanunk? szokat, hogy milyen kiszámítási erõ érhetõ el
Az elõbbi megközelítés alternatívája le- szintaktikai (formai) leírásuk szerint nagyon
het, ha nem egy komplex, a leírt követelmé- egyszerû, önmagukban kis kiszámítási erejû
nyek egészének eleget tevõ grammatika eszközök viszonylag laza – esetenként kibon-
létrehozására törekszünk, hanem inkább takozó – együttmûködése eredményeként.
több, viselkedésében és a leírás módjában A szintaktikai bonyolultság szempont-
egyszerû grammatikából hozunk létre egy jából a grammatikarendszerek területén vég-
együttest, elõírjuk ezen grammatikák együtt- zett kutatások arra irányulnak, hogy feltárják,
mûködésének módját, és a nyelvet ezen mennyire egyszerûsíthetõk a formális nyel-
együttmûködõ (kooperáló) és egymással vek grammatikai eszközökkel való leírásai,
információt cserélõ (kommunikáló) gram- ha a nyelvet nem feltétlenül egy, hanem
matikák közös tevékenysége révén határoz- esetlegesen egynél több grammatika vi-
zuk meg. Ez a gondolat több szempontból is szonylatában határozzuk meg. Különös fi-
létjogosult. Gondoljunk csak a természetes gyelmet érdemelnek azok a nyelvek, ame-
nyelvek esetére: senki sincs a nyelv egészé- lyek nagyon egyszerû, bizonyos értelemben
nek birtokában, viszont a magyarul beszélõ korlátozott szintaktikai bonyolultságú
vagy valamikor élt, magyarul beszélõ embe- (például korlátozott méretû) grammatikák
rek együttes nyelvhasználata adja számunk- együttmûködésének eredményei.
ra a magyar nyelvet. De ha csak a gyakorlati Az olvasó könnyen arra a gondolatra
élethez fordulunk példáért, elmondhatjuk, juthat, hogy lehet, hogy adott esetben az
hogy bonyolult funkciókra képes gépek egyes grammatikákat rendkívül egyszerûek-
komplikált mûködési eljárásainak tanulmá- nek és méreteikben erõsen korlátozottnak
nyozása helyett szívesebben olvasunk olyan tudjuk választani, de vajon nagy együttes
leírásokat, hogyan lehet megoldani egy-egy hatékonyságuk, kiszámítási erejük nem
elõttünk álló, kellõen összetett feladatot né- együttmûködésük bonyolult protokolljának
hány nagyon egyszerû, mindössze pár funk- eredménye-e? Ebben az esetben, ugyanis,
cióra képes gép együttes mûködtetésével. amit nyerünk a réven, elveszítjük a vámon.
340
Csuhaj Varjú Erzsébet – A formális nyelvek bonyolultságáról
341
Magyar Tudomány • 2003/3
342
Csuhaj Varjú Erzsébet – A formális nyelvek bonyolultságáról
343
Magyar Tudomány • 2003/3
344
Prószéky Gábor • A természetes nyelvek…
345
Magyar Tudomány • 2003/3
kezik, hogy ha van ilyen természetes nyelv, vészeti elv megragadására a Chomsky-hier-
akkor a természetes nyelvek általánosságban archia alapnyelvtanai nem alkalmasak. A
nem lehetnek környezetfüggetlenek. természetes nyelvek objektumai (azaz pél-
Kérdés ezek után, hogy a természetes dául az ugyanazon szavakból álló kijelentõ
nyelvek környezetfüggõk-e, és ha igen, és kérdõ mondatok) között „rokonságok”
mennyire? A modern nyelvészet sokféle vannak. Chomsky elsõ igazán jelentõs nyel-
megoldást kitalált a környezetfüggetlen vészeti munkájában (Chomsky, 1957) meg-
nyelvtanok még jól kezelhetõ bonyolultsá- érezte azt az igényt, hogy ezeket a rokonsági
gának fenntartására. Ravasz megoldások, relációkat ki kell valahogy fejezni. Bevezette
sokszor ügyes, intellektuális trükkök jöttek tehát a transzformációt, és így a végtelen szá-
létre, melyek a környezetfüggetlen nyelvta- mú szabály lehetõségét: elõször transzfor-
nok elõnyös tulajdonságait voltak hivatva máció-családok formájában, amelyekbõl
megtartani, immáron már a környezetfüggõ idõvel csak egyetlen, ám gazdagon paramé-
nyelvek világában. Ezeket a rendszereket terezhetõ elem maradt: a híres „move α”
mildly context-sensitive-nek, azaz enyhén szabály. Stanley Peters és Robert W. Ritchie
környezetfüggõnek is nevezték. késõbb kimutatta, hogy a transzformációs
Egy másik paradigma, a gyakorlati prob- nyelvtanok gyengén ekvivalensek a Turing-
lémákkal gyakran szembesülõ számítógé- géppel (Peters, 1973).
pes nyelvészet a generatív nyelvészet kiala- Késõbb megjelentek a további általánosí-
kulása után hamar létrehozta a maga modell- tásokat lehetõvé tevõ X-vonás (részletesen:
jeit. Ezek az elméleti nyelvészet modelljeitõl Kornai, 1985), illetve a felszíni sorrendet a
elsõsorban abban különböztek, hogy nem a hierarchikus relációktól elválasztó ún. ID/LP
megnyilatkozások elõállítására, hanem a fel- (Pullum, 1976) nyelvtanok. Az eredeti gene-
ismerésére koncentráltak. Itt a környezet- ratív alapötlethez képest lényeges különb-
függõ modell átugrásával, a reguláris nyel- ség a strukturált kategóriák, az ezekhez szük-
veket leíró véges automaták általánosításán séges unifikációs mûveletek és az õket keze-
(a környezetfüggetlen nyelveket generáló lõ szabályosztályok megjelenése. Ez utóbbi-
rekurzív átmenethálón, az RTN-en) keresz- ak segítségével – a nagy bonyolultságot ma-
tül egyenesen a Turing-gépekkel tették ek- gukban hordozó transzformációk nélkül is –
vivalenssé modelljeiket, melyeket bõvített kezelhetõvé váltak olyan, mindig is nagyon
átmenethálóknak (ATN) neveztek el kritikusnak számító jelenségek, mint a távoli
(Woods, 1970). Ezek állapotátmeneteinek függõségek (azaz: a mondaton belül szétesõ
feltételei közé néhány – a nyelvfeldolgozó szerkezetek) vagy a korábban már említett
feladat megoldásához elengedhetetlennek nem-projektív konstrukciók. A fent jelzett
tûnõ – technikai mûveletet is felvettek. A matematikai probléma ugyanakkor Chomsky
természetes nyelvek bonyolultságával kap- modelljeiben az volt, hogy a nyelvtanok ge-
csolatos ismereteinkre e gépi modellek meg- nerálta mondathalmazok összehasonlításán
jelenése nem volt, nem lehetett hatással. alapuló gyenge generatív kapacitás nem tudta
Ha azonban visszatérünk az elméleti megragadni az igazi bonyolultságot.
nyelvészet bonyolultsági problémáihoz, Egy másik jelentõs nyelvleírási felfogás, a
könnyen megérthetjük, hogy a Chomsky- kétszintes morfológia (Koskenniemi, 1983),
modellek tanulmányozása kapcsán hamar mely a nyelvnek szóalaktanát, és nem elsõ-
megjelent két – egy nyelvészeti és egy ma- sorban mondattanát célozza meg, olyan esz-
tematikai jellegû – dilemma. A nyelvészeti közt ígér a nyelvésznek, mellyel az környe-
probléma az volt, hogy sok általános nyel- zetfüggõ nyelvtani jelenségeket írhat le, mi-
346
Prószéky Gábor • A természetes nyelvek…
közben az így készült leírást elemzésre és minden P(S0)-beli B-re legyen S1 a B összes
generálásra használó eszköz formalizmusa mondatából álló mellérendelõ összetétel
megmarad a reguláris nyelvek szintjén. Eb- halmaza:
ben a rendszerben a lexikális és a felszíni szer- S1={„Józsi boldog”, „tudom, hogy Józsi
kezetek között nincs köztes szint, és a szabály- boldog”, „tudom, hogy tudom, hogy Józsi
alkalmazás mikéntje – melyet kizárólag a boldog”, …; „Józsi boldog és tudom, hogy
formalizmus mûködtetésére szolgáló gépi Józsi boldog”, „Józsi boldog és tudom, hogy
háttérnek, és nem a nyelvésznek kell ismernie tudom, hogy Józsi boldog, …; „Józsi boldog,
– garantálja a hatékony mûködést. Úgy tûnt, tudom, hogy Józsi boldog és tudom, hogy
a gyakorlat igazolja is ezt, ám az egyszerûnek tudom, hogy Józsi boldog”,…}
látszó nyelvi jelenségek kétszintes leírása Ekkor tehát – ahogy Georg Cantor
néha meglepõen bonyolult feladat. Ed Barton, tételébõl tudjuk – S0 megszámlálható, de S1
Robert C. Berwick és Eric Sven Ristad, valamint nem. Ugyanakkor S2 , S3 stb. ugyanígy létre-
mások is kimutatták, a bonyolultság itt sem a hozható, egyre növekvõ számossággal,
végsõ formalizmusban, hanem az azt készítõ viszont minden ilyen Si eleme L-nek, tehát:
rendszerben rejlik (Barton, 1987). az L (magyar) nyelv mondatai nem rekurzí-
van felsorolhatók, azaz a természetes nyel-
3. Konstruktív és vek nem írhatók le halmazokként. Ez az
nem-konstruktív nyelvtanok állítás pedig valóban ellentmond „A termé-
A nem-konstruktív nyelvtanok gondolata azt szetes nyelvi mondatok összessége halmaz”
a kérdést járja körül, hogy ha feltesszük, hogy Chomsky-axiómának.
a természetes nyelv halmaz, akkor valóban Egy másik megfigyelés a mondat hosszá-
modellálható-e rekurzív felsorolással? Mivel val kapcsolatosan gondolkodtathat el. Az
tudjuk, hogy létezik nem rekurzívan meg- alábbi (1) állításról intuitíve érezhetõ, hogy
számlálható véges halmaz, csak egy olyan nem igaz, de hogy állunk (2)-vel?
nyelvet kell keresnünk, melyre egy ilyen (1) Minden mondat kevesebb, mint k elem-
definíció ráillik. Vegyük például az egyetlen bõl áll. (k ∈N)
mondatból álló L={z: Füzér(z) ∧ ( - V) ∨ (2) Minden mondat kevesebb, mint ℵ0
(Fölött(z,V) → V=x) ∨ Hossz(z)= ℵ0} nyel- elembõl áll.
vet. Ez a nyelv csak ilyen, nem-konstruktív Könnyen látható, hogy a fenti S1 halmaz
nyelvtannal írható le. Ennek az a következ- mondatainak konjunkciójából elõálló
ménye, hogy ha a „Minden mondat véges mondatra (2) nem igaz! Tehát – amint ezt D.
objektum” Chomsky-axióma a fenti ℵ0 hossz Terence Langendoen és Paul M. Postal meg-
miatt nem áll, akkor azzal a Chomsky-axió- mutatja – nem minden mondat véges, azaz
mával is probléma lesz, hogy „Ez az összes- ez a Chomsky-axióma nem tartható (Lan-
ség halmaz”. Ennek igazolásához csak el kell gendoen & Postal 1984).
játszani azzal a gondolattal, hogy valójában Itt ismét jogosan tehetõ fel a kérdés: ez a
hány mondat is lehet egy természetes nyelv- modell valóban nehézségeket mutat, de fon-
ben. Vegyük ehhez a magyar nyelvet (amely tos-e egy olyan modell mellett kitartani a vég-
zárt az alá- és a mellérendelésre), és jelöljük sõkig, mely magáról a tényleges természetes
L-lel. Ekkor az S0={„Józsi boldog”, „tudom, nyelvekrõl nem mond semmi „negatívat”,
hogy Józsi boldog”, „tudom, hogy tudom, mindössze a formális megfogalmazás miatt
hogy Józsi boldog”, …} halmaz segítségével kerül a definíció készítõje nehéz helyzetbe.
létrehozzuk az S1 halmazt az alábbiak szerint. Intuitíve könnyen belátható, hogy az emberi
Ha P(S0) jelöli az S0 hatványhalmazát, akkor nyelvek leírásához nincs szükség – mondjuk
347
Magyar Tudomány • 2003/3
348
Prószéky Gábor • A természetes nyelvek…
349
Magyar Tudomány • 2003/3
350
Katona Gyula • A bonyolulttól az egyszerû felé …
351
Magyar Tudomány • 2003/3
352
Katona Gyula • A bonyolulttól az egyszerû felé …
alakú görbéhez jutunk. Ha 100 helyett egyre lõ oldalú háromszög, a [0, 1/2] illetve az [1/
nagyobb tagú összegeket véve, egyre pon- 2,1] intervallumra állítva. A harmadik függ-
tosabb közelítését kapjuk (persze egyre job- vény már álljon négy kis háromszögbõl. Ezt
ban elnyújtva) egy ún. „harang-görbének”. folytatva, és a kapott végtelen sok függvényt
Ezt úgy mondjuk, hogy a nagyszámú, füg- összeadva egy nagyon bonyolult függvényt
getlen, egyforma, véletlen szám összege a kapunk, ami például folytonos, de sehol sem
„normális eloszláshoz” tart. Ez az egyszerû differenciálható. Általában a fraktálok ilye-
szabály az oka annak, hogy a természetben nek: egyszerû konstrukcióval valami bonyo-
nagyon sok véletlen szám éppen ezt az elosz- lultat kapunk. De ilyen az álvéletlen számok
lást követi. Ebben a sorban a mai legerõsebb konstrukciója is. „Véletlen” számokat kell
szabályosságot Komlós János, Major Péter és konstruálnunk egy számítógépes algoritmus-
Tusnády Gábor egy tétele írja le. sal. Ez nyilván valami szabályosat kell hogy
Most egy kissé hihetetlen „egyszerû sza- adjon, mégis olyan bonyolultnak néz ki, mint-
bály” következik, amit nagyon pongyolán ha véletlen volna.
így írhatunk le: nemcsak a véletlenben, ha- Mielõtt továbbmennénk, meg kell emlí-
nem az akármilyenben is van szabályosság. tenünk a matematika alkalmazásának legna-
Mégpedig a gráfokban. Egy gráf pontokból gyobb problémáját, ami szintén összefüggés-
és élekbõl áll. Például az ország minden em- ben van a bonyolultsággal-egyszerûséggel.
berét egy-egy ponttal ábrázoljuk, és két ilyen Az alkalmazás rendszerint egy szép észrevé-
pontot összekötünk egy vonallal (ún. éllel), tellel kezdõdik. A valóság egy darabjára egy-
ha azok kölcsönösen ismerik egymást. Sze- szerû matematikai modellt találtunk: a Föld
merédi Endre híres tétele szerint, ha a gráf gömb alakú! Alaposabb vizsgálat után kide-
pontjainak száma elég nagy, akkor a ponto- rül, hogy ez nem egészen igaz. Mivel a Föld
kat össze lehet rendezni viszonylag kisszá- forog a tengelye körül, és viszonylag puha,
mú kupacba úgy, hogy a kupacok legtöbb a centrifugális erõ kinyomja az egyenlítõnél,
párja között az élek úgy mennek, mintha a a sarkoknál viszont belapul. A ható erõket
gráf véletlen lenne, tehát – valamilyen érte- figyelembe véve szépen kiszámolható a Föld
lemben – szabályos. alakja. A matematikus boldog, mert – bár a
No, persze azért a matematikusok sem dolog nem olyan egyszerû – viszonylag egy-
értenek mindig mindenben egyet, abban szerûen sikerült meghatározni az alakot. De
sem, hogy mi az egyszerû és mi a szép. Nem az alaposabb vizsgálat azt mutatja, hogy ez a
csak a szépérzéktõl függ, hanem a tudástól, modell sem tökéletes, mert a Föld anyaga
az ismeretanyagtól is. Ha valaki nem ottho- nem homogén. Ha ezt is figyelembe akarjuk
nos egy témakörben, nem ismeri a tételeit, venni, akkor ismernünk kell a tömegelosz-
akkor annak nem lehet abban a témakörben lást, és jó közelítéssel, rengeteg adattal fel is
szép tételt mondani, mint ahogy az õserdei kell használnunk. A számítások csak számí-
indián se érti a szõke nõs viccet. tógéppel végezhetõk el, az eredmény sem
Nem szeretném félrevezetni az olvasót lesz teljesen pontos, csak az adatok pontos-
prekoncepcióimmal. Be kell vallanom, hogy ságának megfelelõen. Elveszett az egysze-
vannak olyan matematikai eredmények, rûség, a szépség. De mégis meg kell csinálni!
amelyek, mintha az egyszerûtõl vezetnének A matematikai alkalmazások túlnyomó több-
a bonyolult felé. Ilyen példa a Takashi-függ- ségénél fellép ez jelenség.
vény: állítsunk a [0,1] intervallumra egy Az utóbbi két-három évtizedben lett
egyenlõ oldalú háromszöget, ez legyen az centrális kérdés a számítások, algoritmusok
elsõ függvény. A második legyen két egyen- bonyolultsága. A matematika ókori kezdetei-
353
Magyar Tudomány • 2003/3
354
Katona Gyula • A bonyolulttól az egyszerû felé …
355
Magyar Tudomány • 2003/3
BIRKÓZÁS A BONYOLULTSÁGGAL:
HATÉKONY ALGORITMUSOK1
Rónyai Lajos
az MTA levelezõ tagja, tudományos tanácsadó, MTA SZTAKI, BME – ronyai@sztaki.hu
Most jön a végleges egyensúly meg a P=NP? kérdés is az elsõ értelmezés szerinti
kibontakozás, a bonyolultságok hirtelen bonyolultság természetét tudakolja.
elszégyellik magukat, és elenyésznek. A hatékony, vagyis minél alacsonyabb
Füst Milán2 bonyolultságú algorimusok tervezése, ku-
tatása elméleti és gyakorlati szempontból
A bonyolultság fontos szakszó a számításel- egyaránt nagy jelentõséggel bíró irányzat.
méletben. Rendszerint valamilyen számítási Innen választottam néhány – szerintem
erõforrással (idõ, tár, kommunikáció) kap- fontos és érdekes – példát. Nevezetes algo-
csolatban használatos, és egy feladat/algo- ritmusokra szeretném felhívni a figyelmet,
ritmus erõforrásigényére, illetve felhaszná- és ennek kapcsán érzékeltetni valamit a
lására utal. Így beszélhetünk egy számítási terület jellegébõl, szépségébõl és inter-
feladat idõbonyolultságáról vagy éppen egy diszciplináris kapcsolataiból. Olyan gondo-
algoritmus (számítási eljárás, módszer) tár- latokról, módszerekrõl lesz szó, amelyek
bonyolultságáról. Az elõbbi esetben a feladat már széles körben bizonyították erejüket,
megoldásához minimálisan szükséges számí- és amelyek a szülõhelyüktõl távolabbi terü-
tási idõre gondolunk, míg a másodikban az letek mûvelõi számára is hordozhatnak ta-
algoritmus által felhasznált tárterület nagysá- nulságokat.
gára. A számítástudományban vannak a bo- Terjedelmi korlátok és a folyóirat profilja
nyolultságnak a köznapi alapjelentéshez (az miatt mellõznöm kell a technikai részlete-
egyszerûség hiánya) közelebb álló technikai ket. Kérem az Olvasót, nézze el az ebbõl
megfelelõi is: ilyen a programok, program- az egyszerûsítésbõl eredõ fogyatékossá-
szerû struktúrák ún. leírási bonyolultsága és gokat. Cserébe talán különösebb bonyodal-
a Kolmogorov-bonyolultság. mak nélkül vethet pillantást az algoritmusok
Az elnevezés fõként az elsõ két értelem- világára. A téma iránt behatóbban érdeklõ-
ben, az idõ- és tárigénnyel összefüggésben dõknek a következõ munkákat ajánlom
vált fontossá. Rendszeres vizsgálata a hatva- (Cormen, 1999; Lovász, 1987; Papadimit-
nas évek közepén kezdõdött, és ma már riou, 1999 és Rónyai, 2000).
köteteket töltenek meg az ilyen tárgyú ered-
mények (például Papadimitriou, 1999). A Kell egy jó feladat – az LLL-algoritmus
számításelmélet legismertebb, leginkább A nyolcvanas évek elején igazi tudományos
reflektorfényben levõ nyitott problémája, a szenzációként robbant a hír: Arjen K. Lenstra,
Hendrik W. Lenstra Jr. és Lovász László megta-
1
Köszönet illeti Krámli Andrást és Vámos Tibort a
kézirathoz fûzött megjegyzéseikért. lálták az algebrai számítások világának Szent
2
A feleségem története, Magvetõ, 1968. 33. oldal. Grálját: hatékony (pontosabban mondva
356
Rónyai Lajos • Birkózás a bonyolultsággal…
polinom idejû3) algoritmust adtak racionális Ami a hatékony felbontást illeti, kiderült
együtthatós polinomok felbontására (Lenst- egyfelõl, hogy kevesebb is elég. A felbontási
ra, 1982). Módszerükkel lehetõvé vált az feladathoz kapcsolódó rácsban nem kell fel-
a0+a1x+…+akxk alakú kifejezések gyors fel- tétlenül a legrövidebb vektort megtalálni,
bontása hasonló formájú egyszerûbb kifeje- megteszi egy ennél esetleg jóval hosszabb,
zések szorzatára (már amennyiben ilyen de még mindig elég rövid vektor is. Másfelõl
felbontás egyáltalán létezik). Itt az a0, a1,…,ak Lovász László ragyogó módszert adott, amivel
racionális számok, az x pedig egy változó. A gyorsan lehetséges ilyen nem túl hosszú vek-
felfedezés jelentõségét aligha lehet túlbe- tort lelni. A rácsredukció, illetve LLL-algorit-
csülni. Az algebrai kifejezések szorzattá ala- mus néven azóta széles körben ismertté vált
kításának hasznossága nyilvánvaló a mate- eljárása a vi vektorok helyett egy másik, vi-
matikával foglalkozó ember számára, legyen szonylag rövid vektorokból álló rendszert ad,
szó házi feladatot megoldó kisdiákról vagy amelyik ugyanazt a rácsot határozza meg,
terebélyes számításokat végzõ mérnökrõl, mint kiinduló vektoraink. Az új rendszer leg-
kutatóról. A problémával már Sir Isaac New- rövidebb vektora pedig legfeljebb 2(m-1)/2-
ton is foglalkozott az Arithmetica Universa- szer lehet hosszabb, mint a rács legrövidebb
lis-ban (1707). Az elsõ véges lépésszámú vektora, ahol m a befoglaló tér dimenziója.
módszert a csillagász Friedrich von Schubert Az eredmény meglepõ és értékes vonása,
dolgozta ki (1793). Ezt Leopold Kronecker hogy a tér dimenzióján túl a legrövidebb vek-
fedezte újra fel (1882), és az eljárás az õ nevé- tor közelítésének jósága nem függ a rácstól
vel került be a szakmai köztudatba. Igazán magától.
komoly elõrelépésre 1969-ig kellett várni. Példaként nézzük a
Hans Zassenhaus eljárása sokkal jobb ugyan
v1=(1,0,2002),
az elõdeinél, de a legrosszabb esetekben
v2=(0,1,2001),
még mindig exponenciális ideig zakatol.
v3=(1,2,2500)
Az út az áttöréshez egy geometriai ter-
mészetû számítási feladaton keresztül veze- vektorok által kifeszített rácsot a térben. A
tett: tegyük fel, hogy van néhány vektorunk, Mathematica szimbolikus számítási rendszer
v1, …, vm valamely többdimenziós valós LLL-eljárása erre a bemenetre a
térbõl. A vi vektorok által meghatározott rács
w1=(-1,1,-1),
az a1v1+a2v2+…+amvm alakú vektorok ösz-
w2=(-5,-2,4),
szessége, ahol az a1,…,ak számok tetszõleges
w3=(53,236,182)
egészek. Ilyen rácsnak tekinthetõk a négy-
zetháló csúcspontjai. vektorokat adja eredményül. A vi vektorok
Ha adott egy rács, akkor próbálkozhatunk mind hosszabbak 2 000-nél, a w1 hossza
minél rövidebb nem nulla vektort találni pedig mindössze √3. A módszer a közel pár-
benne. Jól ismert – vagy inkább hírhedt – huzamos és hosszú vi vektorokat a sokkal
ilyen természetû feladat a legrövidebb nem rövidebb és jóval kevésbé hegyes szöget
nulla vektor megkeresése. Eddig senki sem bezáró wi vektorokkal helyettesítette. Mint-
talált hatékony módszert a feladat megol- ha egy virág szirmait nyitotta volna ki a nap-
dására, és a szakértõk körében uralkodó vé- sugár.
lekedés szerint nem is létezik ilyen. A felfedezésbõl azt szeretném hangsú-
lyozni, hogy új feladatot fogalmaztak meg
3
Egy algoritmus polinom idejû, ha van olyan c>0, hogy (redukált vektorrendszer számítása), ami
n bitbõl álló bemeneten legfeljebb nc ideig dolgozik. egyszerre bizonyult kezelhetõnek és hasz-
357
Magyar Tudomány • 2003/3
nosnak is. Új, addig nem létezett feladat szü- származó egyszerû gondolatok együttesen
letett – mindjárt a megoldással együtt. A rács- milyen hatékony és erõteljes eredményt
redukció algoritmikus építõkõvé vált, ami adhatnak.
sok helyen alkalmazható. Ennek megfele- Tegyük fel, hogy a térben mozgó n test
lõen több szimbolikus számításokra szako- p1,p2,…, pn (a továbbiakban csak részecs-
sodott programcsomag kínál rácsredukciós kéknek nevezem õket) pályáját szeretnénk
eljárást. követni az idõben, ahogy az egymásra gya-
A módszert polinomok felbontása mellett korolt erõhatások függvényében mozognak.
sikerrel alkalmazzák egy sor más területen, A hatás lehet gravitáció (Newton-tér), elekt-
így például a kriptográfiában, az illetéktelen rosztatikus erõ (Coulomb-tér), kémiai kötési
hozzáféréssel szemben biztonságos kom- erõ és más is. Az ilyen értelemben vett több-
munikáció tudományában, és diofantikus testrendszerek mozgására már három ré-
egyenletek megoldására is. Fontos alkalma- szecske esetén sincs pontos matematikai
zási terepet jelent az egész relációk keresé- megoldás. Egy sor alkalmazási területen
sére. Itt a feladat a következõ: adottak az azonban ez a nehézség mit sem csökkenti
r1,…,rk valós számok; keressünk közöttük azok kíváncsiságát, akik igen nagy számú
fennálló egész lineáris összefüggést. Ponto- részecske mozgásáról szeretnének képet
sabban mondva olyan nem csupa nulla kapni. Ilyen területek a csillagászat és az égi
a1, …,ak egészeket, melyekkel mechanika (Newton-tér), molekuláris dina-
mika (elektrosztatikus erõk, Lennard-Jones-
a1r1+a2r2+…+akrk=0
potenciál stb.), és a folyadékok dinamikája.
teljesül. Az egész relációk számítógépes ke- Használható matematikai megoldás híján
resése egy új, és egyre inkább teret nyerõ a kutatók gyakran fordulnak a számítógépes
irányzat, a kísérleti matematika jeles eszkö- szimuláció eszközéhez. Gépeiken mintegy
ze (Bailey, 2000). Segítségével több mate- lejátsszák a kérdéses folyamatot, és közben
matikai azonosságot sikerült megsejteni, vizsgálják jellemzõinek alakulását. Ennek a
majd azután szigorúan bizonyítani. Vannak jellegzetesen számítógépes megközelítés-
alkalmazásai a kvantumtérelmélet Feynman- nek a fizikai alkalmazásaival foglalkozik
diagramjainak vizsgálatában is. Vicsek Tamás írása (Vicsek, 1990).
A tudományos haladás természetének A többtestrendszerek szimulációjában a
megfelelõen a rácsredukció módszereit az következõ helyzet meghatározásakor, a
évek során többen is fejlesztették, finomí- következõ pillanatfelvétel elkészítésekor az
tották, illetve általánosították. Ezek közül – erõk számítása az idõigényes részfeladat. A
némiképpen hazabeszélve – egyet említek. p1 részecskére ható erõ a többi részecske
Ivanyos Gábor és Szántó Ágnes, az MTA erõhatásának (vektor)összege. Például ha
SZTAKI munkatársai kiterjesztették a mód- gravitációs térben vagyunk, akkor a pi ré-
szert az olyan esetekre is, amikor a vektora- szecskének a p1-re gyakorolt hatása (i > 1)
inkat tartalmazó térben a távolság felvehet
pozitív és negatív értékeket egyaránt (ún.
indefinit eset) (Ivanyos, 1996).
Fi=G.m1.mi ( xr-x
i
i
3
1 ,
yi-y1
ri3
, zi-z
ri3
1
),
, mj a pj ré-
ahol (xj,yj,zj) a pj helyvektora,
Tudás több területrõl –
szecske tömege, G a gravitációs állandó,
többtestrendszerek gyors szimulációja
végül ri= √ (x1-xi)2+(y1-yi)2+(z1-zi)2 a p1 és
Az itt következõ módszerek arra mutatnak pi közötti távolság. A p1-re ható teljes erõ
példát, hogy különbözõ ismeretkörökbõl pedig F2+F3+…+Fn. Innen látható, hogy a
358
Rónyai Lajos • Birkózás a bonyolultsággal…
részecskék helyének és tömegének isme- zet szolgálja. A nyolcfa gyökere egy C kocka,
retében az egy részecskére ható erõ n-nel ami tartalmazza az összes, a szimulációban
arányos számú mûvelettel (összeadás, kivo- részt vevõ részecskét. A gyökérnek nyolc
nás, szorzás, osztás, négyzetgyökvonás) meg- fia van. Ezek a C1,…, C8 kockák, amiket úgy
kapható. Ennek megfelelõen az n darab erõ kapunk, hogy a C-t a középpontján átmenõ,
kiszámítása legfeljebb n² nagyságrendû mûve- a lapjaival párhuzamos síkok mentén szét-
letet jelent. Hasonló a helyzet más (nem gravi- vágjuk. A Ci kockákat azután ugyanígy fel-
tációs) erõk esetén is. Egyszerû négyzetes vágjuk kisebb darabokra. Ezzel a finomítással
futási idejû algoritmusunk van tehát. Látszó- akkor állunk meg, amikor a keletkezõ kis
lag ideális a helyzet, hiszen alacsony idõbo- dobozokban (kockákban) a részecskék szá-
nyolultságú módszerrel rendelkezünk. Ez az ma legfeljebb 1.
idõigény azonban túl soknak bizonyul, ami- A Barnes–Hut-algoritmus elsõ fázisában
kor milliós nagyságrendû részecskébõl álló nyolcfát építünk a p1,…,pn részecskékhez.
rendszereket szeretnénk vizsgálni. Egy, a ga- Az egyenletességi feltevés miatt a fa szintjei-
laxisok keletkezésével, eloszlásával kapcso- nek számára logn-nel arányos felsõ korlát ad-
latos szimulációban 17 000 000 részecske ható, és emiatt a fa konstrukciójának idõigénye
(csillag) mozgását szerették volna követni O(nlogn) lesz. A következõ menetben a fát
hatszáz idõlépésen keresztül. Az imént vá- alkotó kisebb kockáktól a nagyobbak felé
zolt módszerrel a szimuláció több mint egy haladva sorban kiszámoljuk az egyes kockák
esztendõt igényelt volna egy 5·109 mûvelet/ (pontosabban a bennük levõ részecskék) tö-
másodperc sebességû gépen (512 procesz- megközéppontját és össztömegét.
szoros Intel Delta, ideális párhuzamosítással). Az utolsó, a harmadik fázis a tulajdonkép-
Az alább bemutatandó módszerrel a feladatot peni erõszámítás. Minden egyes i-re megha-
röpke huszonnégy óra futási idõvel meg le- tározzuk (közelítõleg) a pi részecskére ható
hetett oldani. Gi erõt. Ezt a nagyobb dobozoktól a kisebbek
A négyzetes bonyolultság csökkentésére felé haladva tesszük. A munkát a gyökérrel,
irányuló törekvések igen szép és gyors (kö- a teljes rendszert befoglaló C kockával kezd-
zelítõ) algoritmusokhoz vezettek. Ezek egyi- jük. Tegyük fel, hogy éppen az N doboznál
ke a Joshua Barnes és Piet Hut által 1986-ban tartunk. Ha N-ben csak egy részecske van,
javasolt Barnes–Hut-algoritmus (Barnes, akkor ennek a hatását hozzáadjuk Gi-hez.
1986). Ennek a számításigénye O(nlogn) Nézzük most azt az esetet, amikor N-ben több
mûvelet – az n részecske eloszlására vonat- részecske található! Legyen az N kocka él-
kozó valószerû egyenletességi feltételek hossza d, a távolsága pi-tõl pedig D. Itt szerepet
mellett. játszik még egy 0 <Θ < 1/2 paraméter, ami a
A Barnes–Hut-algoritmus a következõ pontosságot szabályozza. Elõször megvizsgál-
fizikai jellegû egyszerûsítõ ötletet használja: juk, hogy d/D < Θ teljesül-e. Ha igen, akkor az
ha a részecskék valamely S részhalmaza a pi- egyszerûsítõ ötletet alkalmazzuk: az N-beli
tõl távoli kis kockában elfér, akkor az S részecskék a pi-tõl való távolságukhoz képest
együttes hatását pi-re úgy számíthatjuk, hogy kicsi csomóban helyezkednek el, így hatásu-
S-et helyettesítjük a tömegközéppontjába tett kat helyettesítjük a tömegközéppontjukban
össztömegével. Ezt az egyszerûsítõ-közelítõ elhelyezkedõ össztömegükkel. Az elsõ fázis
gondolatot már Newton is alkalmazta. eredményeként ezeket a jellemzõket itt már
A számítások gyors szervezését a számí- ismerjük. Ha a tesztnél a válasz nemleges,
tógépes grafika/geometria területén nép- akkor N helyett a gyermekeit vesszük. Ekkor
szerû nyolcfa (angolul octtree) adatszerke- az N járuléka Gi-hez a nyolc fia járulékának
359
Magyar Tudomány • 2003/3
360
Rónyai Lajos • Birkózás a bonyolultsággal…
pel a szövegben avagy nem) jegyeznek fel. rangú B mátrixot. A B mátrixot az A Lánczos-
A szinonimák és más asszociatív kapcsolatok felbontása (szinguláris értékek szerinti
azonban rajtuk is kifognak. Ha mondjuk az felbontása) segítségével kaphatjuk meg. Az
étkezés szót tartalmazó szövegekre kérde- A Lánczos-felbontása egy A=UDV alakú
zünk, akkor a keresõ nem fogja esetleg visz- elõállítás, melyre (egyebek között) igaz,
szaadni azokat a szövegeket, amelyekben a hogy a D egy r-szer r-es diagonális mátrix,
vacsora, fûszer, elõétel szavak szerepelnek, ahol r az A rangja, aminek a fõátlóbeli értékei
de az étkezés éppen nem. nemnegatív valós számok (az A ún. szingulá-
A 90-es évek elején Susan T. Dumais, ris értékei). Ebben a D-ben írjunk nullát a
Scott Deerwester, Michael W. Berry, Thomas kétszáz legnagyobb elemet kivéve minden
K. Landauer és munkatársaik átütõ erejû új más helyre, és legyen H az így kapott mátrix.
gondolatokat vittek a vektorteres indexelõk Ekkor igaz lesz, hogy B=UHV. Lánczos Kor-
világába (Deerwester, 1990; Berry, 1995; nél – a lineáris algebrai számítások zsenije –
Berry, 1999). Pontosabban szólva, az alapöt- még egy fontos ponton kapcsolódik a törté-
letet, a rang-redukciót (lásd késõbb) koráb- nethez. Ha a szövegek nem túl nagyok, ak-
ban már gyümölcsözõen alkalmazták a sta- kor az A mátrix ritka abban az értelemben,
tisztikában (fõkomponens-analízis), a képfel- hogy kevés nem nulla eleme van. Ilyenkor
dolgozásban és más területeken. Az indexe- a felbontás számításakor alkalmazhatók a
lés területén új és váratlan megközelítésük- ritka mátrixok kezelésére kihegyezett,
nek a mögöttes szemantikájú indexelés (la- Lánczostól származó technikák.
tent semantic indexing, röviden LSI) nevet Az A helyett a B mátrixot használhatjuk a
adták. Módszerük igen hatásosnak bizonyult szövegek és szavak viszonyának ábrázolá-
a szinonimák kezelésében, ami azért külö- sára. B-nek azt az értelmet tulajdoníthatjuk,
nös, mert semmiféle erre kihegyezett nyelvi hogy a szövegeket kétszáz fontos mestersé-
eszközt (tezauruszok, taxonómiák és hason- ges fogalom súlyozott kombinációjaként ke-
lók) nem használnak. Szemléletük lényege vertük ki. Ezzel a kétszáz mögöttes foga-
– itt a szép szövegek kedvelõi vegyenek mély lommal írhatók le a keresõkérdések, sõt ma-
lélegzetet –, hogy a keresés szempontjából guk a szavak is. A tapasztalatok szerint a rang-
zajnak, bizonytalanságnak tekinthetõ az a redukció jelentõs mértékben csökkenti a már
sokféleség, amit a nyelv lehetõvé tesz ugyan- érintett szemantikus zajt, és tényleg megta-
annak a tartalomnak a kifejezésére. Emiatt a lálja a fák között az erdõt. Az eredeti repre-
szövegek és szavak viszonyát leíró A mátrix- zentáció bonyolultságának (jelen esetben a
ban sokkal több szabadsági fok van, mint mátrix rangjának) csökkentése, egyszerûsí-
amennyit a tárolt szövegek jelentése indokol- tése révén hasznos összefüggések válnak
na. Itt a szabadsági fok az A mátrix rangja, a láthatóvá. Például a szinonim szavak egymás-
lineárisan független oszlopainak maximális hoz hasonlónak mutatkoznak a redukált
száma. Kísérleteik szerint N=70 000 szöveg térben akkor is, ha nem, vagy csak ritkán
és M=90 000 alapszó esetén A rangja közel fordulnak elõ egyazon szövegben. Ezt – úgy
maximális (azaz 70 000) lehet, míg a tényle- tûnik – a számottevõ közös kontextusuk
gesen ,,értelmes” szabadsági fokok száma felismerésével éri el a módszer. A B mátrix
kb. 200-300-ra tehetõ. Az általános recept egyfajta lényegtükörnek tekinthetõ. Hasz-
ennek megfelelõen az, hogy A helyett ve- nálatával jelentõs mértékû, de termékeny
gyük a hozzá legközelebbi4 legfeljebb 200 egyszerûsítés megy végbe. Eltekintünk a
4
A közelség itt az N×M-dimenziós térbeli euklideszi szövegek finom részleteitõl, gazdagságától.
távolság szerint értendõ. Mindezekért cserébe a sokszínûség takarásá-
361
Magyar Tudomány • 2003/3
IRODALOM
Bailey, David H. (2000): Integer Relation Detection. nal of American Society for Information Science.
Computing in Science and Engineering. 2(1), 24– 41(6), 391–407.
28. Greengard, Leslie – Rokhlin, Vladimir (1987): A Fast
Barnes, Joshua E. – Hut, Piet (1986): A Hierarchical Algorithm for Particle Simulation. Journal of Com-
O(NlogN) Force-Calculation Algorithm. Nature, putational Physics. 73, 325–348.
324(Dec. 4. 1986), 446–449. Ivanyos Gábor – Szántó Ágnes (1996): Lattice Basis
Berry, Michael W. – Dumais, Susan T. – O’Brien, Reduction for Indefinite Forms and an Applica-
Gavin W. (1995): Using Linear Algebra for Intelli- tion. Discrete Mathematics. 153, 177–188.
gent Information Retrieval. SIAM Review, 37(4), Lenstra, Arjen K. – Lenstra, Hendrik W. – Lovász
573–595. László (1982): Factoring Polynomials with Ratio-
Berry, Michael W. – Drmac, Zlatko – Jessup, Eliza- nal Coefficients. Mathematische Annalen. 261,
beth R. (1999): Matrices, Vector Spaces, and Infor- 515–534.
mation Retrieval. SIAM Review, 41(2), 335–362. Lovász László – Gács Péter (1987): Algoritmusok.
Board, John – Schulten, Klaus (2000): The Fast Mul- Tankönyvkiadó, Budapest
tipole Algorithm. Computing in Science and Engi- Papadimitriou, Christos H. (1999): Számítási bonyo-
neering. 2(1), 76–79. lultság. Novadat Bt., Gyõr
Cormen, Thomas H. – Leiserson, Charles E. – Rivest, Rónyai Lajos – Ivanyos Gábor – Szabó Réka (2000):
Ronald L. (1999): Algoritmusok. Mûszaki, Budapest Algoritmusok. Typotex, Budapest
Deerwester Scott – Dumais Susan T. – Furnas, George Vicsek Tamás (1990): Számítógépes szimuláció: a
W. – Landauer, Thomas K. – Harshman, Richard fizikai jelenségek megértésének új módszere.
(1990): Indexing by Latent Semantic Analysis. Jour- Magyar Tudomány. 9, 1048–1054.
362
Lukácsi Béla beszélgetése Kristó Gyulával
Interjú
KÖZÉPKORT OKTATNI
ÉS KUTATNI SZEGEDEN
Lukácsi Béla beszélgetése Kristó Gyulával*
363
Magyar Tudomány • 2003/3
364
Lukácsi Béla beszélgetése Kristó Gyulával
két olyan kutató, akivel bensõséges viszony- jegyzések az ún. „pogánylázadások” kora
ba kerültem, és akitõl nagyon sokat tanultam. történetéhez címmel, a 11. század közepé-
Az egyik Elekes Lajos volt, akinek aspiránsa nek viszonyait tárgyaltam. Ez a kismono-
lettem a 60-as évek második felében. Ma gráfia abban a megtiszteltetésben részesült,
többnyire nem szoktak róla hízelgõen szólni, hogy a Szabad Európa Rádió ismertette. En-
hiszen dogmatikusnak tartják. Ebben sok is nek fõ gondolatmenete az volt, hogy Kristó
az igazság, de a maga módján kiválóan kép- Gyula tollából megjelent Magyarországon
zett kutató és nagyon okos ember volt. És egy könyv, amelyik világosan kifejezésre
nagyjából akkor, amikor az 1970-es évek kö- juttatja, hogy a magyarság már ezer évvel
zepe táján meglazultak az engem Elekeshez ezelõtt milyen erõteljesen áhítozott a nyuga-
fûzõ szálak, egy közös munkálat kapcsán ti szabad világra, és a magyarságban a sötét
szoros munkakapcsolatba kerültem Mályusz elnyomás ellenére is mindig élt a szabadság-
Elemérrel, aki a magyar középkorkutatás – szeretet. Én ezt az interjút nem hallgattam,
azt hiszem, soha felül nem múlható – nagy mert nem volt idõm akkor sem – ahogyan
egyénisége volt. Hálás vagyok a sorsnak, most sem – sok rádiómûsort hallgatni vagy
hogy mire pályámon igazán felcseperedtem, tévémûsort nézni. Akkoriban azonban kivá-
kijártam a tanulóiskolákat, tehát elértem úgy lóan mûködött az elhárítás, és engem behí-
nagyjából a negyvenedik életévemet, ad- vattak. Lejátszották elõttem az interjút és
digra két, erõsen eltérõ habitusú szakember- megkérdezték, hogy ez a könyvem miként
rel emberi közelségbe és szakmai nexusba került a Szabad Európához. Mondtam, hogy
kerülhettem. Ezeket a hatásokat akarva-aka- én ezt a tudomány írott és íratlan szabályai
ratlanul, hol negatíve, hol pozitíve nyilván a szellemében különbözõ embereknek el-
mai napig hordozom. küldtem, és nyilván kikerült külföldre is (aho-
vá akkoriban igen nehéz volt küldeménye-
Nem tudom, hogy mikor szembesült azzal, ket eljuttatni). Az interjú lejátszása után tisz-
hogy a középkor, kiváltképp a magyar táztam magam, hogy nem vagyok hazaáruló
középkor, nem teljesen politikamentes te- vagy összeesküvõ. Ha ezt megelõzõen nem
rület. Vagy legalábbis nem olyan száraz vettem volna észre, akkor most feltétlenül
tudomány, amit a társadalmi környezettõl észre kellett vennem, hogy ennek bizony
eltekintve nyugodtan lehet kutatni a levéltá- nagyon erõteljes politikai áthallása van. Én
rak mélyén. Ez nagyon sokszor hivatkozási tudniillik e könyvben leírtam az 1040-1060-
és érvelési alap, nemcsak nálunk, hanem as évek magyarországi viszonyait, és az ak-
a szomszédoknál is. Én akkor döbbentem kori valóságnak megfelelõen benne foglal-
rá erre, amikor a trianoni béketárgyalások tatott egy afféle megállapítás is, miszerint
jegyzõkönyvében olvastam, hogy például Magyarország erõteljesen a nyugati modell
csehszlovák részrõl ezer évvel korábbi tör- (kereszténység és a nyugat-európai típusú
ténéseket is igyekeztek érvként felhasználni, állam) megvalósítására, a keleti sztyeppei
ami teljesen hihetetlen, abszurd dolog. Önt modell leépítésére törekedett. Ezt a Szabad
foglalkoztatták egyáltalán ilyen gondolatok Európánál rögtön aktualizálták, s az 1960-as
akkoriban? Hogy mibe is nyúlt bele véletle- évekbeli kádári konszolidáció idõszaka kó-
nül, mibe is keveredett? dolt üzenetének fogták föl. Pedig sem akkor,
sem azóta egyetlen munkámban sem írok
Amirõl ön most beszélt, az engem nagyon kódolt üzeneteket. De ez az eset nyomaté-
korán megcsapott. A legelsõ könyvemben, kosan felhívta a figyelmemet arra, hogy bi-
amely 1965-ben Szegeden jelent meg Meg- zony nem politikamentes és ilyen szem-
365
Magyar Tudomány • 2003/3
pontból talán még egzisztenciálisan sem cikkbõl kiolvasni vélt politikai szándék volt
veszélytelen terület az, amelyre rátévedtem. a fontos. Az, hogy van Magyarországon va-
laki, aki végre oda meri vetni a kesztyût, és
Ennek a történetnek két hatása biztosan leírja azt, hogy sem Anonymusszal, aki a ro-
volt: az egyik, hogy Ön egy kicsit elõtérbe mánok kedves vesszõparipája, sem Nyesz-
került, másrészt viszont olyanok is olvastak torral, aki afféle második bizonyíték, nem
a magyar középkorról, akikhez valószínûleg lehet bizonyítani a dákoromán-kontinuitást.
soha nem jutott volna el ez a tudomány.
Mi lett azután ennek a következménye? Mennyire elfogadott ez a vélemény, az Ön
illetve a magyar történészek feltevése a nyu-
Ez a történet ezen a szálon nem folytatódott. gati világban? Ezt azért kérdezem, mert
Különben is a hetvenes évekre ez az erõtel- egyszer egy konferencián azt hallottam,
jesebb megfigyelés, amely a magyar elhárí- hogy a nyugati történészek nagy többsége
tást jellemezte, alábbhagyott. A következõ inkább a román álláspontot fogadja el. Ez
tanulságot efféle ügyben az 1970-es viszont azt jelenti, hogy a magyar tudo-
években szerezhettem. A Századok-ban mány eredményei még nem kellõképpen
megjelent egy írásom Rómaiak és vlachok szivárogtak be a nemzetközi tudományos-
Nyesztornál és Anonymusnál címmel. ságba.
Hosszú évtizedek után elõször írtam le Ma-
gyarországon azt, hogy szó sem lehet dáko- Ez pontosan így van, a nyugati történészek
román-kontinuitásról. A miértre pedig azt a túlnyomó többsége ugyanis nem szakember
választ adtam, hogy nincsenek adatok. Az ebben a kérdésben. Az az egy-két ember,
Elekessel való kapcsolatom elhidegülésének aki foglalkozik vele, és elfogulatlanul vizsgá-
éppen ez volt az egyik oka. Amikor elmon- lódik, az nem vallja a dákoromán-kontinuitás
dásom alapján Elekes tudomást szerzett elméletét. A túlnyomó többség természete-
arról, hogy készülök egy ilyen munka megírá- sen azt hiszi el, amit prezentálnak neki, és
sára, figyelmeztetett, hogy ne tegyem. Van ebben a kérdésben általában a román tudo-
nekünk úgyis elég gondunk – mondta –, mány szava a meghatározó, ugyanis a román
minek frontot nyitni a román elvtársak felé. tudományosság rendkívül sokat áldozott
Mellesleg Elekes erdélyi származású volt, mindig is, és áldoz jelenleg is arra, hogy
tehát ha valakinek, akkor neki már csak szár- eredményeit külországokban, fõleg Ameri-
mazásánál fogva is elemi érdeke lett volna, kában és Nyugat-Európában világnyelveken
hogy az igazságot képviselje. És itt a hangsúly megismertesse. Ezzel szemben a magyar
az igazságon van, egy olyan kérdésben, tudomány ezt valahogy sosem tartotta egé-
amelyben véleményem szerint a románok szen elsõrendû feladatának. Idõnként voltak
nagyon messze vannak az igazságtól. Elekes föllángolások, hogy talán mégis meg kellene
a témától, ha nem is tiltott, eltanácsolt. Viszont ismertetnünk magunkat a világgal. Az 1990.
becsületére legyen mondva, hogy amikor évi Történész Világkongresszus elõtt például
ezt a cikket közlésre leadtam a Századoknak, több kötet is megjelent a magyar tudomány
nem nyúlt utána. Szerkesztõbizottsági tag eredményeirõl idegen nyelveken. Nem vi-
volt ott, de útjára engedte. Meg is jelent a tatva az ilyen kötetek hasznát és seregszemle
cikk, nívódíjat kaptam érte. Ebbõl pedig már jellegét, szakmai szempontok alapján azon-
megint világosan megérezhettem azt, hogy ban az ilyen gyûjteményes kötetek nem
nem is elsõsorban a cikknek a konkrét tudo- feltétlenül érnek célba. Erre valójában csak a
mányos tartalma, mint inkább a mögöttes, a szakmonográfiák alkalmasak, hiszen egy
366
Lukácsi Béla beszélgetése Kristó Gyulával
367
Magyar Tudomány • 2003/3
sekre, olykor homlokegyenest a józan logiká- válaszolni a „mi lett volna, ha?” kérdésére.
val ellenkezõ következtetésekre jutnak a Én sem tudhatom tehát, hogy Budapesten
forrásokból. Vagy ha ilyenek nincsenek, ak- milyen pályát futottam volna be. Nem biztos,
kor egyszerûen gátlástalanul vagy alig gátlá- hogy többre vittem volna, hiszen szerényke-
sosan elmondják, hogy õk milyen víziók dés nélkül mondom, hogy akinek a pályáján
alapján látják a magyarság régi történelmét. kilencvenhat könyve, huszonöt szerkesztett
És ez tulajdonképpen azonos tõrõl fakad, könyve és összességében hatszáznál több
mondjuk a szélsõségesen túlhajtott román tanulmánya látott napvilágot, akinek jelent
nacionalista történetírással, vagy az ugyan- meg könyve Franciaországban, két kötete
csak szélsõségesen túlhajtott amerikanizáló, is Németországban, aki Magyarországon
„írjunk könnyen, gyorsan nagy témákról Mályusz Elemérrel és Galántai Erzsébettel
nagy összefoglaló történelmet” mottójú törté- közösen publikált háromkötetes latin nyelvû
netírással. Mindegyikben van egy közös mag, munkát, orosz nyelvû kismonográfiát, aki
éspedig az, hogy leértékeli a történészi apró- egyetemen tanít, az szakmai értelemben
munkát. Extrém esetben már odáig is eljut- aligha vágyhat többre. Budapesten más
nak, hogy számukra olykor zavarókká válnak közegben éltem volna, de a hatékonyságot
az adatok. Mert hiszen néhány adat kifejezet- illetõen nem hiszem, hogy ennél többre fu-
ten kellemetlen, bárhogy akarják is beerõ- totta volna az erõmbõl, hiszen én itt is maxi-
szakolni a Prokrusztész-ágyba, onnan az málisan megtettem mindent. Ugyancsak
mindenképp kikívánkozik. Ebbõl követke- nem tudom, hogy amit a szakma utánpótlá-
zik aztán az adatok félretétele, „elfelejtése”, sának biztosítása érdekében elértem Szege-
ami azután megengedhetetlen módszertani den, megtehettem volna-e a fõvárosban. A
botlásokhoz és a nagy történelemhamisítá- mûhelyteremtésrõl van szó. Éppen tíz éve
sokhoz vezet. Nem beszélünk azonos nyel- létezik itt a Szegedi Középkorász Mûhely,
vet, és ez a velük való vitát szinte lehetetlen- amely tíz év alatt negyvenhárom kötetet
né teszi. adott ki, és mûködik egy középkorász dokto-
ri iskola, aminek legutolsó idõkig, amikor
Magyarország, ahogy mondani szokták, Makk Ferenc professzor vette át az irányítást,
vízfejû ország. Nálunk minden Budapes- én voltam a vezetõje. Lehet, hogy mindeze-
ten történik. Nem volt-e hátrányára, hogy ket Budapesten nehezebb lett volna megte-
nem ebben a közegben dolgozott? Bár igaz, remteni, de ezt nem tudhatom. Itt olyan ta-
hogy rengeteget publikált, mindent elért nítványi és munkatársi gárda alakult ki körü-
tudományos fokozatban is, hiszen akadé- löttem, mellettem, amely nekem óriási segít-
mikus. De mégis, könnyebben ment volna séget jelentett, hiszen a hallgatókkal módom
a tudományos pálya, ha mindez a fõváros- volt megbeszélni az új kutatási eredménye-
ban történik? ket, s a kollégáim nagy részével is naponta
lehet szakmáról beszélni. Én szakmai vo-
Én próbálok úgy élni, hogy tudatosan leszû- nalon az élet talán legnagyobb adományának
röm magamban a saját és a környezetem azt tekintem, ha az ember nem magányos
életére vonatkozó dolgokat, történeti farkasként éli az életét. Mert esetleg lehet
tanulságaikkal együtt. Tehát nagyot vétenék szép dolog egy magányos farkasnak egyedül
történészi ars poeticám ellen, ha azt, amit ott üvöltenie a sivatagban, csak hát ez nem az
elkerülök, magamra nézvést érvényesíte- én gusztusomnak való. Éppen ezért a pá-
ném. Nem teszem. Azt válaszolom a kérdé- lyám kezdetétõl fogva nagyon erõteljesen
sére, hogy nem tudom. A történész nem tud törekedtem arra, hogy fiatalokat neveljek,
368
Lukácsi Béla beszélgetése Kristó Gyulával
369
Magyar Tudomány • 2003/3
Tanulmány
370
Solymos Rezsõ • Akadémiai üdülõ-erdõ Mátraházán
371
Magyar Tudomány • 2003/3
372
Solymos Rezsõ • Akadémiai üdülõ-erdõ Mátraházán
373
Magyar Tudomány • 2003/3
anyagának legnagyobb részét (piroxén an- zonális. A déli, délkeleti oldalakat tölgyesek
dezit). A pliocén buja növényzetének em- borítják. Jellemzõk a cseres tölgyesek; a jobb
lékét a dél-mátrai lignittelepek õrzik. A hegy- termõhelyeken, a völgyekben a gyertyános
ség mait megközelítõ formája a pleisztocén tölgyesek. Az õshonos fafajok közül a legfon-
korban alakult ki. tosabbak: a bükk, a gyertyán, a kocsánytalan
Az Alföldbõl 1000 m fölé emelkedõ pe- és kocsányos tölgy, a juharok, szilek, kõrisek
remhegységre jelentõs hatással van az Al- és a vadgyümölcsök. A hegységben élõ fe-
föld szélsõségesebb, szárazabb klímája. A déli nyõk (luc-, vörös-, erdei-, feketefenyõ) nem
oldalakon – így az akadémiai üdülõ-erdõben õshonosak. Ezeket a bükkösök és a tölgye-
is – értékesebb erdõket csak különleges gon- sek helyére telepítették. A területen néhány
doskodással lehet létrehozni és fenntartani. arborétum és több erdészeti kísérlet található.
A jelentõsebb hegycsúcsok különösen Évszázadokkal ezelõtt a Mátra természe-
változatossá teszik a tájat, közülük érdemes tes erdeit a bükkösök és a tölgyesek alkották.
kiemelni a következõket: Kékestetõ 1015 Az ember hamarosan felismerte a Mátra
m, Galyatetõ 965 m, Hidasbérc 917 m, Ágas- földmûvelési és állattenyésztési adottságait.
vár 789 m, Muzslatetõ 804 m, Nyikom 804 Az állattenyésztésnek sok negatív hatása volt
m, Cserepes tetõ 734 m, Hidegkút 725 m, az itteni erdõkre, amelyek egy részébõl lege-
Világos 709 m. lõket alakítottak ki. Az elõzõ századfordulón
Sem erdészeti, sem üdülési szempont- csak birkából 300 ezer darab legelt e tájon,
ból nem lényegtelenek a hegység klimati- könnyen elképzelhetõ kedvezõtlen hatásuk
kus viszonyai. A légnyomás alacsonyabb az a természetes erdõkre.
ország mélyebben fekvõ részeinél. A szélvi- Jelenleg a terület legnagyobb erdõgaz-
szonyok kedvezõek. Az évi napsütéses órák dálkodója az Egererdõ Rt., amelynek Erdé-
száma a Kékestetõn 1982 óra (30 éves át- szete Mátrafüreden van. Jelentõs a magáner-
lag). A hõmérséklet 100 méteres magasság- dõk területe is. Mátrafüreden mûködik az
különbségenként 0,3 °C-kal csökken, évi Erdészeti Tudományos Intézet Kirendeltsé-
átlaga 7 °C. Az üdülõ környékén az éves csa- ge, amelynek fõ feladata az erdõk védelme
padék átlaga 650-700 mm. A hóval borított a biotikus és abiotikus károsítókkal szemben.
napok száma a Kékestetõn átlagosan 112, Ezen vázlatos áttekintés után térünk át
Gyöngyösön 37. A hótakaró vastagsága 22 az akadémiai üdülõ-erdõ témakörére.
cm, februárban a legvastagabb.
Az erdõ számára meghatározó jelentõ- Az akadémiai üdülõ-erdõ
ségû a talaj. A Mátra legjellemzõbb talajai: néhány jellemzõje
erubáz talajok andezit és riolit kõzeten, ran- A mátraházai akadémiai üdülõ kedvelt pi-
ker talajok andezit és riolit tufán, erõsen henõhely. Nyilvánvaló, hogy szívesen tar-
savanyú barna erdõtalajok tömör andeziten, tózkodik itt a városban megfáradt ember,
agyagbemosódásos barna erdõtalajok, pseu- ahol nap mint nap sétálhat az üdülõ- erdõ-
dogleyes barna erdõtalajok, valamint sziklás ben és kirándulhat a hegyvidék erdõségei-
és földes váztalajok. be. Bizonyára sokan nem gondolnak arra,
Növényföldrajzilag a táj a magyar flóra- hogy az elõttük álló fák a talajból felvett táp-
tartomány (Pannonicum) Északi-közép- anyagot ozmózis segítségével 20-30 m ma-
hegység flóravidékéhez (Matricum) tartozik. gasra szállítják, hogy a fa koronájának levelei
Flóralem megoszlása megfelel az Õs-Mátra szorgos vegyészekként átalakítsák a fa
átlagának. Növénytársulásai közül a bükkös építõanyagává. Az avarral borított erdõtalaj
a magasabb, északi kitettségû területeken is külön birodalom, ahol mikroorganizmusok,
374
Solymos Rezsõ • Akadémiai üdülõ-erdõ Mátraházán
375
Magyar Tudomány • 2003/3
376
Solymos Rezsõ • Akadémiai üdülõ-erdõ Mátraházán
egy a felét, hogy a lábon maradó egész- lönbözõ korú és fafaj-összetételû erdõ
séges fák elegendõ növõtérhez jussanak, borítja, és amelynek a befejezésekor egy
és ne nyurguljanak fel, megújult életerõs faállomány, üdülõ-erdõ
• az erdõnek az üdülõ épületek feletti, veszi körül az üdülõ épületét, hogy az a
eddig nem hasznosított részén padok- további évtizedekben is a pihenni vágyó
kal ellátott sétautakat kell kialakítani, és a embereket szolgálja.
fiatalosban, a természetközeliség figye- Bizonyára lesznek, akik egyetértenek a ter-
lembevételével kell elvégezni a soron vezettekkel, és olyanok is, akiknek más ja-
levõ erdõnevelési munkákat, vaslatuk van. Az ismertetett terv nem merev,
• az országút mentén szükség szerint mes- folyamatosan módosítható, ha indokolt. Az
terséges csemeteültetéssel is ki kell alakí- erdõ életében váratlan események (viharok,
tani egy sûrû erdõszegélyt, hogy csök- betegségek) jelentkezhetnek. Ezért sem len-
kentsük a közlekedés ártalmait is, ne helyes a tervezetteket megmerevíteni.
• a sétautak mentén különbözõ méretû Befejezésül ki szeretném emelni, hogy
ismertetõ táblákat (tanösvény) kell ki- a program végrehajtója az EGERERDÕ Rt.
helyezni, hogy a látogató ezek révén is és Mátrafüredi Erdészete, finanszírozója az
tájékozódjon az erdõ életérõl és az erdõ- Erdészeti Fõhatóság. Az erdész kutatók
gazdálkodásról, pedig folyamatosan figyelemmel kísérik az
• helyre kell állítani a kerítést, erdõ állapotát.
• úgy kell a rekonstrukciót elvégezni, hogy Bízunk abban, hogy a terv megvalósul,
a közcélú feladat teljesítése példaként is és visszatükrözi majd a végzett munka célját
szolgáljon a hasonló rendeltetésû erdõk – per silvam pro homine!
felújításához, rekonstrukciójához,
• a tervezett munka mintegy 10-15 év alatt Kulcsszavak: üdülõ-erdõ, egészségvédõ
fejezõdik be, amelynek során az lesz jel- erdõ, természetközeli erdõgazdálkodás,
lemzõ, hogy a területet folyamatosan kü- mátrai erdõk, rekonstrukció
377
Magyar Tudomány • 2003/3
KOZMA LÁSZLÓ
1902–1983
378
Kovács Gyõzõ • Dr. Kozma László elektromérnök…
379
Magyar Tudomány • 2003/3
380
Kovács Gyõzõ • Dr. Kozma László elektromérnök…
épült amerikai jelfogós számítógéprõl, ami- tartott, és így a szorzás a szorzó számjegyei-
rõl a következõket írja: tõl függõen eltarthatott 5-10 másodpercig
„Katonai célokra a háború alatt az USA- is. Az igazgatóm vigasztalt, hogy ez az elsõ
ban is megterveztek egy nagyméretû jelfogós gép csak tapogatódzó kísérletnek tekintendõ,
számítógépet, (a Harvard egyetemen), akkor és most már tapasztalatokban gazdagodva
lettek készen vele, amikor az USA belépett a kezdjek hozzá azonnal egy második, gyor-
háborúba. Ez annyiban volt fejlettebb, mint sabban mûködõ példány elkészítéséhez,
az antwerpeni, hogy lyukasztott papírsza- amelybõl a lassú sorrendkapcsoló maradjon
lagról folyamatosan lehetett adatokat betáp- ki.”
lálni.” Ez az elsõ Kozma-gép – a felhasznált
Kozma László egyetlenegyszer sem írt elemek (fõleg telefonközponti léptetõ gé-
az amerikai BELL Laboratories-nél készült pek) miatt – tízes rendszerben számolt, való-
Stibitz-féle jelfogós géprõl, errõl valószínûleg ban körülbelül háromszor illetve tízszer las-
nem voltak pontos ismeretei. A fenti idézet- súbb volt, mint a sohasem ismert, két amerikai
bõl azonban látszik, pontosan tudta, hogy a „vetélytársa”. Az elsõ harvardi gép ugyanis
harmincas években az amerikaiak nem tud- kb. három másodperc alatt szorzott össze két
ták megelõzni az antwerpeni elektromecha- tízjegyû számot, a Stibitz-gépnek a szorzás-
nikus számológépek fejlesztését, hiszen az hoz elég volt egy másodperc is.
elsõ antwerpeni Kozma-gép majdnem két Ma már világosan látszik, hogy Kozma
évvel elõbb készült el, mint az említett két László szabadalmaiban korabeli világszenzá-
amerikai hasonló berendezés (1940). ciók is szerepeltek.
„Az elsõ elektromos számológép 1938- A 2,283.999 számú, az „Elektromos szá-
ra (!) készült el, és hamarosan mûködött is. mológép” (Calculating Equipment) címet
Az összeadást decimális összeadó egységgel viselõ elsõ szabadalmi leírásban – 1938. októ-
végezte el, a kivonást a szokásos kiegészítõ ber 21-i dátummal – valószínûleg elõször
számokkal való összeadással, a szorzást pe- jelent meg a világon az elektromechanikus,
dig ismétlõdõ összeadással. Osztani nem tu- telefonközpont-alkatrészekbõl épült számo-
dott. A számjegyeket akkumuláló egységek lógép minden áramköre. Nem csak ez volt
lépésenként mûködõ, tizenegypontos gépek az újdonság. Valószínûleg ebben a szabada-
voltak. A léptetõ impulzusokat sorrendkap- lomban jelent meg elõször a több munkahe-
csoló gépek állították elõ. A számológép szá- lyes, több számológépes rendszer. Igaz, a
molni számolt ugyan, de nagyon lassúnak megoldással Kozma László nem volt elége-
bizonyult, az összeadás 1-1½ másodpercig dett, ugyanis a munkaállomások – a szabada-
lomban operator’s set – tizenhat (!) vezeték-
kel kapcsolódtak a számológépekhez (cal-
culating equipment). A munkaállomások és
a számoló eszközök közötti átkapcsolást
több speciális áramkör (line circuit) oldotta
meg.
Már ebben a szabadalomban is szerepelt
a késõbbi számoló berendezéseknek több
fontos alapeleme, közöttük a memória. A
szabadalmi leírásban a következõ olvasható:
1. ábra • A számítógép legfontosabb „A találmány fõ jellegzetességének
egységeit bemutató blokkdiagramja. megfelelõen a kalkulátor egység rendelkezik
381
Magyar Tudomány • 2003/3
tároló eszközökkel, amelyek két számjeggyel „Maga a kalkulátor egy kb. 2 m magas,
kapcsolatban egy sor mûveleti jelzés bár- 1 m széles és fél méter mély szekrénybe
melyikét rögzíteni tudják, ezáltal befolyá- került, és hat kis asztali készülékrõl volt elér-
solják az említett kalkulátor egység mûkö- hetõ kapcsoló berendezésen keresztül. Ha
dését, és így ugyanaz a kalkulátor egység valamelyik készülék a hívógombját le-
több különbözõ számítást tud elvégezni.” nyomta, kis lámpa kigyulladása jelezte,
Más megfogalmazásban, a számológép hogy a probléma beküldhetõ. Ha a kal-
már bizonyos egyszerû utasítás (program) kulátor foglalt volt, akkor várnia kellett. (…)
tárolására is képes volt. A tizedes pontot a megfelelõ helyen kellett
A munkaállomások átkapcsolási megol- beadni. A beadott számok kapacitása
dását a londoni iroda annyira fontosnak tartot- maximum nyolc számjegy volt.”
ta, hogy azt egy újabb, 2,283,999 számú, A rendszernek azonban volt egy nagy
ugyancsak Számoló gép (Calculating Equip- hibája: a munkaállomást és a számológépet
ment) elnevezésû, de más sorszámú szaba- tizenhat vezetékkel lehetett összekapcsolni.
dalommal védte meg. A nagyon sok szálból álló kábelrendszer épí-
„A találmány fõ jelentõsége egy olyan tése egy laboratóriumon, de egy épületen
kalkulátor szolgáltatás, amely legalább egy belül is még megoldható volt, de az épületek
kalkulátorral rendelkezik, fogadni tud és közötti kapcsolat vagy még nagyobb távol-
megold számolási feladatokat, és kiadja az ságok áthidalása szinte megoldhatatlan
eredményt. További jellegzetesség a több mûszaki problémát jelentett.
kezelõi készülék, ezek mindegyike alkalmas Kozma László ezért a fejlesztést tovább
a probléma beküldésére, a megoldás vételére folytatta, az eredményt a 2,645.420 számú
és ennek bemutatására a felhasználó szá- Számológép teleprinterrel címû, 3. számú sza-
mára. A kalkulátor berendezés az igénylõ badalomban írta és védette le. Az a rendszer
készülék hívójelére reagál, és jelek továbbítá- egy igazi, nagy formátumú, rendkívül logikus
sára alkalmas csatornát létesít egy szabad mérnöki alkotás, ami tökéletesen kiküszöböli
kalkulátor és a hívó készülék között, miáltal a korábbi két találmány legnagyobb hibáját, a
számításokat lehet végeztetni a kalkulá- számológép és a munkaállomások közötti
torral.” sokvezetékes összeköttetést. Kozma elhagy-
Különleges és talán a világon elõször hasz- ta a speciálisan tervezett munkaállomásokat,
nált megoldás volt a mûveletek felgyorsítá- amiket egy közönséges – a gyár üzemei kö-
sára, hogy a számolómûbe Kozma László egy zött is használt – géptávíróval (teleprinter)
jelfogós „egyszeregy” táblát épített be, ami- helyettesített. A munkaállomásokat az üzemi
tõl a gép teljesítménye megnõtt. Ezekkel a távíróközponton keresztül – egyérpáras veze-
fejlesztésekkel és átalakításokkal a Kozma- tékkel – kapcsolta a számológép(ek)hez, illet-
számológép az összeadás/kivonás idõtarta- ve a külsõ (acéldrótos) memóriákhoz. A termi-
mát ½, a szorzásét pedig egy másodpercre nálok kapcsolását és a mûvelet kiválasztását
tudta csökkenteni, tehát a „feljavított” számo- a terminálról beadott kódokkal vezérelték. A
lógép – mûveleti idõben – már versenytársa 3. szabadalmat 1940-ben Angliában jelentet-
volt az amerikai „rokonoknak”. ték be, a háború miatt azonban a szabadalmi
A fejlesztés további eredménye volt, hogy védettséget csak 1947-ben kapták meg a
a gépnek ez a javított (második) változata világ talán elsõ, „több munkahelyes és több-
már osztani is tudott, osztáskor a gép körülbe- felhasználós számoló rendszeré”-re.
lül egy másodpercenként produkált egy Külön érdemes felhívni a figyelmet a már
hányadost. Néhány további szó a rendszerrõl: említett külsõ (acéldrótos) memóriára – mai
382
Kovács Gyõzõ • Dr. Kozma László elektromérnök…
1. táblázat
383
Magyar Tudomány • 2003/3
384
Kovács Gyõzõ • Dr. Kozma László elektromérnök…
385
Magyar Tudomány • 2003/3
386
Kovács Gyõzõ • Dr. Kozma László elektromérnök…
387
Magyar Tudomány • 2003/3
388
Tudós fórum
Tudós fórum
389
Magyar Tudomány • 2003/3
390
Tudós fórum
A FELVIDÉKI, A VAJDASÁGI
ÉS A KÁRPÁTALJAI MAGYAR NYELVÛ
AGRÁR-FELSÕOKTATÁS HELYZETE
A Magyar Professzorok Világtanácsa
Agrártudományi Szekció konferenciájának*
állásfoglalása
391
Magyar Tudomány • 2003/3
392
Tudós fórum
393
Magyar Tudomány • 2003/3
FELHÍVÁS HAZÁNK
EU-CSATLAKOZÁSÁNAK TÁMOGATÁSÁRA
394
Tudós fórum
395
Magyar Tudomány • 2003/3
MEGÁLLAPODÁS
a Magyar Tudományos Akadémia
és az Erdélyi Múzeum Egyesület között
Azon cél eléréséhez, hogy az EME az erdélyi forrásokkal, a kolozsvári székhelyû Sapientia
magyar tudományszervezés központi intéz- Alapítvány mûködésével, illetve az OM és a
ménye maradjon, az Akadémia a jövõben is NKÖM támogatásaival).
projektalapú finanszírozással kíván hozzájá- Az Akadémia segítséget nyújt az EME ré-
rulni. Az akadémiai támogatás célja az EME szére az egyéb, Akadémián kívüli magyaror-
intézményfejlesztõ és hálózatépítõ törekvé- szági források, a nemzetközi pályázati kiírások
seinek támogatása, tudományterületi és és a rendkívüli finanszírozási lehetõségek
regionális szerkezetek kiépítése és mûköd- elérésében. A két fél továbbra is fontosnak
tetése, a szakosztályok megerõsítése. Ezt az tartja, hogy a jelenlegi kereteken belül az aka-
akadémiai közalapítványi támogatást a je- démiai támogatási rendszerek évente pályá-
lenleg mûködõ többcsatornás finanszírozási zati alapon meghatározott összegekkel támo-
modell keretében össze kell hangolni a többi gassák az EME kutatóintézete, illetve fiókszer-
támogatási alap mûködésével (például az vezetei által megpályázott rövidebb-hosszabb
Illyés és az Apáczai Közalapítványokkal, távú projekteket, konferencia- és kiadványi
további nagyobb magyarországi támogatási tevékenységet.
396
Tudós fórum
397
Magyar Tudomány • 2003/3
8. Akadémiai kutatóállomás-hálózat
9. Érvényesség
398
Tudós fórum
A FUNKCIONÁLIS GENOMIKA
SZEREPVÁLLALÁSA
Közgyûlési felszólalás
Akadémiánk számos alkalommal vállalt úttö- ezer gén mûködésének egyidejû jellem-
rõ szerepet az új kutatási irányok hazai beve- zésével kívánja az életfolyamatok komp-
zetésében. Kikerülhetetlen kötelességünk, lexitását követni. A rendszerszemléletû bio-
hogy érzékeljük és nyomon kövessük a tu- lógia kapcsolatot teremt a génkifejezõdési
domány fõ nemzetközi áramlatait, valamint mintázatok, a proteomikai adatbázisok és
versenyképesen bekapcsolódjunk az isme- az anyagcsereutak értékelésébõl származó
retszerzés globalizált folyamataiba. Így nem információk között. Jelátviteli hálózati rend-
hagyhatjuk figyelmen kívül azt a tényt, hogy szerek feltárása segít számos életjelenség
napjainkban szemünk elõtt zajlik a genomi- alapjainak tisztázásához.
kához kötõdõ szemléletváltás, amely kivé- A fenti rövid helyzetelemzés talán meg-
tel nélkül érinti az élettudományok szinte gyõzõen rávilágít arra a tényre, hogy a geno-
minden ágát, és természetesen meghatáro- mikának köszönhetõen valami igen fontos
zó szereplõvé válik az egészségügy, a új fejlõdési irány kezdõdött, Európa szinte
mezõgazdaság és a környezetvédelem terü- genomikai lázban ég. A politikai döntésho-
letén. Mint tapasztalhatjuk, az informatika zók is érzékelik ennek az ügynek a jelen-
számtalan formában részese mindennapi tõségét. Nemzeti genomikai programok,
életünknek. Ehhez hasonlóan a genomika központok sora alakul az EU-tagországok
is mint új gondolkodási rendszer és tech- szinte mindegyikében, a 6. keretprogram
nológia, megkezdte szerepvállalását az or- a genomikát kiemelt jelentõségû prioritás-
vosi prevencióban, diagnosztikában, terá- ként kezeli. A kutatói közösségek idehaza
piában, az egészségkímélõ élelmiszerek is reagáltak az új kihívásra, és folyamatosan
elõállításában. A genomikai programoknak bõvül a sikeres kutatások köre. Látva a nem-
köszönhetõen folyamatosan bõvül azon zetközi tevékenység kibõvülését, a jelent-
fajoknak a száma, amelyek esetében a teljes kezõ hazai társadalmi igényeket, talán indo-
DNS-állomány nukleotid-sorrendje ismertté kolt lehetõségeinket reálisan értékelni. A
válik. Megállás nélkül dolgoznak a DNS- genomika mint ismeretszerzõ alapkutatási
szekvenátorok, a komputerek megjósolják tevékenység alkalmazási lehetõségeket
a gének határait. Evolúciós rokonságok és kínál az egészségügy, a mezõgazdaság és
fejlõdési ágak rajzolódnak ki a DNS-szer- a környezetvédelem számára. Az együtt-
kezeti vizsgálatok eredményeként. A bio- mûködések és a koordináció szükségessé-
diverzitás molekuláris paraméterekkel jel- gét belátva ezúttal szeretném kérni az aláb-
lemezhetõ. A gének misztikus világa egyre biakat:
inkább kézzelfogható realitássá szelídül, 1. Az akadémiai vezetés vállaljon kez-
szellemes kutatási stratégiák szolgálják a deményezõ szerepet a genomikai kutatás
gének funkcióinak megfejtését. A funkcio- és fejlesztés hazai kapacitásának bõvíté-
nális genomika lényeges sajátja, hogy több- sében.
399
Magyar Tudomány • 2003/3
Kovács Ferenc
okleveles bányamérnök, a Miskolci Egyetem oktatója, az MTA rendes
tagja. Tudományos és alkotói munkássága a bányatelepítés, a bánya-
mûvelés és biztonság elméleti és gyakorlati kérdéseit öleli fel.
Pócs Tamás
biológus, az MTA rendes tagja, az Eszterházy Károly Fõiskola professzor
emeritusa. Tudományos szempontból egyedülállóan értékes növény-
gyûjtemény-fejlesztõ tevékenysége, amelybõl kiemelkedik a fõiskola
herbáriumának megalapítása.
Vicsek Tamás
az ELTE biológiai fizika tanszékének alapító tanszékvezetõ professzora,
az MTA rendes tagja, aki számos eredménnyel lepte meg a világot olyan
emberi tömegjelenségekkel kapcsolatban, mint a menekülési pánik, a
vastaps vagy a sportstadionok emberhulláma.
400
Megemlékezés
Megemlékezés
2003. január 29-én, hosszú iránti érzékenységet mutat-
betegség után elhunyt a mo- nak, e felismerés az ún. mul-
dern magyar összehasonlító tifunkciós neuronok elsõ le-
idegtudományi kutatások írásai közé tartozik. Felesé-
elindítója és kiváló mûvelõje, gével, S. Rózsa Katalinnal,
a Balaton-kutatás és a nem- úttörõ munkát végzett a He-
zetközi neurobiológia fárad- lix és a Lymnea teljes agyi
hatatlan szervezõje, Salánki neuronállományára kiterjedõ
János, az MTA rendes tagja. térképezésben, valamint
Salánki János Debrecen- annak kimutatásában is,
ben született 1929-ben, és hogy a csigaagy sejtjei a szív-
ugyanott nyert orvosi diplo- bõl eredõ ingerek nyomán
mát 1954-ben. Már debrece- serkentõ és gátló válaszokat
ni hallgató korában és vég- SALÁNKI JÁNOS egyaránt adhatnak.
zése után az élettani kutató- (1929–2003) Salánki János munkássá-
munka vonzotta, így lett Kesztyüs Loránd gában külön fejezet annak feltárása, hogy
munkatársa. Tudományos pályája az ösz- milyen körülmények között fertõzték meg
szehasonlító idegélettan nagy egyénisége, mérgezõ anyagokkal a Balaton állatvilágát.
Hacsatur Kostojanc professzor mellõl indult, Ez a kutatás nagy gyakorlati jelentõségûnek
akinek Moszkvában 1955-tól aspiránsa, bizonyult, és alapját képezte a nemzetközi
Tihanyban pedig az ötvenes évek második szinten is elterjedt és jegyzett biomonitor-
felében lelkes tanfolyam hallgatója volt. Sa- programnak. Õ ajánlotta az élõvíz-szennye-
lánki akadémikus a tudományos szféra több zés jelzéseként a tavi kagylót – ez az egysze-
területén alkotott maradandót. rû és hatékony jelzõmódszer világszerte
Elsõ területként tudományos kutatásai- bevált. Nem véletlen, hogy a Nemzetközi
nak jelentõségét kell aláhúzni. Õ indította el Biológiai Unión belül alakult Biológiai Moni-
hazánkban a gerinctelen állatok idegrend- tor Bizottságnak õ volt a kezdeményezõje
szerének korszerû kutatását. Tisztázta a puha- és mindhaláláig elnöke is! Fél tucat tanítványa
testûek ritmikus aktivitásának idegi szabá- ma a tudomány doktoraként, professzorként
lyozását, annak elektromos és kémiai hátte- mûködik, további másfél tucat munkatársa
rét. Elsõsorban a glutamát hatásával kapcsola- pedig PhD (kandidátusi) fokozatot szerzett.
tos eredményeit kell kiemelni, õ mutatta ki Eredményeit 260-nál is több publikációban
elsõként ezen fontos átvivõ anyagnak a pu- közölte. Salánki János évekig az ELTE-n okta-
hatestûek neuronjaira kifejtett hatását. De tott, melynek címzetes egyetemi tanára lett,
lényegesek a szerotoninnal és az acetilkolin az utóbbi években pedig a Veszprémi Egye-
befolyásával összefüggõ adatai is. Többek tem környezet- és neurobiológiai tanára volt.
között azt is bizonyította, hogy egyazon sejt- Érdemei alapján a Magyar Tudományos Aka-
membrán receptorai többféle átvivõanyag démia 1976-ban levelezõ tagjává, 1987-ben
401
Magyar Tudomány • 2003/3
rendes tagjává választotta. Ezzel a tudomá- általa alapított MÉT Idegtudományi Szek-
nyos teljesítménnyel szorosan összekapcso- cióból alakult. 1967-tõl tucatnyi nemzetközi,
lódik az elsõ hazai összehasonlító neurobio- gerinctelenekkel foglalkozó neurobiológiai
lógiai kutatócsoport megalapítása és nem- szimpóziumot szervezett Tihanyban, ezek
zetközi szintre való fejlesztése Tihanyban; a anyaga húsz kötetben angolul, négy kötet-
részleg ma is sikeresen mûködik. E labora- ben magyarul gazdagítja a vonatkozó nem-
tórium kibontakozásával függött össze magá- zetközi forrásirodalmat. 1988-tól három évig
nak a tihanyi Biológiai (ma: Limnológiai) a tekintélyes Nemzetközi Biológiai Unió
Kutatóintézetnek megszilárdítása és korsze- (IUBS) elnöke volt. 1980-tól élete végéig az
rûsítése. Salánki János csaknem harminc évig IUBS Magyar Nemzeti Bizottságát is vezette.
volt e nagyhírû intézet vezetõje, neki kö- Szorosan vett szakmai közéleti munkáján fe-
szönhetõ, hogy e páratlan hazai kutatóköz- lül Salánki János 1985-1997 között a Veszpré-
pont hosszú évek után ismét az alapító Verzár mi Akadémiai Bizottság elnöki tisztségét is
Frigyes és kutatótársai igényszintjén, Kle- betöltötte. 1989-ben kezdeményezte az In-
belsberg Kunó szándéka szerint kiegyensú- ternational Society for Invertebrate Neuro-
lyozottan, ma is magas színvonalon mûködik. biology megalakulását, amelynek elsõ
A hazai kultúra története sokféle Balaton- elnöke lett. 1985-tõl kezdve mostanáig az
rajongást ismer. Mindnyájan meg tudjuk ne- Acta Biologica Hungarica fõszerkesztõje volt.
vezni azon klasszikus írók, költõk, képzõmû- Elhunyt kollégánk és barátunk markáns,
vészek sorát, akiknek szinte egész munkás- egy tömbbõl faragott jellem volt, aki termé-
sága e csodás tavunkhoz kapcsolódik. Sajátos szetes módon és büszkén viselte debreceni
csapat ezen alkotók között a tudományos õsei legkiválóbb plebejusi jellemvonásait: a
kutatók raja! Õk alkotják a legjózanabb, leg- józan ítélõképességet, a ragyogó intellektust,
szívósabb, de egyben a legelkötelezettebb a kiemelkedõ alkotói tehetséget, a szilárd és
és legfelkészültebb hívek és tóvédõk cso- megvesztegethetetlen eligazodást a társada-
portját! Ezek élvonalába kell sorolnunk Sa- lom és a tudomány dolgaiban. Lelkierejére
lánki Jánost is, aki életének alig hetvennégy és higgadt helyzetfelismerésére jellemzõ,
évébõl negyven esztendõt szentelt a balatoni hogy végzetes kórfolyamata teljes tudatá-
élet megismerésének! Debrecenbõl 1962- ban, alig néhány hete karácsonyi levelet írt
ben érkezett igazgatóként Tihanyba, és szin- külhoni kollégáinak és barátainak, amelyben
te elhunyta napjáig állhatatosan küzdött a vázolta betegségét és mindennek dacára ki-
tavi élõvilág jobb feltárásáért és védelméért. fejezte töretlen optimizmusát és reményke-
Például õ rendezte 1988-ban az UNESCO dését a jövõt illetõen.
Nemzetközi Tókörnyezeti Bizottságának Salánki János elhunyta a magyar és a
(ILEC) nagy sikerû kongresszusát. A balatoni nemzetközi összehasonlító neurobiológia
kutatás érdekében kormányzati szolgálatot nagy vesztesége. Emléke azonban jelentõs
is vállalt: 1995-tõl évekig mintegy harminc mûveiben fennmarad. Elsõsorban az állatok
illetékes laboratórium kutatómunkájának összehasonlító agymûködésének feltárása
tervezési és koordinációs feladatát látta el. terén elért, széles körben ismert kimagasló
Végezetül: a fent leírtak is nagy hangsúly- eredményeiben, valamint az általa alapított
lyal emelik ki Salánki János páratlan tudo- vagy fejlesztett, fent méltatott intézmények
mányszervezõi tevékenységét. Gyakorlati- és tudományos közösségek mûködésében.
lag õt ismerjük el a Magyar Idegtudományi Ádám György
Társaság létrehozójaként: egyesületünk az az MTA rendes tagja
402
Kitekintés
A lehetséges 43 200 befûzési mód több-
MATEMATIKA: sége nem szép. A szépség mellett természe-
CIPÕFÛZÕ ÉS NYAKKENDÕ tesen más szempont szerint is folytatódhat
az elemzés. Polster megkereste azokat a
A Nature 2002 decemberében Matematika megoldásokat, amelyek a legerõsebb össze-
felcímmel közölte Burkard Polster A cipõ- húzást biztosítják, illetve a legrövidebb cipõ-
fûzés legjobb módjáról címû rövid érteke- fûzõt igénylik. Kiderült, hogy a két hétköz-
zését. A dolgozat a The New York Times napi megoldás, az X és az N fûzés adja a
érdeklõdését is felkeltette. Dr. Rosalind Cot- legerõsebb kötést, de köztük is van különb-
ter, a Nature illetékes rovatvezetõje a napi- ség. Ha a lyukak viszonylag közel és az
lapnak elmondta, hogy az ausztrál matema- összehúzandó oldalak viszonylag távol van-
tikus cikke tudományosan pontos, és ugyan- nak egymástól, akkor az X cikkcakk az ideális
azon a lektorálási folyamaton esett át, mint a megoldás. Egymástól távolabb esõ lyukaknál
Nature-ben közölt többi tanulmány. viszont az N megoldás a legjobb. A legrö-
A téma kétségtelenül szórakoztató. A videbb befûzési módot Polster csokornyak-
szerzõ elalvás elõtt, birkák számolása helyett kendõ megoldásnak nevezte, ez látható az
a cipõfûzõk számolgatásával pihentette agyát. 1. ábrán jobboldalt. Mivel a kirakatrendezõk
A cipõfûzésben két megoldás uralkodik. a megszokottól eltérõ fûzéseket is használ-
Az egyszerû cikkcakk a legnépszerûbb (1. nak, a matematikus szorgosan látogatta a
ábrán baloldalt). Kedveltségben nem sok- cipõboltokat, és két esetben fel is fedezte a
kal marad le mögötte az a mód, amikor csak csokornyakkendõ megoldást.
a cipõfûzõ egyik szára halad cikkcakkos úton, Polster témaválasztására két Cambridge-i
a másik az egyik oldal tetejérõl egyenesen a fizikus korábbi munkája hatott, akik a nyak-
másik oldal aljára vezet (1. ábrán középen). kendõkötés lehetséges módozatait tárták fel,
A továbbiakban egyszerûen X, illetve N min- és a szigorú matematikai alapokon nyugvó
tázatnak nevezzük ezeket a megoldásokat. nyakkendõkötés elmélete alapján új, eszté-
Burkard Polster a mindkét oldalon hat lyukkal tikus csomózási módokat fedeztek fel. (Mun-
bíró cipõk fûzési lehetõségeit vizsgálva arra kásságukat egy korábbi írásom felhasználá-
az eredményre jutott, hogy a feladat 43 200 sával mutatom be.)
különbözõ módon oldható meg. Valójában a Thomas M. Fink és Yong Mao, a brit
lehetséges megoldások száma ennél is na- Cavendish Laboratory fizikus kutatói a Na-
gyobb, õ már praktikus, szigorító szempon- ture-ben közölték Nyakkendõcsomók ter-
tot is bevezetett. Megkövetelte, hogy min- vezése bolyongással címû tanulmányukat.
den lyuk játsszon szerepet a cipõ két felének A bolyongás, a véletlen mozgás leírása ismert
összehúzásában. Ez azt jelenti, hogy a matematikai probléma, a kutatók a statisz-
cipõfûzõ nem haladhat át egyenes vonalban tikus fizika módszereivel oldották meg a fel-
három egymást követõ lyukon, mert ez eset- adatot. Elõször a képletek nyelvére fordítot-
ben a középsõ lyuk nem segíti tevõlegesen ták le a csomókötés fázisait. Elemi alapve-
az összehúzást. tésekbõl indultak ki: a nyakkendõnek két
403
Magyar Tudomány • 2003/3
404
Kitekintés
405
Magyar Tudomány • 2003/3
TROMBÓZISVESZÉLY ALLERGIA-ÁTVITEL
A SZÁMÍTÓGÉP ELÕTT SZERVÁTÜLTETÉSSEL
Növeli a mélyvénás trombózis és a tüdõem- Szervátültetéssel átvihetõ az allergia. Ezt a
bólia kialakulásának esélyét, ha valaki vég nél- meglepõ felfedezést tették ausztrál orvosok,
kül, órákon át ül a számítógép elõtt. Richard akiknek májtranszplantáción átesett betege
Beasley, az új-zélandi Orvostudományi Kuta- a mûtét után huszonöt nappal majdnem be-
tóintézet igazgatója a European Respiratory lehalt egy kesudió okozta allergiás reakcióba,
Journal címû folyóiratban közölte egy olyan majd késõbb egy ételben elfogyasztott föl-
32 éves fiatalember esetét, aki lábában mély- dimogyoró is súlyos tüneteket váltott ki nála.
vénás trombózist kapott, majd akinél egy A férfinél, aki korábban semmiféle olajos
leváló vérrög tüdõembóliát okozott. A férfi magra nem volt érzékeny, a bõrteszt igazolta
életveszélyes állapotba került. az erõs allergiát.
Mivel túl fiatalnak találták az effajta ka- Kiderült, hogy az a 15 éves fiú, akinek
tasztrófákhoz, vizsgálni kezdték, mi okozhatta máját megkapta, egy mogyoró okozta aller-
a bajt, azonban semmiféle rizikótényezõt nem giás sokkba halt bele. A feltételezések szerint
találtak. A férfi nem dohányzott, nyilvánvalóan májában túl sok volt azokból az immunfehér-
nem szedett fogamzásgátló tablettát, ereiben jékbõl, ellenanyagokból, amelyeket szerve-
nem találtak rendellenességeket, vérzsír-érté- zete az olajos magvak ellen termelt, és így a
kei normálisak voltak. A kutatók szerint beteg- máj átadta az üzenetet a befogadó testnek:
sége nagy valószínûséggel azzal magyaráz- az olajos magvakat meg kell támadni.
ható, hogy naponta legalább tizenkét órát ült Tri Giang Phan, a Sidney- Royal Prince
a számítógép elõtt, sokszor órákig fel sem állt. Alfred Kórház immunológusa szerint az eset
Néhány éve ismert, hogy hosszú repülõ- felhívja a figyelmet arra, hogy transzplantáció
utak után gyakrabban fordulnak elõ trombózi- esetén mindig tájékozódni kell a donor
sok, tüdõembóliák – ez az úgynevezett „turis- allergiáiról.
taosztály-szindróma”. A sok üléstõl pang a vér
a vénákban, a repülõgépeken igen száraz a Tri Giang Phan: Nut Allergy Transferred
levegõ, ha valaki nem iszik eleget, a vér besû- Through Liver Transplant. NewScientist on-
line. 28 January 2003. http://www.new-
rûsödik. A visszerek is növelik a kockázatot. scientist.com/news/news.jsp?id=ns99993316
Az új-zélandi kutatók szerint a 32 éves
férfi esete bizonyítja, hogy a számítógép elõtt G. J.
is lehetséges a turistaosztály-szindróma, és va-
lószínûleg sokakkal történt már hasonló, csak
eddig nem hozták összefüggésbe a kompu- ÉNEKLÕ BAKTÉRIUMOK
terrel.
A számítógép elõtt sokat ülõknek tehát „Az értékes információkat még atomkataszt-
komolyan kell venniük a tanácsokat: órán- rófa esetén is meg kell védeni” – mondta a
ként álljanak fel, sétáljanak, mozogjanak, Washington állambeli PNL (Pacific Northwest
tornázzanak pár percet, és fogyasszanak el National Laboratory) atomenergiai kutatóin-
naponta 2-3 liter alkoholmentes folyadékot. tézetben dolgozó Pak Chung Wong, aki nem-
régen azt állította: új adattárolási módszereket
European Respiratory Journal. February keresve megtalálta a probléma megoldását.
2003 (Vol. 21. 374–376) A fontos információkat baktériumok örökítõ-
G. J. anyagában kódolva lehet raktározni.
406
Kitekintés
407
Magyar Tudomány • 2003/3
Könyvszemle
Olvasónapló
Krausz Tamás szerkesztésében az ELTE – az elõzõ tanulmány állításával ellentétben
Ruszisztikai Központja fontos gyûjteményes – megismételhetõ. Viktor Bergyinszkih a
munkát tett közzé a szovjet munkatáborok- rendszer rövid történetét vázolja fel, a táboro-
ról, a Szolzsenyicin regénycíme nyomán elhí- kon belül szinte leképezték a külsõ világot,
resült Gulagról. Elõszavában Krausz arra utal, még szocialista munkaversenyt is rendez-
hogy a könyv összeállítását a szovjet levéltá- tek. Bartha Eszter a kérdéskör angolszász
rak megnyílása tette aktuálissá. A Ruszisztikai historiográfiáját tekinti át, több irányzat is volt;
Központ 1999 novemberében rendezett akadt, amelyik pozitívumokat is látott. Vita
konferenciát a kérdéskörrõl, ennek kibõví- folyt már régóta akörül, vajon orosz sajátos-
tett anyagát nyújtja ez a kiadvány. ságról van-e szó. Sokan a totalitarizmus fõ
Az I. részben a tanulmányokat három megnyilvánulását látták a sztálinizmusban,
csoportba osztotta a szerkesztõ. Az elsõ cso- volt, aki ellenforradalomnak minõsítette, de
portban a jelenség történeti értelmezését olyan értékelés is akadt, amelyik egy újfajta
adják. Krausz az eddigi szakirodalomról ad civilizációt látott benne.
kritikus áttekintést, megbírálva a jelenséget A második rész a rendszer mûködését
a náci koncentrációs táborokkal összemosó mutatja be. Vlagyimir Borovkin szerint elõ-
értelmezéseket. Hangsúlyozza: a Gulagban ször az értelmiségiek kerültek ide, meg azok,
nem volt elõre megtervezett genocídium. akiket megfosztottak állampolgárságuktól,
A mintegy tízmillió fogoly fele kommunista azután a NEP-korszak ügyeskedõ nepmanjai,
volt, ez az erkölcsi mozzanat vezetett a a trockisták, a jobboldali ellenzék tagjai,
rendszer összeomlásához. Ormos Mária a mindazok, akik bírálták a kollektivizálást
nácizmussal veti össze a rendszert, a nácik vagy Sztálin politikáját, végül a kulákok. A.
tanultak a bolsevikoktól, de a nácizmus nem Bezborodov – V. Bezborodova – Sz. Golotyik
csak a bolsevizmusra adott válasz volt, elõz- a harmincas-ötvenes évek vonatkozásában
ményei jóval régebbiek. Céljuk csak a terület- a szökések formáit kategorizálták aszerint,
szerzés volt. A rendszert egyik célja teszi hogy az elítéltek a munkahelyrõl, a tábori zó-
egyedülállóvá: egy nép teljes kiirtása. Czéh nából vagy a menetoszlopokból szöktek-e
Zoltán a Gulag gazdasági jelentõségét ele- meg. 1939-ben 12 250 volt a szökések szá-
mezve úgy látja, az államszocializmus és az ma, nyolcvan százalékukat elfogták. 1945-
erõltetett iparosítás terméke volt a rendszer, tõl az egykori hadifoglyokkal, a németek
az extenzív szakaszban fontos, mert munka- megszállta területekrõl kikerülõ megbízha-
erõt biztosított, az intenzív szakaszban viszont tatlanokkal bõvült a táborlakók száma. Rész-
már válságba jutott. A jelenség megismétel- letes számadatokat kapunk az 1950-57 kö-
hetetlen. Vlagyimir Buldakov szerint a rend- zötti szökésekrõl, 1953-57 közt a foglyok
szer hisztériájának volt a terméke, jellemzõ, száma egyharmadára csökkent. Peter Kenez
hogy a köztörvényes bûnözõk itt elõkelõb- a szocialista realizmus és a táborok kapcsola-
bek voltak a politikai elítélteknél. A jelenség tát elemzi. Az irányzat hazugságokra épült,
408
Könyvszemle
409
Magyar Tudomány • 2003/3
A mellékletek közt van egy rövid, ano- szág faji politikáját elemzi, az egész Európá-
nim összefoglalás a táborok kialakulásáról és ban nagy felháborodást keltõ elsõ pogro-
elsõ éveirõl, 1934-ig megy, jegyzetek nélkül. moktól (Kristályéjszaka) kezdõdõen. Ekkor
Hasznos a Gulagban használatos kifejezések még a Németországból való eltávolítás volt
szótára, kellõ magyarázatokkal (414–420. a cél, de az eutanázia kérdése kapcsán már
p.), az orosz alapszövegû rövidítések felol- itt megmutatkozott az emberi élet általános
dása, a felhasznált bibliográfia (425–433. pp.) megvetése. Ekkor került elõ az elmebete-
a szerzõk névsora a kötetben szereplõ tanul- gek és gyógyíthatatlan betegek eltüntetésé-
mányok eredeti lelõhelyével, végül az elsõ nek a terve, és valami hasonló elképzelés a
rész névmutatója. A munka tehát valóban homoszexuálisokról is.
igen sok adatot közöl, a további kutatások A következõ rész a lengyelországi fejle-
alapját teremti meg. Kívánatos lett volna az ményeket mutatja be. Itt 3 millió zsidó élt,
egykori szovjet, mai orosz levéltárak felsoro- 45 százalékuk iparos és munkás. Elõször a
lása, amelyekben a témára vonatkozó anyag papokat és egyéb értelmiségieket gyilkolták
található, de ezt alkalmasint nehéz lett volna le, azután tömörítették a zsidó lakosságot
összeállítani. gettókba (a lodziban 3 ezer fõ, a gettóbeliek
(Krausz Tamás szerkesztõ: Gulag. A 1,5 %-a éhen halt). Eleinte még engedték a
szovjet táborrendszer története. Pan- gettók lakosait dolgozni. 1940-ben Varsóban
nonica, Budapest, 2001. 440 p.) hatvanezer körül volt a munkába járók szá-
ma. 1942 júliusában kezdõdött meg a depor-
A horrort lehet fokozni, ahogyan azt Karsai tálás a haláltáborokba. A varsói gettó felkelé-
László kötete mutatja. A Holokausztnak még sében mintegy kétezer harcos vett részt,
nagyobb irodalma van, mint a Gulagnak. közülük csak néhányan haltak meg, de a har-
Magyar részrõl a magyarországi vonatkozá- cok során 13 929 fõt meggyilkoltak, 5-6
sokat már régóta feltáró Karsai László egy- ezer ember elpusztult a lángoló városban.
maga vállalkozott a kérdést összefoglaló Végül is 2,9-3 millió zsidót öltek meg, ebbõl
feldolgozás elkészítésére. Bevezetõben az félmillió volt a gettók halottja. Varsó mellett
eddigi irodalomra vet futó pillantást, elsõsor- ugyanis egyéb gettókban is voltak felkelé-
ban az áldozatok számának a becslésére sek. A bevetési csoportok (Einsatzgruppe)
vonatkozólag. Felemlít egyéb népirtásokat 1941-ben már félmillió, a szovjet területen
is (a gyarmatosítók Dél-Amerikában vagy a 1943 végére már egymillió embert gyilkol-
törökök örmény pogromja 1915-ben), de a tak meg, elsõsorban párttagokat és funkcio-
Holokauszthoz egyik sem mérhetõ. Ugyan- náriusokat. A litvánok – külön parancs nélkül
csak a bevezetõ fejezetekben kíséri végig – maguk is csatlakoztak a náci gyilkosokhoz.
az ókortól kezdve az antijudaizmus és anti- Egy fejezet a koncentrációs táborok kérdé-
szemitizmus történetét. Az antiszemitizmus sével foglalkozik (az intézményt az angol-
kifejezést Wilhelm Marr hamburgi újságíró búr háború során találták fel az angolok).
találta ki. Karsai itt utal arra, hogy a 19. századig Ezeknek a táboroknak gazdasági funkciójuk
a keresztények és muszlimok többsége írás- is volt: a foglyokat dolgoztatták. Csak lengyel
tudatlan volt, a zsidó hitközségekben min- területen hatezer ilyen tábor mûködött.
denütt volt iskola. 1942-tõl már mûködésbe léptek a gázkam-
A III. fejezet Hitler elképzeléseit tárgyalja rák. Volt, ahol a foglyok 19-25 %-át ölték meg,
a faji kérdésrõl, de bemutatja ennek a 17. de ezt az ütemet a felsõbb hatóságok túl
század óta követhetõ elõzményeit is. A kötet gyorsnak találták, és leváltották a tábor veze-
legnagyobb terjedelemben a náci Németor- tõjét. A meggyilkoltakról nincsenek pontos
410
Könyvszemle
411
Magyar Tudomány • 2003/3
412
Könyvszemle
Sajnos az anyag távolról sem egységes. nalazására. Ezen túlmenõen rá kellett volna
Az indító fejezet (Geológiai viszonyok és szánni egy-egy alfejezetet az olyan témákra,
talajok) tizenhárom szerzõ mûve. Itt remek mint a hidrometeorológia, a légköri környezeti
áttekintést kapunk a Kárpát-medence és katasztrófák, a meteorológiai elõrejelzésekkel
környezete mélyszerkezetérõl, a geológiai kapcsolatos tudományos fejlemények stb. Az
egységek kialakulásáról, a földtörténeti korok elõrejelzések kapcsán még arra a nagyon
eseményeirõl, a földtani tájegységekrõl és a aktuális kérdésre is ki lehetett volna térni, hogy
talajtakarókról. Alapos munka, az illusztrációk a magyar meteorológusok munkája hogyan
fenomenálisak, a leírások kifogástalanok. illeszkedik az európai együttmûködés foko-
Nagyon hasznosak és szemléletesek például zatosan kiépülõ kereteibe.
a földtani szelvények. Érdekes példaként A következõ rész (Felszíni és felszín
említem a Korpás László nyomán közölt 42. alatti vizek) Alföldi László 2002. évi Eötvös-
ábrát, amely a Gellért-hegy földtani szelvé- koszorús címzetes egyetemi tanár remek-
nyét mutatja be az Erzsébet híd látképével mûve, a kötet legsikerültebb tanulmánya.
kombinálva. A talajtakaróval foglalkozó fon- Fölényes tudásról, sok évtizedes tapasztalat-
tos alfejezet lehetett volna lényegesen hosz- ról, imponáló áttekintésrõl tanúskodik. Ezt a
szabb is. A kötetbõl nem derül ki, hogy ki fejezetet országszerte tanítani kellene. A
koordinálta a tizenhárom szerzõ együttmûkö- szerzõ leírja benne a hazai vízrendezések
dését, de akárki is volt, elismerést érdemel. pár száz évre visszanyúló rendkívül érdekes
A második fõ fejezet a Geomorfológiai történetét. Elmondja, hogy mi miért történt
tájak, felszíni formakincsek címet viseli. úgy, ahogy történt, melyek voltak a hibás
Ellentétben az elõzõ résszel, ezt egyetlen elképzelések, és milyen következmények-
szerzõ, Pécsi Márton írta meg, a tõle megszo- kel jártak. Milyen nyomvonalon kereshetjük
kott magas színvonalon. Normális körülmé- a jövõ megoldásait. Milyen külföldi (német-
nyek között ezt a fejezetet illett volna (eset- országi és ausztriai) beavatkozások vonták
leg Somogyi Sándor írásával kombinálva) az maguk után például a Duna hazai szakaszán
elsõ helyre tenni, mert ez adja az általánosabb bekövetkezõ változásokat. Megtudjuk,
áttekintést. hogy mi a helyzet a Tisza szabályozása körül
A harmadik fõ fejezet (Levegõkörnyezet) és nagyobb tavainkkal kapcsolatban. Ha a
Mészáros Ernõ munkája. Tömör és kitûnõ magyar választópolgárok tudnák és jól meg-
áttekintést ad a légkör kémiai és éghajlati értenék mindazt, ami itt le van írva, sok jövõ-
jellemzõirõl, a levegõ ózontartalmáról, a su- beli gondot elkerülhetnénk.
gárzási egyenlegrõl, a légköri vízmérlegrõl Az ötödik fejezet címe: Természeti, gaz-
és ennek lehetséges változásairól, az üveg- dasági, közigazgatási régiók. Tudjuk, hogy
házhatású gázok légköri körforgalmáról, s a közigazgatási régiók kérdése ma fontos és
végül a légköri aeroszollal kapcsolatos kér- aktuális politikai kérdés. De nem értem, hogy
désekrõl. De a fejezet – sajnos – túl rövid. e kérdés tárgyalása miért nem a sorozat Táj,
Szerintem a szerkesztõk a „levegõkör- régió, település címû második kötetébe került.
nyezet” témakört eleve túl szûken értelmez- A Geológiai erõ- és veszélyforrások címû
ték, ráadásul még e túl szûken értelmezett tanulmányt tizenhárom szerzõ írta. Ez az
témakörnek kifejtéséhez is túl kevés teret anyag nagyon érdekes. Bele lehet feledkez-
adtak. Mindenekelõtt tágítani kellett volna az ni. Az illusztrációk itt is éppen olyan kitûnõek,
itt tárgyalt témák körét, és lehetõséget kellett mint az elsõ geológiai fejezetben. Ezt fõleg
volna adni legalábbis az ember okozta éghaj- didaktikai szempontból lehet értékelni. Kü-
latváltozás szerteágazó kérdéseinek a körvo- lön ki szeretném emelni a felszín alatti tér hasz-
413
Magyar Tudomány • 2003/3
nosítását vázoló 165. ábrát, a radioaktív hulla- is, amelyben 13-13 szerzõ mûködött közre.
dék föld alatti tárolásának modelljét bemutató Ez nem vall egységes szerkesztésre. A kötet
167. ábrát, vagy a riolittufába vágott egri mély- végén található angol nyelvû összefoglaló-
pincék alaprajzait és jellemzõ szelvényeit ban egyetlen oldalon sikerült több zavaró
bemutató 177. ábrát. Az a meg nem nevezett hibát is véteni. Ezt a szöveget valószínûleg
személy, aki ezt a fejezetet egybeszerkesz- nem látta nyelvi lektor. A „great number of
tette, minden dicséretet megérdemel. information” fordulat olvasásakor megrémül-
A kötet utolsó fejezete a Gazdaságföld- tem. Végül az irodalomjegyzék semmiféle
rajzi adottságok címet viseli, és öt szerzõ elfogadott konvenciónak nem felel meg, és
mûve. Ugyanaz a gondom vele, mint az ötö- abszolút használhatatlan.
dik fejezettel: nem tudom, hogy miért került Hogyan is összegezzem? Adva volt a
ebbe a kötetbe. Tudván, hogy a sorozat ötö- sorozatszerkesztõ kitûnõ koncepciója, ke-
dik kötete a gazdálkodás kérdéseivel foglal- zünkben van a sorozat elsõ kötete, és mi még-
kozik, bátorkodom azt kérdezni, hogy ezt a sem lehetünk boldogok, mert ennek a kötet-
fejezetet miért nem oda tették? Szerintem a nek a szerkesztése nem sikerült olyan jól, mint
Tudománytár attól tudománytár (mint min- ahogyan a nagyigényû sorozat méltán meg-
den tár attól tár), hogy ott találjuk a dolgokat, érdemelte volna. (Glatz Ferenc fõszerkesztõ,
ahová tartoznak. Mészáros Ernõ és Schweitzer Ferenc szer-
Egészében véve a kötet legzavaróbb vo- kesztõk: Magyar tudománytár 1. Föld, víz,
nása az, hogy a fejezetek mellett nem látjuk levegõ. MTA Társadalomkutató Központ –
a szerzõk neveit. Egy hátul eldugott listából Kossuth Kiadó, Budapest, 2002. 511 p.)
derül ki, hogy a hét fejezet közül hármat egy- Czelnai Rudolf
egy szerzõ írt, viszont van két olyan fejezet az MTA rendes tagja
414
Könyvszemle
vételezésére, de nem is jelzi a teljes színké- ráról. Ennél visszább nem hátrál az idõben,
pet, az árnyalatok viszonyrendszerét. mert nem akar senkit, utólag sem, megszé-
Mégis: könyve hiánypótló és megkerül- gyeníteni. Ami kritikája a többiekkel szemben
hetetlen. Az utókor olvasója másként ugyan- van, azt saját szövegébe, elemzésébe illeszti,
is nem tudhatná meg, miként, milyen áron de elegánsan bevallja, melyik az az írás, ame-
jelenhetett meg Csoóri Sándor Röpirat címû lyet utólag maga is szégyell. A szöveggyûjte-
verse 1953 nyarán a hetilapban. Nem tudná, mény így bizony félképet mutat; valóságot,
hogy a csatolt „optimista” vers – bár nem de kevesebbet a teljes folyamatnál, nem
volt idegen a költõ hitétõl és reményétõl, helyettesíti az indulástól fogva a korszak belsõ
szerkesztõi kívánságra, alku révén került a határait is jobban jelzõ, remélt Irodalmi Ujság-
szülõfalujában tapasztalt keserûségekrõl antológiát. Ez utóbbi persze késik, talán soha
tudósító lírai vádirat mellé. Pedig már Nagy nem is készíti el senki. Ma inkább annak a
Imre kormányprogramja után voltak, mire a tudományosan akár még meg is indokolható
másik, szerkesztõséget is megjárt vers nyom- vállalkozásnak van olvasói keletje, amely az
dafestékhez jutott, de a miniszterelnök pozí- Agitatív antológiaköltészet Magyarországon
ciója nem jelentett védelmet a bátor, szokat- 1945-1956 címet viseli, s mely nemrégiben
lanul nyers hangnak egy irodalmi orgánum- jelent meg. (Tegyük hozzá: súlyos félreérté-
ban. Vagy megérti-e az utókor Zelk Zoltán seket, tévedéseket is tartalmazva.) Magára
bizonyosságot megkérdõjelezõ két sorát – adó kutató egyre inkább hátrál, a jelenségek
Szélfútta levél a világ / De hol az ág? De ki és tények mögött azok mozgatóját keresi,
az ág? – ha nem nézi a keletkezés dátumát nem áll meg a nyers és põre dokumentumnál.
és a megjelenés helyét? Vagy gondolná-e Van azonban olyan dokumentum, amely
egy ifjú Nemes Nagy Ágnes-rajongó, aki csak sajtótörténeti érvényû, kinagyítható és kina-
kötetben látja a verset, hogy a szinte átkokat gyítandó önmagában is. Ez pedig az Irodalmi
mondó, meg nem bocsátó vers, a Patak a Ujság 1956. november 2-i száma, élén Né-
forradalom elõtt alig egy hónappal jelent meth László esszéjével, az Emelkedõ nem-
meg az Irodalmi Ujságban? zettel, benne Illyés Gyula korszakos versé-
A szövegkörnyezet felidézésében van vel, az Egy mondat a zsarnokságról címû
elévülhetetlen érdeme Földes Annának. S antológiadarabbal. Földes Anna kötetében
nemcsak ebben: a szövegek újraközlésében, található egy facsimile, a négyoldalas pél-
egy külön ciklusban. A Tallózás címet viselõ dány újrakiadása. Fontos szemléltetõeszköz,
– félkötetnyi – szöveggyûjteményben szer- helyes döntés volt közreadása.
zõnk ma már néhány nehezen hozzáférhetõ A kötet fûzése azonban gyalázatos, lap-
szöveget is közzétesz. Többek között Kucz- jaira esik szét már az elsõ olvasáskor. Pedig
ka Péter Nyírségi naplóját, Háy Gyula Miért az, aki a korszak sajtótörténetének megírá-
nem szeretem? címû, népszerûbb címén a sára vállalkozik, sokat forgatja majd. (Földes
Kucsera elvtársról szóló publicisztikasoro- Anna: Az Irodalmi Ujság könyve. Tanul-
zatának éppen azt a darabját, amely Rajk mányok, portrék, dokumentumok. Szép-
Lászlóék tragédiába illõ, kulisszák között halom Könyvmûhely – Új KÉZirat Kiadó,
zajlott temetésének napján jelent meg. Az Budapest, 2001, 398 p.)
elsõ közzétett dokumentum Szabó Pál Írói Széchenyi Ágnes
magatartás és felelõsség címû írása 1953 nya- kandidátus, irodalomtörténész
415
Magyar Tudomány • 2003/3
416
CONTENTS
Guest Editors: TAMÁS ROSKA; Editor: ZSUZSA SZENTGYÖRGYI
Simple and Complex – Notions and Measurements in Artificial and Living Systems
Tamás Roska: Preface…………………………………………………………………… 290
Árpád Csurgay: Real and Virtual World of the Nanoscale ……………………………… 292
József Gyulai: Complexity in Electronics and Nanoelectronics……………………… 300
Tamás Vicsek: “Complexity Theory” …………………………………………………… 305
András Falus: Complexity in Genome-scale Biology:
Thoughts Toward Postgenomic Agnosticism……………………………………… 308
József Hámori: Human Brain: Rationalized Complexity………………………………… 313
György Székely: Complexity in the Nervous System ……………………………………… 318
Tamás Roska: Complexity and Simplicity in Analogic Cellular Wave Computers
As Well As in Related Neural Phenomena…………………………………………… 328
Tibor Vámos: Complexity, Philosophy, Speculation and Scientific Consequentiality… 332
Erzsébet Csuhaj Varjú: On Complexity of Formal Languages…………………………… 336
Gábor Prószéky: Complexity Questions of Natural Language Models………………… 344
Gyula Katona: From the Complex Towards the Simple (in Mathematics) ……………… 351
Lajos Rónyai: Wrestling with Complexity: Efficient Algorithms………………………… 356
Interview
To Teach and Research the Middle Ages in Szeged
(Lukácsi Béla’s interview with Gyula Kristó) ……………………………………… 363
Study
Rezsõ Solymos: The Academy’s Recreational Forest in Mátraháza…………………… 370
2002, the Kozma-Centenary
László Keviczky: László Kozma ………………………………………………………… 378
Gyõzõ Kovács: László Kozma…………………………………………………………… 379
Academy Affairs
On the Connections between HAS and CNRS…………………………………………… 389
Agricultural Higher Education in Hungarian in Slovakia,
Serbia and the Ukraine (László Heszky)…………………………………………… 391
Invitation to Promote Hungary’s Joining the European Union ………………………… 394
Agreement Between the Museum Society in Transylvania
and the Hungarian Academy of Sciences…………………………………………… 396
A funkcionális genomika szerepvállalása (Dudits Dénes) ……………………………… 399
Leo Szilard Professorial Award: The Fifth Time………………………………………… 400
Obituary
János Salánki (György Ádám) …………………………………………………………… 401
Outlook (László Jéki – Júlia Gimes)………………………………………………………… 403
Book Review ………………………………………………………………………………… 408
417
Magyar Tudomány • 2003/3
Ajánlás a szerzõknek
1. A Magyar Tudomány elsõsorban a tudo- lak méreteit. A lemezen vagy emailben érkezõ
mányterületek közötti kommunikációt szeretné ábrákat és illusztrációkat lehetõleg .tif vagy .bmp
elõsegíteni, ezért elsõsorban olyan kéziratokat formátumban kérjük; értelemszerûen fekete-
fogad el közlésre, amelyek a tudomány egészét fehérben, minimálisan 150 dpi felbontással, és
érintõ, vagy az egyes tudományterületek sajátos a továbbítás megkönnyítése érdekében a kép
problémáit érthetõen bemutató témákkal fog- nagysága ne haladja meg a végleges (vagy annak
lalkoznak. Közlünk téma-összefoglaló, magas szánt) méreteket. A közlemény szövegében tün-
szintû ismeretterjesztõ, illetve egy-egy tudo- tessék fel az ábrák kívánatos helyét.
mányterület újabb eredményeit bemutató ta- 6. Az irodalmi hivatkozásokat mindig a köz-
nulmányokat; a társadalmi élet tudományokkal lemény végén, abc sorrendben adjuk meg, a
kapcsolatos eseményeirõl szóló beszámolókat, lábjegyzetekben legfeljebb utalások lehetnek az
tudománypolitikai elemzéseket és szakmai irodalomjegyzékre. Irodalmi hivatkozások a
szempontú könyvismertetéseket. szövegben: (szerzõ, megjelenés éve). Ha azo-
2. A kézirat terjedelme szöveges tanulmá- nos szerzõ(k)tõl ugyanabban az évben több
nyok esetében általában nem haladhatja meg a tanulmányra hivatkozik valaki, akkor a közle-
30 000 leütést (a szóközökkel együtt, ez kb. 8 ményeket az évszám után írt a, b, c jelekkel kérjük
oldalnak felel meg a MT füzeteiben), ha a tanul- megkülönböztetni mind a szövegben, mind az
mány ábrákat, táblázatokat, képeket is tartalmaz, irodalomjegyzékben. Kérjük, fordítsanak külö-
a terjedelem 20-30 százalékkal nagyobb lehet. nös figyelmet a bibliográfiai adatoknak a
Beszámolók, recenziók esetében a terjedelem szövegben, illetõleg az irodalomjegyzékben való
ne haladja meg a 7-8 000 leütést. A teljes kézira- egyeztetésére! Miután a Magyar Tudomány nem
tot .rtf formátumban, mágneslemezen és 2 ki- szakfolyóirat, a közlemények csak a leg-
nyomtatott példányban kell a szerkesztõségbe fontosabb hivatkozásokat (max. 10-15)
beküldeni. tartalmazzák.
3. A közlemények címének angol nyelvû 7. Az irodalomjegyzéket abc sorrendben
fordítását külön oldalon kell csatolni a közle- kérjük. A tételek formája a következõ legyen:
ményhez. Itt kérjük a magyar nyelvû kulcsszava- • Folyóiratcikkek esetében:
kat (maximum 10) is. A tanulmány címe után a Alexander, E. O. and Borgia, G. (1976). Group
szerzõ(k) nevét és tudományos fokozatát, a Selection, Altruism and the Levels of Organiza-
munkahely(ek) pontos megnevezését és – ha tion of Life. Ann. Rev. Ecol. Syst. 9, 499-474
közölni kivánja – e-mail-címét kell írni. A külön • Könyvek esetében:
lapon kérjük azt a levelezési és e-mail címet, tele- Benedict, R. (1935). Patterns of Culture. Hough-
fonszámot is, ahol a szerkesztõk a szerzõt álta- ton Mifflin, Boston
lában elérhetik. • Tanulmánygyûjtemények esetén:
4. Szöveg közbeni kiemelésként dõlt, (esetleg von Bertalanffy, L. (1952). Theoretical Models
félkövér – bold) betû alkalmazható; ritkítás, in Biology and Psychology. In: Krech, D., Klein,
VERZÁL betû és aláhúzás nem. A jegyzeteket G. S. (eds) Theoretical Models and Personality
lábjegyzetként kell megadni. Theory. 155–170. Duke University Press, Durn-
5. A rajzok érkezhetnek papíron, lemezen ham
vagy email útján. Kérjük azonban a szerzõket: 8. Havi folyóirat lévén a Magyar Tudomány
tartsák szem elõtt, hogy a folyóirat fekete-fehér; kefelevonatot nem küld, de az elfogadás elõtt
a vonalas, oszlopos, stb. grafikonoknál tehát ne minden szerzõnek elküldi egyeztetésre közlemé-
használjanak színeket. Általában: a grafikonok, nye szerkesztett példányát. A tördelés során
ábrák lehetõség szerint minél egyszerûbbek le- szükséges apró változtatásokat a szerzõ egy
gyenek, és vegyék figyelembe a megjelenõ olda- adott napon a szerkesztõségben ellenõrizheti.
418