Мартин Эдвард Дайер (родился 16 июля 1946 года в Райде, остров Уайт , Англия ), профессор вычислительной школы Университета Лидса , Лидс , Англия . Он окончил Университет Лидса в 1967 году, получил степень магистра в Имперском колледже Лондона в 1968 году и докторскую степень в Университете Лидса в 1979 году. Его исследовательские интересы лежат в области теоретической информатики , дискретной оптимизации и комбинаторики.. В настоящее время он фокусируется на сложности подсчета и эффективности алгоритмов цепей Маркова для приближенного подсчета.
Ключевые вклады [ править ]
Четыре ключевых вклада Мартина Дайера:
- алгоритм полиномиального времени для аппроксимации объема выпуклых тел (с Аланом Фризом и Равиндраном Каннаном ) [1]
- линейное программирование с фиксированными размерами
- метод соединения путей для доказательства перемешивания цепей Маркова (с Рассом Бубли) [2]
- сложность подсчета проблем удовлетворения ограничений
Награды и награды [ править ]
В 1991 году профессор Дайер получил премию Фулкерсона по дискретной математике (совместно с Аланом Фризом и Рави Каннаном за статью «Алгоритм случайного полиномиального времени для аппроксимации объема выпуклых тел» в журнале Ассоциации вычислительной техники), присужденной Американское математическое общество и Общество математического программирования.
В 2013 году комитет по наградам EATCS, состоящий из Лесли Энн Голдберг , Владимиро Сассоне и Фридхельма Мейера-ауф-дер-Хайде (председатель), единогласно решил вручить премию EATCS профессору Мартину Дайеру.
Личный [ править ]
Мартин Дайер женат на Элисон. У них двое взрослых детей.
Ссылки [ править ]
- ^ М. Дайер, А. Фриз и Р. Каннан (1991). «Случайный полиномиальный алгоритм аппроксимации объема выпуклых тел». Журнал ACM . 38 (1): 1–17. DOI : 10.1145 / 102782.102783 . S2CID 13268711 .
- ^ Р. Bubley и ME Dyer (1997). «Связь по путям: метод доказательства быстрого перемешивания в цепях Маркова». Труды 38-го ежегодного симпозиума по основам информатики . Материалы 38-го ежегодного симпозиума по основам информатики, IEEE . С. 223–231. CiteSeerX 10.1.1.385.5367 . DOI : 10.1109 / SFCS.1997.646111 . ISBN 978-0-8186-8197-4. S2CID 18114361 .
Внешние ссылки [ править ]
- Веб-страница Мартина Дайера
- Работа, удостоенная премии Фулкерсона
- Мартин Э. Дайер на сервере библиографии DBLP