//Implementazione basata su array
void max_heapify (struct heap_tree *t) {
int i;
for (i = (t->heap_size – 1)/2; i >= 0; i--)
heapify(t, i);
}