Richard Manning Karp

第24回(2008)受賞

先端技術部門

情報科学

リチャード・マニング・カープ

/  コンピュータ科学者

1935 -

カリフォルニア大学バークレー校 ユニバーシティ・プロフェッサー、国際コンピュータ科学研究所 上級研究員

記念講演会

アルゴリズムのパワーと限界

2008年

11 /11

会場:国立京都国際会館

ワークショップ

科学への計算世界観的アプローチ

2008年

11 /12

13:00~17:30

会場:国立京都国際会館

業績ダイジェスト

計算複雑さの理論の発展への根幹的貢献

実用上重要なコンピュータ処理アルゴリズムを数多く開発するとともにNP完全の理論を確立してアルゴリズムの評価や設計における指導原理に大きな影響を与え、1970年代初頭からの計算複雑さの理論の発展に根幹的な貢献をした。

贈賞理由

リチャード・マニング・カープ博士は、NP完全の理論を確立してアルゴリズムの評価や設計における指導原理に大きな影響を与え、1970年代初頭からの計算複雑さの理論の発展に根幹的な貢献をした。また、数多くの実用上重要なコンピュータ処理アルゴリズムを開発しアルゴリズム技術の発展に寄与した。

カープ博士は、組合せ問題の計算複雑さに関して、多項式時間還元の概念に基づいて同程度に難しい問題のクラスを定め、問題がどのクラスに属するかによって、問題の複雑さを計るという方法を創出して、NP完全の理論を確立した。これによりオペレーションズリサーチの最適化問題や計算機科学に関連する多くの身近な問題がNP完全なクラスに属する等しく難しい問題であることを示した。そして、そのための標準的な方法論を導き普及させ、計算機科学の根底を支える計算とアルゴリズムの理論を飛躍的に発展させた。

NP完全の理論は、「P対NP問題」と呼ばれる問題が現在でも計算機科学と数学の重要な未解決問題の一つになっていることにも象徴されるように、計算複雑さを科学の対象とすることを可能にし、人類の英知に新たなページを付け加えた。また、同理論はアルゴリズム工学の発展を促し、技術分野の多くの問題に対するアルゴリズムの評価や設計における指導原理に大きな影響を与え、アルゴリズム設計を個々の問題毎に対応するしかなかった手工業的状況から開放し、科学的技術へと変化させた。

この業績に加えて、カープ博士はエドモンズ-カープアルゴリズムの開発に代表されるように実用上重要なアルゴリズムを数多く開発するとともに、カープ博士が所属するカリフォルニア大学バークレー校を中心に理論計算機科学の拠点を築き、多くの若手研究者を育て、並列アルゴリズムや確率的アルゴリズムの理論の確立に指導的な役割を果した。最近の10年間では、計算機科学が他分野に役立つ研究、特に生命科学を助ける研究をすべきという信念から、バイオインフォマティクス分野におけるアルゴリズムの研究に大きな貢献をした。

以上の理由によって、リチャード・マニング・カープ博士に先端技術部門における第24回(2008)京都賞を贈呈する。

プロフィール

略歴
1935年
米国マサチューセッツ州ボストン市生まれ
1959年
ハーバード大学 博士号(応用数学)
1959年
IBMトーマス・J・ワトソン研究センター 研究員
1968年
カリフォルニア大学バークレー校 教授
1988年
国際コンピュータ科学研究所 研究員
1995年
ワシントン大学 教授
1999年
カリフォルニア大学バークレー校 ユニバーシティ・プロフェッサー、国際コンピュータ科学研究所 上級研究員
主な受賞・栄誉
1979年
ファルカーソン賞、国際数理計画法学会・アメリカ数学会
1985年
チューリング賞、国際計算機学会(ACM)
1986年
優秀ティーチング賞、カリフォルニア大学バークレー校
1996年
アメリカ国家科学賞
1998年
ハーヴェイ賞、テクニオン-イスラエル工科大学
2004年
ベンジャミン・フランクリン・メダル、フランクリン協会
会員:
米国科学アカデミー、米国工学アカデミー、米国芸術科学アカデミー、米国科学振興協会、米国哲学会
主な論文
1971年
The traveling-salesman problem and minimum spanning trees: Part II (Held, M. and Karp, R.). Mathematical Programming 1: 6-25, 1971.
1972年
Reducibility among Combinatorial Problems (Miller, R. E. and Thatcher, J. W. eds.). in Proceedings of Complexity of Computer Computations, Plenum Press, New York, 85-103, 1972.
1972年
Theoretical improvements in algorithmic efficiency for network flow problems (Edmonds, J. and Karp, R.). Journal of the ACM 19: 248-264, 1972.
1979年
Random walks, universal traversal sequences, and the complexity of maze problems (Aleliunas, R., Karp, R. M., Lipton, R., Lovász, L. and Rackoff, C.). 20th Annual Symposium on Foundations of Computer Science : 218-223, 1979.
1985年
A fast parallel algorithm for the maximal independent set problem (with Wigderson, A.). Journal of the ACM 32: 762-773, 1985.
2003年
Conserved pathways within bacteria and yeast as revealed by global protein network alignment (Kelley, B. P., Sharan, R., Karp, R. M., Sittler, T., Root, D. E., Stockwell, B. R.,and Ideker, T). Proceedings of the National Academy of Sciences 100: 11394-11399, 2003.

プロフィールは受賞時のものです

関連映像