M, a subset βE such that no vertex in π is on more than one edge in π
i.e. one V has maximum one edge
Perfect matching:
Every vertex in V is on an edge in M
Maximum matching:
Largest possible of β£Mβ£, meaning the maximum number of connections between V1 and V2 as possible
Complete matching:
M such that every nodes in V1β is matched (assumed β£V1ββ£β€β£V2ββ£)
A complete match is a maximum match (as we have found the max matches for set V1), reverse is not true
Hallβs marriage theorem:
The bipartite graph πΊ = (π, πΈ) with bipartition (V1β,V2β) has a complete matching from V1β to V2β if and only if β£N(A)β£β₯β£Aβ£ (number of neighbor vertices of A is β₯ than A) for all subsets of A of V1β.theorem
Any subset of V1β must have more matchable nodes then the number of nodes in V1β