Решение: Условие вывода «NO»
Программа вводит целые значения переменных $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > 10$ или $t > A$, иначе выводит «NO».
Было проведено 9 запусков программы, при которых в качестве значений переменных $s$ и $t$ вводились следующие пары чисел: $(1, 2)$; $(11, 2)$; $(1, 12)$; $(11, 12)$; $(-11, -12)$; $(-11, 12)$; $(-12, 11)$; $(10, 10)$; $(10, 5)$. Укажите наименьшее целое значение параметра $A$, при котором для указанных входных данных программа напечатает «NO» два раза.
Решение по шагам
4 шагаПрограмма печатает «NO», если отрицание условия вывода «YES» истинно: $s \leq 10$ и $t \leq A$.
$$s \leq 10 \ \text{и}\ t \leq A$$Рассмотрим пары, для которых $s \leq 10$: $(1,2)$, $(1,12)$, $(-11,-12)$, $(-12,11)$, $(10,10)$ и $(10,5)$.
Чтобы получить ровно два вывода «NO», при увеличении $A$ сначала должна начать учитыватьcя пара $(1,2)$. Это происходит при $A \geq 2$. При $A = 2$ остальные пары требуют $A \geq 5$, $10$, $11$ или $12$, поэтому дают «YES».
Следовательно, наименьшее подходящее целое значение параметра равно $2$.
$$A = 2$$Где здесь ошибаются
Считать условие $s > 10$ или $t > A$ достаточным для вывода «NO», хотя оно вызывает вывод «YES».
Учитывать пары с $s > 10$: для них программа всегда печатает «YES».
Выбрать значение $A = 1$, при котором вывод «NO» получает только пара $(-11,-12)$.