4. Para a construção do emparelhamento $M$ de mínimo custo, o algoritmo de Edmonds possui complexidade $O\left(z^{2} m^{\prime}\right)$

A afirmação sobre a complexidade do algoritmo de Edmonds para o emparelhamento de mínimo custo está correta. O algoritmo, que é uma extensão do algoritmo de Dijkstra para grafos com arestas de custo negativo, tem uma complexidade de tempo de \(O(z^2 m')\), onde \(z\) é o número de vértices e \(m'\) é o número de arestas no grafo. Essa complexidade é derivada do fato de que o algoritmo pode precisar realizar várias iterações para encontrar o emparelhamento ótimo, especialmente em grafos densos. Se precisar de mais detalhes sobre o funcionamento do algoritmo, estou aqui para ajudar!