Pregunta 2.a-b · Prácticas de programación UOC 2023

a. [10%] Describe la labor computacional que efectúa mystery . Detalla adicionalmente el árbol o pila de llamadas paso a paso empleando un esquema gráfico de marcos/cajas con los parámetros y valores de retorno para la invocación: mystery(25);

Solución: La función determina cuántas divisiones sucesivas por 2 admite el número antes de situarse por debajo de 2; esto equivale a calcular el número total de bits requeridos para representar el entero $x$ en base binaria (es decir, $\lfloor \log_2(x) \rfloor + 1$ para $x \ge 1$, o 1 cuando $x = 0$). Despliegue de llamadas y propagación de resultados al desapilar: - $\mathrm{mystery}(25)$ invoca a $\mathrm{mystery}(12)$ y calcula $1 + 4 = 5$. - $\mathrm{mystery}(12)$ invoca a $\mathrm{mystery}(6)$ y calcula $1 + 3 = 4$. - $\mathrm{mystery}(6)$ invoca a $\mathrm{mystery}(3)$ y calcula $1 + 2 = 3$. - $\mathrm{mystery}(3)$ invoca a $\mathrm{mystery}(1)$ y calcula $1 + 1 = 2$. - $\mathrm{mystery}(1)$ alcanza el caso base ($x < 2$) retornando directamente 1. Diagrama de activación de marcos:

b. [5%] Razona qué efecto provocaría sustituir la aserción de la línea (1) por la siguiente instrucción condicional: if (x < 0) x = -x;

Solución: Al reemplazar la comprobación de error por `if (x < 0) x = -x;`, los enteros negativos pasan a gestionarse transformándolos previamente en su valor absoluto positivo, impidiendo que el programa aborte con fallo de aserción. La función computará en esos casos la cantidad de dígitos binarios que corresponden al módulo o magnitud del valor de entrada.