Nerode Prize
The EATCS--IPEC Nerode Prize is a theoretical computer science prize awarded for outstanding research in the area of multivariate algorithmics. It is awarded by the European Association for Theoretical Computer Science and the International Symposium on Parameterized and Exact Computation.[1] The prize was offered for the first time in 2013.[2]
Winners
The prize winners so far have been:
- 2013: Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi, and Francis Zane, for their research formulating the exponential time hypothesis and using it to determine the exact parameterized complexity of several important variants of the Boolean satisfiability problem.[3]
- 2014: Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin, Lance Fortnow, and Rahul Santhanam, for their work on kernelization, proving that several problems with fixed-parameter tractable algorithms do not have polynomial-size kernels unless the polynomial hierarchy collapses.[4]
- 2015: Erik Demaine, Fedor V. Fomin, Mohammad Hajiaghayi, and Dimitrios Thilikos, for their research on bidimensionality, defining a broad framework for the design of fixed-parameter-tractable algorithms for domination and covering problems on graphs.[5]
- 2016: Andreas Björklund for his paper Determinant Sums for Undirected Hamiltonicity, showing that methods based on algebraic graph theory lead to a significantly improved algorithm for finding Hamiltonian cycles [6]
- 2017: Fedor V. Fomin, Fabrizio Grandoni, and Dieter Kratsch, for developing the "measure and conquer" method for the analysis of backtracking algorithms.[7]
- 2018: Stefan Kratsch and Magnus Wahlström for their work using matroid theory to develop polynomial-size kernels for odd cycle transversal and related problems.[8]
- 2019: Noga Alon, Raphael Yuster, and Uri Zwick, for inventing Color-coding technique, a vastly important ingredient in the toolbox of parameterized algorithm design.[9]
gollark: Is there an EPUB version? PDFs are annoying to read.
gollark: There will have been millennia to refine flowcharts and/or to just stick fairly general AI in there, so I don't see the problem. Just have a nonvolitional narrow AI to manage piloting.
gollark: Even it the people are very reliable and consistent, the autopilot can be made equally so without requiring someone to actually sit there running it.
gollark: There's been millennia of development in the autopilots, so I see little valid reason for there to be a person supervising the controls.
gollark: greetings.
See also
References
- IPEC Nerode Prize, European Association for Theoretical Computer Science, retrieved 2015-09-03.
- "EATCS-IPEC Nerode Prize", Parameterized Complexity, retrieved 2015-09-03.
- EATCS-IPEC Nerode Prize 2013 - Laudatio, European Association for Theoretical Computer Science, retrieved 2015-09-03.
- EATCS-IPEC Nerode Prize 2014 - Laudatio, European Association for Theoretical Computer Science, retrieved 2015-09-03.
- Hajiaghayi Wins 2015 Nerode Prize, University of Maryland Institute for Advanced Computer Studies, May 8, 2015, retrieved 2015-09-03.
- EATCS-IPEC Nerode Prize 2016, European Association for Theoretical Computer Science, August 29, 2016, retrieved 2016-08-29.
- ALGO 2017, ALGO 2017, September 3, 2017, retrieved 2017-09-03.
- ALGO 2018 keynote speakers, Helsinki Institute for Information Technology, retrieved 2018-08-24
- EATCS-IPEC Nerode Prize 2019, European Association for Theoretical Computer Science, September 3, 2019, retrieved 2020-01-01.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.