Analysis of a dynamic priority queue · Study