Consiste em verificar a dominância do ultimo pai e ajusta-la, ou seja, verificar se o elemento na posição piso(n/2)-i (com i indo de 0 a piso(n/2)-1) é um pai que tem seu valor maior que seus filhos ( maior que o max() entre os dois filhos), se sim, então incrementa-se o i e vai para o próximo laço, caso não, então trocamos o "pai" com seu maior filho
E então verificamos a dominância parental do elemento na nova posição... E assim vai até o elemento ser colocado como folha ou até ele encontrar filhos menores
-
Note que esse processo começa com o ultimo pai e o algoritmo para quando essa verificação for feita para a raiz