que puede ser calculada en tiempo polinómico en función del tamaño de la entrada, y que está definida por: