定理810(霍尔定理设二分图G(V1V2),G 含有从V到V2的完全匹配当且仅当对于 任何AcV1,有(A)≥A 例:设G为k正则二分图,则G存在完美 匹配(k>0)。定理8.10(霍尔定理):设二分图G(V1 ,V2 ),G 含有从V1到V2的完全匹配当且仅当对于 任何AV1 ,有|(A)|≥|A|。 例：设G为k正则二分图，则G存在完美 匹配(k>0)