Bounds for a Dynamic-Priority Queue · Study