Maximum-cardinality matching