En la lectura de la prueba de la húngara algoritmo para el problema de la asignación de un peso a bigraph, yo no podía entender por qué el algoritmo termina. En el algoritmo que hemos de elegir una cubierta (es decir, las etiquetas de los vértices de la bigraph: $u_1\cdots u_n$, $v_1,\cdots v_n$ con $u_i+v_j\ge $peso de una arista $x_iy_j\forall i,j$) y de seguir ajustando hasta que la igualdad subgrafo (la que abarca subgrafo de $K_{n,n}$, cuyos bordes son pares $x_iy_j$ tal que $u_i+v_j=$peso de $x_iy_j$) tiene un perfecto maridaje. Mi pregunta es después de cada ajuste, ¿por qué el costo de la cubierta de la $\sum(u_i+v_i)$ reducir?
(Asumimos que los pesos son todos los números enteros).
Gracias.