Введение

Франк Харари (11 марта 1921 – 4 января 2005) – американский математик, специализировавшийся на теории графов. Он был широко признан одним из "отцов" современной теории графов и получил степень Ph.D. под руководством Альфреда Л. Фостера в Калифорнийском университете в Беркли в 1948 году. До начала преподавательской деятельности он работал научным ассистентом в Институте социальных исследований Мичиганского университета. Первая публикация Харари "Атомные булевы кольца с конечным радикалом" потребовала значительных усилий для публикации в журнале Duke Mathematical Journal в 1950 году. Статья была впервые представлена в Американское математическое общество в ноябре 1948 года, затем отправлена в Duke Mathematical Journal, где была трижды пересмотрена, прежде чем была опубликована через два года после первоначальной подачи. Преподавательскую карьеру Харари начал в Мичиганском университете в 1953 году, где сначала был ассистентом профессора, затем в 1959 году – доцентом, а в 1964 году был назначен профессором математики, на этой должности он оставался до 1986 года. С 1987 года он был профессором (и заслуженным профессором на пенсии) в Департаменте компьютерных наук Государственного университета Нью-Мексико в Лас-Крусес. Он был одним из основателей журналов Journal of Combinatorial Theory и Journal of Graph Theory. В 1949 году Харари опубликовал работу "Об алгебраической структуре узлов". Вскоре после этой публикации, в 1953 году, Харари опубликовал свою первую книгу (в соавторстве с Джорджем Уленбеком) "О числе деревьев Хусими". После этой работы он начал завоевывать мировую репутацию как специалист в теории графов. В 1965 году была опубликована его первая книга "Структурные модели: Введение в теорию ориентированных графов", и до конца жизни его интересы оставались в области теории графов. Начиная работу в теории графов около 1965 года, Харари начал приобретать недвижимость в Энн-Арборе и разделять купленные дома на квартиры. Это привело к критике за плохое обслуживание, "десятки нарушений строительных норм" и шесть предписаний о признании зданий, принадлежащих ему, непригодными для проживания. В статье 1969 года в газете Харари заявил: "Мы просто хотели эти объекты из-за стоимости земли – мы хотели выселить арендаторов", в то время как его жена Джейн сказала: "Мы хотели помочь бедным афроамериканцам найти лучшее жилье, но снова и снова нас обвиняли". У Харари и его жены Джейн было шестеро детей: Мириам, Натали, Джудит, Томас, Джоэл и Чая. С 1973 по 2007 год Харари совместно написал еще пять книг, каждая из которых была посвящена теории графов. В период до своей смерти Харари путешествовал по миру, исследуя и публикуя более 800 статей (с около 300 различными соавторами) в математических журналах и других научных изданиях, больше, чем любой другой математик, кроме Пола Эрдоша. Харари отметил, что читал лекции в 166 городах Соединенных Штатов и в 274 городах более чем в 80 странах. Харари особенно гордился тем, что читал лекции в городах по всему миру, названия которых начинались с каждой буквы алфавита, включая даже "X", когда он посетил Ксантен, Германия. Харари также сыграл необычную роль в отмеченном наградами фильме "Умница Уилл Хантинг". В фильме были показаны формулы, которые он опубликовал по перечислению деревьев, которые считались чрезвычайно сложными. В 1986 году, в возрасте 65 лет, Харари ушел в отставку с должности профессора в Мичиганском университете. Однако он не воспринял отставку легкомысленно; после выхода на пенсию Харари был назначен заслуженным профессором компьютерных наук в Государственном университете Нью-Мексико в Лас-Крусес. Он занимал эту должность до своей смерти в 2005 году. В том же году, когда Харари вышел на пенсию, он был удостоен звания почетного члена Национальной академии наук Индии; он также был редактором около 20 различных журналов, в основном посвященных теории графов и комбинаторной теории. После выхода на пенсию Харари был избран почетным пожизненным членом Калькуттского математического общества и Южноафриканского математического общества. Он умер в Мемориальном медицинском центре в Лас-Крусес, Нью-Мексико. В момент его смерти в Лас-Крусес другие члены факультета компьютерных наук ощутили потерю великого ума, который когда-то работал рядом с ними. Глава факультета компьютерных наук в момент смерти Харари Деш Ранджан сказал: "Доктор Харари был настоящим ученым с искренней любовью к теории графов, которая была для него бесконечным источником новых открытий, красоты, любопытства, сюрпризов и радости до конца его жизни".

Математика

Работа Харари в теории графов была многообразной. Некоторые темы, представлявшие для него особый интерес:

Перечисление графов, то есть подсчет графов заданного типа. Он был соавтором книги по этой теме (Harary and Palmer 1973). Основная сложность заключается в том, что два изоморфных графа не следует считать дважды; следовательно, необходимо применять теорию подсчета Поля при действии группы. Харари был экспертом в этой области.

Ориентированные графы. Харари изобрел эту ветвь теории графов, которая выросла из проблемы теоретической социальной психологии, исследованной психологом Дорвином Картрайтом и Харари.

Применение теории графов в многочисленных областях, особенно в социальных науках, таких как теория баланса, динамика мнений и теория турниров. Харари был соавтором первой электронной книги издательства John Wiley – «Теория графов и география».

Среди более чем 700 научных статей, написанных Харари, две были написаны в соавторстве с Полом Эрдошем, что дало Харари число Эрдоша, равное 1. Он много читал лекций и вел алфавитный список городов, в которых выступал.

Самая известная классическая книга Харари «Теория графов» была опубликована в 1969 году и предлагала практическое введение в эту область. Очевидно, что в этой книге и в других его публикациях Харари уделял особое внимание разнообразному применению теории графов в других областях математики, физики и многих других науках.

В предисловии к «Теории графов» Харари отмечает: «Существуют применения теории графов в некоторых областях физики, химии, теории коммуникаций, компьютерных технологий, электротехники и гражданского строительства, архитектуры, операционных исследований, генетики, психологии, социологии, экономики, антропологии и лингвистики».

Харари быстро начал продвигать обучение на основе запросов через свои тексты, что видно по его ссылке на традицию метода Мура. Харари внес множество уникальных вкладов в теорию графов, исследуя все больше и больше различных областей знаний и успешно пытаясь связать их с теорией графов.

Классическая книга Харари «Теория графов» начинается с предоставления читателю необходимых знаний об основных графах, а затем сразу же переходит к демонстрации разнообразия содержания, содержащегося в теории графов. Некоторые другие математические области, которые Харари напрямую связывает с теорией графов в своей книге, начинают появляться примерно с 13-й главы, включая линейную алгебру и абстрактную алгебру.

Харари также внес значительный вклад в теорию социального обучения, используемую в социологии и поведенческой экономике, выведя критерий консенсуса в модели социальной власти Джона Р. П. Френча. Это предвосхитило на несколько десятилетий, хотя и в частном случае, широко используемую модель обучения DeGroot.