Мартин Дайер - Martin Dyer

Мартин Эдвард Дайер (1946 жылы 16 шілдеде дүниеге келген Райд, Уайт аралы, Англия ) Бұл профессор есептеулер мектебінде Лидс университеті, Лидс, Англия. Ол бітірді Лидс университеті 1967 жылы магистр дәрежесін алды Лондон императорлық колледжі 1968 ж. және PhD докторы Лидс университеті 1979 ж. Оның ғылыми қызығушылығы теориялық информатика, дискретті оңтайландыру және комбинаторика. Қазіргі уақытта ол санаудың күрделілігі мен Марков тізбегінің алгоритмдерінің жуық санау тиімділігіне назар аударады.

Негізгі үлестер

Мартин Дайер жасаған төрт негізгі үлес:

  1. көлемін жуықтауға арналған уақыттың көпмүшелік алгоритмі дөңес денелер (бірге Алан Фриз және Равиндран Каннан )[1]
  2. бекітілген өлшемдер бойынша сызықтық бағдарламалау
  3. Марков тізбектерін араластыруды дәлелдеуге арналған жолды біріктіру әдісі (Russ Bubley-мен бірге)[2]
  4. шектеулерді қанағаттандыру проблемаларын санаудың күрделілігі

Марапаттар мен марапаттар

1991 жылы профессор Дайер оны алды Фулкерсон сыйлығы Дискретті математикада (Алан Фриз және Рави Каннанмен бірлесіп «Дөңес денелердің көлемін жуықтаудың кездейсоқ полиномдық уақыт алгоритмі» мақаласы үшін Американдық Математика Қоғамы және Математикалық Бағдарламалау Қоғамы марапаттаған).

2013 жылы EATCS Awards Комитеті құрамына кірді Лесли Энн Голдберг, Владимиро Сассоне және Фридхельм Мейер ауф дер Хайде (кафедра), бірауыздан EATCS сыйлығын профессор Мартин Дайерге беруге шешім қабылдады.

Жеке

Мартин Дайер Элисонға үйленген. Олардың екі ересек баласы бар.

Әдебиеттер тізімі

  1. ^ М.Дайер, А.Фриз және Р.Каннан (1991). «Дөңес денелер көлемін жуықтауға арналған кездейсоқ полиномдық уақыт алгоритмі». ACM журналы. 38 (1): 1–17. дои:10.1145/102782.102783.
  2. ^ Р.Бубли және М.Дайер (1997). Жол байланысы: Марков тізбегіндегі жылдам араласуды дәлелдеу әдісі. IEEE информатика негіздері бойынша 38-ші жыл сайынғы симпозиум материалдары. 223–231 бб. CiteSeerX  10.1.1.385.5367. дои:10.1109 / SFCS.1997.646111. ISBN  978-0-8186-8197-4.

Сыртқы сілтемелер