Уоршелл, Стивен

Родился 15 ноября 1935 года в Нью-Йорке (США). Его родители Артур Уоршелл (Варшал) и Берта Ямпольская происходили из семей еврейских эмигрантов из России^[1]. Уоршелл посещал государственную школу в Бруклине. Окончил среднюю школу А. Б. Дэвиса в Маунт-Верноне, Нью-Йорке и поступил в Гарвардский Университет, где и получил степень бакалавра по математике в 1956 году. Он так и не получил учёную степень, так как в то время не было никаких доступных программ в сфере его интересов. Однако, он пошёл в аспирантуру нескольких различных университетов и поспособствовал развитию информатики и программной инженерии. В 1971—1972 учебном году он читал лекции по программной инженерии во французских университетах. Работал в ORO (Operation Research Office) — программе, созданной Джонсом Хопкинсом для научных исследований и разработок в армии США. В 1958 году оставил ORO, чтобы занять должность в компании Technical Operations, где помог построить научно-исследовательскую лабораторию для военных проектов программного обеспечения. В 1961 году покинул Technical Operations, чтобы основать Massachusetts Computer Associates. Позже компания стала частью Applied Data Research (ADR). После слияния Уоршелл был в совете директоров ADR и руководил различными проектами и организациями.

В 1982 году Уоршелл ушёл из компании ADR. После ухода из сферы информатики его интересы сместились в другие области: в частности, он вёл еженедельные занятия по библейскому ивриту в храме Ахават Ахим в Глостере (штат Массачусетс).

Умер 11 декабря 2006 года от рака в своём доме в Глостере (штат Массачусетс) от рака.

В 1962 году Стивен Уоршелл опубликовал статью «A Theorem on Boolean Matrices» в журнале Journal of the ACM, в которой представил алгоритм для вычисления транзитивного замыкания^[2]. В том же году Роберт Флойд независимо опубликовал обобщённую версию метода для поиска кратчайших путей, из-за чего алгоритм получил название «алгоритм Флойда — Уоршелла»^[3]. Схожий метод был опубликован французским учёным Бернардом Роем в 1959 году, поэтому иногда используется название «алгоритм Роя — Уоршелла»^[4].

В настоящее время алгоритм применяется в логистике для оптимизации маршрутов, а также в разработке компьютерных игр для поиска пути на статичных картах^[3].

Широко известен анекдот о доказательстве корректности алгоритма Уоршелла для построения транзитивного замыкания. Согласно этой истории, Уоршелл и его коллега из Technical Operations поспорили на бутылку рома о том, кто первым докажет работоспособность алгоритма. Утверждается, что Уоршелл разработал доказательство за одну ночь, выиграв пари и разделив ром с оппонентом. Тем не менее, эта история является частью академического фольклора, не имеет подтверждённого документального первоисточника, а имя коллеги неизвестно. При этом достоверно подтверждено, что Уоршелл не любил сидеть за столом и предпочитал работать в нетрадиционных местах, например, на яхте в Индийском океане или в греческом лимонном саду.

Был женат на Саре Данлэп (англ. Sarah Dunlap), оставил после себя двух детей: Эндрю (англ. Andrew D. Warshall) и Софию (англ. Sophia V. Z. Warshall).