В соответствии с http://en.wikipedia.org/wiki/Heap_%28data_structure%29#Comparison_of_theoretic_bounds_for_variants для выполнения операции уменьшения нажмите Θ (logn) (что соответствует O (logn)). Однако, похоже, нет сайта, который включает реализацию кучи двоичных файлов с операцией уменьшения ключа.
Учитывая, следовательно, отсутствие реализаций в сети, можно ли выполнить операцию уменьшения ключа в двоичной куче?