+ priority queue based on min heap