Buenas,
la solución planteada por ustedes para el ejercicio en cuestión
consistía en generar un arreglo de tamaño K e inicializarlo poniendo 'false' en cada caso.
Ahora, realizar eso requeriría una cantidad K de veces (puesto que voy a recorrer el arreglo y asignar 'false' a cada elemento),
y, como indica la letra del ejercicio bien podria cumplirse que K>n.
Entonces, en esos casos, el procedimiento tendría O(K), y no O(n).
(Claro que cuando n>=k, entonces lo propuesto en la solución sería válido).
¿Es correcto mi razonamiento? Espero vuestra respuesta.
Saludos, Favio.-