304
правки
Изменения
м
→Доказательство корректности
Разобьем доказательство на две части:
# Доказательство того, что один и тот же вектор встречается в коде не более одного раза.
# Доказательство того, что код алгоритм перебирает все возможные вектора прежде, чем получит слово вектор из <tex>n</tex> нулей.
===Доказательство первого пункта===
