[binary heap] completed decrease key description