Задание EGEINF569BA8: Самостоятельное написание алгоритма

Решение.
Сначала определим, что хранит каждая переменная. Цикл перебирает целые t от −20 до 20 включительно. R хранит наименьшее из уже рассмотренных значений функции, а M — аргумент, при котором это значение получено.
В данном варианте F(x) = 2 · (x² − 49)² + 5. Квадрат неотрицателен, а множитель 2 положителен, поэтому F(x) не меньше 5. Равенство возможно ровно тогда, когда x² = 49.
Отсюда x = −7 или x = 7. Оба целых аргумента входят в диапазон цикла. В обеих точках F равно 5; при остальных t значение строго больше 5. Таким образом, итоговое R = 5.
Осталось учесть условие обновления F(t) < R. При строгом сравнении равное значение не меняет M. Перебор идёт по возрастанию, поэтому остаётся первый аргумент минимума.
При t = −7 впервые достигается минимум: M = −7, R = 5. Затем при t = 7 значение F(t) снова равно 5. Условие 5 < 5 ложно, поэтому M остаётся равным −7.
После t = 7 меньших значений уже нет. Окончательно M = -7, R = 5.
Последняя команда печатает M + 17. В этой строке используется постоянное число 17, а не значение R.
Подставляем: -7 + 17 = 10.
Проверка. В начале M = −20 и R = F(−20), поэтому текущий минимум задан корректно ещё до первой итерации. При каждом обновлении R становится меньшим или равным предыдущему минимуму. Нижняя оценка через квадрат и достижение её в двух точках исключают пропущенный меньший результат. Учитываем знак сравнения и именно выражение в команде вывода.
Ответ: 10.