Найдем A, для которого программа напечатает NO ровно 6 раз, учитывая заданные пары (k, n).
Обозначение: программа печатает YES, если (k > 10) or (n > A); иначе NO. NO происходит тогда, когда k <= 10 и n <= A.
Разберём каждую пару (k, n) и условие NO для неё:
(13, 2): k > 10, значит всегда YES (независимо от A).
(11, 12): k > 10, значит всегда YES (независимо от A).
(-12, 13): k <= 10, NO при n <= A ⇒ 13 <= A.
(2, -2): k <= 10, NO при -2 <= A.
(-10, -10): k <= 10, NO при -10 <= A.
(6, -5): k <= 10, NO при -5 <= A.
(2, 8): k <= 10, NO при 8 <= A.
(9, 10): k <= 10, NO при 10 <= A.
(1, 10): k <= 10, NO при 10 <= A.
Теперь посчитаем количество NO в зависимости от A. Для каждого из 3–9 пунктов NO присутствует, если A достигает соответствующего порога:
- A >= 13: NO есть у 3,4,5,6,7,8,9 — всего 7 NO.
- A в диапазоне [10, 12]: NO есть у 4,5,6,7,8,9 (6 штук); 3 ещё не NO (так как A < 13).
- A в диапазоне [8, 9]: NO у 4,5,6,7 — 4 NO.
- А меньше 8: меньше 4 NO и т.д.
Таким образом, чтобы получить ровно 6 NO, A должен быть в диапазоне от 10 до 12 включительно. Среди них наибольшее целое значение A равно 12.
Проверка для A = 12:
- 1: YES (k > 10)
- 2: YES (k > 10)
- 3: 13 <= 12 ложно → NO не печатает здесь на самом деле n > A (13 > 12) даёт YES
- 4: -2 <= 12 → NO
- 5: -10 <= 12 → NO
- 6: -5 <= 12 → NO
- 7: 8 <= 12 → NO
- 8: 10 <= 12 → NO
- 9: 10 <= 12 → NO
Итого NO шесть раз (пункты 4,5,6,7,8,9).
Ответ: наибольшее целое значение A — 12.