Решение: Определение параметра A
Программа печатает «YES», если выполняется условие $s > A$ или $t > 12$, и печатает «NO» в противном случае. Были выполнены 9 запусков программы с парами значений переменных $s$ и $t$: $(13; 2)$, $(11; 12)$, $(-12; 12)$, $(2; -2)$, $(-10; -10)$, $(6; -5)$, $(2; 8)$, $(9; 10)$, $(1; 13)$. Найдите наибольшее целое значение параметра $A$, при котором программа напечатает «YES» ровно пять раз.
Решение по шагам
4 шагаПара $(1; 13)$ всегда приводит к выводу «YES», поскольку $13 > 12$.
Чтобы всего получилось пять выводов «YES», ещё четыре пары должны удовлетворять условию $s > A$.
Четыре наибольших значения $s$, не учитывая уже найденную пару, равны $13$, $11$, $9$ и $6$. Поэтому параметр $A$ должен быть меньше $6$ и как можно больше.
При $A = 5$ неравенству $s > A$ удовлетворяют значения $13$, $11$, $6$ и $9$. Получается четыре таких запуска и один запуск из-за условия $t > 12$ — всего пять.
Где здесь ошибаются
Не учитывать логическую операцию «или»: достаточно выполнения хотя бы одного из двух условий.
Считать пару $(1; 13)$ по условию $s > A$, хотя она даёт «YES» из-за условия $t > 12$.
Выбирать $A = 6$: при таком значении только три значения $s$ строго больше $A$.