|
ロバート・タージャン
ロバート・アンドレ・タージャン（Robert Endre Tarjan、1948年4月30日 - ）は、アメリカ合衆国の計算機科学者。 タージャンのオフライン最小共通祖先アルゴリズムなどのグラフアルゴリズムを発見し、スプレー木とフィボナッチヒープというデータ構造を共同で発明した。2012年現在はプリンストン大学で計算機科学の教授を務めており、ヒューレット・パッカードのシニアフェローでもある[1]。 学生時代までカリフォルニア州ポモナで生まれる。父は精神薄弱が専門の小児精神科医で、州立病院の院長を務めていた[2]。子どものころSFをよく読んだタージャンは、天文学者になりたいと思っていた。その後サイエンティフィック・アメリカン誌に連載されていたマーティン・ガードナーの「数学ゲーム」を読んで数学に興味を持つようになる。8年生のころ「非常に刺激的な」教師の影響で真剣に数学を志すようになる[3]。 高校のとき、パンチカードの照合の仕事を経験。1964年の Summer Science Program で天文学を学ぶ中で、初めて実際のコンピュータに触れている[2]。 1969年、カリフォルニア工科大学で数学の学士号を取得。スタンフォード大学に進学して計算機科学を専攻し、1971年には修士号、1972年には Ph.D. を取得した。スタンフォードでの指導教官はロバート・フロイド[4]とドナルド・クヌース[5]で、どちらも有名な計算機科学者である。博士論文は An Efficient Planarity Algorithm と題したものだった。タージャンは、数学が実用的インパクトを持つことができる分野として計算機科学を専門とすることを選択したという[3]。 経歴その後、コーネル大学 (1972–73)、カリフォルニア大学バークレー校 (1973–1975) を経て、1977年からスタンフォード大学助教授、1981年からニューヨーク大学準教授、1985年からプリンストン大学教授を務めた[3]。また1989年から1997年まで、NECの研究所のフェローを務めていた[要出典]。 ベル研究所 (1980–1989)、InterTrust Technologies (1997–2001)、コンパック (2002) にも席を置いたことがあり、2006年以降はヒューレット・パッカードに在席している。ACMとIEEEのいくつかの委員会で委員を務め、学会誌の編集も務めたことがある[要出典]。 アルゴリズムとデータ構造タージャンは様々な分野の問題を解くのに適した効率的なアルゴリズムやデータ構造を多数設計している。 グラフ理論のアルゴリズムとデータ構造についての先駆的業績がよく知られている。例えば、タージャンのオフライン最小共通祖先アルゴリズムやタージャンの強連結成分アルゴリズムがある。ホップクロフト-タージャン平面性判定アルゴリズムは、世界初の線形時間の（グラフの）平面性判定アルゴリズムである[6]。 また、フィボナッチヒープ（木構造群からなるヒープデータ構造）とスプレー木（平衡2分探索木の一種で、ダニエル・スレイターと共同開発）という重要なデータ構造を開発した。素集合データ構造の分析でも多大な貢献をしている。また、初めて逆アッカーマン関数の最適実行時間を証明した。 受賞歴
出典
参考文献
関連項目外部リンク
|
||||||||||||||||||||||||||||||||||
