[binary heap] completed the top k part