09-07-2023
Роберт Андре Тарьян | |
англ. Robert Endre Tarjan | |
Дата рождения: | |
---|---|
Место рождения: | |
Научная сфера: | |
Место работы: | |
Альма-матер: | |
Награды и премии |
|
Роберт Андре Тарьян (англ. Robert Endre Tarjan, 30 апреля 1948 года, Помона, США) — известный американский учёный в области теории вычислительных систем.
Он является автором множества алгоритмов решения задач теории графов и дискретной математики, включая алгоритм поиска наименьшего общего предка (Tarjan’s off-line least common ancestors algorithm). Также он является соавтором структур данных «Фибоначчиева куча» и «Splay-дерево».
Содержание |
Отец Роберта Тарьяна был детским врачом, специализирующимся на задержках умственного развития, и являлся управляющим центральной поликлиники штата[1].
В детстве Тарьян читал много научной фантастики и хотел стать астрономом. Он заинтересовался математикой после прочтения заметок Мартина Гарднера по математическим играм в журнале Scientific American. Серьёзный интерес к математике был привит в восьмом классе «очень мотивирующим» учителем.
Во время обучения в школе Тарьяну посчастливилось поработать в IBM с сортировально-подборочной машиной для перфокарт. В 1964 году в летней школе он получил первый серьёзный опыт работы с настоящими компьютерами[1].
Тарьян получил звание бакалавра по математике в технологическом институте Калифорнии (California Institute of Technology) в 1969 году. В Стэнфордском университете он получил магистерскую степень по компьютерным наукам (1971) и степень доктора философии (Doctor of Philosophy) в компьютерных науках — в 1972 г. Его научными руководителями в Стэнфорде были Роберт Флойд и Дональд Кнут, диссертация называлась «Эффективный алгоритм определения планарности графа» (An Efficient Planarity Algorithm)[2]. Тарьян выбрал компьютерную науку как путь, на котором математика сможет принести ощутимую практическую пользу[3].
Тарьян работает преподавателем в Принстонском университете начиная с 1985 года[3]. У него также были академические должности в Корнелльском университете (1972—1973), Калифорнийском университете в Беркли (1973—1975), Стэнфордском университете (1974—1980), Нью-Йоркском университете (1981—1985). Он также был членом NEC Research Institute (1989—1997) и числится (на должности Visiting Scientist) в университете Массачусетса (1996).
Тарьян работал в AT&T Bell Labs (1980—1989), InterTrust Technologies (1997—2001), Compaq (2002) и Hewlett Packard, где продолжает работать с 2006 г. Он избирался членом различных комитетов ACM и IEEE, а также работал редактором нескольких реферируемых журналов.
Тарьян придумал множество эффективных алгоритмов и структур данных для решения различных прикладных задач. Он опубликовал более 228 статей в реферируемых журналах и монографиях.
Тарьян известен своими революционными работами в области алгоритмов на графах. Наиболее яркие из них — Оффлайновый алгоритм Тарьяна поиска ближайшего общего предка для многократного быстрого поиска самого глубокого узла дерева, являющегося общим предком двух заданных узлов, и Алгоритм Тарьяна вычисления сильно связных компонент. Алгоритм Хопкрофта — Тарьяна стал первым линейным алгоритмом определения планарности графа[4].
Тарьян разработал ряд важнейших структур данных, таких как «Фибоначчиева куча» и «Расширяющееся дерево» (splay tree) (один из видов сбалансированного двоичного дерева поиска; в соавторстве с Даниилом Слейтором).
Сегодня Роберт Тарьян заслуженный профессор компьютерных наук (James S. McDonnell Distinguished University Professor of Computer Science) в университете Принстона, а также работает в Hewlett-Packard[5].
Тарьян получил Премию Тьюринга вместе с Джоном Хопкрофтом в 1986 г. В сопроводительном тексте к награде написано:
Тарьян также был избран членом ACM (ACM Fellow) в 1994. В поздравительном тексте [1] указано:
Другие награды Роберта Тарьяна:
В конце февраля 2009 года Тарьян занимал 39 место в списке самых цитируемых авторов в проекте CiteSeer[6].
Лауреаты премии Тьюринга | |
---|---|
Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011) |
Тарьян, Роберт.