Põhiline teadus

Richard Manning Karp Ameerika matemaatik ja arvutiteadlane

Richard Manning Karp Ameerika matemaatik ja arvutiteadlane
Richard Manning Karp Ameerika matemaatik ja arvutiteadlane
Anonim

Richard Manning Karp (sündinud 3. jaanuaril 1935 Bostonis, USA), Ameerika matemaatik ja arvutiteadlane ning 1985. aasta AM-i Turingi auhinna laureaat, mis on arvutiteaduse kõrgeim auhind “tema jätkuva panuse eest algoritmid, sealhulgas tõhusate algoritmide väljatöötamine võrguvoolu ja muude kombinatoorsete optimeerimisprobleemide jaoks, polünoomi ajalise võrreldavuse tuvastamine algoritmilise efektiivsuse intuitiivse mõiste abil ja mis on eriti oluline panus NP-täielikkuse teooriasse. ” Tema uurimisvaldkonnad on hõlmanud teoreetilist arvutiteadust, kombinatoorseid algoritme, diskreetset tõenäosust, arvutusbioloogiat ja Interneti-algoritme.

Karp teenis Harvardi ülikoolist bakalaureusekraadi (1955), magistrikraadi (1956) ja doktorikraadi (1959), kõik matemaatikas. Pärast õpingute lõpetamist töötas ta enne akadeemilisse ringkonda IBM-is matemaatikuna (1959–68). Karp töötas ametikohtadel Californias Berkeley ülikoolis (1968–1994), Washingtoni ülikoolis (1995–1990) ja taas Berkeley ülikoolis (1999–), kuhu naasis ülikooli professorina.

Karpi 1972. aasta raamat „Reduktiivsus kombinatoorsete probleemide hulgas” tõestas, et paljud tavaliselt uuritud kombinatoorsed probleemid on sama probleemi variandid, mis tähendab, et nad on kõik tõenäoliselt lahendatavad (NP-täielikud probleemid - st probleemid, mille jaoks pole teada tõhusat lahenduse algoritmi). Karp on arvutuste kompleksi (1974) autor ja omab teatud tüüpi mitmeühendusega kommutatsioonivõrgu patenti.

Lisaks Turingi auhinnale sai Karp Fulkersoni preemia diskreetse matemaatika alal (1979), USA riikliku teadusmedali (1996), Harvardi ülikooli sajanda medali (1997), Iisraeli tehnoloogiainstituudi Harvey auhinna (1998), Carnegie Melloni ülikooli Dicksoni teaduspreemia (2008) ja Jaapani Kyoto auhind (2008). Ta valiti New Yorgi Teaduste Akadeemiasse (1980), USA Riiklikku Teaduste Akadeemiasse (1980), Ameerika Kunstiteaduste Akadeemiasse (1985), Kombinatooriumi ja selle rakenduste instituuti (1990), Ameerika Ühendusse teaduse edendamine (1991), USA Riiklik Tehnikaakadeemia (1992), Ameerika Filosoofia Selts (1994), Prantsuse Teaduste Akadeemia (2002) ja Euroopa Teaduste Akadeemia (2004).