Маккей, Брендан (математик)
Брендан Маккей (род. 26 октября 1951, Мельбурн, Австралия) — австралийский математик и специалист в области информатики. Известен своими работами в области комбинаторики, а также опровержением теории библейских кодов. Лауреат медали Австралийского математического общества (1990).
Общие сведения
| Брендан Маккей | |
|---|---|
| Brendan Damien McKay | |
| Дата рождения | 26 октября 1951 (74 года) |
| Место рождения | Мельбурн, Виктория, Австралия |
| Страна | |
| Образование | |
| Род деятельности | математик, специалист в области информатики |
| Сайт | users.cecs.anu.edu.au/~b… |
Биография
Родился в Мельбурне. В 1980 году получил степень доктора философии по математике в Мельбурнском университете и в том же году был назначен доцентом информатики в Университете Вандербильта в Нэшвилле[1]. Его диссертация «Темы вычислительной теории графов» была написана под руководством Дерека Холтона[2]. В 1990 году он был награждён медалью Австралийского математического общества[1]. В 1997 году был избран членом Австралийской академии наук[1], а в 2000 году назначен профессором информатики в Австралийском национальном университете[3]. В настоящее время является почётным профессором Исследовательской школы компьютерных наук Австралийского национального университета.
Математика
Маккей является автором не менее 127 рецензируемых статей[1].
Одним из главных достижений Маккея стал практический алгоритм для проблемы изоморфизма графов и его программная реализация NAUTY (No AUTomorphisms, Yes?)[4]. Среди других достижений — доказательство совместно со Станиславом Радзишовским, что число Рамсея R(4, 5) равно 25, доказательство с Радзишовским отсутствия 4-(12, 6, 6) комбинаторных схем, определение совместно с Гуннаром Бринкманном числа частично упорядоченных множеств на 16 точках, а также определение совместно с Иэном Уонлессом числа латинских квадратов размера 11[5]. Вместе с Бринкманном он также разработал программу Plantri для генерации планарных триангуляций и планарных кубических графов[6].
Графы Маккея — Миллера — Шираня, класс высокосимметричных графов с диаметром два и большим числом вершин относительно их степени, названы в том числе в честь Маккея, который впервые описал их вместе с Миркой Миллер и Йозефом Ширанем в 1998 году[7].
В 2010 году он выступил с приглашённым докладом на Международном конгрессе математиков на тему «Комбинаторика»[8].
Библейские шифры
Вне своей специальности Маккей наиболее известен тем, что возглавил команду, состоящую из математиков Дрора Бар-Натана и Гиля Калаи и психолога Майи Бар-Хиллел, которая опровергла теорию библейских кодов, выдвинутую Элияху Рипсом, Йоавом Розенбергом и Дороном Витцтумом. Эта теория утверждала, что в еврейском тексте Библии зашифрованы предсказания будущих исторических событий[9].
Цитата Аззам-паши
Маккей также обнаружил первоисточник цитаты Аззам-паши. Первоисточник, статья от 11 октября 1947 года в египетской газете Akhbar al-Yom, был впервые упомянут в статье Дэвида Барнетта и Эфраима Карша в осеннем выпуске журнала Middle East Quarterly за 2011 год без ссылки на Маккея[10]. Том Сегев ответил в колонке в Гаарец, что Маккей на самом деле был первоисточником материала и загрузил его в Википедию[11]. Маккей сообщил на странице обсуждения Википедии, что нашёл оригинальное интервью, из которого была взята цитата, и позже предоставил его Барнетту. По словам Карша, Маккею предложили стать соавтором статьи в Middle East Quarterly, но он отказался, сославшись на невысокое мнение об издании[12].
Примечания
Ссылки
- cs.anu.edu.au/~bdm — официальный сайт Брендан Маккей
- Plantri and Fullgen, программы для генерации определённых типов планарных графов, разработанные Бринкманном и Маккеем