לסלו בבאי

מתוך ויקיפדיה, האנציקלופדיה החופשית
לסלו בבאי
Babai László
Laszlo Babai.jpg
לידה 20 ביולי 1950 (בן 71)
בודפשט, הרפובליקה העממית ההונגרית עריכת הנתון בוויקינתונים
ענף מדעי קומבינטוריקה עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט פאל טוראן, Vera T. Sós עריכת הנתון בוויקינתונים
מוסדות אוניברסיטת שיקגו עריכת הנתון בוויקינתונים
תלמידי דוקטורט Mario Szegedy, Samuel Kutin, Thomas Hayes, Evelin Toumpakari, Daniel Štefankovič, Peter Kimmel, Katalin Friedl, Aytek Erdil, Murali Krishnan Ganapathy, Paolo Codenotti, Sourav Chakraborty, Youming Qiao, Satyanarayana V. Lokam, Albert J. Goodman, Péter Hajnal, Carsten Lund, גאבור טרדוש, Robert M. Beals, Péter Pál Pálfy, José Augusto Ramos Soares, Barry Guiduli, Lajos Rónyai, Tamás Lengyel, John Wilmes עריכת הנתון בוויקינתונים
פרסים והוקרה
האתר הרשמי
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

לאסלו "לצי" בבאיהונגרית: Babai László; נולד ב-20 ביולי 1950 בבודפשט, הונגריה) הוא פרופסור למתמטיקה ולמדעי המחשב באוניברסיטת שיקגו. מחקריו מתמקדים בתורת הסיבוכיות, אלגוריתמים, קומבינטוריקה וקבוצות סופיות, עם דגש על יחסי הגומלין בין תחומים אלה.

הישגים[עריכת קוד מקור | עריכה]

בשנת 2015 הוכיח שבעיית הכרעה של גרפים איזומורפיים (אנ') ניתנת לחישוב בזמן קואזי-פולינומי, בהשוואה לפתרון נאיבי שרץ בזמן !n עבור קלט (גודל גרף) n. בשנת 2017 גילה הראלד הלפגוט טעות בהוכחה זו, ובבאי תיקן את הטעות.[1]

אותות[עריכת קוד מקור | עריכה]

ב-1993 זכה בפרס גדל, לצד שפי גולדווסר, סילביו מיקאלי, שלמה מורן וצ'ארלס ראקוף, על פיתוח המושג של מערכת הוכחה אינטראקטיבית.

בשנת 2015 נבחר לחבר באקדמיה האמריקאית לאמנויות ולמדעים, וזכה בפרס קנות'.

קישורים חיצוניים[עריכת קוד מקור | עריכה]

ויקישיתוף מדיה וקבצים בנושא לסלו בבאי בוויקישיתוף

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Erica Klarreich, Graph Isomorphism Vanquished — Again, Quanta Magazine, January 14, 2017
P vip.svg ערך זה הוא קצרמר בנושא אישים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.