El número coincidente de un gráfico es el tamaño de la coincidencia más grande en él.
En un gráfico arbitrario, el número coincidente se puede encontrar usando el algoritmo de Edmonds en el tiempo . Micali y Vazirani mostraron un algoritmo que construye la coincidencia más grande en el tiempo . Otro algoritmo (aleatorizado) desarrollado por Mucha y Sankowski, basado en el producto matricial rápido , da complejidad .
En un gráfico sin vértices aislados, el número coincidente está relacionado con el número de cobertura del borde por la segunda identidad de Gallai : , que, a su vez, implica la desigualdad . Si hay una coincidencia perfecta en el gráfico, entonces .
En cualquier gráfico , la desigualdad también es verdadera , donde es el número de la cubierta de vértice del gráfico . En un gráfico bipartito , debido al teorema de Koenig , .