Пре́мія Фалкерсона () — наукова нагорода за видатні праці в галузі дискретної математики, яку присуджують спільно (MOS) (до 2011 року знане як Товариство математичного програмування, , MPS)The Mathematical Optimization Society was known as the Mathematical Programming Society (MPS) until 2010 . і Американське математичне товариство (AMS) на міжнародному симпозіумі MOS, що проводять щотрироки. На кожному такому заході оголошують до трьох номінацій, кожна з яких може включати декількох науковців. Розмір премії — півтори тисячі доларів США, на початку її виплачували з фонду, організованого друзями американського математика (1924—1976) після його смерті для відзначення важливих публікацій у галузі дискретної математики. Грошові винагороди тепер фінансує благодійний фонд, яким керує MOS.
Лауреати премії Рік Лауреати Підстава для нагороди1979 Річард Карп за класифікацію багатьох важливих NP-повних задачRichard M. Karp, On the computational complexity of combinatorial problems, Networks 5: 45-68, 1975. за розв'язання задачі чотирьох фарбKenneth Appel and Wolfgang Haken, Every planar map is four colorable, Part I: Discharging, Illinois Journal of Mathematics 21: 429—490, 1977. за узагальнення теореми Форда — Фалкерсона на матроїдиPaul Seymour, The matroids with the max-flow min-cut property, Journal of Combinatorial Theory, Series B, 23: 189—222, 1977. 1982 Давид Юдін за метод еліпсоїдів у лінійному програмуванніНемировский А. С., Юдин Д. Б. Сложность задач и эффективность методов оптимизации, М.: Наука. Главная редакция физико-математической литературы, 1979. — 384 с.Л. Г. Хачиян Полиномиальные алгоритмы в линейном программировании, Ж. вычисл. матем. и матем. физ., 20:1 (1980), 51-68. Дмитро Фалікман за доказ гіпотези ван дер Вардена про перманент двічі стохастичної матриціД. И. Фаликман, Доказательство гипотезы Ван дер Вардена о перманенте дважды стохастической матрицы, Матем. заметки, 29:6 (1981), 931—938. Ласло Ловас за метод еліпсоїдів у комбінаторній оптимізаціїMartin Grötschel, László Lovász and Alexander Schrijver The ellipsoid method and its consequences in combinatorial optimization, Combinatorica 1: 169—197, 1981. 1985 за оцінку границь розбіжності цілочисельних послідовностейJozsef Beck Roth's estimate of the discrepancy of integer sequences is nearly sharp, Combinatorica 1 (4): 319—325, 1981. за ефективний метод цілочисельного програмування з фіксованою кількістю зміннихH. W. Lenstra, Jr. Integer programming with a fixed number of variables, Mathematics of Operations Research 8 (4): 538—548, 1983. за поліноміальний алгоритм визначення ізоморфних графів обмеженого максимального степеняEugene M. Luks Isomorphism of graphs of bounded valence can be tested in polynomial time, Journal of Computer and System Sciences 25 (1): 42-65, 1982. 1988 Ева Тардош за розв'язок задачі про алгоритмом дуже поліноміальної складностіÉva Tardos A strongly polynomial minimum cost circulation algorithm, Combinatorica 5: 247—256, 1985. Нарендра Кармаркар за алгоритм КармаркараNarendra Karmarkar A new polynomial-time algorithm for linear programming, Combinatorica 4:373-395, 1984. 1991 Равіндран Каннан за блукаючий алгоритм оцінювання об'єму випуклих тілMartin E. Dyer, Alan M. Frieze and Ravindran Kannan A random polynomial time algorithm for approximating the volume of convex bodies, Journal of the Association for Computing Machinery 38 (1): 1-17, 1991. Альфред Леман () за аналоги бінарних матриць у теорії досконалих графівAlfred Lehman The width-length inequality and degenerate projective planes, W. Cook and P. D. Seymour (eds.), Polyhedral Combinatorics, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, volume 1, (American Mathematical Society, 1990) pp. 101—105. за про те, що довільна напівалгебрична множина є еквівалентна простору реалізацій орієнтованого матроїдаН. Е. Мнев «Топология многообразий комбинаторных типов проективных конфигураций и выпуклых многогранников », кандидатская диссертация, 116 с., Ленинград, 1986. 1994 за знаходження базисів простору частково-поліноміальних функційLouis Billera Homology of smooth splines: Generic triangulations and a conjecture of Strang, Transactions of the AMS 310: 325—340, 1988. за роботу над гіпотезою ГіршаGil Kalai Upper bounds for the diameter and height of graphs of the convex polyhedra, Discrete and Computational Geometry 8: 363—372, 1992. за шестиколірний розв'язок гіпотези ГадвігераNeil Robertson, Paul Seymour and Robin Thomas Hadwiger's conjecture for K6-free graphs, Combinatorica 13: 279—361, 1993. 1997 за асимптотичний аналіз чисел Ремзі R(3,t)Jeong Han Kim The Ramsey Number R(3,t) Has Order of Magnitude t2/log t, Random Structures and Algorithms 7 (3): 173—207, 1995. 2000 за алгоритми апроксимації у Michel X. Goemans and David P. Williamson Improved approximation algorithms for the maximum cut and satisfiability probelsm using semi-definite programming, Journal of the Association for Computing Machinery 42 (6): 1115—1145, 1995. за алгоритм розпізнавання збалансованих бінарних матриць за поліноміальний часMichele Conforti, Gérard Cornuéjols, M. R. Rao Decomposition of balanced matrices, Journal of Combinatorial Theory, Series B, 77 (2): 292—406, 1999. 2003 Берт Герардс ()Аджай Капур () за GF(4)-розв'язок для J. F. Geelen, A. M. H. Gerards and A. Kapoor The Excluded Minors for GF(4)-Representable Matroids, Journal of Combinatorial Theory, Series B, 79 (2): 247—2999, 2000. Бертран Гьюнін () за характеризацію заборонених мінорів слабко двочасткових графівBertrand Guenin A characterization of weakly bipartite graphs, Journal of Combinatorial Theory, Series B, 83 (1): 112—168, 2001. Івата СаторуЛіза Фляйшер ()Сатору Фудзісіге () за доведення сильної поліноміальності субмодулярної мінімізаціїSatoru Iwata, Lisa Fleischer, Satoru Fujishige A combinatorial strongly polynomial algorithm for minimizing submodular functions, Journal of the ACM, 48 (4): 761—777, 2001.Alexander Schrijver A combinatorial algorithm minimizing submodular functions in strongly polynomial time, Journal of Combinatorial Theory, Series B 80 (2): 346—355, 2000. 2006 за тест Агравала — Каяла — СаксениManindra Agrawal, Neeraj Kayal and Nitin Saxena PRIMES is in P, Annals of Mathematics, 160 (2): 781—793, 2004. Ерік Вигода () за апроксимацію перманентаMark Jerrum, Alistair Sinclair, Eric Vigoda A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries, Journal of the ACM, 51 (4): 671—697, 2004. за теорему Робертсона — СеймураNeil Robertson and Paul Seymour, Graph Minors. XX. Wagner's conjecture, Journal of Combinatorial Theory, Series B, 92 (2): 325—357, 2004. 2009 Марія Чудновська за теорему про ідеальні графиMaria Chudnovsky, Neil Robertson, Paul Seymour, and Robin Thomas The strong perfect graph theorem, Annals of Mathematics, 164: 51-229, 2006. Деніел Спілмен за алгоритмів лінійного програмуванняDaniel A. Spielman and Shang-Hua Teng Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time, Journal of the ACM 51: 385—463, 2004. за доведення гіпотези Кеплера для найщільнішого пакування сферThomas C. Hales A proof of the Kepler conjecture, Annals of Mathematics 162: 1063—1183, 2005.Samuel P. Ferguson, «Sphere Packings, V. Pentahedral Prisms», Discrete and Computational Geometry 36: 167—204, 2006. 2012 за зменшення складності алгоритму апроксимації роздільників графівSanjeev Arora, Satish Rao, and Umesh Vazirani Expander flows, geometric embeddings and graph partitioning, Journal of the ACM 56: 1-37, 2009. Андерс Йоганссон () за визначення границі щільності дуг, з якою випадковий граф может бути покритий копіями що не перетинаються даного меншого графаAnders Johansson, Jeff Kahn, and Van H. Vu Factors in random graphs, Random Structures and Algorithms 33: 1-28, 2008. Ласло Ловас за оцінку кратності підграфів у послідовностях щільних графівLászló Lovász, Balázs Szegedy Limits of dense graph sequences, Journal of Combinatorial Theory, Series B, 96: 933—957, 2006. 2015 за контрприклад до гіпотези Гірша . 2018 Пітер Аллен () Саймон Гріффітс () за працю «Хроматичні пороги графів» ()Allen, Peter et al. The chromatic thresholds of graphs. arXiv: Combinatorics, 2011: n. pag. за роботу над складністю розширення відповідного многогранника () 2021 Бела Чаба ()Даніела КюнАллан Ло ()Ендрю Треглоун () за доведення гіпотези про 1-факторизацію та гіпотез про гамільтонові розкладиBéla Csaba, Daniela Kühn, Allan Lo, Deryk Osthus & Andrew Treglown Proof of the 1-factorization and Hamilton decomposition conjectures, Memoirs of the American Mathematical Society, vol. 244, no. 1154, 2016 за визначення складності обчислення статистичних сумJin-Yi Cai, Xi Chen Complexity of Counting CSP with Complex Weights, Journal of the ACM, vol. 64, no. 3, 2017 за розроблення детермінованого алгоритму визначення реберної зв'язностіKen-Ichi Kawarabayashi and Mikkel Thorup Deterministic Edge Connectivity in Near-Linear Time, Journal of the ACM, vol. 66, no. 1, 2018
Примітки
Посилання Сторінка премії на сайті AMS Сторінка премії на сайті MOS Список лауреатів премії на сайті AMS