‍设G=(LÈR，E)是一个二分图且|L|=|R|，则G有完美匹配iff对所有的子集SÍL有|N(S)|³|S|.‎