Рассмотрим следующий фрагмент программы: цел m, n; цел a, b, p; . . . a := m; b := n; p := 0; цикл пока b != 0 | если b четное | | то | | b := b / 2; | | a := a * 2; | | иначе | | b := b - 1; | | p := p + a; | конец если конец цикла ответ := p;
Какое условие является инвариантом цикла?
(Отметьте один правильный вариант ответа.)
Варианты ответа
Равенство ab p = mn.
Равенство a b + p = m n. (Верный ответ)