Изменения

void decreaseKey(H, x, k) {

// проверка на то, что текущий ключ не меньше передаваемого ключа k

return;

key[x] = k;

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

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

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

y = z;

z = p[y];

}

</code>