47
правок
Изменения
→Доказательство корректности
Алгоритм завершается после максимум <tex>n^2</tex> итераций цикла '''while'''
|proof=
На каждой итерации мужчина делает предложение очередной женщине. Но всего может быть не более <tex>n^2 </tex> предложений.
}}
