Мне нужно реализовать очередь с приоритетами, где приоритет элемента в очереди может измениться, и очередь настраивается так, что элементы всегда удаляются в правильном порядке. У меня есть некоторые идеи о том, как я мог бы это реализовать, но я уверен, что это довольно распространенная структура данных, поэтому я надеюсь, что в качестве основы я могу использовать реализацию кого-то умнее меня.

Может кто-нибудь сказать мне имя очереди такого типа, чтобы я знал, что искать, или, что еще лучше, указал мне на реализацию?