Изменения

//поднимаем текущий элемент x с новым ключом k, пока

//это значение меньше значения в родительской вершине

swap(key[y], key[z]);

y = z;