Um programador deve propor um algoritmo para determinar o resultado de uma eleição. Sabe-se que o número n de eleitores é tão grande que o armazenamento do vetor de eleitores em memória, ou em arquivo, torna-se inviável. O número de candidatos, no pior caso, pode ser igual ao de eleitores. Além disso, as cédulas de eleição podem ser reinseridas no sistema de contagem tantas vezes quantas forem necessárias. Nessa eleição, o candidato somente será eleito por maioria absoluta e cada eleitor votará uma única vez. Caso não exista um candidato eleito, a eleição será anulada. Apenas duas variáveis inteiras devem ser utilizadas no algoritmo para determinar o resultado da eleição: uma para armazenamento do número do candidato vitorioso e a outra, a critério do programador. O algoritmo ótimo para a solução desse problema tem complexidade: