PQ: array, binary heap