V. J. Havel

{{short description|Czech mathematician}}

{{for|the Czech writer and statesman|Václav Havel}}Václav Jaromír Havel is a Czech mathematician. He is known for characterizing the degree sequences of undirected graphs and the Havel–Hakimi algorithm. It is an important contribution to graph theory. {{citation|title=How to Count: An Introduction to Combinatorics|edition=2nd|series=Discrete Mathematics and Its Applications|first1=R.B.J.T.|last1=Allenby|first2=Alan|last2=Slomson|publisher=CRC Press|year=2011|isbn=9781420082616|page=159|url=https://books.google.com/books?id=1oyMQGHqv_0C&pg=PA159|contribution=Theorem 9.3: the Havel–Hakimi theorem|quote=A proof of this theorem was first published by Václav Havel ... in 1963 another proof was published independently by S. L. Hakimi}}.