is_matching
Determines whether the given set of edges is a matching.
A matching is a subset of edges in which no node occurs more than once.