定理810(霍尔定理设二分图G(V1V2),G 含有从V到V2的完全匹配当且仅当对于 任何AcV1,有(A)≥A 证明:1)G含有从v1到V2的完全匹配,则 对任何AcV1,有r(A)A (2)对任何AcV1,若有(A)A,则G含有 从1到V2的完全匹配定理8.10(霍尔定理):设二分图G(V1 ,V2 ),G 含有从V1到V2的完全匹配当且仅当对于 任何AV1 ,有|(A)|≥|A|。 证明:(1)G含有从V1到V2的完全匹配，则 对任何AV1 ,有|(A)|≥|A|。 (2)对任何AV1 ,若有|(A)|≥|A|,则G含有 从V1到V2的完全匹配