Babai László kapta az idei Knuth-díjat
Eredeti szerző: jotunder
A Donald E. Knuth Prize a számítógép-tudomány legnagyobb díjainak egyike. Hagyományosan a STOC illetve FOCS konferenciák (a legnagyobb számítógép-tudományi konferenciák) egyikén adják át, és idén Babai László kapta.
1993-ban Shafi Goldwasserrel, Silvio Micalival, Shlomo Morannal és Charles Racoffal megosztva ő kapta meg az első Gödel-díjat, a számítógép-tudomány másik nagy díját.
<div class='sharedaddy sd-block sd-like jetpack-likes-widget-wrapper jetpack-likes-widget-unloaded' id='like-post-wrapper-192691293-16519108-6ab220237d4b2' data-src='https://widgets.wp.com/likes/?ver=14.1#blog_id=192691293&post_id=16519108&origin=www.orulunkvincent.hu&obj_id=192691293-16519108-6ab220237d4b2&n=1' data-name='like-post-frame-192691293-16519108-6ab220237d4b2' data-title='Like or Reblog'><h3 class="sd-title">Like this:</h3><div class='likes-widget-placeholder post-likes-widget-placeholder' style='height: 55px;'><span class='button'><span>Like</span></span> <span class="loading">Loading...</span></div><span class='sd-text-color'></span><a class='sd-link-color'></a></div>
Bocs, ha ez is károgásnak tűnik, de óvatosan az ilyenekkel is, hogy „a legnagyobb számítógép-tudományi konferenciák”. A „Theoretical Computer Science” vonulatban minden további nélkül elhiszem, de vagy tíz ilyen kategória van csak CS-en belül, és magának a felvetésnek sincs értelme, hogy vajon ezek jobbak-e, mint egy ICML vagy ACL (hogy egy kicsit haza is beszéljek). Ráadásul ez a nyolc-tíz terület is elég durva felosztás, pl. én elvileg ebbe a pattern recognition/AI vonalba tartozok, mégis, a ranking alapján top 10-20 konferenciába esélyem sincs publikálni, annyira más területtel foglalkozik. (Az ICASSP „others” besorolása meg minimum mókás, mindegy, ezt már nem neked.)
(Ha a Wiki alapján írtad, akkor pont erre a két nüanszra hívtam fel a figyelmet, ami elveszett a fordítás során: „which are _among_ the most prestigious conferences in _theoretical_computer_science_.”)
@közösperonos átszállás: Én a számítógép-tudomány kifejezés alatt a matematika egyik ágát értem, az algoritmusok, kriptográfia, komplexitáselmélet, és hasonlók tudományát. Tudom, hogy vannak más jelentései is, de az én világomban mindenki erre gondol, amikor computer science-ről beszél.
Ez egy jó összefoglaló kikről is van szó :
444.hu/2013/07/10/erdos3/
Ez akkor is szép magyar siker, ha kiderülne, hogy a díjazott esetleg nem mindenben felel meg a szőnyik kényes ízlésének. Jótündér, ha találkoztok, légy szíves add át Babai úrnak személyes gratulációmat!
@jotunder: „Tudom, hogy vannak más jelentései is, de az én világomban mindenki erre gondol, amikor computer science-ről beszél. „
Ezt megértem, csak itt nem elsősorban matematikusoknak írsz, akkor pedig nagyon félrevezető lehagyni, hogy „theoretical”.
Talán még szerencsésebb magyarul a számítástudomány elnevezés. Babai óriási matematikus, és jó látni, hogy a JT által linkelt oldalon megemlítik az ELTE-t, az MTA-t, sőt a BSM-et is (ez nagyjából egy magyarországi matematika részképzés külföldieknek) és a szintén magyar (de persze angol nyelvű) Combinatorica újságot, ami a területén a(z egyik) legerősebb.
Nekem a Knuth-díjról mindig ez jut az eszembe:) en.m.wikipedia.org/wiki/Knuth_reward_check
Nem lett hir a magyar sajtoban.
@jotunder: Ennek nyilván van valami jó oka. Megkérdezik az örmény rádiót, hogy miért nincs örmény űrhajós. A válasz a következő: Nincs, de jó ez így, mert ha lenne, minden örmény belehalna a büszkeségbe, minden grúz megpukkadna az irigységtől és az egész napfényes Kaukázus azoknak a szemét azerbajdzsániaknak maradna.
@jotunder: Meglepo modon viszont, a magyar Wikipedia eszrevette. Azt azonban elszalasztottak, hogy az AAAS fellow-ja lett.
mta.hu/mta_hirei/babai-laszlo-nyerte-a-knuth-dijat-a-szamitastudomany-rangos-elismereset-136410/
http://www.eletestudomany.hu/vilaghirkozles
index.hu/tudomany/2015/11/12/grafok_arthur_kiraly_udvaraban/
@TG69: ha már erdős és babai, akkor elsütöm azt a jó kis anekdotát, hogy egyszer erdős az eltén beszét, mikor épp itthon volt, és pont belefogott az egyik x dolláros problémájába, mikor beesett babai. mire erdős aszondta, hogy no akkor most már nem is mondom el, mert a babai megoldja. (de azért elmondta.)
@incze: Babai az elso cikket Erdossel (harmat irtak az ams.org) szerint pont a grafizomorfizmus problemarol irta. eppen arrol, hogy tipikus esetben mar linearis idoben is megoldhato a grafizomorfizmus problema.
en mult heten tudtam meg, hogy korlatosfoku grafokra ismert a polinomialis ideju algoritmus.
arxiv.org/pdf/1512.03547v1.pdf
Graph Isomorphism in Quasipolynomial Time
A theoretical computer scientist has presented an algorithm that is being hailed as a breakthrough in mapping the obscure terrain of complexity theory, which explores how hard computational problems are to solve. Last month, László Babai, of the University of Chicago, announced that he had come up with a new algorithm for the “graph isomorphism” problem, one of the most tantalizing mysteries in computer science.
http://www.quantamagazine.org/20151214-graph-isomorphism-algorithm/