Премия Фалкерсона
Премия Фалкерсона — научная награда за выдающиеся работы в области дискретной математики, вручаемая совместно Обществом математической оптимизации (MOS) и Американским математическим обществом (AMS) на международном симпозиуме MOS, который проходит раз в три года. На каждом таком мероприятии объявляется более трёх номинаций, каждая из которых может включать нескольких учёных. Размер премии — полторы тысячи долларов, изначально выплачивалась из фонда, организованного друзьями Делберта Рея Фалкерсона после его смерти для поддержки математических работ в его области.
Лауреаты премии
| Год | Лауреаты | За что присуждена премия |
|---|---|---|
| 1979 | Ричард Карп | за классификацию многих важных NP-полных задач[1] |
| Кеннет Аппель Вольфганг Хакен |
за решение задачи четырёх красок[2] | |
| Пол Сеймур | за обобщение теоремы Форда — Фалкерсона на матроиды[3] | |
| 1982 | Давид Юдин Аркадий Немировский Леонид Хачиян |
за метод эллипсоидов в линейном программировании[4][5] |
| Георгий Егорычев Дмитрий Фаликман |
за доказательство гипотезы ван дер Вардена о перманенте дважды стохастической матрицы[6] | |
| Мартин Грётшель Ласло Ловас Александр Схрейвер |
за метод эллипсоидов в комбинаторной оптимизации[7] | |
| 1985 | Йозеф Бек | за оценку границ расходимости целочисленных последовательностей[8] |
| Хендрик Ленстра | за эффективный метод решения целочисленных программ с помощью геометрии чисел[9] | |
| Юджин Лукс | за полиномиальный алгоритм определения изоморфных графов ограниченной степени[10] | |
| 1988 | Эва Тардош | за решение задачи о потоке минимальной стоимости алгоритмом сильно полиномиальной сложности[11] |
| Нарендра Кармаркар | за алгоритм Кармаркара[12] | |
| 1991 | Мартин Дайер Алан Фриз Равиндран Каннан |
за блуждающий алгоритм оценки объёма выпуклых тел[13] |
| Альфред Леман | за аналоги бинарных матриц в теории совершенных графов[14] | |
| Николай Мнёв | за теорему универсальности о том, что любое полуалгебраическое множество эквивалентно пространству реализаций ориентированного матроида[15] | |
| 1994 | Луис Бильера | за нахождение базисов пространства частично-полиномиальных функций[16] |
| Гиль Калай | за работу над гипотезой Хирша[17] | |
| Нейл Робертсон | за шестицветное решение гипотезы Хадвигера[18] | |
| 1997 | Чон Хан Ким | за асимптотический анализ чисел Рамсея R(3,t)[19] |
| 2000 | Мишел Хуманс Дэвид Уильямсон |
за алгоритмы аппроксимации в полуопределённом программировании[20] |
| Мишель Конфорти Жерар Корнюэжоль Менду Рао |
за алгоритм распознавания сбалансированных бинарных матриц за полиномиальное время[21] | |
| 2003 | Джеймс Гейлен Берт Герардс Аджай Капур |
за GF(4)-решение гипотезы Роты для матроидных миноров[22] |
| Бертран Гьюнин | за характеризацию запрещённых миноров слабо двудольных графов[23] | |
| Сатору Ивата Лиза Фляйшер Сатору Фудзисигэ Лекс Схрейвер |
за доказательство сильной полиномиальности субмодулярной минимизации[24][25] | |
| 2006 | Маниндра Агравал Нирадж Каял Нитин Саксена |
за тест Агравала — Каяла — Саксены[26] |
| Марк Еррум Алистер Синклер Эрик Вигода |
за аппроксимацию перманента[27] | |
| Нейл Робертсон Пол Сеймур |
за теорему Робертсона — Сеймура[28] | |
| 2009 | Мария Чудновская Нейл Робертсон Пол Сеймур Робин Томас |
за теорему о сильно идеальных графах[29] |
| Дэниэл Спилмен Тэн Шанхуа |
за сглаженный анализ алгоритмов линейного программирования[30][31] | |
| Томас Хейлс Самуэль Фергюсон |
за доказательство гипотезы Кеплера для самой плотной упаковки шаров[32][33] | |
| 2012 | Санджив Арора Сатиш Рао Умеш Вазирани |
за снижение сложности алгоритма аппроксимации разделителей графов[34] |
| Андерс Йохансон Джефф Кан Ву Ха Ван |
за определение границы плотности дуг, с которой случайный граф может быть покрыт непересекающимися копиями данного меньшего графа[35] | |
| Ласло Ловас Балаш Сегеди |
за оценку кратности подграфов в последовательностях плотных графов[36] | |
| 2015 | Франсиско Сантос | за контрпример к гипотезе Хирша[37] |
| 2018 | Питер Аллен Юлия Бёттхер Саймон Гриффитс Ёсихару Кохаякава Роберт Моррис |
за работу «Хроматические пороги графов» (англ. The chromatic thresholds of graphs) |
| Томас Ротвосс | за работу «Совпадающий политоп имеет экспоненциальную сложность расширенной формулировки» (англ. The Matching Polytope has Exponential Extension Complexity) | |
| 2021 | Бела Чаба Даниэла Кюн Аллан Ло Дерек Остус Эндрю Треглоу |
за доказательство гипотезы об 1-факторизации и гипотез о гамильтоновых разложениях[38] |
| Цай Цзинь Си Чэнь |
за определение сложности вычисления статистических сумм[39] | |
| Кен-Ити Каварабаяси Миккель Торуп |
за разработку детерминированного алгоритма определения рёберной связности[40] | |
| 2024 | Бен Кузен Сантош Вемпала |
за технику гауссова охлаждения и -алгоритмы вычисления объёма и гауссова объёма |
| Цзылинь Цзян Джонатан Тайдор Юань Яо Шэнтун Чжан Юйфэй Чжао |
за работу по равноугольным прямым под заданным уголом | |
| Натан Келлер Ноам Лифшиц |
за метод хунты для гипеграфов и решение симплектической гипотезы Эрдёша — Хватала[41] | |
Примечания
- ↑ 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.
- ↑ Немировский А. С., Юдин Д. Б. Сложность задач и эффективность методов оптимизации, М.: Наука. Главная редакция физико-математической литературы, 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.
- ↑ 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.
- ↑ É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.
- ↑ 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.
- ↑ Н. Е. Мнев, «Топология многообразий комбинаторных типов проективных конфигураций и выпуклых многогранников Архивная копия от 11 марта 2014 на Wayback Machine», кандидатская диссертация, 116 стр., Ленинград, 1986.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ Mathematical Optimization Society 2009 Fulkerson Prize Citation. Дата обращения: 1 июля 2019. Архивировано 4 декабря 2021 года.
- ↑ 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.
- ↑ 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.
- ↑ Francisco Santos. A counterexample to the Hirsch Conjecture // Annals of Mathematics. — 2012. — Vol. 176. — P. 383—412. — arXiv:1006.2814. — doi:10.4007/annals.2012.176.1.7. MR: 2925387.
- ↑ «Proof of the 1-factorization and Hamilton decomposition conjectures», Memoirs of the American Mathematical Society, vol. 244, no. 1154, 2016
- ↑ «Complexity of Counting CSP with Complex Weights», Journal of the ACM, vol. 64, no. 3, 2017
- ↑ «Deterministic Edge Connectivity in Near-Linear Time», Journal of the ACM, vol. 66, no. 1, 2018
- ↑ 2024 Delbert Ray Fulkerson Prize Awarded. News from the AMS. American Mathematical Society (23 июля 2024). Дата обращения: 25 июля 2024.
Ссылки
- Страница премии на сайте AMS Архивная копия от 15 марта 2010 на Wayback Machine
- Страница премии на сайте MOS Архивная копия от 12 февраля 2019 на Wayback Machine
- Список получавших премию на сайте AMS Архивная копия от 13 ноября 2013 на Wayback Machine