CGU-NET | UGC NET CS 2018 Dic – II | Pregunta 31

Considere el siguiente fragmento de pseudocódigo, donde m es un número entero no negativo que se ha inicializado:

p=0;
k=0;
while(k < m)
        p = p + 2k;
        k=k+1;
end while 

¿Cuál de los siguientes es un ciclo invariante para la instrucción while?
(Nota: una variante de bucle para una sentencia while es una afirmación que es verdadera cada vez que se evalúa guard durante la ejecución de la sentencia while).
(A) p = 2 ^k − 1 y 0≤k<m
(B) p = 2 ^k+1 − 1 y 0≤k<m
(C) p = 2 ^k − 1 y 0≤k≤m
(D) p = 2 ^k+1 − 1 y 0≤k≤m

Respuesta: (C)
Explicación:
Cuestionario de esta pregunta