Doğum |
3 Ocak 1935 Boston |
---|---|
Ana dilde isim | Richard Manning Karp |
Milliyet | Amerikan |
Eğitim |
Harvard Harvard Mühendislik ve Uygulamalı Bilimler Okulu ( in ) University of California, Berkeley |
Aktiviteler | Matematikçi , bilgisayar bilimcisi , üniversite profesörü |
İçin çalıştı | University of California at Berkeley , University of Washington |
---|---|
Alanlar | Hesaplanabilirlik teorisi ( in ) , biyoinformatik |
Üyesi |
Bilgisayar Makineleri Derneği American Academy of Arts and Sciences American Philosophical Society American Association for the Advancement of Science American Academy of Sciences (1980) Amerika Birleşik Devletleri Ulusal Mühendislik Akademisi (1992) Bilimler Akademisi (2002) |
Süpervizör | Anthony Oettinger |
Ödüller |
Turing Ödülü (1985) |
Akışları ve torbalarda sık elemanları bulmak için basit bir algoritma ( d ) |
Richard Manning Karp (doğdu3 Ocak 1935içinde Boston bölgesindeki Massachusetts ) bir araştırmacı Amerikan yaptığı araştırmalarıyla tanınan kombinatoryal optimizasyon ve karmaşıklık teorisi . O alınan Turing Ödülü de 1985 çalışmaları için.
Richard Karp, Abraham ve Rose Karp'ın oğludur.
O girilen Harvard University onun aldığı, lisans derecesini de 1955 , onun Master derecesi içinde 1956 ve onun Doktora içinde uygulamalı matematik içinde 1959 .
Daha sonra IBM için Thomas J. Watson Araştırma Merkezi'nde çalıştı .
In 1968 , o bilgisayar bilimleri ve matematik profesörü oldu Berkeley'deki Kaliforniya Üniversitesi'nde profesör olarak dört yıllık bir süre için hariç, o bundan sonra kalan, Washington Üniversitesi .
Narendra Karmarkar , Noam Nisan ve Rajeev Motwani'nin tez direktörlüğünü yaptı .
Richard Karp, ağırlıklı olarak algoritmalar ve karmaşıklık teorisinde çalıştı . Önemli katkıları arasında şunlar yer almaktadır.
Şu anda biyoinformatik ile ilgileniyor .
Turing Ödülü'nde şu şekilde alıntı yapıldı: "Ağlar ve diğer kombinasyonel optimizasyon problemleri için verimli algoritmaların geliştirilmesi, polinom zamanda hesaplanabilirliğin sezgisel verimli algoritma nosyonuyla belirlenmesi ve daha fazlası dahil olmak üzere algoritma teorisine yaptığı sürekli katkılarından dolayı. hepsi, NP-tamlık teorisine katkıları . Karp, bir problemin NP-tamamlandığını kanıtlamak için artık klasik olan metodolojiyi tanıttı ve bu, birçok pratik ve teorik problemin hesaplanması zor olarak tanımlanmasını mümkün kıldı. "