Considere o algoritmo recursivo a seguir, descrito em pseudocódigo, onde V é um vetor contendo elementos comparáveis, n é o tamanho do vetor, inicio é a primeira posição do vetor, fim representa a última posição do vetor e e é o elemento que se deseja encontrar:
O algoritmo em questão é conhecido como:
