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