The [Hall marriage theorem](https://en.wikipedia.org/wiki/Hall%27s_marriage_theorem) has several relatively easy combinatorial proofs. Are there short analytical or topological reformulations and proofs of that theorem? 



An analysis proof of the Hall marriage theorem
At Gil Kalai's [blog](http://gilkalai.wordpress.com/2012/11/25/happy-birthday-ron-aharoni/), Hall’s theorem for hypergraphs (Ron Aharoni and Penny Haxell, 1999) is given, and then it says, "Ron Aharoni and Penny Haxell described special type of triangulations, and then miraculously deduced their theorem from Sperner’s lemma. This also gives a beautiful, completely new, topological proof of Hall’s marriage theorem itself." 


The Aharoni-Haxell paper is available [here](http://www2.math.technion.ac.il/~ra/matchingsinhyps.ps). 


