Richard Karp
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 | modificare sursă]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 | modificare sursă]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 | modificare sursă]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 | modificare sursă]- ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ a b c d e Genealogia matematicienilor
- ^ Genealogia matematicienilor, accesat în
- ^ https://amturing.acm.org/award_winners/karp_3256708.cfm Lipsește sau este vid:
|title=(ajutor) - ^ https://awards.acm.org/award_winners/karp_3256708#140 Lipsește sau este vid:
|title=(ajutor) - ^ https://harveypz.net.technion.ac.il/harvey-prize-laureates/ Lipsește sau este vid:
|title=(ajutor) - ^ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=17 Lipsește sau este vid:
|title=(ajutor) - ^ https://www.kyotoprize.org/en/laureates/ Lipsește sau este vid:
|title=(ajutor) - ^ https://awards.acm.org/award_winners/karp_3256708#158 Lipsește sau este vid:
|title=(ajutor) - ^ https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows?page=2, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ https://inf.ethz.ch/de/departement/auszeichnungen-und-rankings/ehrendoktoren.html, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ „Richard Karp”, Gemeinsame Normdatei, accesat în
- ^ Richard M. Karp, SNAC, accesat în
- ^ „Richard Karp”, Gemeinsame Normdatei, accesat în
- ^ IdRef, accesat în
- ^ „California Chosen as Home for Computing Institute”. The New York Times. . Accesat în .
- ^ 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 .
- ^ Association for Computing Machinery. „ACM Award Citation/Richard M. Karp”. Arhivat din original la . Accesat în .
| |||||
- Oameni de știință americani din secolul al XX-lea
- Absolvenți ai Universității Harvard
- Oameni în viață
- Membri ai Academiei Franceze de Științe
- Membri ai Academiei Naționale de Științe a Statelor Unite
- Laureați ai National Medal of Science
- Oameni din Boston, Massachusetts
- Matematicieni americani din secolul al XX-lea
- Laureați ai Premiului Turing
- Informaticieni americani
- Nașteri în 1935
- Matematicieni americani din secolul al XXI-lea
- Americani în viață