Definition ($1$-factor). Let $G$ be a graph with $2n$ vertices. A $1$-factor in $G$ is a collection of $n$ disjoint edges.