メイン 理科

Richard Manning Karpアメリカの数学者およびコンピューター科学者

Richard Manning Karpアメリカの数学者およびコンピューター科学者
Richard Manning Karpアメリカの数学者およびコンピューター科学者
Anonim

リチャードマニングカープ(1935年1月3日、マサチューセッツ州ボストン)は、米国の数学者でコンピューター科学者であり、コンピューター科学で最高の栄誉である1985 AMチューリング賞を受賞しました。ネットワークフローやその他の組み合わせ最適化問題の効率的なアルゴリズムの開発、アルゴリズム効率の直感的な概念による多項式時間計算可能性の識別、そして特に、NP完全性の理論への貢献を含むアルゴリズム。」彼の研究対象は、理論的なコンピューターサイエンス、組み合わせアルゴリズム、離散確率、計算生物学、インターネットアルゴリズムなどです。

Karpは、ハーバード大学で数学の学士号(1955)、修士号(1956)、および博士号(1959)を取得しています。研究を終えた後、彼はIBM(1959–68)で数学者として働き、その後アカデミアに移りました。カープはカリフォルニア大学バークレー校(1968–94)、ワシントン大学(1995–99)、そして再びバークレー校(1999–)に所属し、大学教授として復帰しました。

Karpの1972年の論文「組合せ問題間の削減可能性」は、一般的に研究されている多くの組合せ問題が同じ問題の変形であることを証明しました。KarpはComplexity of Computation(1974)の作者であり、一種のマルチコネクションスイッチングネットワークの特許を持っています。

チューリング賞に加えて、カープは離散数学のフルカーソン賞(1979)、米国国立科学勲章(1996)、ハーバード大学100周年メダル(1997)、イスラエル工科大学ハーベイ賞(1998)、カーネギーメロン大学ディクソン科学賞(2008)、日本の京都賞(2008)。彼は、ニューヨーク科学アカデミー(1980)、アメリカ国立科学アカデミー(1980)、アメリカ芸術科学アカデミー(1985)、コンビナトリクスおよびその応用研究所(1990)、アメリカ協会科学の進歩(1991)、米国国立工学アカデミー(1992)、アメリカ哲学会(1994)、フランス科学アカデミー(2002)、および欧州科学アカデミー(2004)。