设G=为二分图，|V|≤|V|，M为G中一个最大匹配，且|M|=|V|，则称M为G的完备匹配，也是最大匹配