Краткое пояснение:
Программа выводит «YES», если условие (s > 10) ИЛИ (t > A) истинно. Мы ищем наименьшее целое значение A, при котором это условие истинно ровно два раза для заданных пар (s, t).
Пошаговое решение:
- Шаг 1: Проанализируем условие истинности вывода «YES».
- Условие: (s > 10) ИЛИ (t > A).
- «YES» печатается, если хотя бы одно из условий истинно:
- Шаг 2: Проверим, когда первое условие (s > 10) истинно для заданных пар.
- (1, 2): 1 > 10 (Ложь)
- (11, 2): 11 > 10 (Истина)
- (1, 12): 1 > 10 (Ложь)
- (11, 12): 11 > 10 (Истина)
- (-11, -12): -11 > 10 (Ложь)
- (-11, 12): -11 > 10 (Ложь)
- (-12, 11): -12 > 10 (Ложь)
- (10, 10): 10 > 10 (Ложь)
- (10, 5): 10 > 10 (Ложь)
- Первое условие истинно для двух пар: (11, 2) и (11, 12).
- Шаг 3: Определим, когда второе условие (t > A) должно быть истинно, чтобы общее условие было истинно в общей сложности ровно два раза.
- Мы уже имеем два случая, когда (s > 10) истинно. Следовательно, для остальных случаев (где s ≤ 10), условие (t > A) должно быть ложным, чтобы общее условие было ложным.
- Для тех двух случаев, где (s > 10) истинно, второе условие (t > A) может быть как истинным, так и ложным — общее условие все равно будет истинным.
- Нам нужно, чтобы «YES» напечаталось ТОЛЬКО ДВА РАЗА. Это означает, что для остальных 7 пар, условие (t > A) должно быть ЛОЖНЫМ.
- Шаг 4: Проанализируем оставшиеся 7 пар, где s ≤ 10.
- (1, 2): t=2. Мы хотим, чтобы (2 > A) было ложным, значит, 2 ≤ A.
- (1, 12): t=12. Мы хотим, чтобы (12 > A) было ложным, значит, 12 ≤ A.
- (-11, -12): t=-12. Мы хотим, чтобы (-12 > A) было ложным, значит, -12 ≤ A.
- (-11, 12): t=12. Мы хотим, чтобы (12 > A) было ложным, значит, 12 ≤ A.
- (-12, 11): t=11. Мы хотим, чтобы (11 > A) было ложным, значит, 11 ≤ A.
- (10, 10): t=10. Мы хотим, чтобы (10 > A) было ложным, значит, 10 ≤ A.
- (10, 5): t=5. Мы хотим, чтобы (5 > A) было ложным, значит, 5 ≤ A.
- Шаг 5: Найдем наименьшее целое A, которое удовлетворяет всем условиям из Шага 4.
- 2 ≤ A
- 12 ≤ A
- -12 ≤ A
- 12 ≤ A
- 11 ≤ A
- 10 ≤ A
- 5 ≤ A
- Шаг 6: Объединим все эти неравенства. Наибольшее значение, которое должно быть меньше или равно A, это 12.
- Следовательно, A должно быть ≥ 12.
- Шаг 7: Теперь проверим, что при A=12, «YES» напечатается ровно два раза.
- Пары, где s > 10: (11, 2) и (11, 12). Для них «YES» напечатается.
- Остальные пары:
- (1, 2): s=1, t=2. (1 > 10) ИЛИ (2 > 12) -> Ложь И Ложь = Ложь.
- (1, 12): s=1, t=12. (1 > 10) ИЛИ (12 > 12) -> Ложь И Ложь = Ложь.
- (-11, -12): s=-11, t=-12. (-11 > 10) ИЛИ (-12 > 12) -> Ложь И Ложь = Ложь.
- (-11, 12): s=-11, t=12. (-11 > 10) ИЛИ (12 > 12) -> Ложь И Ложь = Ложь.
- (-12, 11): s=-12, t=11. (-12 > 10) ИЛИ (11 > 12) -> Ложь И Ложь = Ложь.
- (10, 10): s=10, t=10. (10 > 10) ИЛИ (10 > 12) -> Ложь И Ложь = Ложь.
- (10, 5): s=10, t=5. (10 > 10) ИЛИ (5 > 12) -> Ложь И Ложь = Ложь.
- Таким образом, при A=12, «YES» печатается ровно два раза.
Ответ: 12