Richard Karp

Richard Karp
Date personale
Născut	3 ianuarie 1935 (89 de ani)[13][14] Boston, Massachusetts, SUA[15]
Cetățenie	Statele Unite ale Americii
Ocupație	matematician informatician cadru didactic universitar[*]​
Limbi vorbite	limba engleză[16]
Activitate
Domeniu	teoria calculabilității bioinformatică
Număr Erdős	2
Instituție	Universitatea Berkeley din California Universitatea Statului Washington
Alma Mater	Universitatea Harvard Harvard School of Engineering and Applied Sciences[*][[Harvard School of Engineering and Applied Sciences (engineering School in Cambridge, Massachusetts)|​]] Universitatea Berkeley din California
Organizații	Academia 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]
Conducător de doctorat	Anthony Oettinger[*][[Anthony Oettinger (computer scientist)|​]][3]
Doctoranzi	Noam 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ă 31
Cunoscut pentru	A simple algorithm for finding frequent elements in streams and bags[*][[A simple algorithm for finding frequent elements in streams and bags (article)|​]]
Premii	Premiul Turing (1985)[5][6] Premiul de teorie John von Neumann[*]​ (1990) Harvard Centennial Medal[*][[Harvard Centennial Medal |​]] Premiul Harvey[*]​ (1998)[7] Fulkerson Prize[*][[Fulkerson Prize (Prize given jointly by the Mathematical Programming Society and the American Mathematical Society for outstanding papers in discrete mathematics)|​]] (1979)[8] Medalia Națională pentru Știință a Statelor Unite[*]​ (1996) premiul EATCS[*]​ (2000) Benjamin Franklin Medal[*][[Benjamin Franklin Medal (medal conferred by the RSA)|​]] (2004) 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)|​]] (2008)[9] Medalia Benjamin Franklin[*]​ (2004) Dickson Prize in Science[*][[Dickson Prize in Science (American science award)|​]] (2009) 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))|​]] (1994)[10] Fellow of the Society for Industrial and Applied Mathematics[*][[Fellow of the Society for Industrial and Applied Mathematics |​]] (2009)[11] Frederick W. Lanchester Prize[*][[Frederick W. Lanchester Prize (American award for publications in operations research and the management sciences)|​]] (1977) Ehrendoktor der Eidgenössischen Technischen Hochschule Zürich[*][[Ehrendoktor der Eidgenössischen Technischen Hochschule Zürich |​]][12]
Prezență online
site web oficial
Modifică date / text

Richard Manning Karp (n. 3 ianuarie 1935, 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.

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]

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.

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.