Loading AI tools
Czech-Canadian mathematician From Wikipedia, the free encyclopedia
Václav (Vašek) Chvátal (Czech: [ˈvaːtslaf ˈxvaːtal]) is a Professor Emeritus in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Quebec, Canada, and a visiting professor at Charles University in Prague. He has published extensively on topics in graph theory, combinatorics, and combinatorial optimization.
Václav Chvátal | |
---|---|
Born | |
Nationality | Canadian, Czech |
Alma mater | University of Waterloo Charles University |
Known for | Chvátal graph Chvátal–Sankoff constants Bondy–Chvátal theorem Crossing number inequality Graph toughness |
Awards | Beale–Orchard-Hays Prize (2000) [1] Docteur Honoris Causa, Université de la Méditerranné (2003) Frederick W. Lanchester Prize (2007) [2] John von Neumann Theory Prize (2015) [3] |
Scientific career | |
Fields | Mathematics, Computer Science, Operations Research |
Institutions | Concordia University |
Doctoral advisor | Crispin Nash-Williams |
Doctoral students | David Avis (Stanford 1977) Bruce Reed (McGill 1986) |
Chvátal was born in 1946 in Prague and educated in mathematics at Charles University in Prague, where he studied under the supervision of Zdeněk Hedrlín.[4] He fled Czechoslovakia in 1968, three days after the Soviet invasion,[5] and completed his Ph.D. in Mathematics at the University of Waterloo, under the supervision of Crispin St. J. A. Nash-Williams, in the fall of 1970.[4][6] Subsequently, he took positions at McGill University (1971 and 1978–1986), Stanford University (1972 and 1974–1977), the Université de Montréal (1972–1974 and 1977–1978), and Rutgers University (1986-2004) before returning to Montreal for the Canada Research Chair in Combinatorial Optimization [7][5] at Concordia (2004-2011) and the Canada Research Chair in Discrete Mathematics (2011-2014) till his retirement.
Chvátal first learned of graph theory in 1964, on finding a book by Claude Berge in a Pilsen bookstore [8] and much of his research involves graph theory:
Some of Chvátal's work concerns families of sets, or equivalently hypergraphs, a subject already occurring in his Ph.D. thesis, where he also studied Ramsey theory.
Chvátal first became interested in linear programming through the influence of Jack Edmonds while Chvátal was a student at Waterloo.[4] He quickly recognized the importance of cutting planes for attacking combinatorial optimization problems such as computing maximum independent sets and, in particular, introduced the notion of a cutting-plane proof.[18][19][20][21] At Stanford in the 1970s, he began writing his popular textbook, Linear Programming, which was published in 1983.[4]
Cutting planes lie at the heart of the branch and cut method used by efficient solvers for the traveling salesman problem. Between 1988 and 2005, the team of David L. Applegate, Robert E. Bixby, Vašek Chvátal, and William J. Cook developed one such solver, Concorde.[22][23] The team was awarded The Beale-Orchard-Hays Prize for Excellence in Computational Mathematical Programming in 2000 for their ten-page paper [24] enumerating some of Concorde's refinements of the branch and cut method that led to the solution of a 13,509-city instance and it was awarded the Frederick W. Lanchester Prize in 2007 for their book, The Traveling Salesman Problem: A Computational Study.
Chvátal is also known for proving the art gallery theorem,[25][26][27][28] for researching a self-describing digital sequence,[29][30] for his work with David Sankoff on the Chvátal–Sankoff constants controlling the behavior of the longest common subsequence problem on random inputs,[31] and for his work with Endre Szemerédi on hard instances for resolution theorem proving.[32]
{{cite book}}
: |author=
has generic name (help)Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.