Изменения
→Описание в псевдокоде
'''else'''
w отказывает m
Время работы алгоритма {{---}} <tex>O(n^2)</tex>, так как количество итераций цикла <tex>\mathrm {while}</tex> не превосходит <tex>O(n^2)</tex>.
=== Доказательство корректности ===