Приз Нероде - Nerode Prize
 | Эта статья слишком полагается на Рекомендации к основные источники. (Май 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
В EATCS - Приз IPEC Nerode Prize премия в области теоретической информатики, присуждаемая за выдающиеся исследования в области многомерная алгоритмика. Награжден Европейская ассоциация теоретической информатики и Международный симпозиум по параметризованным и точным вычислениям.[1] Премия была вручена впервые в 2013 году.[2]
Победители
На данный момент победителями стали:
- 2013: Крис Калабро, Рассел Импальяццо, Валентин Кабанец, Рамамохан Патури и Фрэнсис Зейн за их исследования по формулированию гипотеза экспоненциального времени и используя его для определения точной параметризованной сложности нескольких важных вариантов Проблема логической выполнимости.[3]
- 2014: Ганс Л. Бодлендер, Родни Дж. Дауни, Майкл Р. Феллоуз, Дэнни Хермелин, Лэнс Фортноу, и Рахулу Сантанаму за их работу над ядро, доказывая, что некоторые проблемы с управляемыми алгоритмами с фиксированными параметрами не имеют ядер полиномиального размера, если только полиномиальная иерархия рушится.[4]
- 2015: Эрик Демейн, Фёдор Васильевич Фомин, Мохаммад Хаджиагайи, и Димитриосу Тиликосу за их исследования двумерность, определяя широкую основу для разработки алгоритмов с фиксированными параметрами для доминирования и покрытия проблем на графах.[5]
- 2016: Андреас Бьёрклунд за свою статью Детерминантные суммы для неориентированной гамильтоничности, показывая, что методы, основанные на алгебраическая теория графов привести к значительно улучшенному алгоритму для поиск гамильтоновых циклов[6]
- 2017: Фёдор Васильевич Фомин, Фабрицио Грандони и Дитеру Крачу за разработку метода «измерить и победить» для анализа алгоритмов поиска с возвратом.[7]
- 2018: Стефан Крач и Магнус Вальстрём за их работу по использованию матроид теории для разработки ядер полиномиального размера для поперечный нечетный цикл и связанные с этим проблемы.[8]
- 2019: Нога Алон, Рафаэль Юстер и Ури Цвик, для изобретения Цветовое кодирование метод, чрезвычайно важный компонент в наборе инструментов проектирования параметризованных алгоритмов.[9]
Смотрите также
Рекомендации
- ^ Премия ИПЕК Нероде, Европейская ассоциация теоретической информатики, получено 2015-09-03.
- ^ «Премия EATCS-IPEC Nerode», Параметризованная сложность, получено 2015-09-03.
- ^ Премия EATCS-IPEC Nerode 2013 - Laudatio, Европейская ассоциация теоретической информатики, получено 2015-09-03.
- ^ Премия EATCS-IPEC Nerode 2014 - Laudatio, Европейская ассоциация теоретической информатики, получено 2015-09-03.
- ^ Хаджиагайи получает премию Нероде 2015 года, Институт передовых компьютерных исследований Мэрилендского университета, 8 мая 2015 г., получено 2015-09-03.
- ^ Премия EATCS-IPEC Nerode 2016, Европейская ассоциация теоретической информатики, 29 августа 2016, получено 2016-08-29.
- ^ АЛГО 2017, ALGO 2017, 3 сентября, 2017, получено 2017-09-03.
- ^ Основные докладчики ALGO 2018, Хельсинкский институт информационных технологий, получено 2018-08-24
- ^ Премия EATCS-IPEC Nerode 2019, Европейская ассоциация теоретической информатики, 3 сентября 2019 г., получено 2020-01-01.
| P ≟ NP | Этот теоретическая информатика –Связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |
 | Эта статья о научной премии заглушка. Вы можете помочь Википедии расширяя это. |