Premio Fulkerson

El Premio Fulkerson  es un premio científico al trabajo destacado en el campo de las matemáticas discretas , presentado conjuntamente por la Mathematical Optimization Society (MOS) y la American Mathematical Society (AMS) en el Simposio Internacional de MOS, que tiene lugar cada tres años. . En cada uno de estos eventos, se anuncian más de tres nominaciones, cada una de las cuales puede incluir varios científicos. El premio, $ 1500 , se pagó originalmente de un fondo establecido por amigos de Delbert Ray Fulkerson después de su muerte para apoyar el trabajo matemático en su campo.

Ganadores de premios

Año Laureados ¿Para qué fue el premio?
1979 ricardo karpe para clasificar muchos problemas NP-completos importantes [1]
Kenneth Appel
Wolfgang Haken
para resolver el problema de los cuatro colores [2]
Pablo Seymour por generalizar el teorema de Ford-Fulkerson a matroides [3]
mil novecientos ochenta y dos David Yudin
Arkady Nemirovsky
Leonid Khachiyan
para el método de elipsoides en programación lineal [4] [5]
Georgy Egorychev
Dmitry Falikman
para probar la conjetura de van der Waerden sobre el permanente de una matriz doblemente estocástica [6]
Martin Grötschel
Laszlo Lovas
Alexander Schreiver
para el método del elipsoide en optimización combinatoria [7]
1985 José Beck para estimar los límites de divergencia de secuencias enteras [8]
Hendrik Lenstra para un método eficiente para resolver programas enteros usando la geometría de números [9]
Eugenio Luks para un algoritmo polinomial para determinar grafos isomórficos de grado acotado [10]
1988 Eva Tardosh para resolver el problema de flujo de costo mínimo mediante un algoritmo de complejidad fuertemente polinomial [11]
Narendra Karmarkar para el algoritmo Karmarkar [12]
1991 Martin Dyer
Alan Freese
Ravindran Kannan
para un algoritmo errante para estimar el volumen de cuerpos convexos [13]
alfredo lehman para análogos de matrices binarias en la teoría de grafos perfectos [14]
Nikolái Mnev por el teorema de universalidad de que cualquier conjunto semialgebraico es equivalente al espacio de realizaciones de una matroide orientada [15]
1994 Luis Billera para encontrar bases para el espacio de funciones parcialmente polinómicas [16]
Gil Kalai para el trabajo sobre la conjetura de Hirsch [17]
Neil Robertson para la solución de seis colores de la conjetura de Hadwiger [18]
1997 Jung Han Kim para el análisis asintótico de los números de Ramsey R (3, t ) [19]
2000 Michel Humanos
David Williamson
para algoritmos de aproximación en programación semidefinida [20]
Michel Conforti
Gerard Cornuejols
Mendou Rao
para el algoritmo de reconocimiento de matrices binarias balanceadas en tiempo polinomial [21]
2003 James Galen
Bert Gerards
Ajay Kapoor
para la solución GF(4) de la conjetura de Rota para menores matroides [22]
Bertrand Gjunin para caracterizar los menores prohibidos de grafos débilmente bipartitos [23]
Satoru Iwata
Lisa Fleischer
Satoru Fujishige
Lex Shreiver
para probar la fuerte polinomialidad de la minimización submodular [24] [25]
2006 Agrawal
Kayal
Saxena
para la prueba Agrawala - Kayala - Sajonia [26]
Mark Errum
Alistair Sinclair
Eric Vigoda
para la aproximación de lo permanente [27]
Neil Robertson
Paul Seymour
para el teorema de Robertson-Seymour [28]
2009 Maria Chudnovskaya
Neil Robertson
Paul Seymour
Robin Thomas
para el teorema del gráfico fuertemente ideal [29]
Daniel
Spielman Teng Shanhua
para análisis suavizado de algoritmos de programación lineal [30] [31]
Thomas Hales
Samuel Ferguson
para probar la conjetura de Kepler para el empaque más denso de bolas [32] [33]
2012 Sanjeev Arora
Satish Rao
Umesh Vazirani
para reducir la complejidad del algoritmo para aproximar separadores de grafos [34]
Anders Johansson
Jeff Kahn
Wu Ha Wang
para determinar el límite de densidad de arco con el que un gráfico aleatorio puede cubrirse con copias separadas de un gráfico más pequeño dado [35]
Laszlo Lovas
Balazs Szegedi
para estimar la multiplicidad de subgrafos en secuencias de grafos densos [36]
2015 francisco santos para un contraejemplo a la conjetura de Hirsch [37]
2018 Peter Allen
Julia Boettcher
Griffiths
Kohayakawa Robert Morris
para Los  umbrales cromáticos de los gráficos
Thomas Rothvoss para The  Matching Polytope tiene una complejidad de extensión exponencial
2021 Bela Chaba
Daniela Kuhn
Allan Lo
Derek Oustus
Andrew Treglow
para probar la conjetura de factorización 1 y la conjetura de expansión hamiltoniana [38]
Cai Jin
Xi Chen
para determinar la complejidad de calcular funciones de partición [39]
Ken-Ichi Kawarabayashi
Mikkel Torup
para desarrollar un algoritmo determinista para determinar la conectividad de borde [40]

Notas

  1. Richard M. Karp, "Sobre la complejidad computacional de los problemas combinatorios", Networks 5: 45-68, 1975.
  2. Kenneth Appel y Wolfgang Haken, "Cada mapa plano tiene cuatro colores, Parte I: Descarga", Illinois Journal of Mathematics 21: 429-490, 1977.
  3. Paul Seymour, "Las matroides con la propiedad max-flow min-cut", Journal of Combinatorial Theory, Serie B, 23: 189-222, 1977.
  4. Nemirovskiy A.S., Yudin D.B. Complejidad de tareas y eficiencia de métodos de optimización, Moscú: Nauka. Edición principal de literatura física y matemática, 1979. - 384 p.
  5. L. G. Khachiyan, " Algoritmos polinómicos en programación lineal ", Zh. Vychisl. Matemáticas. y estera Phys., 20:1 (1980), 51-68.
  6. D. I. Falikman, “ Prueba de la conjetura de Van der Waerden sobre el permanente de una matriz doblemente estocástica ”, Matem. notas, 29:6 (1981), 931-938.
  7. Martin Grötschel, László Lovász y Alexander Schrijver, "El método del elipsoide y sus consecuencias en la optimización combinatoria", Combinatorica 1: 169-197, 1981.
  8. Jozsef Beck, "La estimación de Roth de la discrepancia de secuencias enteras es casi nítida", Combinatorica 1 (4): 319-325, 1981.
  9. HW Lenstra, Jr., "Programación entera con un número fijo de variables", Mathematics of Operations Research 8 (4): 538-548, 1983.
  10. Eugene M. Luks, "El isomorfismo de gráficos de valencia acotada se puede probar en tiempo polinomial", Journal of Computer and System Sciences 25 (1): 42-65, 1982.
  11. Éva Tardos, "Un algoritmo de circulación de costo mínimo fuertemente polinomial", Combinatorica 5: 247-256, 1985.
  12. Narendra Karmarkar, "Un nuevo algoritmo de tiempo polinomial para programación lineal", Combinatorica 4:373-395, 1984.
  13. Martin E. Dyer, Alan M. Frieze y Ravindran Kannan, "Un algoritmo de tiempo polinomial aleatorio para aproximar el volumen de cuerpos convexos", Journal of the Association for Computing Machinery 38 (1): 1-17, 1991.
  14. Alfred Lehman, "La desigualdad ancho-largo y los planos proyectivos degenerados", W. Cook y PD Seymour (eds.), Polyhedral Combinatorics, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, volumen 1, (American Mathematical Society, 1990) páginas. 101-105.
  15. N. E. Mnev, " Topología de variedades de tipos combinatorios de configuraciones proyectivas y poliedros convexos. Copia de archivo del 11 de marzo de 2014 en Wayback Machine ", Tesis del candidato , 116 páginas, Leningrado, 1986.
  16. Louis Billera, "Homology of smooth splines: Generic triangulations and a conjecture of Strang", Transactions of the AMS 310: 325-340, 1988.
  17. Gil Kalai, "Límites superiores para el diámetro y la altura de las gráficas de los poliedros convexos", Geometría discreta y computacional 8: 363-372, 1992.
  18. Neil Robertson, Paul Seymour y Robin Thomas, "Conjetura de Hadwiger para gráficos libres de K 6 ", Combinatorica 13: 279-361, 1993.
  19. Jeong Han Kim, "El número de Ramsey R(3,t) tiene un orden de magnitud t 2 /log t", Estructuras aleatorias y algoritmos 7 (3): 173-207, 1995.
  20. Michel X. Goemans y David P. Williamson, "Algoritmos de aproximación mejorados para el corte máximo y probelsm de satisfacibilidad usando programación semidefinida", Journal of the Association for Computing Machinery 42 (6): 1115-1145, 1995.
  21. Michele Conforti, Gérard Cornuéjols, MR Rao, "Descomposición de matrices balanceadas", Journal of Combinatorial Theory, Serie B, 77 (2): 292-406, 1999.
  22. JF Geelen, AMH Gerards y A. Kapoor, "Los menores excluidos para matroides representables GF(4)", Journal of Combinatorial Theory , Serie B, 79 (2): 247-2999, 2000.
  23. Bertrand Guenin, "Una caracterización de grafos bipartitos débiles", Journal of Combinatorial Theory , Serie B, 83 (1): 112-168, 2001.
  24. Satoru Iwata, Lisa Fleischer, Satoru Fujishige, "Un algoritmo combinatorio fuertemente polinomial para minimizar las funciones submodulares", Journal of the ACM , 48 (4): 761-777, 2001.
  25. Alexander Schrijver, "Un algoritmo combinatorio que minimiza las funciones submodulares en un tiempo fuertemente polinomial", Journal of Combinatorial Theory , Serie B 80 (2): 346-355, 2000.
  26. Manindra Agrawal, Neeraj Kayal y Nitin Saxena, "PRIMES is in P", Annals of Mathematics, 160 (2): 781-793, 2004.
  27. Mark Jerrum, Alistair Sinclair, Eric Vigoda, "Un algoritmo de aproximación de tiempo polinomial para el permanente de una matriz con entradas no negativas", Journal of the ACM , 51 (4): 671-697, 2004.
  28. Neil Robertson y Paul Seymour, "Graph Minors. XX. Wagner's conjecture", Journal of Combinatorial Theory, Serie B, 92 (2): 325-357, 2004.
  29. Maria Chudnovsky, Neil Robertson, Paul Seymour y Robin Thomas, "El teorema del gráfico perfecto fuerte", Annals of Mathematics, 164: 51-229, 2006.
  30. Daniel A. Spielman y Shang-Hua Teng, "Análisis suavizado de algoritmos: por qué el algoritmo símplex generalmente toma tiempo polinomial", Journal of the ACM 51: 385-463, 2004.
  31. Mención del Premio Fulkerson de la Sociedad de Optimización Matemática 2009 . Consultado el 1 de julio de 2019. Archivado desde el original el 4 de diciembre de 2021.
  32. Thomas C. Hales, "Una prueba de la conjetura de Kepler", Annals of Mathematics 162: 1063-1183, 2005.
  33. Samuel P. Ferguson, "Esferas empaquetadas, V. Prismas pentaédricos", Geometría computacional y discreta 36: 167-204, 2006.
  34. Sanjeev Arora, Satish Rao y Umesh Vazirani, "Flujos de expansión, incrustaciones geométricas y partición de gráficos", Journal of the ACM 56: 1-37, 2009.
  35. Anders Johansson, Jeff Kahn y Van H. Vu, "Factores en gráficos aleatorios", Random Structures and Algorithms 33: 1-28, 2008.
  36. László Lovász, Balázs Szegedy, "Límites de secuencias gráficas densas", Journal of Combinatorial Theory , Serie B, 96: 933-957, 2006.
  37. Francisco Santos. Un contraejemplo a la Conjetura de Hirsch // Annals of Mathematics. - 2012. - vol. 176. - Pág. 383-412. -arXiv : 1006.2814 . _ - doi : 10.4007/annals.2012.176.1.7 . SEÑOR : 2925387 _
  38. "Prueba de las conjeturas de descomposición de Hamilton y factorización en 1", Memoirs of the American Mathematical Society, vol. 244, núm. 1154, 2016
  39. ^ "Complejidad de contar CSP con pesos complejos", Journal of the ACM, vol. 64, núm. 3, 2017
  40. ^ "Conectividad de borde determinista en tiempo casi lineal", Journal of the ACM, vol. 66, núm. 1, 2018

Enlaces