给定一个集合,让成为…的一群邻居.然后二部图 带有双分区和有一个完美匹配 若（iff） 对于所有子集属于.
此条目由贡献克里斯赫克曼
更多需要尝试的事情：
克里斯·赫克曼“霍尔的状况”摘自数学世界--Wolfram Web资源，创建人埃里克韦斯特因.https://mathworld.wolfram.com/HallsCondition.html
