Não tenho certeza se é possível, mas parece um pouco razoável para mim, estou procurando uma estrutura de dados que me permita fazer essas operações:

insira um item com O (log n)remova um item com O (log n)encontrar / editar o k-ésimo elemento menor em O (1), para k (O (1) indexação arbitrária)

É claro que a edição não resultará em nenhuma alteração na ordem dos elementos. e o que o torna de alguma forma possível é que vou inserir elementos um por um em ordem crescente. Então, se por exemplo eu tentar inserir pela quinta vez, tenho certeza que todos os quatro elementos antes deste serão menores do que ele e todos os elementos depois disso serão maiores.