Um algoritmo de classificação que cria um heap e extrai repetidamente o item máximo. O tempo de execução é O (n log n).