László Babai (* 20. Juli 1950 in Budapest) ist ein ungarischer Mathematiker, der sich mit Kombinatorik, Algorithmentheorie und Komplexitätstheorie beschäftigt.

Babai promovierte 1975 an der Ungarischen Akademie der Wissenschaften in Budapest bei Pál Turán (und Vera T. Sós, mit der Arbeit Automorphismengruppen von Graphen). Er ist Professor für Mathematik und Informatik an der University of Chicago.

Babai ist gleichzeitig mit Shafi Goldwasser, Silvio Micali, Charles Rackoff einer der Erfinder von Interaktiven Beweissystemen.^[1] Von ihm stammt der Begriff des Las-Vegas-Algorithmus für einen Zufallszahlen verwendenden Algorithmus, der nachweisbar immer korrekte Lösungen liefert (sowie mit endlichem Erwartungswert der Laufzeit). Er führte diesen Begriff in einem Aufsatz über Algorithmen zum Test der Isomorphie von Graphen 1979 ein. Er untersuchte auch algorithmische Fragen in der Gruppentheorie.

Babais nearest-plane-Algorithmus ist ein Verfahren, das im n-dimensionalen euklidischen Raum zu einem vorgegebenen Punkt einen Gitterpunkt eines n-dimensionalen Zahlengitters findet, der den nächstliegenden Gitterpunkt approximiert.^[2]

2015 kündigte er eine wesentliche Verbesserung einer vorherigen Abschätzung von ihm und Eugene Luks (1983) an, indem er zeigte, dass das Graph-Isomorphismus-Problem in quasipolynomieller Zeit gelöst werden kann.^[3][4][5] Harald Helfgott fand, wie Babai Anfang Januar 2017 bekanntgab, einen Fehler im Beweis, der nach Babai aber behoben werden konnte.^[6][7][8][9] Das Graph-Isomorphismus-Problem, die Frage welcher Komplexitätsklasse Algorithmen zur Bestimmung der Isomorphie von Graphen angehören, ist eines der großen ungelösten Probleme der Informatik.

1993 erhielt er den Gödel-Preis. 1994 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress (ICM) in Zürich (Transparent Proofs and Limits to Approximation) und 1992 hielt er einen Plenarvortrag auf dem ersten Europäischen Mathematikerkongress in Paris (Transparent Proofs). 1990 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Kyōto (Computational complexity in finite groups) und 2018 in Rio de Janeiro (Groups, Graphs, Algorithms: The Graph Isomorphism Problem). 2015 wurde er in die American Academy of Arts and Sciences gewählt und mit dem Knuth-Preis ausgezeichnet.

Babai ist Herausgeber der Online-Zeitschrift Theory of Computing.

• Satz von Babai

Commons: László Babai – Sammlung von Bildern, Videos und Audiodateien

• Homepage

1. ↑ Babai Trading group theory for randomness, Proc. 17. Annual Symposium Theory of Computing, ACM, 1985, und seine Veröffentlichung mit Shlomo Moran Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes, Journal of Computer and System Sciences, Band 36, 1988, Seite 254–276, doi:10.1016/0022-0000(88)90028-1.
2. ↑ L. Babai: On Lovász’ lattice reduction and the nearest lattice point problem. In: Combinatorica. Band 6, Nr. 1, 1986, S. 1–13, doi:10.1007/BF02579403 (PDF). 
3. ↑ Babai, Graph Isomorphism in Quasipolynomial Time, 2015
4. ↑ Adrian Cho: Mathematician claims breakthrough in complexity theory, Science, 20. November 2015
5. ↑ Babai, Graph isomorphism in quasipolynomial time [extended abstract, STOC '16: Proceedings of the forty-eighth annual ACM symposium on Theory of Computing, Juni 2016, S. 684–697]
6. ↑ Homepage Babai, 9. Januar 2017
7. ↑ Erica Klarreich, Graph isomorphism vanquished - again, Quanta Magazine, Januar 2017
8. ↑ Harald Helfgott, Isomorphismes de graphes en temps quasi-polynomial (d'après Babai et Luks, Weisfeiler-Leman...), Seminaire Bourbaki, Nr. 1125, Januar 2017, Arxiv
9. ↑ László Babai: Groups, Graphs, Algorithms: The Graph Isomorphism Problem. Proc. ICM 2018, Rio de Janeiro, Online