Matching number (source code)

= Matching number
{title2=$\nu(G)$}

= Maximum matching number
{synonym}

The matching number $\nu(G)$ is the largest number of edges in a matching of $G$.

The matching number $\nu(G)$ is the maximum cardinality of a <matching in a graph>.