Escrevi uma implementação do algoritmo Kuhn-Munkres para o problema de correspondência perfeita bipartida de peso mínimo com base nas notas de aula encontradas aqui e ali na web. Funciona muito bem, mesmo em milhares de vértices. E eu concordo que a teoria por trás disso é verdadeiramente bela. E ainda me pergunto por que tive que me esforçar tanto. Acho que essas notas de aula não explicam por que não podemos simplesmente pegar o programa linear primitivo e passá-lo para o método simplex. É claro que suspeito que seja uma questão de desempenho previsível, mas como não o vi explicitamente declarado, não tenho muita certeza. Os pontos extremos do politopo do primal estão em 0-1, portanto parece que podemos alimentá-lo diretamente para uma implementação simplex sem sequer formular o dual. Ou estou sendo simplista?