<tex>time = time + 1;</tex>
Сложность алгоритма <tex>O(n\log n)</tex> , если в качестве <tex>S</tex> использовать структуру, которая позволяет поиск элемента с минимальным <tex>d_{i}</tex> за <tex>O(\log n)</tex>.
==Доказательство корректности алгоритма==