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