Menor potencia de 2 comenzando un número dado

Definir las siguientes funciones

tales que

  • (potenciasDe2 a) es la lista de las potencias de 2 que comienzan por a. Por ejemplo,

  • (menorPotenciaDe2 a) es la menor potencia de 2 que comienza con el número a. Por ejemplo,

Comprobar con QuickCheck que, para todo entero positivo a, existe una potencia de 2 que empieza por a.

Soluciones

Referencias

8 Comentarios

  1. Que siempre existe k «parece» fácil de ver, pero no consigo concretar nada.

    1. Otra solución inspirada por la identidad anterior (que no permite encontrar soluciones para k arbitrarios y que itera sobre todos los bits) sería:

    1. Eficiencia mejorada:

Escribe tu solución