void extraer_minimo(){ /* Encuentra los nodo etiquetados tentativamente y determina el menor entre estos nodos tentativos.