Ответ:
Решение:
Программа на языке Pascal:
var A, s, t: integer;
begin
readln(s);
readln(t);
if (s > A) or (t > 12)
then writeln('YES')
else writeln('NO')
end.Условие, при котором печатается "YES", это \( (s > A) \text{ или } (t > 12) \).
У нас есть 9 пар входных данных для \( s \) и \( t \). Нам нужно найти наименьшее целое \( A \), при котором "YES" напечатается ровно 4 раза.
Проанализируем условие \( (s > A) \text{ или } (t > 12) \) для каждой пары:
- (13, 2): \( 13 > A \) или \( 2 > 12 \) (Ложно). Условие истинно, если \( 13 > A \).
- (11, 12): \( 11 > A \) или \( 12 > 12 \) (Ложно). Условие истинно, если \( 11 > A \).
- (-12, 12): \( -12 > A \) или \( 12 > 12 \) (Ложно). Условие истинно, если \( -12 > A \).
- (2, 2): \( 2 > A \) или \( 2 > 12 \) (Ложно). Условие истинно, если \( 2 > A \).
- (-10, -10): \( -10 > A \) или \( -10 > 12 \) (Ложно). Условие истинно, если \( -10 > A \).
- (6, 5): \( 6 > A \) или \( 5 > 12 \) (Ложно). Условие истинно, если \( 6 > A \).
- (2, 8): \( 2 > A \) или \( 8 > 12 \) (Ложно). Условие истинно, если \( 2 > A \).
- (9, 10): \( 9 > A \) или \( 10 > 12 \) (Ложно). Условие истинно, если \( 9 > A \).
- (1, 13): \( 1 > A \) или \( 13 > 12 \) (Истинно). Условие истинно всегда, если \( A < 1 \).
Сначала определим, для каких пар условие \( t > 12 \) истинно. Это только для пары (1, 13), так как \( 13 > 12 \). Это дает 1 "YES".
Нам нужно получить еще 3 "YES" из оставшихся 8 пар, используя условие \( s > A \).
Это значит, что \( A \) должно быть таким, чтобы \( s > A \) было истинно для ровно 3 пар.
Рассмотрим значения \( s \) из оставшихся пар:
13, 11, -12, 2, -10, 6, 2, 9.
Отсортируем их по убыванию:
13, 11, 9, 6, 2, 2, -10, -12.
Чтобы получить ровно 3 "YES" из \( s > A \), \( A \) должно быть таким, что 3 наибольших значения \( s \) больше \( A \), а остальные меньше или равны.
Если \( A = 8 \):
- \( 13 > 8 \) (YES)
- \( 11 > 8 \) (YES)
- \( 9 > 8 \) (YES)
- \( 6 > 8 \) (NO)
- \( 2 > 8 \) (NO)
- \( 2 > 8 \) (NO)
- \( -10 > 8 \) (NO)
- \( -12 > 8 \) (NO)
В этом случае мы получаем 3 "YES" от \( s > A \).
Итого, общее количество "YES" будет 1 (от \( t > 12 \)) + 3 (от \( s > A \)) = 4.
Наименьшее целое значение \( A \), удовлетворяющее этому условию, равно 8.
Ответ: 8
