Wikipedia

Richard Karp

(Redirecționat de la Richard M. Karp)
Richard Karp
Date personale
Născut (89 de ani)[13][14] Modificați la Wikidata
Boston, Massachusetts, SUA[15] Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațiematematician
informatician
cadru didactic universitar[*]​ Modificați la Wikidata
Limbi vorbitelimba engleză[16] Modificați la Wikidata
Activitate
Domeniuteoria calculabilității
bioinformatică  Modificați la Wikidata
Număr Erdős2  Modificați la Wikidata
InstituțieUniversitatea Berkeley din California
Universitatea Statului Washington  Modificați la Wikidata
Alma MaterUniversitatea Harvard
Harvard School of Engineering and Applied Sciences[*][[Harvard School of Engineering and Applied Sciences (engineering School in Cambridge, Massachusetts)|​]]
Universitatea Berkeley din California  Modificați la Wikidata
OrganizațiiAcademia Franceză de Științe
Academia Națională de Științe a Statelor Unite ale Americii[*]​
American Philosophical Society[*][[American Philosophical Society (American scholarly organization and learned society)|​]]
Asociația Americană pentru Progresul Științei[*]​
Academia Americană de Arte și Științe[*]​
National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]]
Association for Computing Machinery[1]
Society for Industrial and Applied Mathematics[*][[Society for Industrial and Applied Mathematics (academic association dedicated to the use of mathematics in industry)|​]][2]  Modificați la Wikidata
Conducător de doctoratAnthony Oettinger[*][[Anthony Oettinger (computer scientist)|​]][3]  Modificați la Wikidata
DoctoranziNoam Nisan[*][[Noam Nisan (Israeli computer scientist)|​]]
Rajeev Motwani[*][[Rajeev Motwani (Indian theoretical computer scientist and venture capitalist at Stanford University (1962–2009))|​]]
Narendra Karmarkar[*][[Narendra Karmarkar (matematician indian)|​]]
Barbara Simons[*][[Barbara Simons (American computer scientist)|​]]
Eric P. Xing[*][[Eric P. Xing (American artificial intelligence researcher)|​]]
Robert M. Keller[*][[Robert M. Keller (American computer scientist)|​]][4]
Valerie King[*][[Valerie King (American and Canadian computer scientist)|​]][3]
Raymond Reiter[*][[Raymond Reiter (Canadian computer scientist (1939-2002))|​]][3]
Dan Gusfield[*][[Dan Gusfield (American Computational Biologist)|​]][3]
Michael Luby[*][[Michael Luby (American information theorist and cryptographer)|​]][3]
...încă 30  Modificați la Wikidata
Cunoscut pentruA simple algorithm for finding frequent elements in streams and bags[*][[A simple algorithm for finding frequent elements in streams and bags (article)|​]]  Modificați la Wikidata
PremiiPremiul Turing ()[5][6]
Premiul de teorie John von Neumann[*]​ ()
Harvard Centennial Medal[*][[Harvard Centennial Medal |​]]
Premiul Harvey[*]​ ()[7]
Fulkerson Prize[*][[Fulkerson Prize (Prize given jointly by the Mathematical Programming Society and the American Mathematical Society for outstanding papers in discrete mathematics)|​]] ()[8]
Medalia Națională pentru Știință a Statelor Unite[*]​ ()
premiul EATCS[*]​ ()
Benjamin Franklin Medal[*][[Benjamin Franklin Medal (medal conferred by the RSA)|​]] ()
Kyoto Prize in Advanced Technology[*][[Kyoto Prize in Advanced Technology (Japanese award in electronics, biotechnology and medical technology, materials science and engineering, or information science)|​]] ()[9]
Medalia Benjamin Franklin[*]​ ()
Dickson Prize in Science[*][[Dickson Prize in Science (American science award)|​]] ()
doctor honoris causa al Technionului din Haifa[*]​
doctor honoris causa al Institutului Weizmann din Rehovot[*]​
ACM Fellow[*][[ACM Fellow (award granted by the Association for Computing Machinery (ACM))|​]] ()[10]
Fellow of the Society for Industrial and Applied Mathematics[*][[Fellow of the Society for Industrial and Applied Mathematics |​]] ()[11]
Frederick W. Lanchester Prize[*][[Frederick W. Lanchester Prize (American award for publications in operations research and the management sciences)|​]] ()
Ehrendoktor der Eidgenössischen Technischen Hochschule Zürich[*][[Ehrendoktor der Eidgenössischen Technischen Hochschule Zürich |​]][12]  Modificați la Wikidata
Prezență online
Modifică date / text Consultați documentația formatului

Richard Manning Karp (n. , Boston, Massachusetts, SUA) este un specialist în calculatoare electronice cunoscut pentru cercetările sale în domeniul algoritmilor, pentru care a primit Premiul Turing în 1985. Este coautor al algoritmilor Edmonds Karp și Rabin-Karp.

Biografia

modificare

Născut în familia lui Abraham și a lui Rose Karp în Boston, Massachusetts, Karp are trei frați mai mici: Robert, David⁠(d), and Carolyn. A studiat la Universitatea Harvard, unde a absolvit cursurile de licență în 1955, cele de master în 1956, și a obținut doctoratul în matematică aplicată în 1959.

A început să lucreze la IBM Thomas J. Watson Research Center⁠(d) de la IBM. În 1968, a devenit profesor de informatică, matematică și cercetare operațională la University of California, Berkeley. În afara unei perioade de patru ani petrecută ca profesor la Universitatea din Washington, a rămas permanent la Berkeley. Între 1988 și 1995 și din 1999 încoace este și cercetător la International Computer Science Institute⁠(d) din Berkeley, unde conduce grupul de algoritmi.

Richard Karp a primit Medalia Națională a Științei⁠(d), și este laureat al Premiului Harvey⁠(d) de la Technion și a Medaliei Benjamin Franklin⁠(d) pe 2004 pentru informatică și științe cognitive pentru descoperirile din domeniul teoriei complexității. În 1994 a fost primit ca fellow⁠(d) al ACM.

În 2012, Karp a devenit director fondator al Simons Institute for the Theory of Computing⁠(d) de la University of California, Berkeley.[17]

Activitatea

modificare

A efectuat numeroase alte descoperiri importante în informatică și în cercetarea operațională⁠(d) în domeniul algoritmilor combinatorici⁠(d). Interesele sale principale de cercetare cuprind și bioinformatica.

În 1971 a dezvoltat împreună cu Jack Edmonds algoritmul Edmonds–Karp de rezolvare a problemei debitului maxim în rețele, iar în 1972 a publicat o lucrare esențială în teoria complexității, "Reducibility Among Combinatorial Problems", în care a demonstrat că 21 de probleme sunt NP-complete.[18]

În 1973, împreună cu John Hopcroft, a publicat algoritmul Hopcroft–Karp⁠(d), care și astăzi este cea mai rapidă metodă cunoscută de găsire a cuplajelor⁠(d) de cardinalitate maximă în grafurile bipartite.

În 1980, împreună cu Richard J. Lipton⁠(d), Karp a demonstrat teorema Karp-Lipton⁠(d), care arată că, dacă SAT⁠(d) poate fi rezolvată prin circuite booleene⁠(d) cu un număr polinomial de porți logice, atunci ierarhia polinomială⁠(d) se pliază la nivelul al doilea.

În 1987, împreună cu Michael O. Rabin, a dezvoltat algoritmul Rabin-Karp de căutare în șiruri de caractere.

Premiul Turing

modificare

A primit premiul Turing pe anul 1985, pentru:[19]

... contribuțiile continue la teoria algoritmilor, inclusiv dezvoltarea de algoritmi eficienți pentru fluxul în rețele și pentru alte probleme de optimizare combinatorică, identificarea calculabilității în timp polinomial cu noțiunea intuitivă de eficiență algoritmică și, mai ales, pentru contribuțiile aduse în teoria NP-completitudinii. Karp a introdus metodologia, devenită astăzi standard, de demonstrare a NP-completitudinii problemelor care a dus la identificarea multor probleme practice și teoretice ca fiind probleme computațional grele.

Note

modificare
  1. ^ https://awards.acm.org/fellows/award-recipients, accesat în   Lipsește sau este vid: |title= (ajutor)
  2. ^ https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows, accesat în   Lipsește sau este vid: |title= (ajutor)
  3. ^ a b c d e Genealogia matematicienilor 
  4. ^ Genealogia matematicienilor, accesat în  
  5. ^ https://amturing.acm.org/award_winners/karp_3256708.cfm  Lipsește sau este vid: |title= (ajutor)
  6. ^ https://awards.acm.org/award_winners/karp_3256708#140  Lipsește sau este vid: |title= (ajutor)
  7. ^ https://harveypz.net.technion.ac.il/harvey-prize-laureates/  Lipsește sau este vid: |title= (ajutor)
  8. ^ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=17  Lipsește sau este vid: |title= (ajutor)
  9. ^ https://www.kyotoprize.org/en/laureates/  Lipsește sau este vid: |title= (ajutor)
  10. ^ https://awards.acm.org/award_winners/karp_3256708#158  Lipsește sau este vid: |title= (ajutor)
  11. ^ https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows?page=2, accesat în   Lipsește sau este vid: |title= (ajutor)
  12. ^ https://inf.ethz.ch/de/departement/auszeichnungen-und-rankings/ehrendoktoren.html, accesat în   Lipsește sau este vid: |title= (ajutor)
  13. ^ „Richard Karp”, Gemeinsame Normdatei, accesat în  
  14. ^ Richard M. Karp, SNAC, accesat în  
  15. ^ „Richard Karp”, Gemeinsame Normdatei, accesat în  
  16. ^ IdRef, accesat în  
  17. ^ „California Chosen as Home for Computing Institute”. The New York Times. . Accesat în . 
  18. ^ Richard M. Karp (). „Reducibility Among Combinatorial Problems” (PDF). În R. E. Miller and J. W. Thatcher (editors). Complexity of Computer Computations. New York: Plenum. pp. 85–103. Arhivat din original (PDF) la . Accesat în . 
  19. ^ Association for Computing Machinery. „ACM Award Citation/Richard M. Karp”. Arhivat din original la . Accesat în . 


Adus de la https://ro.wikipedia.org/w/index.php?title=Richard_Karp&oldid=15512319