<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=64.246.121.172</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=64.246.121.172"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/64.246.121.172"/>
	<updated>2026-08-03T06:47:36Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Hull_speed&amp;diff=8414</id>
		<title>Hull speed</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Hull_speed&amp;diff=8414"/>
		<updated>2013-10-21T21:51:28Z</updated>

		<summary type="html">&lt;p&gt;64.246.121.172: Added &amp;quot;as&amp;quot; to 1st paragraph, 1st sentence to corrrect grammar.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;The &#039;&#039;&#039;Fulkerson Prize&#039;&#039;&#039; for outstanding papers in the area of [[discrete mathematics]] is sponsored jointly by the [[Mathematical Programming Society]] (MPS)  and the [[American Mathematical Society]] (AMS). Up to three awards of $1500 each are presented at each (triennial) International Symposium of the MPS. Originally, the prizes were paid out of a memorial fund administered by the AMS that was established by friends of the late [[Delbert Ray Fulkerson]] to encourage mathematical excellence in the fields of research exemplified by his work. The prizes are now funded by an endowment administered by MPS.&lt;br /&gt;
&lt;br /&gt;
==Winners==&lt;br /&gt;
* 1979: &lt;br /&gt;
** [[Richard M. Karp]] for classifying many important [[NP-complete]] problems.&amp;lt;ref&amp;gt;[[Richard M. Karp]], &amp;quot;On the computational complexity of combinatorial problems&amp;quot;, &#039;&#039;Networks&#039;&#039; 5: 45–68, 1975.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Kenneth Appel]] and [[Wolfgang Haken]] for the [[four color theorem]].&amp;lt;ref&amp;gt;[[Kenneth Appel]] and [[Wolfgang Haken]], &amp;quot;Every planar map is four colorable, Part I: Discharging,&amp;quot; &#039;&#039;Illinois Journal of Mathematics&#039;&#039; 21: 429–490, 1977.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Paul Seymour (mathematician)|Paul Seymour]] for generalizing the [[max-flow min-cut theorem]] to [[matroid]]s.&amp;lt;ref&amp;gt;[[Paul Seymour (mathematician)|Paul Seymour]] , &amp;quot;The matroids with the max-flow min-cut property,&amp;quot; &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B, 23: 189–222, 1977.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 1982: &lt;br /&gt;
** D.B. Judin, [[Arkadi Nemirovski]], [[Leonid Khachiyan]], Martin Grötschel, [[László Lovász]] and [[Alexander Schrijver]] for the [[ellipsoid method]] in [[linear programming]] and [[combinatorial optimization]].&amp;lt;ref&amp;gt;D.B. Judin and [[Arkadi Nemirovski]], &amp;quot;Informational complexity and effective methods of solution for convex extremal problems,&amp;quot; &#039;&#039;Ekonomika i Matematicheskie Metody&#039;&#039; 12: 357–369, 1976.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;[[Leonid Khachiyan]], &amp;quot;A polynomial algorithm in linear programming,&amp;quot; &#039;&#039;Akademiia Nauk SSSR. Doklady&#039;&#039; 244: 1093–1096, 1979.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{citation|newspaper=[[Boston Globe]]|url=http://www.boston.com/news/globe/obituaries/articles/2005/05/05/leonid_khachiyan_professor_leading_computer_scientist/|date=May 5, 2005|title=Leonid Khachiyan, professor, leading computer scientist}}.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;Martin Grötschel, [[László Lovász]] and [[Alexander Schrijver]], &amp;quot;The ellipsoid method and its consequences in combinatorial optimization,&amp;quot; &#039;&#039;[[Combinatorica]]&#039;&#039; 1: 169–197, 1981.&amp;lt;/ref&amp;gt;&lt;br /&gt;
**G. P. Egorychev and D. I. Falikman for proving [[Bartel Leendert van der Waerden|van der Waerden]]&#039;s conjecture that the matrix with all entries equal has the smallest [[permanent]] of any [[doubly stochastic matrix]].&amp;lt;ref&amp;gt;G. P. Egorychev, &amp;quot;The solution of van der Waerden&#039;s problem for permanents,&amp;quot; &#039;&#039;Akademiia Nauk SSSR. Doklady&#039;&#039; 258: 1041–1044, 1981.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;D. I. Falikman, &amp;quot;A proof of the van der Waerden conjecture on the permanent of a doubly stochastic matrix,&amp;quot; &#039;&#039;Matematicheskie Zametki&#039;&#039; 29: 931–938, 1981.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** &lt;br /&gt;
* 1985: &lt;br /&gt;
** [[Jozsef Beck]] for tight bounds on the [[discrepancy theory|discrepancy]] of [[arithmetic progression]]s.&amp;lt;ref&amp;gt;[[Jozsef Beck]], &amp;quot;Roth&#039;s estimate of the discrepancy of integer sequences is nearly sharp,&amp;quot; &#039;&#039;[[Combinatorica]]&#039;&#039; 1 (4): 319–325, 1981.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Hendrik Lenstra|H. W. Lenstra, Jr.]] for using the [[geometry of numbers]] to solve [[integer program]]s with few variables in time polynomial in the number of constraints.&amp;lt;ref&amp;gt;[[Hendrik Lenstra|H. W. Lenstra, Jr.]], &amp;quot;Integer programming with a fixed number of variables,&amp;quot; &#039;&#039;Mathematics of Operations Research&#039;&#039; 8 (4): 538–548, 1983.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Eugene M. Luks]] for a [[polynomial time]] [[graph isomorphism problem|graph isomorphism algorithm]] for graphs of bounded [[degree (graph theory)|maximum degree]].&amp;lt;ref&amp;gt;Eugene M. Luks, &amp;quot;Isomorphism of graphs of bounded valence can be tested in polynomial time,&amp;quot; &#039;&#039;Journal of Computer and System Sciences&#039;&#039; 25 (1): 42–65, 1982.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{citation|url=http://news.google.com/newspapers?id=w_hVAAAAIBAJ&amp;amp;sjid=huEDAAAAIBAJ&amp;amp;pg=6539,2351404&amp;amp;dq=fulkerson-prize&amp;amp;hl=en|newspaper=[[The Register-Guard|Eugene Register-Guard]]|title=U of O Computer Chief Gets Top Award|date=August 10, 1985}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 1988: &lt;br /&gt;
** [[Éva Tardos]] for finding [[circulation problem|minimum cost circulations]] in [[Time complexity|strongly polynomial time]].&amp;lt;ref&amp;gt;[[Éva Tardos]], &amp;quot;A strongly polynomial minimum cost circulation algorithm,&amp;quot; &#039;&#039;[[Combinatorica]]&#039;&#039; 5: 247-256, 1985.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Narendra Karmarkar]] for [[Karmarkar&#039;s algorithm]] for [[linear programming]].&amp;lt;ref&amp;gt;[[Narendra Karmarkar]], &amp;quot;A new polynomial-time algorithm for linear programming,&amp;quot; &#039;&#039;[[Combinatorica]]&#039;&#039; 4:373–395, 1984.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 1991: &lt;br /&gt;
** [[Martin Dyer|Martin E. Dyer]], [[Alan M. Frieze]] and [[Ravindran Kannan]] for [[random walk|random-walk]]-based [[approximation algorithm]]s for the volume of convex bodies.&amp;lt;ref&amp;gt;[[Martin Dyer|Martin E. Dyer]], [[Alan M. Frieze]] and [[Ravindran Kannan]], &amp;quot;A random polynomial time algorithm for approximating the volume of convex bodies&amp;quot;, &#039;&#039;[[Journal of the Association for Computing Machinery]]&#039;&#039; 38 (1): 1–17, 1991.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** Alfred Lehman for [[Logical matrix|0,1-matrix]] analogues of the theory of [[perfect graph]]s.&amp;lt;ref&amp;gt;Alfred Lehman, &amp;quot;The width-length inequality and degenerate projective planes,&amp;quot; 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.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** Nikolai E. Mnev for [[Mnev&#039;s universality theorem]], that every semialgebraic set is equivalent to the space of realizations of an [[oriented matroid]].&amp;lt;ref&amp;gt;Nikolai E. Mnev, &amp;quot;The universality theorems on the classification problem of configuration varieties and convex polytope varieties,&amp;quot; O. Ya. Viro (ed.), Topology and Geometry-Rohlin Seminar, Lecture Notes in Mathematics 1346 (Springer-Verlag, Berlin, 1988) pp. 527-544.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 1994: &lt;br /&gt;
** Louis Billera for finding bases of piecewise-polynomial function spaces over triangulations of space.&amp;lt;ref&amp;gt;Louis Billera, &amp;quot;Homology of smooth splines: Generic triangulations and a conjecture of Strang&amp;quot;, &#039;&#039;[[Transactions of the AMS]]&#039;&#039; 310: 325–340, 1988.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Gil Kalai]] for making progress on the [[Hirsch conjecture]] by proving subexponential bounds on the diameter of &#039;&#039;d&#039;&#039;-dimensional polytopes with &#039;&#039;n&#039;&#039; facets.&amp;lt;ref&amp;gt;[[Gil Kalai]], &amp;quot;Upper bounds for the diameter and height of graphs of the convex polyhedra&amp;quot;, &#039;&#039;[[Discrete and Computational Geometry]]&#039;&#039; 8: 363–372, 1992.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Neil Robertson (mathematician)|Neil Robertson]], [[Paul Seymour (mathematician)|Paul Seymour]] and [[Robin Thomas (mathematician)|Robin Thomas]] for the six-color case of [[Hadwiger conjecture (graph theory)|Hadwiger&#039;s conjecture]].&amp;lt;ref&amp;gt;[[Neil Robertson (mathematician)|Neil Robertson]], [[Paul Seymour (mathematician)|Paul Seymour]] and [[Robin Thomas (mathematician)|Robin Thomas]], &amp;quot;Hadwiger&#039;s conjecture for K_6-free graphs,&amp;quot; &#039;&#039;[[Combinatorica]]&#039;&#039; 13: 279–361, 1993.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 1997: &lt;br /&gt;
**[[Jeong Han Kim]] for finding the [[asymptotic analysis|asymptotic growth rate]] of the [[Ramsey number]]s &#039;&#039;R&#039;&#039;(3,&#039;&#039;t&#039;&#039;).&amp;lt;ref&amp;gt;[[Jeong Han Kim]], &amp;quot;The Ramsey Number R(3,t) Has Order of Magnitude t^2/log t,&amp;quot; &#039;&#039;Random Structures and Algorithms&#039;&#039; 7 (3): 173–207, 1995.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 2000: &lt;br /&gt;
** [[Michel Goemans|Michel X. Goemans]] and David P. Williamson for [[approximation algorithm]]s based on [[semidefinite programming]].&amp;lt;ref&amp;gt;Michel X. Goemans and David P. Williamson, &amp;quot;Improved approximation algorithms for the maximum cut and satisfiability probelsm using semi-definite programming&amp;quot;, &#039;&#039;[[Journal of the Association for Computing Machinery]]&#039;&#039; 42 (6): 1115–1145, 1995.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** Michele Conforti and Gérard Cornuéjols and [[Mendu Rammohan Rao|M. R. Rao]] for recognizing [[Balanced matrix|balanced 0-1 matrices]] in [[polynomial time]].&amp;lt;ref&amp;gt;Michele Conforti, Gérard Cornuéjols, and [[Mendu Rammohan Rao|M. R. Rao]], &amp;quot;Decomposition of balanced matrices&amp;quot;, &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B, 77 (2): 292–406, 1999.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{citation|title=MR Rao New Dean Of ISB|newspaper=[[The Financial Express (India)|Financial Express]]|date=July 2, 2004|url=http://www.financialexpress.com/news/mr-rao-new-dean-of-isb/109506/}}.&amp;lt;/ref&amp;gt;&lt;br /&gt;
* 2003:&lt;br /&gt;
** [[Jim Geelen|J. F. Geelen]], A. M. H. Gerards and A. Kapoor for the [[finite field|GF(4)]] case of [[Rota&#039;s conjecture]] on [[matroid minor]]s.&amp;lt;ref&amp;gt;[[Jim Geelen|J. F. Geelen]], A. M. H. Gerards and A. Kapoor, &amp;quot;The Excluded Minors for GF(4)-Representable Matroids,&amp;quot; &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B, 79 (2): 247–2999, 2000.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc03&amp;quot;&amp;gt;[http://www.mathopt.org/?nav=fulkerson_2003 2003 Fulkerson Prize citation], retrieved 2012-08-18.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** Bertrand Guenin for a [[forbidden graph characterization|forbidden minor characterization]] of the weakly bipartite graphs (graphs whose bipartite subgraph polytope is 0-1).&amp;lt;ref&amp;gt;Bertrand Guenin, &amp;quot;A characterization of weakly bipartite graphs,&amp;quot; &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B, 83 (1): 112–168, 2001.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc03&amp;quot;/&amp;gt;&lt;br /&gt;
** Satoru Iwata, Lisa Fleischer, Satoru Fujishige, and [[Alexander Schrijver]] for showing [[Submodular set function#Optimization problems|submodular minimization]] to be strongly polynomial.&amp;lt;ref&amp;gt;Satoru Iwata, Lisa Fleischer, Satoru Fujishige, &amp;quot;A combinatorial strongly polynomial algorithm for minimizing submodular functions,&amp;quot; &#039;&#039;[[Journal of the ACM]]&#039;&#039;, 48 (4): 761–777, 2001.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;[[Alexander Schrijver]], &amp;quot;A combinatorial algorithm minimizing submodular functions in strongly polynomial time,&amp;quot; &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B 80 (2): 346–355, 2000.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc03&amp;quot;/&amp;gt;&lt;br /&gt;
* 2006:&lt;br /&gt;
** [[Manindra Agrawal]], [[Neeraj Kayal]] and [[Nitin Saxena]], for the [[AKS primality test]].&amp;lt;ref&amp;gt;[[Manindra Agrawal]], [[Neeraj Kayal]] and [[Nitin Saxena]], &amp;quot;PRIMES is in P,&amp;quot; &#039;&#039;[[Annals of Mathematics]]&#039;&#039;, 160 (2): 781–793, 2004.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{citation|newspaper=[[The Hindu]]|date=June 11, 2009|first=M. S.|last=Raghunathan|title=India as a player in Mathematics|url=http://www.hindu.com/2009/06/11/stories/2009061155161000.htm}}.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc06&amp;quot;&amp;gt;[http://www.mathopt.org/?nav=fulkerson_2006 2006 Fulkerson Prize citation], retrieved 2012-08-19.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Mark Jerrum]], [[Alistair Sinclair]] and Eric Vigoda, for [[Computing the permanent#Approximate computation|approximating the permanent]].&amp;lt;ref&amp;gt;[[Mark Jerrum]], [[Alistair Sinclair]] and [[Eric Vigoda]], &amp;quot;A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries,&amp;quot; &#039;&#039;[[Journal of the ACM]]&#039;&#039;, 51 (4): 671–697, 2004.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc06&amp;quot;/&amp;gt;&lt;br /&gt;
** [[Neil Robertson (mathematician)|Neil Robertson]] and [[Paul Seymour (mathematician)|Paul Seymour]], for the [[Robertson–Seymour theorem]] showing that [[graph minor]]s form a [[well-quasi-ordering]].&amp;lt;ref&amp;gt;[[Neil Robertson (mathematician)|Neil Robertson]] and [[Paul Seymour (mathematician)|Paul Seymour]],  &amp;quot;Graph Minors. XX. Wagner&#039;s conjecture,&amp;quot; &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B, 92 (2): 325–357, 2004.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc06&amp;quot;/&amp;gt;&lt;br /&gt;
* 2009:&lt;br /&gt;
** [[Maria Chudnovsky]], Neil Robertson, Paul Seymour, and Robin Thomas, for the [[strong perfect graph theorem]].&amp;lt;ref&amp;gt;[[Maria Chudnovsky]], Neil Robertson, Paul Seymour, and Robin Thomas, &amp;quot;The strong perfect graph theorem&amp;quot;, &#039;&#039;[[Annals of Mathematics]]&#039;&#039;, 164: 51–229, 2006.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc09&amp;quot;&amp;gt;[http://www.mathopt.org/?nav=fulkerson_2009 2009 Fulkerson Prize citation], retrieved 2012-08-19.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[Daniel A. Spielman]] and [[Shang-Hua Teng]], for [[smoothed analysis]] of [[linear programming]] algorithms.&amp;lt;ref&amp;gt;[[Daniel A. Spielman]] and [[Shang-Hua Teng]], &amp;quot;Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time&amp;quot;, &#039;&#039;[[Journal of the ACM]]&#039;&#039; 51: 385–463, 2004.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc09&amp;quot;/&amp;gt;&lt;br /&gt;
** [[Thomas Callister Hales|Thomas C. Hales]] and Samuel P. Ferguson, for proving the [[Kepler conjecture]] on the densest possible [[sphere packing]]s.&amp;lt;ref&amp;gt;[[Thomas Callister Hales|Thomas C. Hales]], &amp;quot;A proof of the [[Kepler conjecture]]&amp;quot;, &#039;&#039;[[Annals of Mathematics]]&#039;&#039; 162: 1063–1183, 2005.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;Samuel P. Ferguson, &amp;quot;Sphere Packings, V. Pentahedral Prisms&amp;quot;, &#039;&#039;[[Discrete and Computational Geometry]]&#039;&#039; 36: 167–204, 2006.&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;fpc09&amp;quot;/&amp;gt;&lt;br /&gt;
* 2012:&lt;br /&gt;
** [[Sanjeev Arora]], Satish Rao, and [[Umesh Vazirani]] for improving the [[approximation ratio]] for [[Vertex separator|graph separators]] and related problems from &amp;lt;math&amp;gt;O(\log n)&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;O(\sqrt{\log n})&amp;lt;/math&amp;gt;.&amp;lt;ref&amp;gt;[[Sanjeev Arora]], Satish Rao, and [[Umesh Vazirani]], &amp;quot;Expander flows, geometric embeddings and graph partitioning&amp;quot;, &#039;&#039;[[Journal of the ACM]]&#039;&#039; 56: 1-37, 2009.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** Anders Johansson, [[Jeff Kahn]], and [[Van H. Vu]] for determining the threshold of edge density above which a [[random graph]] can be covered by disjoint copies of a given smaller graph.&amp;lt;ref&amp;gt;Anders Johansson, [[Jeff Kahn]], and [[Van H. Vu]], &amp;quot;Factors in random graphs&amp;quot;, &#039;&#039;Random Structures and Algorithms&#039;&#039; 33: 1-28, 2008.&amp;lt;/ref&amp;gt;&lt;br /&gt;
** [[László Lovász]] and Balázs Szegedy for characterizing subgraph multiplicity in sequences of [[dense graph]]s.&amp;lt;ref&amp;gt;[[László Lovász]] and Balázs Szegedy, &amp;quot;Limits of dense graph sequences&amp;quot;, &#039;&#039;[[Journal of Combinatorial Theory]]&#039;&#039;, Series B, 96: 933-957, 2006.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
{{reflist|colwidth=30em}}&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
* [http://www.ams.org/prizes/fulkerson-prize.html Official site with award details]&lt;br /&gt;
* [http://www.ams.org/profession/prizes-awards/pabrowse AMS archive of past prize winners]&lt;br /&gt;
[[Category:Computer science awards]]&lt;br /&gt;
[[Category:Awards of the American Mathematical Society]]&lt;/div&gt;</summary>
		<author><name>64.246.121.172</name></author>
	</entry>
</feed>