Loading [MathJax]/jax/output/SVG/jax.js

8-шы халықаралық Жәутіков олимпиадасы, 2012 жыл


Өлшемі n×n болатын кестенің (бірлік) шаршыларының жиыны мына шартты қанағаттандыратын болса, ыңғайлы деп аталады: кестенің әрбір қатарында және әрбір бағанында осы жиынның кемінде екі шаршысы табылады. Әрбір n5 үшін мынадай m санының ең үлкен мүмкін мәнін анықтаңдар: кез келген шаршысын өшірсек ыңғайлы болмай қалатын, бірақ өзі ыңғайлы, m шаршыдан тұратын жиын табылады.
посмотреть в олимпиаде

Комментарий/решение:

  0
3 месяца назад #

Решение из книги:

Ответ: 4n8

Пример: покрасим первые n2 клеток первой и второй строки, а также все клетки, стоящие снизу квадрата 2×2 в правом вверхнем углу. Очевидно, что такой набор нам подходит.

Оценка: назовем линию (строку или столбец) редкой, если в ней не более 2 отмеченных клеток. Заметим, что любая отмеченная клетка находится в какой-то редкой линии, иначе можно было удалить эту клетку. Следовательно, количество отмеченных клеток не превышает удвоенного количества редких линий (если для каждой отмеченной клетки назначить редкую линию, то всего таких обозначений будет = кол-во отмеченных клеток, но каждая линия повторится максимум дважды).

Теперь докажем, что это у нас не более 4n8

Если, БОО, все n столбцов редкие, то клеток у нас не более 2n4n8

Если, БОО, n1 столбов редкие, то всего у нас не более 2(n1)+n отмеченных клеток. Но заметим, что если в последнем столбце ровно n отмеченных клеток, то в каждой строке не более 2 отмеченных, тогда опять 2n4n8, поэтому в оставшемся столбце не более n1 отмеченной клетки, тогда их суммарно не более 2(n1)+(n1)4n8,

n5

Пусть теперь их не более n2. Аналогично и для строк, тогда их суммарно не более 2n4,

(2n4)×2=4n8, ЧТД