Программа напечатает "YES", если условие (s > 10 || t > A) истинно. Это означает, что "YES" будет напечатано, если s больше 10 ИЛИ t больше A.
Нам нужно найти наименьшее целое значение A, при котором "YES" будет напечатано ровно два раза для заданных пар (s, t).
s = 1, t = 2. Условие: (1 > 10 || 2 > A). Это истинно, если 2 > A.s = 11, t = 2. Условие: (11 > 10 || 2 > A). Так как 11 > 10 истинно, это условие всегда истинно, независимо от A.s = 1, t = 12. Условие: (1 > 10 || 12 > A). Это истинно, если 12 > A.s = 11, t = 12. Условие: (11 > 10 || 12 > A). Так как 11 > 10 истинно, это условие всегда истинно, независимо от A.s = -11, t = -12. Условие: (-11 > 10 || -12 > A). Это истинно, если -12 > A.s = -11, t = 12. Условие: (-11 > 10 || 12 > A). Это истинно, если 12 > A.s = -12, t = 11. Условие: (-12 > 10 || 11 > A). Это истинно, если 11 > A.s = 10, t = 10. Условие: (10 > 10 || 10 > A). Это истинно, если 10 > A.s = 10, t = 5. Условие: (10 > 10 || 5 > A). Это истинно, если 5 > A.Пары, для которых s > 10 всегда истинно, независимо от A: (11, 2) и (11, 12). Это уже 2 случая, когда будет напечатано "YES".
Теперь нам нужно, чтобы еще ровно два случая из оставшихся дали "YES".
Оставшиеся случаи, где s <= 10, и условие зависит от t > A:
2 > A12 > A-12 > A12 > A11 > A10 > A5 > AМы хотим, чтобы из этих 7 условий ровно 2 были истинными. Нас интересует наименьшее целое A. Чем меньше A, тем больше условий X > A будет истинно.
Давайте перечислим условия, которые должны быть истинными, чтобы получить ровно 2 "YES" из оставшихся 7:
Рассмотрим граничные значения для A.
A = 11:2 > 11 (ложь)12 > 11 (истина)-12 > 11 (ложь)12 > 11 (истина)11 > 11 (ложь)10 > 11 (ложь)5 > 11 (ложь)При A = 11, два условия истинны (для пар (1, 12) и (-11, 12)). В сумме с двумя всегда истинными случаями (11, 2) и (11, 12), получаем 4 "YES". Это не подходит.
Нам нужно, чтобы только два из оставшихся условий стали истинными. Наиболее