O pseudocódigo a seguir serve de referência para a questão.

É dado que a indexação do array de inteiros começa em 1, que o operador “\” denota a divisão inteira, e que o array deve estar ordenado em ordem crescente, sem duplicações

Assinale a complexidade do algoritmo empregado.