PQ with binary heap