Matching: In graph theory, a "matching" is a set of edges, in which any two edges have no common vertices.
Maximum match: Among all matches in a graph, the match with the most matching edges is called the maximum match of this graph.
Perfect match: If all vertices are matching points in a certain match of a graph, then it is a perfect match.
Alternate Road: Starting from an unmatched point, the path formed by successively passing through non-matching edges, matching edges, non-matching edges... is called an alternate path.
Augmented road: starting from an unmatched point, take the alternate road, if you pass through another unmatched point (the starting point is not counted), then this alternate road is called the augmented road