Пусть f(x) — целочисленная функция от целочисленногоаргумента. Определить,содержит ли следующий фрагмент программы ошибку(т.е. действительно ли тело цикла сохраняет инвариант):// Программа корень функциицел a, b, c;. . .утверждение: a < b и f(a) * f(b) <= 0;// Значения функции на концах отрезка [a,b] разных знаковцикл пока b - a > 1| инвариант: f(a) * f(b) <= 0| // Делим отрезок [a, b] пополам| c := (a + b) / 2; // c -- целая часть (a+b)/2| если f(a) * f(c) < 0| | то b := c; // выбираем левую половину отрезка| | иначе a := c; // выбираем правую половину отрезка| конец есликонец циклаутверждение: a == b - 1 и f(a) * f(b) <= 0;
(Отметьте один правильный вариант ответа.)
Варианты ответа
Ошибки нет, фрагмент программы корректный.
Фрагмент программы содержит ошибку. (Верный ответ)