Leonid Levin - Leonid Levin - Wikipedia

Leonid Anatolievich Levin
LeonidLevin2010.jpg
Leonid Levin v roce 2010
narozený (1948-11-02) 2. listopadu 1948 (věk 72)
Dněpropetrovsk, Ukrajinská SSR, Sovětský svaz
Alma materMoskevská univerzita
Massachusetts Institute of Technology
Známý jakovýzkum složitosti, náhodnosti, informací
OceněníKnuthova cena (2012)
Vědecká kariéra
PolePočítačová věda
InstituceBostonská univerzita
Doktorský poradceAndrey Kolmogorov, Albert R. Meyer

Leonid Anatolievich Levin (/leɪ.oʊˈniːdˈlɛprotiɪn/ lež-oh-POTŘEBA LEV-v; ruština: Леони́д Анато́льевич Ле́вин; ukrajinština: Леонід Анатолійович Ле́він; narozen 2. listopadu 1948) je sovětsko-americký počítačový vědec.

On je známý pro jeho práci v náhodnost v výpočetní, algoritmická složitost a nepoddajnost, průměrná složitost,[1] základy matematika a počítačová věda, algoritmická pravděpodobnost, teorie výpočtu, a teorie informace. Magisterský titul získal na Moskevská univerzita v roce 1970 studoval pod Andrey Kolmogorov a dokončil Titul kandidáta akademické požadavky v roce 1972.[2]

On a Stephen Cook nezávisle objeveny existence NP-úplné problémy. Tato věta o úplnosti NP, často nazývaná Cook – Levinova věta, byl základem pro jednu ze sedmi Problémy s cenou tisíciletí prohlásil Hliněný matematický institut s nabízenou cenou 1 000 000 $. Věta Cook – Levin byla průlomem počítačová věda a důležitý krok ve vývoji teorie výpočetní složitost.

Levin byl oceněn Knuthova cena v roce 2012[3] za objev NP-úplnosti a vývoj průměrná složitost. Jeho život je popsán v kapitole knihy Z jejich myslí: Životy a objevy 15 skvělých počítačových vědců.[4]

Životopis

Magisterský titul získal na Moskevská univerzita v roce 1970 studoval pod Andrey Kolmogorov a dokončil Titul kandidáta akademické požadavky v roce 1972.[2][5] Po výzkumu algoritmických problémů teorie informace na Moskevském institutu pro přenos informací EU Národní akademie věd v letech 1972-1973 a jako vedoucí vědecký pracovník v Moskevském národním výzkumném ústavu integrované automatizace pro ropný / plynárenský průmysl v letech 1973–1977 emigroval do NÁS. v roce 1978 a také získal titul Ph.D. na Massachusetts Institute of Technology (MIT) v roce 1979.[2] Jeho poradcem na MIT byl Albert R. Meyer.

On je dobře známý pro jeho práci v náhodnost v výpočetní, algoritmická složitost a nepoddajnost, průměrná složitost,[1] základy matematika a počítačová věda, algoritmická pravděpodobnost, teorie výpočtu, a teorie informace.

Jeho život je popsán v kapitole knihy Z jejich myslí: Životy a objevy 15 velkých počítačových vědců.[4]

Levin a Stephen Cook nezávisle objeveny existence NP-úplné problémy. Tato věta o úplnosti NP, často nazývaná Cook – Levinova věta, byl základem pro jednu ze sedmi Problémy s cenou tisíciletí prohlásil Hliněný matematický institut s nabízenou cenou 1 000 000 $. Věta Cook – Levin byla průlomem počítačová věda a důležitý krok ve vývoji teorie výpočetní složitost. Levinův deník o této větě vyšel v roce 1973;[6] před tím přednášel o myšlenkách v něm několik let (viz Trakhtenbrot průzkum),[7] ačkoli úplné formální psaní výsledků proběhlo po Cookově publikaci.

Levin byl oceněn Knuthova cena v roce 2012[3] za objev NP-úplnosti a vývoj průměrná složitost.

V současné době je profesorem informatiky na Bostonská univerzita, kde začal učit v roce 1980.

Poznámky

  1. ^ A b Levin, Leonid (1986). "Průměrné případy úplných problémů". SIAM J. Comput. 15 (1): 285–6. doi:10.1137/0215020.
  2. ^ A b C Levinův životopis
  3. ^ A b Tisková zpráva ACM, 22. srpna 2012 Archivováno 3. března 2016 na adrese Wayback Machine
  4. ^ A b Shasha, Dennis; Cathy Lazere (září 1995). Z jejich myslí: Životy a objevy 15 skvělých počítačových vědců. Springer. ISBN  0-387-97992-1.
  5. ^ 1971 Dizertační práce (v Rusku); anglický překlad na arXiv
  6. ^ Levin, Leonid (1973). "Problémy s univerzálním vyhledávání (rusky: Универсальные задачи перебора, Universal'nye perebornye zadachi)". Problémy přenosu informací (rusky: Проблемы передачи информации, Problemy Peredachi Informatsii). 9 (3): 115–116. (pdf)
  7. ^ Boris A. Trakhtenbrot (1984). „Průzkum ruských přístupů k algoritmům Perebor (vyhledávání hrubou silou)“. Annals of the History of Computing. IEEE. 6 (4): 384–400. doi:10.1109 / MAHC.1984.10036. S2CID  950581.

Reference

externí odkazy