Задача сводится к условию программы: выводит "YES", если k > A или n > 15, иначе "NO".
- Разберём 9 запусков по условию n > 15:
- (25, –25): n = -25 → n > 15 ложно → зависит от k > A
- (25, 25): n = 25 > 15 → YES (независимо от A)
- (25, 16): n = 16 > 15 → YES
- (30, 10): n = 10 → зависит от k > A
- (16, 16): n = 16 > 15 → YES
- (16, 10): n = 10 → зависит от k > A
- (35, 5): n = 5 → зависит от k > A
- (25, 14): n = 14 → зависит от k > A
- (50, –50): n = -50 → зависит от k > A
Итого 3 запуска дают статус YES независимо от A (случаи 2, 3 и 5). Остальные 6 запуска зависят от условия k > A.
- Остальные 6 зависимы от k > A и их k-значения: {25, 30, 16, 35, 25, 50}.
Чтобы всего получилось ровно 6 YES, нужно, чтобы число запусков с k > A среди этих 6 равно 3. Найдём диапазоны A, при которых ровно три числа из множества больше A.
Отсортируем: {16, 25, 25, 30, 35, 50}.
Количество элементов больше чем A:
- A < 16: 6
- 16 ≤ A < 25: 5
- 25 ≤ A < 30: 3
- 30 ≤ A < 35: 2
- 35 ≤ A < 50: 1
- A ≥ 50: 0
Требуется ровно 3 элемента > A, значит A принадлежит интервалу [25, 29]. Для любых A = 25, 26, 27, 28, 29 условие выполняется.
- Найдём минимальное целое A: минимальное значение в диапазоне [25, 29] — это 25.
Проверка для A = 25:
- 1: k=25, n=-25 → 25>25? Нет; -25>15? Нет → NO
- 2: n>15 → YES
- 3: n>15 → YES
- 4: k>25? 30>25 → YES
- 5: n>15 → YES
- 6: k>25? 16>25? Нет → NO
- 7: k>25? 35>25 → YES
- 8: k>25? 25>25? Нет → NO
- 9: k>25? 50>25 → YES
Всего YES = 6. Так что минимальное A равно 25.
Ответ: 25.